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)
P. Godefroid. Dependable Software Systems Engineering, volume 45 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2016)
P. Godefroid. Software Systems Safety, volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)