Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters
Open Access
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (1) , 29-42
- https://doi.org/10.1109/32.263753
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Test selection based on finite state modelsIEEE Transactions on Software Engineering, 1991
- Protocol specification for OSIComputer Networks and ISDN Systems, 1990
- A Test Design Methodology for Protocol TestingIEEE Transactions on Software Engineering, 1987
- A 222pn upper bound on the complexity of Presburger ArithmeticJournal of Computer and System Sciences, 1978