Test Case Generation using Symbolic Execution.
Saumendra PattnaikBidush Kumar SahooChhabi Rani PanigrahiBinod Kumar PattanayakBibudhendu PatiPublished in: Computación y Sistemas (2022)
Keyphrases
- test case generation
- symbolic execution
- test data generation
- static analysis
- test cases
- simulated annealing algorithm
- software testing
- test generation
- generation algorithm
- test suite
- global optimization
- data sets
- mutation operator
- optimization method
- fitness function
- source code
- case study
- learning algorithm
- neural network