Theses most similar to MintEra : a testing environment for Java programs (Al-Naffouri, Basel Y; 2004) read it

Converting Java programs to use generic libraries

Donovan, Alan A. A., 1976- (2004)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Javari : adding reference immutability to Java

Tschantz, Matthew S (2006)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Automating modular program verification by refining specifications

Taghdiri, Mana, 1979- (2008)

  • Advisor: Daniel N. Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Practical pluggable types for Java

Papi, Matthew M (2008)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Javarifier : inference of reference immutability in Java

Quinonez, Jamie (2008)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

Test factoring with amock: generating readable unit tests from system tests

Glasser, David Samuel (2007)

  • Advisor: Michael D. Ernst
  • Department of Electrical Engineering and Computer Science
Read it

An imperative extension to alloy and a compiler for its execution

Near, Joseph P. (Joseph Paul) (2010)

  • Advisor: Daniel Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Storyboard programming of data structure manipulations : a picture is worth 20 lines of code

Singh, Rishabh (2010)

  • Advisor: Armando Solar-Lezama
  • Department of Electrical Engineering and Computer Science
Read it

Automating abstraction functions

Rayside, Derek F (2010)

  • Advisor: Daniel Jackson
  • Department of Electrical Engineering and Computer Science
Read it

Verification of semantic commutativity conditions and inverse operations on linked data structures

Kim, Deokhwan (2011)

  • Advisor: Martin C. Rinard
  • Department of Electrical Engineering and Computer Science
Read it