DSD-Crasher: A hybrid analysis tool for bug finding

ACM Transactions on Software Engineering and Methodology

Volumn 17, Issue 2, 2008, Pages

  Csallner, Christoph ^a   Smaragdakis, Yannis ^b   Xie, Tao ^c  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b UNIVERSITY OF OREGON   (United States)

^c NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

Automatic testing; Bug finding; Dynamic analysis; Dynamic invariant detection; Extended static checking; False positives; Static analysis; Test case generation; Usability

Indexed keywords

BUG FINDING; DYNAMIC INVARIANT DETECTION; EXTENDED STATIC CHECKING;

STATIC ANALYSIS; USABILITY ENGINEERING;

SOFTWARE TESTING;

EID: 43449101485     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/1348250.1348254     Document Type: Conference Paper

References (70)