Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases.
Martin GogollaLars HamannMirco KuhlmannPublished in: TAP@TOOLS (2010)
Keyphrases
- test cases
- automatically generated
- automatically generate
- test data
- manually generated
- software testing
- test set
- test sequences
- manually constructed
- test suite
- automatically created
- black box
- test case generation
- test case selection
- manually created
- test data generation
- test generation
- model based testing
- number of test cases
- test suite reduction
- regression testing
- data sets