Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller.

Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo

Browse the full APSEC paper archive.