Symbolic execution for software testing: three decades later.
Cristian CadarKoushik SenPublished in: Commun. ACM (2013)
Keyphrases
- symbolic execution
- software testing
- test data generation
- test generation
- test cases
- software development
- quality assurance
- software engineering
- software systems
- integration testing
- testing process
- test suite
- static analysis
- simulated annealing algorithm
- white box testing
- regression testing
- code coverage
- information systems
- data flow
- software projects
- test data
- test set
- database systems