Theses most similar to A relational framework for bounded program verification (Dennis, Gregory D. (Gregory David), 1980-; 2009) 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

The Hob system for verifying software design properties

Lam, Patric (2007)

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

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

Directed random testing

Pacheco, Carlos, Ph.D (2009)

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

Verification of full functional correctness for imperative linked data structures

Zee, Karen K (2010)

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

An improved scalable mixed-level approach to dynamic analysis of C and C++ programs

Rudd, Robert Andre (2010)

  • Advisor: Michael D. Ernst
  • 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

Verifying an I/O-concurrent file system

Chajed, Tej (2017)

  • Advisors: M. Frans Kaashoek; Zeldovich, Nickolai, 1981-
  • Department of Electrical Engineering and Computer Science
Read it