Test development for communication protocols: towards automation
- 1 June 1999
- journal article
- Published by Elsevier in Computer Networks
- Vol. 31 (17) , 1835-1872
- https://doi.org/10.1016/s1389-1286(99)00063-8
Abstract
No abstract availableThis publication has 54 references indexed in Scilit:
- Minimization of timed transition systemsPublished by Springer Nature ,2006
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- A theory of timed automataPublished by Elsevier ,2002
- A guided incremental test case generation procedure for conformance testing for CEFSM specified protocolsPublished by Springer Nature ,1998
- Automating the process of test derivation from SDL specificationsPublished by Elsevier ,1997
- Testing methods for SDL systemsComputer Networks and ISDN Systems, 1996
- GOAL: Observing SDL behaviors with GEODEPublished by Elsevier ,1995
- Software testing based on formal specifications: a theory and a toolSoftware Engineering Journal, 1991
- Protocol specification for OSIComputer Networks and ISDN Systems, 1990
- Trace analysis for conformance and arbitration testingIEEE Transactions on Software Engineering, 1989