A. T. Fuson-w and . Testing, Communications of the ACM, vol.37, issue.9, pp.78-86, 1994.

B. S. , Le test des logiciels à objets, 1997.

. Beizer-b, Software testing techniques, Van Nostrand Reinhold, 1990.

. V. Binder-r and . Testing, Object-Oriented Software : A Survey, Journal of Sofware Testing, Verification and Reliability, vol.6, pp.125-252, 1996.

. V. Binder-r, Introduction OO Testing: What's New? », Object, 1997.

C. Deveaux-d.,-«-programmation-contractuelle-en, Assemblée des départements Informatiques d'IUT, pp.sem-nat, 1994.

. Deveaux-d and P. Frison, « Expérimentation de documentation automatique en développement objet, Conférence "Objet'97, 1997.

. Deveaux-d, Rencontre pédago-giques IUT : Journées Java, Assemblée des Chefs de Départements d'IUT d'Informatique, pp.sem-nat, 1998.

P. Drix, P. Langage-c-norme-ansi--vers-une, and J. Objet-en, , 1997.

P. Drix and . Javadog, , 1998.

J. , Object Oriented Software Engineering with Eiffel, 1996.

. Kramer-r, The Java(tm) Design by Contract(tm) Tool, 26th Conference on Technology of Object-Oriented Systems (TOOLS USA'98), 1998.

M. B. , Object-oriented Software Construction, Series in Computer Science, 1988.

M. B. Applying, Design by Contract" », IEEE Computer, pp.40-51, 1992.

. Myers-g, The Art of Software Testing, 1979.