J. M. Voas and L. Kassab, Using Assertions to Make Untestable Software More Testable, Software Quality Professional, vol.1, issue.4, 1999.

D. S. Rosenblum, A practical approach to programming with assertions, IEEE Transactions on Software Engineering, vol.21, issue.1, pp.19-31, 1995.
DOI : 10.1109/32.341844

M. Carrillo-castellon, J. Garcia-molina, E. Pimentel, and I. Repiso, Design by Contract in Smalltalk, J. Object Oriented Programming, vol.8, issue.7, pp.23-38, 1996.

R. B. Findler and M. Felleisen, Contract Soudness for Object- Oriented Languages, Proc. Object Oriented Programming, Systems, Languages, and Applications (OOPSLA '01), 2001.

J. E. Nordby, M. Blom, and A. Brunstrom, On the relation between design contracts and errors: a software development strategy, Proceedings Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2002.
DOI : 10.1109/ECBS.2002.999829

B. Meyer, Object-Oriented Software Construction, 1992.

B. Meyer, Towards More Expressive Contracts, J. Object Oriented Programming, pp.39-43, 2000.

J. Jézéquel, D. Deveaux, and Y. Le-traon, Reliable objects: lightweight testing for oo languages, IEEE Software, vol.18, issue.4, pp.76-83, 2001.
DOI : 10.1109/MS.2001.936221

B. Baudry, J. Jézéquel, and Y. Le-traon, Robustness and diagnosability of OO systems designed by contracts, Proceedings Seventh International Software Metrics Symposium, 2001.
DOI : 10.1109/METRIC.2001.915535
URL : https://hal.archives-ouvertes.fr/hal-00794315

Y. Le-traon, F. Ouabdessalam, C. Robach, and B. Baudry, From diagnosis to diagnosability: axiomatization, measurement and application, Journal of Systems and Software, vol.65, issue.1, pp.31-50, 2003.
DOI : 10.1016/S0164-1212(02)00026-2

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. Laprie, Dependability: Basic Concepts and Terminology, 1992.
DOI : 10.1007/978-3-7091-9170-5_1

J. Jézéquel and B. Meyer, Design by contract: the lessons of Ariane, Computer, vol.30, issue.1, pp.129-130, 1997.
DOI : 10.1109/2.562936

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

B. Liskov and J. Guttag, Abstraction and Specification in Program Development, 1986.

L. Briand, S. Morasca, and V. S. Basili, Property-based software engineering measurement, IEEE Transactions on Software Engineering, vol.22, issue.1, pp.68-86, 1996.
DOI : 10.1109/32.481535
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.25

N. E. Fenton and R. W. Whitty, Axiomatic approach to Software Metrication through Program Decomposition, The Computer Journal, vol.29, issue.4, pp.330-339, 1986.
DOI : 10.1093/comjnl/29.4.330

B. Kitchenham, S. L. Pfleeger, and N. Fenton, Towards a framework for software measurement validation, IEEE Transactions on Software Engineering, vol.21, issue.12, pp.929-944, 1995.
DOI : 10.1109/32.489070

M. Shepperd and D. Ince, Derivation and Validation of Software Metrics, 1993.

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

J. M. 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

Y. Ma, Y. Kwon, and A. J. Offutt, Inter-Class Mutation Operators, Proc. Int'l Symp. Software Reliability Eng. (ISSRE '02), 2002.

B. Baudry, Y. Le-traon, J. Jézéquel, and V. L. Hanh, Trustable Components: Yet Another Mutation-Based Approach, Proc. First Symp. Mutation Testing, 2000.
DOI : 10.1007/978-1-4757-5939-6_9
URL : https://hal.archives-ouvertes.fr/hal-00777468

L. Briand, Y. Labiche, and H. Sun, Investigating the Use of Analysis Contracts to Support Fault Isolation in Object Oriented Code, Proc. Int'l Symp. Software Testing and Analysis (ISSTA '02), 2002.

T. Jéron, J. Jézéquel, Y. Le-traon, and P. Morel, Efficient strategies for integration and regression testing of OO systems, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), 1999.
DOI : 10.1109/ISSRE.1999.809331

L. C. Briand, Y. Labiche, and H. Sun, Investigating the use of analysis contracts to improve the testability of object-oriented code, Software: Practice and Experience, vol.21, issue.7, 2003.
DOI : 10.1002/spe.520

Y. Le-traon, F. Ouabdessalam, and C. Robach, Software diagnosability, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257), 1998.
DOI : 10.1109/ISSRE.1998.730889

B. Baudry, F. Fleurey, and Y. Le-traon, Improving test suites for efficient fault localization, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134299
URL : https://hal.archives-ouvertes.fr/inria-00542783

V. Dallmeier, C. Lindig, and A. Zeller, Lightweight Defect Localization for Java, Proc.f European Conf. Object-Oriented Programming (ECOOP '05), 2005.
DOI : 10.1007/11531142_23

J. A. Jones and M. J. Harrold, Empirical evaluation of the tarantula automatic fault-localization technique, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, 2005.
DOI : 10.1145/1101908.1101949

M. Weiser, Program Slicing, IEEE Transactions on Software Engineering, vol.10, issue.4, pp.352-357, 1984.
DOI : 10.1109/TSE.1984.5010248

M. Weiser, Programmers use slices when debugging, Communications of the ACM, vol.25, issue.7, pp.446-452, 1982.
DOI : 10.1145/358557.358577

M. Kamkar, An overview and comparative classification of program slicing techniques, Journal of Systems and Software, vol.31, issue.3, pp.197-214, 1995.
DOI : 10.1016/0164-1212(94)00099-9

H. Agrawal, J. Horgan, S. London, and W. Wong, Fault localization using execution slices and dataflow tests, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, 1995.
DOI : 10.1109/ISSRE.1995.497652
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.5879

P. Fenkam, H. Gall, and M. Jazayeri, Constructing CORBA-supported oracles for testing: a case study in automated software testing, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002.
DOI : 10.1109/ASE.2002.1115003

Y. Cheon and G. T. Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Proc. European Conf. Object-Oriented Programming, 2002.
DOI : 10.1007/3-540-47993-7_10

B. Meyer, A Framework for Proving Contract-Equipped Classes, Proc. Int'l Workshop Abstract State Machines, 2003.
DOI : 10.1007/3-540-36498-6_6

Y. Hoskote, T. Kam, P. Ho, and X. Zhao, Coverage Estimation for Symbolic Model Checking, Proc. 36th Ann. Conf. Design Automation (DAC '99), 1999.

H. Chockler and O. Kupferman, Coverage of Implementations by Simulating Specifications, Proc. Theoretical Computer Science, 2002.
DOI : 10.1007/978-0-387-35608-2_34