"Improving the accuracy of oracle verdicts through automated model steering."

Gregory Gay, Sanjai Rayadurgam, Mats Per Erik Heimdahl (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics