Automating the process of test derivation from SDL specifications

Publisher Website

1 January 1997

book chapter
Published by Elsevier

p. 261-276
https://doi.org/10.1016/b978-044482816-3/50018-6

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

On fault coverage of tests for finite state specifications
Computer Networks and ISDN Systems, 1996
Testing in context: framework and test derivation
Computer Communications, 1996
Protocol specification for OSI
Computer Networks and ISDN Systems, 1990
Semiautomatic Implementation of Communication Protocols
IEEE Transactions on Software Engineering, 1987