"Finding application errors and security flaws using PQL: a program query ..."

Michael C. Martin, V. Benjamin Livshits, Monica S. Lam (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics