About This Item

Ask the MINDS@UW Librarian

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

Search and browse




About MINDS@UW

Deposit materials

  1. Register to deposit in MINDS@UW
  2. Need deposit privileges? Contact us.
  3. Already registered? Have deposit privileges? Deposit materials.