Modular control-flow integrity.

Ben Niu Gang Tan

Published in: PLDI (2014)

Keyphrases

control flow
data flow
process model
workflow management systems
software testing
integrity constraints
reactive systems
business process models
real world
error rate
test set
life cycle