1. AutoTest page at se.ethz.ch/research/autotest/
2. Bezault, E., et al.: Gobo Library and Tools, at http://www.gobosoft.com
3. Binder, R.V.: Testing Object-Oriented Systems: Models, Patterns and Tools. Addison-Wesley, London (1999)
4. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing Based on Java Predicates. In: 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), Rome, Italy (2002)
5. Chalin, P.: Are Practitioners Writing Contracts? In: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (eds.) Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (REFT 2005), Technical Report CS-TR-915, University of Newcastle upon Tyne (2005)