Automated Maintainability of TTCN-3 Test Suites Based on Guideline Checking.
George DinDiana VegaIna SchieferdeckerPublished in: SEUS (2008)
Keyphrases
- test suite
- test cases
- regression testing
- test suite reduction
- software testing
- static analysis
- test case generation
- model checker
- number of test cases
- software maintenance
- java programs
- testing process
- mutation testing
- black box
- test sequences
- software systems
- maintenance effort
- set of test cases
- decision support system