Login / Signup
Control-Flow Integrity.
Antonio Barresi
Mathias Payer
Thomas R. Gross
Published in:
Software Engineering & Management (2015)
Keyphrases
</>
control flow
data flow
software testing
process model
workflow management systems
reactive systems
business process models
transition systems
test cases
modeling language
database
database systems
knowledge management
formal semantics