Benchmarking Symbolic Execution Using Constraint Problems - Initial Results.
Sahil VermaRoland H. C. YapPublished in: CoRR (2020)
Keyphrases
- constraint problems
- symbolic execution
- static analysis
- constraint satisfaction problems
- test data generation
- test generation
- constraint satisfaction
- randomly generated
- constraint programming
- soft constraints
- optimisation problems
- source code
- specification language
- constraint propagation
- data flow
- test cases
- artificial neural networks
- simulated annealing algorithm