Fault coverage of a timing and control flow checker for hard real-time systems.

Julian Wolf Bernhard Fechner Theo Ungerer

Published in: IOLTS (2012)

Keyphrases

control flow
data flow
software testing
process model
workflow management systems
transition systems
data sets
knowledge base
reactive systems
business process models
database
real world
information systems
feature space
open source
software development