Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. In Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro Cesar Zanella, Franz J. Rammig, editors, Embedded Systems: Design, Analysis and Verification - 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Volume 403 of IFIP Advances in Information and Communication Technology, pages 139-150, Springer, 2013. [doi]
Abstract is missing.