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. ,
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. ,
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. ,
Software Diagnosability, Proc. of the IEEE International Symposium on Software Reliability Engineering (ISSRE'98), 1998. ,
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. ,
An experimental evaluation of data flow and mutation testing, Software Practice and Experience, vol.26, issue.2, 1996. ,
Derivation and Validation of Software Metrics, 1993. ,
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
Program Slicing, IEEE Transactions on Software Engineering, vol.10, issue.4, pp.352-357, 1984. ,
DOI : 10.1109/TSE.1984.5010248