Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations.
Stephan HildebrandtLeen LambersHolger GiesePublished in: ICMT (2013)
Keyphrases
- automatically generated
- test cases
- test suite
- test case generation
- set of test cases
- automatically generate
- software testing
- test data
- code coverage
- regression testing
- automatically created
- test generation
- test sequences
- manually constructed
- number of test cases
- test suite reduction
- manually generated
- model based testing
- sequence diagrams
- java programs
- test set
- black box
- object oriented
- unit testing
- protocol specification
- test data generation
- manually created
- code generator
- data sets
- knowledge base
- tool suite
- test case selection
- uml models
- object oriented systems
- static analysis
- error rate
- access control
- general purpose
- databases