Benchmarking Symbolic Execution Using Constraint Problems - Initial Results.
Sahil VermaRoland H. C. YapPublished in: ICTAI (2019)
Keyphrases
- symbolic execution
- constraint problems
- test generation
- constraint satisfaction problems
- test data generation
- static analysis
- constraint satisfaction
- randomly generated
- specification language
- data flow
- soft constraints
- optimisation problems
- constraint programming
- constraint propagation
- relational databases
- case study
- np complete
- neural network
- source code
- generation algorithm
- computational complexity
- optimal solution
- artificial intelligence