"Semantics-assisted code review: an efficient toolchain and a user study."

Massimiliano Menarini, Yan Yan, William G. Griswold (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics