Binary rewriting without control flow recovery.

Gregory J. Duck Xiang Gao Abhik Roychoudhury

Published in: PLDI (2020)

Keyphrases

control flow
data flow
software testing
business process models
workflow management systems
process model
transition systems
reactive systems
workflow processes
conjunctive queries
modeling language
query rewriting
rewrite rules
machine learning
software development
life cycle