"Bixie: Finding and Understanding Inconsistent Code."

Tim McCarthy, Philipp Rümmer, Martin Schäf (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics