Daniel Kästner, Reinhold Heckmann, Christian Ferdinand. 100 Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. In Erwin Schoitsch, editor, Computer Safety, Reliability, and Security, 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings. Volume 6351 of Lecture Notes in Computer Science, pages 196-209, Springer, 2010. [doi]
Abstract is missing.