Experience with test generation for real protocols
- 1 August 1988
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 18 (4), 257-261
- https://doi.org/10.1145/52324.52350
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989
- A protocol test generation procedureComputer Networks and ISDN Systems, 1988
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- On Asymptotic Estimates in Switching and Automata TheoryJournal of the ACM, 1966