Shadow symbolic execution for better testing of evolving software.
Cristian CadarHristina PalikarevaPublished in: ICSE Companion (2014)
Keyphrases
- symbolic execution
- test data generation
- static analysis
- source code
- test cases
- test generation
- software testing
- data flow
- simulated annealing algorithm
- specification language
- software systems
- quality assurance
- test suite
- software projects
- artificial intelligence
- database
- software architecture
- generation algorithm
- software development
- database systems