Thomas Reinbacher Jörg Brauer Daniel Schachinger Andreas Steininger Stefan Kowalewski Automated Test-Trace Inspection for Microcontroller Binary Code. 239-244 2011 RV http://dx.doi.org/10.1007/978-3-642-29860-8_18 conf/rv/2011 db/conf/rv/rv2011.html#ReinbacherBSSK11