"A semiautomated method for classifying program analysis rules into a ..."

Shrinath Gupta, Himanshu Kumar Singh (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics