"Finding causes of program output with the Java Whyline."

Amy J. Ko, Brad A. Myers (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics