BugRedux: Reproducing field failures for in-house debugging

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2012, Pages 474-484

  Jin, Wei ^a   Orso, Alessandro ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUG REPORTS; EMPIRICAL STUDIES; FIELD DATA; FIELD FAILURE; GENERAL APPROACH; MOZILLA;

PROGRAM DEBUGGING;

SOFTWARE ENGINEERING;

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

References (42)

1. T. Zimmermann, R. Premraj, N. Bettenburg, S. Just, A. Schröter, and C. Weiss, "What Makes a Good Bug Report?" IEEE Transactions on Software Engineering, vol. 36, no. 5, pp. 618-643, September 2010.
2. "Windows Error Reporting: Getting Started," http://www.microsoft.com/whdc/maintain/StartWER.mspx, Februray 2012.
3. "Technical Note TN2123: CrashReporter," http://developer.apple. com/technotes/tn2004/tn2123.html, April 2012.
4. T. M. Chilimbi, B. Liblit, K. Mehra, A. V. Nori, and K. Vaswani, "HOLMES: Effective Statistical Debugging via Efficient Path Profiling," in Proceedings of the 31st International Conference on Software Engineering, 2009, pp. 34-44.
5. J. Clause and A. Orso, "A Technique for Enabling and Supporting Debugging of Field Failures," in Proceedings of the 29th International Conference on Software Engineering, 2007, pp. 261-270.
6. B. Liblit, "Cooperative Bug Isolation," Ph.D. dissertation, University of California, Berkeley, 2004.
7. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan, "Scalable Statistical Bug Isolation," in Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2005, pp. 15-26.
8. D. M. Hilbert and D. F. Redmiles, "Extracting Usability Information from User Interface Events," ACM Computing Surveys, vol. 32, no. 4, pp. 384-421, Dec 2000.
9. C. Pavlopoulou and M. Young, "Residual Test Coverage Monitoring," in Proceedings of the 21st International Conference on Software Engineering, 1999, pp. 277-284.
10. S. Elbaum and M. Diep, "Profiling Deployed Software: Assessing Strategies and Testing Opportunities," IEEE Transactions on Software Engineering, vol. 31, no. 4, pp. 312-327, 2005.
11. "The Amazing VM Record/Replay Feature in VMware Workstation 6," http://communities.vmware.com/community/vmtn/cto/steve/blog/ 2007/04/18/the-amazing-vm-recordreplay-feature-in-vmware-workstation-6, April 2012.
12. L. Jiang and Z. Su, "Context-aware Statistical Debugging: From Bug Predictors to Faulty Control Flow Paths," in Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, 2007, pp. 184-193.
13. A. Zeller and R. Hildebrandt, "Simplifying and Isolating Failure-Inducing Input," IEEE Transactions on Software Engineering, vol. 28, no. 2, pp. 183-200, 2002.
14. "tmin: Fuzzing Test Case Optimizer," http://code.google.com/p/ tmin/, April 2012.
15. M. Castro, M. Costa, and J.-P. Martin, "Better Bug Reporting with Better Privacy," in Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008, pp. 319-328.
16. J. Clause and A. Orso, "Camouflage: Automated Anonymization of Field Data," in Proceedings of the 33rd International Conference on Software Engineering, 2011, pp. 21-30.
17. W. Jin and A. Orso, "BugRedux: Reproducing Field Failures for In-house Debugging," Georgia Institute of Technology, Tech. Rep. GIT-CERCS-11-06, August 2011, http://www.cercs.gatech.edu/tech-reports/.
18. J. C. King, "Symbolic Execution and Program Testing," Communications of the ACM, vol. 19, no. 7, pp. 385-394, 1976.
19. A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools (2nd Edition). Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2006.
20. C. Cadar, D. Dunbar, and D. Engler, "KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs," in Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, 2008, pp. 209-224.
21. "Software-artifact Infrastructure Repository," http://sir.unl.edu/, April 2012, University of Nebraska - Lincoln.
22. S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou, "BugBench: Benchmarks for Evaluating Bug Detection Tools," in Workshop on the Evaluation of Software Defect Detection Tools, 2005.
23. T. Avgerinos, S. K. Cha, B. L. T. Hao, and D. Brumley, "AEG: Automatic Exploit Generation," in Proceedings of the 18th Network and Distributed System Security Symposium, February 2011.
24. C. Zamfir and G. Candea, "Execution Synthesis: A Technique for Automated Software Debugging," in Proceedings of the 5th European Conference on Computer Systems, 2010, pp. 321-334.
25. P. Godefroid, M. Y. Levin, and D. A. Molnar, "Automated Whitebox Fuzz Testing," in Proceedings of the Network and Distributed System Security Symposium, 2008.
26. C. Parnin and A. Orso, "Are Automated Debugging Techniques Actually Helping Programmers?" in Proceedings of the 2011 International Symposium on Software Testing and Analysis, Toronto, Canada, July 2011, pp. 199-209.
27. W. Visser, C. S. Pǎsǎreanu, and S. Khurshid, "Test Input Generation with Java PathFinder," SIGSOFT Software Engineering Notes, vol. 29, no. 4, pp. 97-107, 2004.
28. K. Sen, D. Marinov, and G. Agha, "CUTE: A Concolic Unit Testing Engine for C," in Proceedings of the 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005, pp. 263-272.
29. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed Automated Random Testing," in Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2005, pp. 213-223.
30. C. Pacheco and M. D. Ernst, "Randoop: Feedback-Directed Random Testing for Java," in Proceedings of the 22nd ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, 2007, pp. 815-816.
31. C. Pacheco, S. K. Lahiri, and T. Ball, "Finding Errors in .NET with Feedback-Directed Random Testing," in Proceedings of the 2008 International Symposium on Software Testing and Analysis, 2008, pp. 87-96.
32. S. Chandra, S. J. Fink, and M. Sridharan, "Snugglebug: A Powerful Approach to Weakest Preconditions," in Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009, pp. 363-374.
33. M. G. Nanda and S. Sinha, "Accurate Interprocedural Null-Dereference Analysis for Java," in Proceedings of the 31st International Conference on Software Engineering, 2009, pp. 133-143.
34. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata, "Extended Static Checking for Java," in Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2002, pp. 234-245.
35. D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou, and S. Pasupathy, "SherLog: Error Diagnosis by Connecting Clues from Run-time Logs," in Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, 2010, pp. 143-154.
36. D. Yuan, J. Zheng, S. Park, Y. Zhou, and S. Savage, "Improving Software Diagnosability via Log Enhancement," in Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011, pp. 3-14.
37. S. Artzi, S. Kim, and M. D. Ernst, "ReCrash: Making Software Failures Reproducible by Preserving Object States," in Proceedings of the 22nd European Conference on Object-Oriented Programming, 2008, pp. 542-565.
38. O. Crameri, R. Bianchini, and W. Zwaenepoel, "Striking a New Balance Between Program Instrumentation and Debugging Time," in Proceedings of the 6th European Conference on Computer Systems, 2011, pp. 199-214.
39. S. Park, Y. Zhou, W. Xiong, Z. Yin, R. Kaushik, K. H. Lee, and S. Lu, "PRES: Probabilistic Replay with Execution Sketching on Multiprocessors," in Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, 2009, pp. 177-192.
40. "Breakpad," http://code.google.com/p/google-breakpad/, April 2012.
41. B. Ashok, J. Joy, H. Liang, S. K. Rajamani, G. Srinivasa, and V. Vangala, "DebugAdvisor: A Recommender System for Debugging," in Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2009, pp. 373-382.
42. M. Harman and P. McMinn, "A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search," IEEE Transactions on Software Engineering, vol. 36, no. 2, pp. 226-247, March-April 2010.