Automated Test-Trace Inspection for Microcontroller Binary Code

Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski. Automated Test-Trace Inspection for Microcontroller Binary Code. In Sarfraz Khurshid, Koushik Sen, editors, Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Volume 7186 of Lecture Notes in Computer Science, pages 239-244, Springer, 2011. [doi]

Authors

Thomas Reinbacher

This author has not been identified. Look up 'Thomas Reinbacher' in Google

Jörg Brauer

This author has not been identified. Look up 'Jörg Brauer' in Google

Daniel Schachinger

This author has not been identified. Look up 'Daniel Schachinger' in Google

Andreas Steininger

This author has not been identified. Look up 'Andreas Steininger' in Google

Stefan Kowalewski

This author has not been identified. Look up 'Stefan Kowalewski' in Google