Software testing techniques, 1990. ,
Depth-first search and linear graph algorithms, SIAM J. Comput, vol.1, issue.2, pp.146-160, 1972. ,
DOI : 10.1137/0201010
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. ,
Selecting Software Test Data Using Data Flow Information, IEEE Transactions on Software Engineering, vol.11, pp.367-375, 1985. ,
Object Oriented Software Engineering with Eiffel, 1996. ,
Testing object-oriented software : A survey, Journal of Sofware Testing, Verification and Reliability, vol.6, pp.125-252, 1996. ,
Design for Testability with Object-Oriented Systems, Communications of the ACM, vol.37, issue.9, pp.87-101, 1994. ,
Object-Oriented Integration Testing, Communications of the ACM, vol.37, issue.9, pp.30-38, 1994. ,
On Regression Testing of Object-Oriented Programs, The Journal of Systems and Software, 1996. ,
Integrating Object-Oriented Testing and Development Processes, Communications of the ACM, vol.37, issue.9, pp.59-77, 1994. ,
Incremental Testing of Object-oriented Class Structures ,
, Proceedings, 14th International Conference on Software Engineering, pp.68-80, 1992.
Interclass Test Order for Object-Oriented Software, Journal of Object-Oriented Programming (JOOP), pp.18-35, 1999. ,
Self-testable components: from pragmatic tests to a design-fortestability methodology, proc. of TOOLS-Europe'99. TOOLS, pp.96-107, 1999. ,