Test generation from LOTOS specifications
- 1 April 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 40 (4) , 543-552
- https://doi.org/10.1109/12.88472
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Specifications of a simplified transport protocol using different formal description techniquesComputer Networks and ISDN Systems, 1990
- An interpreter for LOTOS, a specification language for distributed systemsSoftware: Practice and Experience, 1988
- A Test Design Methodology for Protocol TestingIEEE Transactions on Software Engineering, 1987
- Applications of symbolic evaluationJournal of Systems and Software, 1985
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984