Principles for validation of abstract test suites specified in concurrent TTCN.
Maria TöröKatalin TarnayPublished in: PSTV (1995)
Keyphrases
- test suite
- test cases
- regression testing
- test suite reduction
- software testing
- model checker
- static analysis
- test case generation
- mutation testing
- set of test cases
- test sequences
- high level
- tool support
- number of test cases
- test set
- low level
- data sets
- java programs
- testing process
- design principles
- mutual exclusion
- databases