A Formal Approach to Conformance Testing.

Published in: Protocol Test Systems (1993)

Keyphrases

test cases
formal model
formal specification
formal analysis
data sets
social networks
decision trees
case study
test data
software testing
formal methods
operational semantics
formal representation
formal language