Albert Endres, Wolfgang Glatthaar. A complementary approach to program analysis and testing. In Giampio Bracchi, Peter C. Lockemann, editors, Information Systems Methodology, Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, Italy, October 10-12, 1978. Volume 65 of Lecture Notes in Computer Science, pages 380-401, Springer, 1978.
Abstract is missing.