System-specific static code analyses: a case study in the complex embedded systems domain

Holger M. Kienle, Johan Kraft, Thomas Nolte. System-specific static code analyses: a case study in the complex embedded systems domain. Software Quality Journal, 20(2):337-367, 2012. [doi]

Abstract

Abstract is missing.