DSD-Crasher: A hybrid analysis tool for bug finding

DSD-Crasher: A hybrid analysis tool for bug finding (2006)

by Christoph Csallner , Tao Xie

Venue:	In ISSTA
Citations:	36 - 3 self

Datum	Value	Source
TITLE	DSD-Crasher: A hybrid analysis tool for bug finding	INFERENCE
AUTHOR NAME	Christoph Csallner	SVM HeaderParse 0.2
AUTHOR AFFIL	Georgia Institute of Technology; YANNIS SMARAGDAKIS; University of Oregon	SVM HeaderParse 0.2
AUTHOR NAME	Tao Xie	SVM HeaderParse 0.2
AUTHOR AFFIL	North Carolina State University	SVM HeaderParse 0.2
ABSTRACT	DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection. The derived invariants exclude many unwanted values from the program’s input domain. S. Statically analyze the program within the restricted input domain to explore many paths. D. Automatically generate test cases that focus on reproducing the predictions of the static analysis. Thereby confirmed results are feasible. This three-step approach yields benefits compared to past two-step combinations in the literature. In our evaluation with third-party applications, we demonstrate higher precision over tools that lack a dynamic step and higher efficiency over tools that lack a static step.	SVM HeaderParse 0.2
YEAR	2006	INFERENCE
VENUE	In ISSTA	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	245--254	INFERENCE
CITATIONS	75 found	ParsCit 1.0