Relating Conformance Test Coverage to Formal Specifications.
Roland GrozOlivier CharlesJosiane RenévotPublished in: FORTE (1996)
Keyphrases
- formal specification
- protocol specification
- software testing
- specification languages
- test suite
- specification language
- object oriented design
- code coverage
- model checking
- reverse engineering
- multi agent
- concurrent systems
- formal methods
- set of test cases
- artificial intelligence
- software components
- test cases
- general purpose
- cooperative
- information systems