Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution.
Hayes ConverseOswaldo OlivoSarfraz KhurshidPublished in: ICST (2017)
Keyphrases
- symbolic execution
- test generation
- preserving transformations
- code coverage
- specification language
- test cases
- shape analysis
- static analysis
- test suite
- software testing
- quality assurance
- differential geometry
- test data generation
- data sets
- source code
- formal specification
- schema mappings
- shape space
- closed curves
- medical imaging
- database systems
- databases