| 
|
Quote: self-repairing application by specifying the key data structure consistency constraints; automatically detect and repair violations to these constraints
Topic:
error safe systems
Topic:
consistency testing
Quotation Skeleton
We present a system that accepts a specification … the program to continue to execute productively even … are relatively easy to develop once one understands … data structures and enable the program to continue … [p. 79] We have used our tool to repair … , a simplified Linux file system, an interactive … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: error safe systems (75 items)
Topic: consistency testing (60 items)