Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo. Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. In 26th Asia-Pacific Software Engineering Conference, APSEC 2019, Putrajaya, Malaysia, December 2-5, 2019. pages 86-93, IEEE, 2019. [doi]
Abstract is missing.