The design and evaluation of path matching schemes on compressed control flow traces.

Yongjing Lin Youtao Zhang Rajiv Gupta

Published in: J. Syst. Softw. (2007)

Keyphrases

control flow
software testing
case study
matching algorithm
database
data flow
design process
modeling language
pattern matching
reactive systems
model checking
shortest path
information technology
decision trees
decision making
information systems
artificial intelligence