"Symbiosis of Static Analysis and Program Testing."

Michal Young (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics