Search
Now showing items 1-1 of 1
Efficient Specification-Assisted Error Localization and Correction
(2003-11-13)
We present a new error localization tool, Archie, that accepts aspecification of key data structure consistency constraints, then generatesan algorithm that checks if the data structures satisfy theconstraints. We also ...