100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis.

Daniel Kstner, Reinhold Heckmann, Christian Ferdinand

Browse the full SAFECOMP paper archive.