Testing methods for SDL systems
- 30 June 1996
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 28 (12) , 1669-1683
- https://doi.org/10.1016/0169-7552(95)00125-5
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A protocol test generation procedurePublished by Elsevier ,2003
- Failure-equivalent transformation of transition systems to avoid internal actionsInformation Processing Letters, 1992
- An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman toursIEEE Transactions on Communications, 1991