P. Godefroid, и P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, стр. 332--342. London, UK, Springer-Verlag, (1992)
P. Godefroid, J. Herbsleb, L. Jagadeesany, и D. Li. Proceedings of the 2000 ACM conference on Computer supported cooperative
work, стр. 59--68. Philadelphia, Pennsylvania, United States, ACM, (2000)
S. Anand, P. Godefroid, и N. Tillmann. Proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2008)