"One Million (LOC) and Counting: Static Analysis for Errors and ..."

Peter T. Breuer, Simon Pickin (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics