B. Beizer, Software testing techniques, 1990.

R. Tarjan, Depth-first search and linear graph algorithms, SIAM J. Comput, vol.1, issue.2, pp.146-160, 1972.
DOI : 10.1137/0201010

F. Bourdoncle, Efficient Chaotic Iteration Strategies with Widenings, Proc. of the International Conference on Formal Methods in Programming and their Applications, vol.735, pp.128-141, 1993.

S. Rapps and E. J. Weyuker, Selecting Software Test Data Using Data Flow Information, IEEE Transactions on Software Engineering, vol.11, pp.367-375, 1985.

J. Jézéquel, Object Oriented Software Engineering with Eiffel, 1996.

R. V. Binder, Testing object-oriented software : A survey, Journal of Sofware Testing, Verification and Reliability, vol.6, pp.125-252, 1996.

R. V. Binder, Design for Testability with Object-Oriented Systems, Communications of the ACM, vol.37, issue.9, pp.87-101, 1994.

C. Paul, C. Jorgensen, and . Erickson, Object-Oriented Integration Testing, Communications of the ACM, vol.37, issue.9, pp.30-38, 1994.

C. David, . Kung, J. Gao, C. , and C. , On Regression Testing of Object-Oriented Programs, The Journal of Systems and Software, 1996.

J. D. Mcgregor and T. Korson, Integrating Object-Oriented Testing and Development Processes, Communications of the ACM, vol.37, issue.9, pp.59-77, 1994.

M. J. Harrold, J. D. Mcgregor, and K. J. Fitzpatrick, Incremental Testing of Object-oriented Class Structures

, Proceedings, 14th International Conference on Software Engineering, pp.68-80, 1992.

K. Tai and F. J. Daniels, Interclass Test Order for Object-Oriented Software, Journal of Object-Oriented Programming (JOOP), pp.18-35, 1999.

Y. Le-traon, D. Deveaux, and J. Jézéquel, Self-testable components: from pragmatic tests to a design-fortestability methodology, proc. of TOOLS-Europe'99. TOOLS, pp.96-107, 1999.