Automatically identifying critical behaviors in programs
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.
Main Author: | Carbin, Michael (Michael James) |
---|---|
Other Authors: | Martin C. Rinard. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/55143 |
Similar Items
-
Automatically identifying critical input regions and code in applications
by: Carbin, Michael James, et al.
Published: (2011) -
Scheme for identifying and describing behavioral innovations embodied in computer programs
by: Pak, Sean Sang-Chul
Published: (2008) -
Logical reasoning for approximate and unreliable computation
by: Carbin, Michael (Michael James)
Published: (2015) -
Automatic procedures for the behavioral verification of digital designs
by: Aelten, Filip Van
Published: (2005) -
Automatically inferring properties of computer programs
by: Givan, Robert Lawrence
Published: (2005)