Control-flow checking by software signatures.

Nahmsuk Oh Philip P. Shirvani Edward J. McCluskey

Published in: IEEE Trans. Reliab. (2002)

Keyphrases

control flow
data flow
software testing
process model
transition systems
modeling language
reactive systems
test cases
workflow management systems
business process models
formal semantics
software development
distributed systems
data model
cooperative
e learning
information systems