Generating finite state machines from abstract state machines
- 1 July 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 27 (4), 112-122
- https://doi.org/10.1145/566172.566190
Abstract
No abstract availableKeywords
This 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