On Executable Specifications, Validation, and Testing of MAC-Level Protocols.

Pawel Gburzynski Piotr Rudnicki

Published in: PSTV (1989)

Keyphrases

formal specification
attribute grammars
higher level
data sets
levels of abstraction
application level
test cases
privacy preserving
software testing
control flow
formal verification
testing process