Unbounded Symbolic Execution for Program Verification.
Joxan JaffarJorge A. NavasAndrew E. SantosaPublished in: RV (2011)
Keyphrases
- symbolic execution
- static analysis
- test data generation
- test generation
- specification language
- source code
- data flow
- test cases
- case study
- simulated annealing algorithm
- object oriented
- distributed systems
- software systems
- building blocks
- database
- open source
- programming language
- general purpose
- multi objective
- query processing
- multi agent systems
- data sets