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

E. William, Y. Howden, and . Huang, Software Trustability " , In proc, of the IEEE Symposium on Adaptive processes-Decision and Control, XVII, 1970.

B. Meyer, A pplying``pplying`` design by contract, IEEE Computer, pp.40-51, 1992.

J. Jézéquel and M. , Train and C. Mingins. Design- Patterns and Contracts, 1999.

R. Demillo, R. Lipton, and F. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136

J. Offutt, J. Pan, K. Tewary, and T. Zhang, An Experimental Evaluation of Data Flow and Mutation Testing, Software Practice and Experience, 1996.
DOI : 10.1002/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K

J. Voas and K. Miller, The revealing power of a test case, Software Testing, Verification and Reliability, pp.25-42, 1992.
DOI : 10.1002/stvr.4370020105

R. Demillo and A. Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

A. J. Offutt, Investigations of the software testing coupling effect, Genetic Algorithms in Search, Optimization and Machine Learning, pp.3-18, 1989.
DOI : 10.1145/125489.125473

J. H. Holland, Robust algorithms for adaptation set in a general formal framework, 1970 IEEE Symposium on Adaptive Processes (9th) Decision and Control, pp.143-151, 1994.
DOI : 10.1109/SAP.1970.270009

R. V. Binder, Testing Object-Oriented Systems :Models, Patterns, and Tools, 1999.

K. Beck, E. Gamma, T. Jéron, J. Jézéquel, Y. Le-traon et al., Efficient Strategies for Integration and Regression Testing of OO Systems Boca raton (Florida Automatic structural testing using genetic algorithms, Programmers Love Writing Tests proc. of the 10th International Symposium on Software Reliability Engineering (ISSRE'99) Efficient OO Integration and Regression Testing IEEE Transactions on Reliability17] S. A. Wadekar, S. S. Gokhale, Exploring cost and reliability tradeoffs in architectural alternatives using a genetic algorithm proc. of the 10th International Symposium on Software Reliability Engineering (ISSRE'99), pp.37-50, 1999.