Theses most similar to those of author Tschantz, Matthew S

Javari : adding reference immutability to Java (2006) read it

Extending the Java language for the prevention of data races

Lee, Robert Honway, 1981- (2002)

  • Advisor: Martin Rinard
  • Department of Electrical Engineering and Computer Science
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

Automatic testing of software with structurally complex inputs

Marinov, Darko, 1976- (2005)

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

MintEra : a testing environment for Java programs

Al-Naffouri, Basel Y (2004)

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

Functional encapsulation and type reconstruction in a strongly-typed, polymorphic language

Gupta, Shail Aditya (1995)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • Department of Electrical Engineering and Computer Science
Read it

Pointer analysis for Java programs : novel techniques and applications

Sălcianu, Alexandru D. (Alexandru Doru), 1975- (2006)

  • Advisor: Martin C. Rinard
  • 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

Javarifier : inference of reference immutability in Java

Quinonez, Jamie (2008)

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

A lightweight specification language for bounded program verification

Yessenov, Kuat T (2009)

  • Advisor: Daniel N. Jackson
  • 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