Martin Hiller. Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation. In 25th EUROMICRO 99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy. pages 2105-2112, IEEE Computer Society, 1999. [doi]
Abstract is missing.