Michal Young. Symbiosis of Static Analysis and Program Testing. In Mauro Pezzè, editor, Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Volume 2621 of Lecture Notes in Computer Science, pages 1-5, Springer, 2003. [doi]
Abstract is missing.