| 
|
QuoteRef: demsB10_2003
ThesaHelp:
ACM references a-e
Topic:
error safe systems
Topic:
consistency testing
Reference
Demsky, B., Rinard, M., "Automatic detection and repair of errors in data structures", OOPSLA2003 18th Conference on Object Oriented Programming, Systems, Languages, and Applications, Anaheim California USA, October 2003, ACM SIGPLAN, pp. 78-95. Google
abstract ;;Quote: self-repairing application by specifying the key data structure consistency constraints; automatically detect and repair violations to these constraints
79 ;;Quote: self-repair by consistency constraints in disjunctive normal form; repair actions to restore basic propositions; picks the least perturbation and prevents cycles
ThesaHelp: ACM references a-e (259 items)
Topic: error safe systems (75 items)
Topic: consistency testing (60 items)