P. Godefroid, J. Herbsleb, L. Jagadeesany, and D. Li. Proceedings of the 2000 ACM conference on Computer supported cooperative
work, page 59--68. Philadelphia, Pennsylvania, United States, ACM, (2000)
P. Godefroid, and P. Wolper. CAV '91: Proceedings of the 3rd International Workshop on Computer Aided Verification, page 332--342. London, UK, Springer-Verlag, (1992)