]. H. Agrawal95, J. Agrawal, S. Horgan, W. London, . Wongbaudry00-]-b et al., Fault Localization using Execution Slices and Dataflow Tests Testing-for-Trust: the Genetic Selection Model applied to Component Qualification, 6th International Symposium on Software Reliability Engineering proceedings of TOOLS'2000 (Technology of Object Oriented Languages and Systems) Property-Based Software Engineering Measurement, pp.108-119, 1995.

]. R. Demillo78, R. Demillo, F. Lipton, . E. Saywardfenton86-]-n, R. W. Fenton et al., Hints on Test Data Selection : Help For The Practicing Programmer Axiomatic approach to Software Metrication through Program Decomposition Efficient Strategies for Integration and Regression Testing of OO Systems Design by Contract: The lessons of Ariane An Overview and Comparative Classification of Program Slicing Techniques, The Computer Journal proc. of the 10th International Symposium on Software Reliability Engineering (ISSRE'99), pp.34-41, 1978.

M. Khalil, Y. Le-traon, C. Robach, . Kitchenham95-]-b, S. L. Kitchenham et al., Automated Strategies for Software Diagnosis Paderborn (Germany) Towards a Framework for Software Measurement Validation Computation Of Dynamic Program Slices For Unstructured Programs, Proc. of the IEEE International Symposium on Software Reliability Engineering (ISSRE'98), pp.929-943, 1995.

L. Traon98, ]. Y. Le-traon, F. Ouabdesselam, and C. Robach, Software Diagnosability, Proc. of the IEEE International Symposium on Software Reliability Engineering (ISSRE'98), 1998.

L. Traon00, ]. Y. Le-traon, F. Ouabdesselam, C. Robachliskov86-]-b, J. Liskov et al., Analyzing Testability on Data Flow Designs Abstraction and Specification in Program Development Applying " Design by contractToward More expressive contracts, to be presented. to the International Symposium on Software Reliability Engineering 2000 (ISSRE'00), San José (CA), pp.40-52, 1986.

. Zhang, An experimental evaluation of data flow and mutation testing, Software Practice and Experience, vol.26, issue.2, 1996.

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

J. Voas and K. Miller, The revealing power of a test case, presented at 2nd International Workshop on Automated and Algorithmic Debugging (AADEBUG'95), Saint-Malo (France) Programmers Use Slices When Debugging, pp.25-42, 1982.
DOI : 10.1002/stvr.4370020105

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