Optimizing Constraint Solving to Better Support Symbolic Execution.

Ikpeme Erete Alessandro Orso

Published in: ICST Workshops (2011)

Keyphrases

constraint solving
symbolic execution
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint logic programming
dynamic programming
test generation
training data
linear programming
constraint programming