Reasoning about Control Flow in the Presence of Transient Faults.

Frances Perry David Walker

Published in: SAS (2008)

Keyphrases

control flow
data flow
software testing
process model
steady state
test cases
workflow management systems
transition systems
fault diagnosis
business process models
modeling language
reactive systems
case study
object oriented