Automatic Bug Detection in Microcontroller Software by Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Bastian Schlich; Michael Tapp (SOFSEM, 2009)

Fade to Grey: Tuning Static Program Analysis. - Ansgar Fehnker; Ralf Huuck; Sean Seefried; Michael Tapp (TTSS, 2009)