Abstract Error Projection
File(s)
Date
2006Author
Lal, Akash
Kidd, Nicholas
Reps, Thomas
Touili, Tayssir
Publisher
University of Wisconsin-Madison Department of Computer Sciences
Metadata
Show full item recordAbstract
To improve the reporting of results from model checking and programanalysis
systems, we introduce the notion of an error projection and annotated error projection. An error projection is a set of program nodes N such that for each
node n 2 N there exists an (abstract) error path from the program entry s through n to a specified target node t. An annotated error projection associates with each
node n in the error projection an (abstract) counterexample that validates the
error along with an abstract store, whose presence at n induces the error. We
present novel algorithms for computing (annotated) error projections and discuss
additional applications for these algorithms. Our experiments show that error
projections can be computed efficiently.
Permanent Link
http://digital.library.wisc.edu/1793/60532Citation
TR1579