Login / Signup
A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution.
Tianhai Liu
Mateus Araújo
Marcelo d'Amorim
Mana Taghdiri
Published in:
Haifa Verification Conference (2014)
Keyphrases
</>
constraint solving
symbolic execution
constraint satisfaction problems
constraint propagation
search algorithm
open source
lower bound
constraint logic programming
test data generation