Shadow Symbolic Execution for Testing Software Patches.
Tomasz KuchtaHristina PalikarevaCristian CadarPublished in: ACM Trans. Softw. Eng. Methodol. (2018)
Keyphrases
- symbolic execution
- test data generation
- static analysis
- source code
- test cases
- test generation
- software testing
- simulated annealing algorithm
- data flow
- software systems
- specification language
- open source
- quality assurance
- software development
- high level
- test suite
- generation algorithm
- software projects
- fitness function
- building blocks
- simulated annealing