The Derivation of Conformance Tests from LOTOS Specifications.

David H. Pitt David Freestone

Published in: IEEE Trans. Software Eng. (1990)

Keyphrases

protocol specification
formal specification language
formal specification
temporal logic
functional requirements
real world
computer vision
decision trees
case study
high level
source code
test cases
statistical tests
concurrent systems