Automated documentation inference to explain failed tests

2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings

Volumn , Issue , 2011, Pages 63-72

  Zhang, Sai ^a   Zhang, Cheng ^b   Ernst, Michael D ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

^b SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

BUG-FIXING;

AUTOMATION; SOFTWARE ENGINEERING;

SOFTWARE TESTING;

EID: 84855424626     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2011.6100145     Document Type: Conference Paper

References (31)

1. Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, and Richard Trefler. Explaining counterexamples using causality. In Proc. CAV'09, pages 94-108, 2009.
2. C Boyapati, S Khurshid, and D Marinov. Korat: automated testing based on Java predicates. In ISSTA '02, 2002.
3. R P.L. Buse and W R. Weimer. Automatic documentation inference for exceptions. In ISSTA '08, pages 273-282, 2008.
4. Raymond P.L. Buse and Westley R. Weimer. Automatically documenting program changes. In ASE '10, 2010.
5. Ilinca Ciupa, Andreas Leitner, Manuel Oriol, and Bertrand Meyer. ARTOO: adaptive random testing for object-oriented software. In ICSE '08, pages 71-80, 2008.
6. Christoph Csallner, Yannis Smaragdakis, and Tao Xie. DSD-Crasher: A hybrid analysis tool for bug finding. TOSEM, 17(2):1-37, April 2008.
7. V Dallmeier, N Knopp, C Mallon, S Hack, and A Zeller. Generating test cases for specification mining. In ISSTA '10, 2010.
8. Sergio Cozzetti B. de Souza, Nicolas Anquetil, and Káthia M. de Oliveira. A study of the documentation essential to software maintenance. In Proc. SIGDOC '05, pages 68-75, 2005.
9. W Dickinson, D Leon, and A Podgurski. Finding failures by cluster analysis of execution profiles. In ICSE'01, pages 339-348, 2001.
10. M D. Ernst, J Cockrell, W G. Griswold, and D Notkin. Dynamically discovering likely program invariants to support program evolution. In Proc. ICSE '99, pages 213-224, 1999.
11. L Fan, W Xi, and C Yang. API hyperlinking via structural overlap. In Proc. ESEC/FSE '09, pages 203-212, 2009.
12. Alex Groce and Willem Visser. What went wrong: explaining counterexamples. In Proc. SPIN'03, pages 121-136, 2003.
13. D Jeffrey, N Gupta, and R Gupta. Fault localization using value replacement. In ISSTA '08, pages 167-178, 2008.
14. James A. Jones and Mary Jean Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In Proc. ASE '05, pages 273-282, 2005.
15. Miryung Kim. Analyzing and inferring the structure of code change. PhD thesis, University of Washington, 2008.
16. B Lerner, M Flower, D Grossman, and C Chambers. Searching for type-error messages. In PLDI '07, pages 425-434, 2007.
17. B Liblit, M Naik, A X. Zheng, A Aiken, and M I. Jordan. Scalable statistical bug isolation. In PLDI '05, 2005.
18. Ben Liblit. Cooperative Bug Isolation: Winning Thesis of the 2005 ACM Doctoral Dissertation Competition, volume 4440 of Lecture Notes in Computer Science. Springer, 2007.
19. LOCC home. http://csdl.ics.hawaii.edu/Plone/research/locc/.
20. C Pacheco and M D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP 2005, 2005.
21. C Pacheco, S K. Lahiri, M D. Ernst, and T Ball. Feedback-directed random test generation. In ICSE '07, 2007.
22. David Roach, Hal Berghel, and John R. Talburt. An interactive source commenter for prolog programs. In Proc. SIGDOC'90, pages 141-145, 1990.
23. Pierre N. Robillard. Schematic pseudocode for program constructs and its computer automation by schemacode. Commun. ACM, 29:1072-1089, November 1986. (Pubitemid 17497526)
24. G Sridhara, E Hill, D Muppaneni, L Pollock, and K. Vijay-Shanker. Towards automatically generating summary comments for Java methods. In Proc. ASE'10, pages 43-52, 2010.
25. Giriprasad Sridhara, Lori Pollock, and K Vijay-Shanker. Automatically detecting and describing high level actions within methods. In Proc. ICSE '11, May 25-27, 2011.
26. W Visser, C S. Pǎ;sǎ;reanu, and S Khurshid. Test input generation with Java PathFinder. In ISSTA '04, pages 97-107, 2004.
27. Mark Weiser. Program slicing. In Proc. ICSE '81, 1981.
28. T Xie, D Marinov, W Schulte, and D Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In TACAS 2005, pages 365-381, 2005. (Pubitemid 41273753)
29. Andreas Zeller and Ralf Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Trans. Softw. Eng., 28:183-200, February 2002.
30. Sai Zhang. Palus: a hybrid automated test generation tool for Java. In ICSE '11 SRC track, pages 1182-1184, 2011.
31. Sai Zhang, David Saff, Yingyi Bu, and Michael D. Ernst. Combined static and dynamic automated test generation. In ISSTA '11, pages 353-363, 2011.