Parallel symbolic execution for automated real-world software testing.
Stefan BucurVlad UrecheCristian ZamfirGeorge CandeaPublished in: EuroSys (2011)
Keyphrases
- symbolic execution
- test data generation
- software testing
- test generation
- real world
- test cases
- simulated annealing algorithm
- software development
- software systems
- quality assurance
- data sets
- white box testing
- software engineering
- case study
- regression testing
- code coverage
- test suite
- testing process
- integration testing
- search algorithm
- generation algorithm
- neural network
- databases
- database