Enhancing high-level control-flow for improved testability.

Frank F. Hsu Elizabeth M. Rudnick Janak H. Patel

Published in: ICCAD (1996)

Keyphrases

control flow
high level
data flow
software testing
low level
process model
databases
modeling language
reactive systems
programming language
higher level
business process models
artificial intelligence
knowledge base
test cases
software systems