, Communications of the ACM, vol.37, issue.9, pp.78-86, 1994.
, Le test des logiciels à objets, 1997.
Software testing techniques, Van Nostrand Reinhold, 1990. ,
Object-Oriented Software : A Survey, Journal of Sofware Testing, Verification and Reliability, vol.6, pp.125-252, 1996. ,
, Introduction OO Testing: What's New? », Object, 1997.
, Assemblée des départements Informatiques d'IUT, pp.sem-nat, 1994.
« Expérimentation de documentation automatique en développement objet, Conférence "Objet'97, 1997. ,
, Rencontre pédago-giques IUT : Journées Java, Assemblée des Chefs de Départements d'IUT d'Informatique, pp.sem-nat, 1998.
, , 1997.
, , 1998.
, Object Oriented Software Engineering with Eiffel, 1996.
The Java(tm) Design by Contract(tm) Tool, 26th Conference on Technology of Object-Oriented Systems (TOOLS USA'98), 1998. ,
Object-oriented Software Construction, Series in Computer Science, 1988. ,
Design by Contract" », IEEE Computer, pp.40-51, 1992. ,
The Art of Software Testing, 1979. ,