Generating finite state machines from abstract state machines.

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes

Browse the full ISSTA paper archive.