Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler.

Jrg Brauer, Markus Dahlweid, Tobias Pankrath, Jan Peleska

Browse the full SAFECOMP paper archive.