Sign in
Evaluation of string constraint solvers in the context of symbolic execution.
Scott Kausler
Elena Sherman
Published in:
ASE (2014)
Keyphrases
</>
symbolic execution
test data generation
test generation
pattern matching
static analysis
relational databases
constraint satisfaction problems
differential evolution
constraint solving
constraint solvers