Theses most similar to those of author Near, Joseph P. (Joseph Paul)

An imperative extension to alloy and a compiler for its execution (2010) 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

MintEra : a testing environment for Java programs

Al-Naffouri, Basel Y (2004)

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

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 efficient sequential BTRS implementation

King, Myron Decker (2009)

  • Advisor: Jammalamadaka, Arvind K. (Arvind Kumar), 1981-
  • 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

A relational framework for bounded program verification

Dennis, Gregory D. (Gregory David), 1980- (2009)

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

Executable specifications for Java programs

Milicevic, Aleksanda (2010)

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

Code generation for the IOA language

Tsai, Michael J. (Michael Jordan), 1979- (2002)

  • Advisors: Joshua A. Tauber; Nancy A. Lynch
  • Department of Electrical Engineering and Computer Science
Read it

Finding security bugs in web applications using domain-specific static analysis (2015) 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

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

Guo, Philip Jia (2006)

  • 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

Using ADL for regression test development in a distributed object environment

Ding, Eric J. (Eric Jaw-Torng) (1996)

  • Advisor: Stephen J. Garland
  • 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

A relational framework for bounded program verification

Dennis, Gregory D. (Gregory David), 1980- (2009)

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

Abstraction in technical computing

Bezanson, Jeffrey Werner (2015)

  • Advisor: Alan Edelman
  • Department of Electrical Engineering and Computer Science
Read it

Logical reasoning for approximate and unreliable computation

Carbin, Michael (Michael James) (2015)

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

Advancing declarative programming

Milicevic, Aleksanda (2015)

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

RIFL : a language with filtered iterators

Shen, Jiasi (2015)

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