IEEE - Institute of Electrical and Electronics Engineers, Inc. - Executable assertions and timed traces for on-line software error detection

Proceedings of Annual Symposium on Fault Tolerant Computing

Author(s): Rabejac, C. ; Blanquart, J.-P. ; Queille, J.-P.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Sendai, Japan, Japan
Conference Date: 25 June 1996
Page(s): 138 - 147
ISBN (Paper): 0-8186-7262-5
ISSN (Paper): 0731-3071
DOI: 10.1109/FTCS.1996.534602
Regular:

The topic of this paper is the detection of errors due to residual faults in software, particularly those with temporary effects. After positioning our approach amongst existing fault tolerance... View More

Advertisement