Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-yves Schobbens, Patrick Heymans, et al.. State machine flattening, a mapping study and tools assessment.
8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria.
⟨10.1109/ICSTW.2015.7107408⟩.
⟨hal-01242787⟩