Verification Criterion Directed Testing for Formal Specifications.
Ziaomu ZengJeffrey J. P. TsaiThomas J. WeigertPublished in: SEKE (1996)
Keyphrases
- formal specification
- model checking
- concurrent systems
- formal verification
- protocol specification
- symbolic execution
- formal methods
- specification language
- software testing
- temporal logic
- object oriented design
- specification languages
- test generation
- formal specification language
- process algebra
- reverse engineering
- test cases
- design methodology
- asynchronous circuits
- distributed systems
- semantic data models
- communication protocols
- object oriented
- expert systems
- artificial intelligence