Sign in

Evaluation of string constraint solvers in the context of symbolic execution.

Scott KauslerElena 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