Live path control flow integrity.

Mohamad Barbar Yulei Sui Hongyu Zhang Shiping Chen Jingling Xue

Published in: ICSE (Companion Volume) (2018)

Keyphrases

control flow
data flow
software testing
shortest path
process model
workflow management systems
transition systems
integrity constraints
modeling language
business process models
artificial intelligence
decision making
object oriented
reactive systems