Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops.
Rody KerstenSuzette PersonNeha RungtaOksana TkachukPublished in: ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
- test cases
- set of test cases
- test suite
- test data
- test generation
- software testing
- code coverage
- regression testing
- black box
- test case generation
- test set
- test sequences
- test case selection
- java programs
- object oriented
- number of test cases
- test data generation
- intermediate level
- model based testing
- test suite reduction
- testing process
- mutation testing
- high level
- open source
- training data