A New Approach to Control Flow Checking Without Program Modification.

T. Michel Régis Leveugle Gabriele Saucier

Published in: FTCS (1991)

Keyphrases

control flow
data flow
software testing
process model
transition systems
modeling language
formal semantics
user interface
reactive systems
business process models
knowledge base
high level
intelligent systems