Holmes: Effective statistical debugging via efficient path profiling

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 34-44

  Chilimbi, Trishul M ^a   Liblit, Ben ^b   Mehra, Krishna ^a   Nori, Aditya V ^a   Vaswani, Kapil ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE VERSIONS; BENCHMARK SUITES; DEBUGGING TOOLS; EFFICIENT PATH; EXECUTION TIME; FINDING PATHS; LOW OVERHEAD; PATH PROFILE; PROGRAM PROFILES; RANDOM SAMPLING; REAL-WORLD APPLICATION; STATISTICAL ANALYSIS;

BENCHMARKING; COMPUTER SOFTWARE; QUALITY ASSURANCE; SAFETY ENGINEERING;

PROGRAM DEBUGGING;

EID: 73149122840     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070506     Document Type: Conference Paper

References (25)

1. The Apache Software Foundation. http://www.apache.org.
2. Codesurfer. http://www.grammatech.com/products/codesurfer/.
3. GCC: The GNU Compiler Collection. http://gcc.gnu.org.
4. Phoenix. http://research.microsoft.com/Phoenix.
5. SIR: Software-artifact Infrastructure Repository. http://sir.unl.edu/ portal/index.html.
6. Windows update. http://windowsupdate.microsoft.com.
7. E. B. Allen, T. M. Khoshgoftaar, and Y. Chen. Measuring coupling and cohesion of software modules: an information-theory approach. In METRICS: Symposium on Software Metrics, pages 124-134, 2001.
8. G. Ammons and J. R. Larus. Improving data-flow analysis with path profile. In PLDI: Programming Language Design and Implementation, pages 72-84, 1998.
9. M. Arnold and B. Ryder. A framework for reducing the cost of instrumented code. In PLDI: Programming Language Design and Implementation, pages 168-179, 2001.
10. P. Arumuga Nainar, T. Chen, J. Rosin, and B. Liblit. Statistical debugging using compound Boolean predicates. In ISSTA: International Symposium on Software Testing and Analysis, pages 5-15, 2007.
11. T. Ball and J. R. Larus. Efficient path profiling. In MICRO: International Symposium on Microarchitecture, pages 46-57, 1996.
12. T. Ball, M. Naik, and S. K. Rajamani. From symptom to cause: localizing errors in counterexample traces. In POPL: Principles of Programming Languages, pages 97-105, 2003.
13. A. Beszedes, T. Gergely, S. Farago, T. Gyimothy, and F. Fischer. The dynamic function coupling metric and its use in software evolution. In Conference on Software Maintenance and Reengineering (CSMR), pages 103-112, 2007.
14. T. M. Chilimbi, A. V. Nori, and K. Vaswani. Quantifying the effectiveness of testing via efficient residual path profiling. In FSE: Foundations of Software Engineering, pages 545-548, 2007.
15. H. Cleve and A. Zeller. Locating causes of program failures. In ICSE: International Conference on Software Engineering, pages 342-351, 2005.
16. M. Hirzel and T. M. Chilimbi. Bursty tracing: A framework for low overhead temporal profiling. In FDDO: Workshop on Feedback-Directed and Dynamic Optimization, 2001.
17. L. Jiang and Z. Su. Context-aware statistical debugging: From bug predictors to faulty control flow paths. In ASE '08: Automated Software Engineering, pages 184-193, 2007.
18. J. A. Jones and M. J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In ASE '05: Automated Software Engineering, pages 273-282, 2005.
19. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ICSE '02: International Conference on Software Engineering, pages 467-477, 2002.
20. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI: Programming Language Design and Implementation, pages 141-154, 2003.
21. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In PLDI: Programming Language Design and Implementation, pages 15-26, 2005.
22. C. Liu, X. Yan, L. Fei, J. Han, and S. Midkiff. Sober: Statistical model-based bug localization. In FSE: Foundations of Software Engineering, 2005.
23. M. C. M. Fortin, Distinguished Engineer. Personal communication. 2007.
24. M. Renieris and S. Reiss. Fault localization with nearest neighbor queries, 2003.
25. K. Vaswani, A. V. Nori, and T. M. Chilimbi. Preferential path profiling: compactly numbering interesting paths. In POPL '07: Principles of Programming Languages, pages 351-362, 2007.