Ian J. Hayes. Dynamically Detecting Faults via Integrity Constraints. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 85-103, Springer, 2009. [doi]
Abstract is missing.