Generating finite state machines from abstract state machines
- 1 July 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 27 (4), 112-122
- https://doi.org/10.1145/566171.566190
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Sequential abstract-state machines capture sequential algorithmsACM Transactions on Computational Logic, 2000
- Application of finite automatons for program testingProgramming and Computer Software, 2000
- KVEST: Automated Generation of Test Suites from Formal SpecificationsLecture Notes in Computer Science, 1999
- An experiment in automatic generation of test suites for protocols with verification technologyScience of Computer Programming, 1997
- Principles and methods of testing finite state machines-a surveyProceedings of the IEEE, 1996
- Automatic generation of functional vectors using the extended finite state machine modelACM Transactions on Design Automation of Electronic Systems, 1996
- Protocol testingPublished by Association for Computing Machinery (ACM) ,1994
- Formal methods for protocol testing: a detailed studyIEEE Transactions on Software Engineering, 1989