An empirical study of the factors that reduce the effectiveness of coverage-based fault localization

DEFECTS 2009 - Proceedings of the 2nd International Workshop on Defects in Large Software Systems, Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2009

Volumn , Issue , 2009, Pages 1-5

  Masri, Wes ^a   Abou Assi, Rawad ^a   El Ghali, Marwa ^a   Al Fatairi, Nour ^a  

^a AMERICAN UNIVERSITY OF BEIRUT   (Lebanon)

Author keywords

Coincidental correctness; Combinations of program elements; Coverage based fault localization; Genetic algorithm; Siemens test suite for Java

Indexed keywords

DEFECTS; GENETIC ALGORITHMS; JAVA PROGRAMMING LANGUAGE; SOFTWARE TESTING;

COINCIDENTAL CORRECTNESS; COVERAGE-BASED FAULT LOCALIZATIONS; EMPIRICAL STUDIES; JAVA PROGRAM; PROGRAM ELEMENTS; RANKING STRATEGY; SIEMENS;

COMPUTER SOFTWARE;

EID: 84862321156     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1555860.1555862     Document Type: Conference Paper

References (27)

1. Abreu R., Zoeteweij P. and Van Gemund A. J. C. On the Accuracy of Spectrum-based Fault Localization. TAICPART, pp. 89-98, 2007.
2. Agrawal H., Horgan J., London S. and Wong W. Fault localization using execution slices and dataflow sets. IEEE International Symposium on Software Reliability Engineering, ISSRE, pp. 143-151, 1995.
3. S. Butenko and W. E. Wilhelm, "Clique-detection models in computational biochemistry and genomics", European Journal of Operational Research, 173(1), pp. 1-17, 2006.
4. Clause J. and Orso A. A Technique for Enabling and Supporting Debugging of Field Failures. Proceedings of the 29th IEEE and ACM SIGSOFT International Conference on Software Engineering, ICSE, pp. 261-270, May 2007.
5. Cleve H. and Zeller A. Locating causes of program failures. In Proceedings of the International Conference on Software Engineering, pages 342-351, St. Louis, Missouri, May 2005.
6. Dallmeier V., Lindig C., Zeller A. Lightweight Bug Localization with AMPLE. International Symposium on Automated Analysis-Driven Debugging, AADEBUG, pp. 99-103, 2005.
7. Denmat T., Ducassé M. and Ridoux O. Data Mining and Crosschecking of Execution Traces. Int'l Conf. Automated Software Eng., ASE, pp. 396-399, Long Beach, CA, 2005.
8. El-Ghali M. and Masri W. Software Engineering for Secure Systems, SESS 2009, Vancouver, Canada.
9. Q. Guo, R. M. Hierons, M. Harman, K. Derderian, "Computing Unique Input/Output Sequences using Genetic Algorithms". Proceedings of the 3rd International Workshop on Formal Approaches to Software Testing (FATES'03), Montreal, Canada, October 2003, pp. 1098-1100.
10. R. M. Hierons. Avoiding coincidental correctness in boundary value analysis. ACM Transactions on Software Engineering and Methodology. Volume 15, Issue 3 (July 2006). Pages: 227-241.
11. M. Hifi, "A genetic algorithm-based heuristic for solving the weighted maximum independent set and some equivalent problems". The Journal of the Operational Research Society, 48(6), pp. 612-622, 1997.
12. Hyunsook Do, Sebastian Elbaum, and Gregg Rothermel. Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact. Empirical Software Engineering: An International Journal, Volume 10, No. 4, pages 405-435, 2005.
13. Jones J. and Harrold M. J. "Empirical Evaluation of the Tarantula Automatic Fault-Localization Technique", Proc. 20th IEEE/ACM Int'l Conf. Automated Software Eng. (ASE'05), pp. 273-282, 2005.
14. Jones J., Harrold M. J., and Stasko J.. Visualization of Test Information to Assist Fault Localization. In Proceedings of the 24th International Conference on Software Engineering, pp. 467-477, May 2001.
15. Z. Li, M. Harman, R. M. Hierons, "Search Algorithms for Regression Test Case Prioritization", IEEE Transactions on Software Engineering, 33(4), pp. 225-237, 2007.
16. Liblit B., Aiken A., Zheng A., and Jordan M. Bug Isolation via Remote Program Sampling. Proc. ACM SIGPLAN 2003 Int'l Conf. Programming Language Design and Implementation (PLDI'03), pp. 141-154, 2003.
17. Liblit B., Naik M., Zheng A., Aiken A., and Jordan M. Scalable Statistical Bug Isolation. Proc. ACM SIGPLAN 2005 Int'l Conf. Programming Language Design and Implementation (PLDI'05), pp. 15-26, 2005.
18. Liu C., Fei L., Yan X., Han J. and Midkiff S. Statistical Debugging: A Hypothesis Testing-based Approach. IEEE Transaction on Software Engineering, Vol. 32, No. 10, pp. 831-848, Oct., 2006.
19. Masri, W. Fault Localization Based on Information Flow Coverage. Software Testing, Verification and Reliability, To appear 2009. (http://www.cs.aub.edu.lb/wm13/AUB-CMPS-07-10.pdf)
20. Masri, W. and Podgurski, A. Measuring the Strength of Information Flows in Programs. ACM Transactions on Software Engineering and Methodology (TOSEM). To appear 2009.
21. Masri, W. and Podgurski, A. Algorithms and Tool Support for Dynamic Information Flow Analysis. Information and Software Technology (Elsevier), Vol. 51, Fe. 2009, pp. 395-404.
22. Masri, W., Podgurski, A., and Leon, D. Detecting and Debugging Insecure Information Flows. 15th. IEEE International Symposium on Software Reliability Engineering, ISSRE, pp. 198-209, St. Malo, France, Nov. 2004.
23. W. Masri, A. Podgurski and D. Leon. "An Empirical Study of Test Case Filtering Techniques Based On Exercising Information Flows". IEEE Transactions on Software Engineering, July, 2007, vol. 33, number 7, page 454.
24. Renieris M. and Reiss S. Fault localization with nearestneighbor queries. In Proceedings of the 18th IEEE Conference on Automated Software Engineering, pp. 30-39, 2003.
25. Santelices R., Jones J. A., Yu Y., Harrold M. J. Lightweight Fault-Localization Using Multiple Coverage Types. International Conference on Software Engineering, Vancouver, Canada, 2009.
26. Jeffrey M. Voas: PIE: A Dynamic Failure-Based Technique. IEEE Trans. Software Eng. 18(8):717-727 (1992)
27. Wang X., Cheung S. C., Chan W. K., Zhang Zhenyu. Taming Coincidental Correctness: Coverage Refinement with Context Patterns to Improve Fault Localization. International Conference on Software Engineering, Vancouver, Canada, 2009.