Autolink — Putting SDL-based test generation into practice
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL SpecificationsPublished by Elsevier ,1997
- Test generation for the SSCOP-ATM networks protocolPublished by Elsevier ,1997
- Partial Order Simulation of SDL SpecificationsPublished by Elsevier ,1995