Applying Test Data Generation Using SMT Solver to COBOL.
Yusuke SasakiYoshiharu MaedaKenichi KobayashiAkihiko MatsuoPublished in: ISSRE Workshops (2012)
Keyphrases
- test data generation
- simulated annealing algorithm
- search based testing
- test cases
- symbolic execution
- test case generation
- software testing
- generation algorithm
- data sets
- learning algorithm
- artificial intelligence
- statistical machine translation
- training data
- open source
- test data
- particle swarm optimization algorithm