State machine flattening, a mapping study and tools assessment.

Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans

Browse the full ICST paper archive.