Symbolic execution for software testing in practice: preliminary assessment.
Cristian CadarPatrice GodefroidSarfraz KhurshidCorina S. PasareanuKoushik SenNikolai TillmannWillem VisserPublished in: ICSE (2011)
Keyphrases
- symbolic execution
- test data generation
- software testing
- test generation
- test cases
- software development
- simulated annealing algorithm
- software systems
- quality assurance
- regression testing
- software engineering
- code coverage
- integration testing
- generation algorithm
- white box testing
- simulated annealing
- test suite
- case study
- real world
- databases
- static analysis
- black box
- development process
- web services