Login / Signup
Precise control flow reconstruction using boolean logic.
Thomas Reinbacher
Jörg Brauer
Published in:
EMSOFT (2011)
Keyphrases
</>
control flow
boolean logic
data flow
truth values
process model
software testing
workflow management systems
transition systems
data sets
multi agent systems
database
logic programming
modeling language