An approach to automatic detection of software failures. - M. Hlady; R. Kovacevic; J. Jenny Li 001; Barry R. Pekilis; D. Prairie; Tony Savor; Rudolph E. Seviora; D. A. Simser; Alexandre Vorobiev (ISSRE, 1995)

Supervision of real-time software systems using optimistic path prediction and rollbacks. - D. A. Simser; Rudolph E. Seviora (ISSRE, 1996)