Synthesizing Test Models from Test Cases.
Antti JääskeläinenAntti KervinenMika KataraAntti ValmariHeikki VirtanenPublished in: Haifa Verification Conference (2008)
Keyphrases
- test cases
- test sequences
- test data
- software testing
- regression testing
- test generation
- test suite
- test case generation
- number of test cases
- set of test cases
- black box
- uml models
- model based testing
- test set
- testing process
- test data generation
- test case selection
- software maintenance
- object oriented
- covering arrays
- training set
- database systems
- artificial intelligence