"How to Build Static Checking Systems Using Orders of Magnitude Less Code."

Fraser Brown, Andres Nötzli, Dawson R. Engler (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics