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)
S. Anand, P. Godefroid, and N. Tillmann. Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2008)
P. Godefroid. Partial Order Methods in Verification, volume 29 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 289-303. DIMACS/AMS, (1996)