A software based approach to achieving optimal performance for signature control flow checking.

Nancy J. Warter Wen-mei W. Hwu

Published in: FTCS (1990)

Keyphrases

control flow
data flow
software testing
process model
modeling language
object oriented
formal semantics
reactive systems
cooperative
user interface
software development
error rate
software systems
business process models
transition systems