Binary-Level Testing of Embedded Programs. - Sébastien Bardin; Philippe Baufreton; Nicolas Cornuet; Philippe Herrmann; Sébastien Labbé 002 (QSIC, 2013)