Automated diagnosis of software configuration errors

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2013, Pages 312-321

  Zhang, Sai ^a   Ernst, Michael D ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED DIAGNOSIS; CONFIGURATION ERRORS; CONFIGURATION OPTIONS; DYNAMIC PROFILING; SINGLE CONFIGURATION; SOFTWARE CONFIGURATION; SOFTWARE FUNCTIONS; UNDESIRED BEHAVIOR;

SOFTWARE ENGINEERING; SOFTWARE TESTING; STATIC ANALYSIS;

ERRORS;

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

References (36)

1. M. Attariyan and J. Flinn. Using causality to diagnose configuration bugs. In USENIX ATC, 2008.
2. M. Attariyan and J. Flinn. Automating configuration troubleshooting with dynamic information flow analysis. In OSDI, 2010.
3. J. Clause, W. Li, and A. Orso. Dytan: A generic dynamic taint analysis framework. In ISSTA, 2007.
4. CLOC. http://cloc.sourceforge.net/.
5. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In ICSE, 1999.
6. B. J. Garvin, M. B. Cohen, and M. B. Dwyer. Using feature locality: can we leverage history to avoid failures during reconfiguration? In ASAS, 2011.
7. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. In PLDI, 1988.
8. A. Hubaux, Y. Xiong, and K. Czarnecki. A user survey of configuration challenges in Linux and eCos. In VaMoS, 2012.
9. JChord. http://pag.gatech.edu/chord/.
10. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ICSE, 2002.
11. A. Kapoor. Web-to-host: Reducing the total cost of ownership. Technical Report 200503, The Tolly Group, May 2000.
12. L. Keller, P. Upadhyaya, and G. Candea. ConfErr: A tool for assessing resilience to human configuration errors. In DSN, 2008.
13. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In PLDI, 2005.
14. S. McCamant and M. D. Ernst. Predicting problems caused by component upgrades. In ESEC/FSE, 2003.
15. NanoXML. http://nanoxml.sourceforge.net//.
16. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In ICSE, 2007.
17. X. Qu, M. B. Cohen, and G. Rothermel. Configuration-aware regression testing: an empirical study of sampling and prioritization. In ISSTA, 2008.
18. A. Rabkin and R. Katz. Precomputing possible configuration error diagnoses. In ASE, 2011.
19. Soot. http://www.sable.mcgill.ca/soot/.
20. M. Sridharan, S. J. Fink, and R. Bodik. Thin slicing. In PLDI, 2007.
21. Y.-Y. Su, M. Attariyan, and J. Flinn. AutoBash: improving configuration management with operating system causality analysis. In SOSP, 2007.
22. W. N. Sumner, T. Bao, and X. Zhang. Selecting peers for execution comparison. In ISSTA, 2011.
23. Synoptic. http://code.google.com/p/synoptic/.
24. WALA. http://sourceforge.net/projects/wala/.
25. H. J. Wang, J. C. Platt, Y. Chen, R. Zhang, and Y.-M. Wang. Automatic misconfiguration troubleshooting with PeerPressure. In OSDI, 2004.
26. Y. Wang and J. Mylopoulos. Self-repair through reconfiguration: A requirements engineering approach. In ASE, 2009.
27. Weka. www.cs.waikato.ac.nz/ml/weka/.
28. A. Whitaker, R. S. Cox, and S. D. Gribble. Configuration debugging as search: finding the needle in the haystack. In OSDI, 2004.
29. I. H. Witten, A. Moffat, and T. C. Bell. Managing Gigabytes: Compressing and Indexing Documents and Images. Morgan Kaufmann, 1996.
30. Y. Xiong, A. Hubaux, S. She, and K. Czarnecki. Generating range fixes for software configuration. In ICSE, 2012.
31. Z. Yin, X. Ma, J. Zheng, Y. Zhou, L. N. Bairavasundaram, and S. Pasupathy. An empirical study on configuration errors in commercial and open source systems. In SOSP, 2011.
32. A. Zeller. Isolating cause-effect chains from computer programs. In FSE, 2002.
33. S. Zhang, Y. Lin, Z. Gu, and J. Zhao. Effective identification of failureinducing changes: a hybrid approach. In PASTE, 2008.
34. S. Zhang, D. Saff, Y. Bu, and M. D.Ernst. Combined static and dynamic automated test generation. In ISSTA, 2011.
35. S. Zhang, C. Zhang, and M. D. Ernst. Automated documentation inference to explain failed tests. In ASE, 2011.
36. X. Zhang, R. Gupta, and Y. Zhang. Precise dynamic slicing algorithms. In ICSE, 2003.