Automatic Bug Detection in Microcontroller Software by Static Program Analysis.

Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp

Browse the full SOFSEM paper archive.