Delta execution for efficient state-space exploration of object-oriented programs

2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07

Volumn , Issue , 2007, Pages 50-60

  D'Amorim, Marcelo ^a   Lauterburg, Steven ^a   Marinov, Darko ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Delta execution; Model checking

Indexed keywords

DATA STRUCTURES; ERROR ANALYSIS; JAVA PROGRAMMING LANGUAGE; STATE SPACE METHODS; SUPERVISORY AND EXECUTIVE PROGRAMS;

BASIC SUBJECT PROGRAMS; DELTA EXECUTION; SEQUENTIAL JAVA PROGRAMS;

OBJECT ORIENTED PROGRAMMING;

EID: 34548201197     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1273463.1273472     Document Type: Article

References (0)