[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

DemskyRinard06

  1. Brian Demsky & Martin C Rinard
  2. Goal-Directed Reasoning for specification-based Data Structure Repair
  3. ICSE'05 & IEEE Computer Magazine V39n12(Dec 2006)pp931-951
  4. =DEMO DATA SPECIFICATION SETS RELATIONS ABSTRACTION INVARIANTS CONSTRAINTS REPAIR FAULT AbiWorld CTAS Freeciv File System
  5. In some cases it is better to repair a broken data structure incorrectly and continue running rather than crash and stop running.
  6. Data structures can be repaired by using formal abstract specification in terms of Sets and Relationships.
  7. Comparison with bespoke/domain specific fsck and chkdsk.
  8. Fix each broken constraint in turn and use a Repair Dependence Graph to avoid infinite loops of repairs.
  9. Lists actions to repair data structure.
  10. Focuses on internal consistency rather than "REALITY" and as a consequence the whole application may work incorrectly.
  11. Compare [KuncakLamZeeRinard06] that uses a similar abstraction/specification but includes domain constraints to model bot internal data structure consistency and external domain constraints.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]