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
Citations:68 - 21 self