Testing Library Specifications by Verifying Conformance Tests.
Joseph R. KiniryDaniel M. ZimmermanRalph HylandPublished in: TAP@TOOLS (2012)
Keyphrases
- test cases
- test generation
- test suite
- test data
- statistical tests
- formal verification
- protocol specification
- machine learning
- code coverage
- item response theory
- regression testing
- formal specification
- model checking
- multiscale
- relational databases
- data structure
- delay insensitive
- process execution
- real world
- formal specification language