Extracting safe and precise control flow from binaries.

Henrik Theiling

Published in: RTCSA (2000)

Keyphrases

relational databases
control flow
data flow
databases
software testing
database
process model
workflow management systems
reactive systems
business process models
machine learning
case study
high level
training data
cooperative