A computer-aided design tool for protocol testing

Publisher Website

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/infcom.1988.12902

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

A Test Design Methodology for Protocol Testing
IEEE Transactions on Software Engineering, 1987
An interactive test sequence generator
Published by Association for Computing Machinery (ACM) ,1986
Dataflow Architectures
Annual Review of Computer Science, 1986
Step-wise validation of communication protocols and services
Computer Networks and ISDN Systems, 1986
Modeling and analysis of communication and cooperation protocols using petri net based models
Computer Networks (1976), 1982
Pretty-printing of trees
Software: Practice and Experience, 1980
Logic programming and compiler writing
Software: Practice and Experience, 1980
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering, 1978