Enhancing Symbolic Execution to Test the Compatibility of Re-engineered Industrial Software.
Susumu TokumotoTadahiro UeharaKazuki MunakataHaruyuki IshidaToru EguchiMasafumi BabaPublished in: APSEC (2012)
Keyphrases
- test data generation
- symbolic execution
- test cases
- test generation
- software testing
- static analysis
- source code
- simulated annealing algorithm
- test suite
- software development
- generation algorithm
- quality assurance
- software systems
- databases
- software engineering
- object oriented
- multi agent systems
- case study
- neural network