Identifying failure-correlated dependence chains

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

Volumn , Issue , 2011, Pages 607-616

  Assi, Rawad Abou ^a   Masri, Wes ^a  

^a AMERICAN UNIVERSITY OF BEIRUT   (Lebanon)

Author keywords

Dependence analysis; Dynamic program analysis; Execution profiling; Fault localization

Indexed keywords

CORRELATION MEASURES; DEPENDENCE ANALYSIS; DYNAMIC PROGRAM ANALYSIS; EXECUTION PROFILING; EXPERIMENTAL STUDIES; FAULT LOCALIZATION; HIGHLY-CORRELATED; NON-TRIVIAL; SIEMENS; STATE INFORMATION; STATEMENT COVERAGE; TARGET VALUES;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DYNAMIC ANALYSIS; TRACKING (POSITION); VERIFICATION;

SOFTWARE TESTING;

EID: 80051640800     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2011.42     Document Type: Conference Paper

References (37)

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. and Horgan J. Dynamic Program Slicing. SIGPLAN Notices, 25(6), pp. 246-256, June 1990.
3. 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.
4. Binkley D. and Harman M. A survey of empirical results on program slicing. Advances in Computers 62: 106-179, 2004. (Pubitemid 40102185)
5. 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. (Pubitemid 47430661)
6. 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.
7. Dallmeier V., Lindig C., Zeller A. Lightweight Bug Localization with AMPLE. International Symposium on Automated Analysis-Driven Debugging, AADEBUG, pp. 99- 103, 2005. (Pubitemid 43040028)
8. Denmat T., Ducasśe 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.
9. Denning D. E. Cryptography and Data Security. Addison-Wesley, 1982.
10. Denning D.E. and Denning P.J. Certification of programs for secure information flow. Communication of the ACM 20, 7 (1977), 504-513.
11. 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.
12. Fenton, J.S. Memoryless Subsystems. The Computer Journal 17, 2 (1974), 143-147.
13. Harman M., Lakhotia A. and David Binkley. Theory and algorithms for slicing unstructured programs. Information & Software Technology 48(7): 549-565 (2006).
14. Jones J., Bowring J., and Harrold M. J. Debugging in Parallel. International Symposium on Software Testing and Analysis, ISSTA, pp. 16-26, London, UK, 2007. (Pubitemid 47317576)
15. 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.
16. 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.
17. Korel B. and Yalamanchili S. Forward Computation of Dynamic Program Slices. International Symposium on Software Testing and Analysis, ISSTA, pp. 66-79, 1994.
18. 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.
19. 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.
20. 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.
21. Masri, W. Fault Localization Based on Information Flow Coverage. Software Testing, Verification and Reliability (Wiley), Volume 20, Issue 2, pages 121-147, June 2010.
22. Masri, W. Exploiting the Empirical Characteristics of Program Dependences for Improved Forward Computation of Dynamic Slice. Empirical Software Engineering (Springer), 2008, 13:369-399.
23. Masri W., Abou Assi R. Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization, Third International Conference on Software Testing, Verification, and Validation, 2008, pp. 165-174, 2010.
24. Masri W., Abou-Assi R., El-Ghali M., and Fatairi N. An Empirical Study of the Factors that Reduce the Effectiveness of Coverage-based Fault Localization. International Workshop on Defects in Large Software Systems, DEFECTS, Chicago, IL, 2009.
25. Masri, W. and Podgurski, A. Measuring the Strength of Information Flows in Programs. ACM Transactions on Software Engineering and Methodology (TOSEM). To appear 2009.
26. 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.
27. 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. (Pubitemid 40455694)
28. 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.
29. Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit: Statistical debugging using compound boolean predicates. ISSTA 2007: 5-15.
30. Renieris M. and Reiss S. Fault localization with nearest neighbor queries. In Proceedings of the 18th IEEE Conference on Automated Software Engineering, pp. 30-39, 2003.
31. Raúl A. Santelices, James A. Jones, Yanbing Yu, Mary Jean Harrold: Lightweight fault-localization using multiple coverage types. ICSE 2009: 56-66.
32. Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact. Hyunsook Do, Sebastian Elbaum, and Gregg Rothermel, Empirical Software Engineering: An International Journal, Volume 10, No. 4, pages 405-435, 2005. (Pubitemid 41408554)
33. The Byte Code Engineering Library (BCEL), The Apache Jakarta Project, http://jakarta.apache.org/bcel. Apache Software Foundation, 2003.
34. Tip F. A survey of program slicing techniques, Journal of Programming Languages 3(3), (1995), 121-189.
35. Weiser M. Program Slicing. IEEE Transactions on Software Engineering 10, 4 (1984), 352-357.
36. Xie T. and Notkin D. Checking inside the black box: Regression Testing by Comparing Value Spectra. IEEE Transactions on software Engineering, 2005, Vol. 31, issue 10, pp. 869-883. (Pubitemid 43065750)
37. Zhang, X., Gupta, N., and Gupta, R., "Pruning Dynamic Slices with Confidence, ", Int'l Conf. Programming Language Design and Implementation, PLDI, pp. 169-180, 2006. 616.