P. Godefroid, L. Mariani, A. Polini, N. Tillmann, W. Visser, and M. Whalen. Practical Software Testing: Tool Automation and Human Factors, volume 10111 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)