Automated Test-Trace Inspection for Microcontroller Binary Code.

Thomas Reinbacher, Jrg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski

Browse the full RV paper archive.