Transformation- and Pattern-based State Machine Mining from Embedded C Code.

Andreas Grosche, Burkhard Igel, Olaf Spinczyk

Browse the full ICSoft paper archive.