Executable Assertions and Timed Traces for On-Line Software Error Detection.

Christophe Rabéjac Jean-Paul Blanquart Jean-Pierre Queille

Published in: FTCS (1996)

Keyphrases

error detection
error correction
error recovery
data cleansing
petri net
error correcting
control flow
software development
software systems
fault tolerance
computer systems
knowledge base
software components
fault isolation
software reuse
formal specification
data collection
source code
user interface
expert systems