Mutation-inspired symbolic execution for software testing.
Kevin J. Valle-GómezAntonio García-DomínguezPedro Delgado-PérezInmaculada Medina-BuloPublished in: IET Softw. (2022)
Keyphrases
- symbolic execution
- software testing
- test data generation
- test generation
- test cases
- software development
- genetic algorithm
- quality assurance
- fitness function
- software systems
- simulated annealing algorithm
- regression testing
- genetic algorithm ga
- software engineering
- test suite
- integration testing
- generation algorithm
- formal specification
- testing process
- white box testing
- black box
- evolutionary algorithm
- mutation operator
- database
- source code
- code coverage
- databases
- static analysis
- differential evolution
- test data
- cooperative