Testability Enhancement for Control-Flow Intensive Behaviors.

Kelly A. Ockunzzi Christos A. Papachristou

Published in: J. Electron. Test. (1998)

Keyphrases

control flow
software testing
data flow
process model
image enhancement
workflow management systems
test data generation
transition systems
image processing
test cases
business process models
modeling language
databases
software development
formal semantics
memory hierarchy