Dynamic property mining for embedded software. - Marco Bonato; Giuseppe Di Guglielmo; Masahiro Fujita; Franco Fummi; Graziano Pravadelli (CODES+ISSS, 2012)