Automatic Monitoring of Control-flow Through Inheritance Hierarchies.

Benjamin Tyler Neelam Soundarajan

Published in: SEKE (2006)

Keyphrases

control flow
data flow
process model
software testing
real time
monitoring system
information systems
case study
data sets
expert systems
modeling language
formal semantics
event logs
transition systems