Specification and Derivation of OSI Conformance Test Suites.
Tomás RoblesJosé A. MañasGabriel HuecasPublished in: Protocol Test Systems (1992)
Keyphrases
- test suite
- test case generation
- test cases
- test suite reduction
- software testing
- protocol specification
- regression testing
- model checker
- mutation testing
- formal specification
- reference model
- testing process
- tool support
- high level
- static analysis
- test generation
- specification language
- set of test cases
- java programs
- number of test cases
- formal verification
- code coverage
- object oriented systems
- database
- test set
- training data
- feature extraction
- case study
- decision trees
- machine learning