Abstract Error Projection
Show full item record
File(s):
- Author(s)
-
Lal, Akash; Kidd, Nicholas; Reps, Thomas; Touili, Tayssir
- Publisher
- University of Wisconsin-Madison Department of Computer Sciences
- Citation
- TR1579
- Date
- 2006
- Abstract
- 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/60532
- Export
-
Export to RefWorks
Part of
Show full item record
