Coverage Criteria for Testing DMM Specifications.
Svetlana ArifulinaChristian SoltenbornGregor EngelsPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
- test suite
- test cases
- selection criteria
- evaluation criteria
- software testing
- set of test cases
- multiple criteria
- code coverage
- test set
- unit testing
- multi criteria
- formal verification
- white box testing
- database
- delay insensitive
- design requirements
- control flow
- functional requirements
- data flow
- computer vision
- genetic algorithm