From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach.
Marc PhalippouRoland GrozPublished in: FORTE (1990)
Keyphrases
- test suite
- model checker
- test cases
- test suite reduction
- regression testing
- test case generation
- industrial applications
- mutation testing
- software testing
- model checking
- machine learning
- formal specification
- number of test cases
- testing process
- static analysis
- formal methods
- black box
- java programs
- tool support
- training set
- theoretical analysis
- specification language
- test sequences
- formal verification
- databases
- test set
- high level
- code coverage
- decision trees
- description language
- test data