Generating finite state machines from abstract state machines

• 1 January 2002
• proceedings article
• Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
• Vol. 27  (4) , 112-122
• https://doi.org/10.1145/566189.566190

Abstract

Keywords

• ASM
• FSM
• ABSTRACT STATE MACHINE
• EXECUTABLE SPECIFICATION
• FINITE STATE MACHINE
• TEST CASE GENERATION