Translation from TTCN to LOTOS and the Validation of Test Cases.
Martin DubucGregor von BochmannO. BellalF. SabaPublished in: FORTE (1990)
Keyphrases
- test cases
- test suite
- model based testing
- regression testing
- test data
- test suite reduction
- software testing
- test case generation
- number of test cases
- test sequences
- testing process
- object oriented
- black box
- domain specific languages
- test generation
- reverse engineering
- mutation testing
- static analysis
- test data generation
- test case selection
- java programs
- test set
- covering arrays
- set of test cases
- data sets
- integration testing
- image quality