Generating Finite State Machines from Abstract State Machines (2002)

by Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes
Venue:in Proceedings of International Symposium on Software Testing and Analysis (ISSTA