Binary Control-Flow Trimming.

Masoud Ghaffarinia Kevin W. Hamlen

Published in: CCS (2019)

Keyphrases

control flow
data flow
process model
software testing
transition systems
modeling language
workflow management systems
reactive systems
business process models
real world
high level
data structure
object oriented
open source
business processes
test cases