Control flow-guided SMT solving for program verification.

Jianhui Chen Fei He

Published in: ASE (2018)

Keyphrases

control flow
data flow
process model
modeling language
workflow management systems
database
software testing
transition systems
data sets
reactive systems
workflow processes