C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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