ReAssert: Suggesting repairs for broken unit tests

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 433-444

  Daniel, Brett ^a   Jagannath, Vilas ^a   Dig, Danny ^a   Marinov, Darko ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

NOVEL TECHNIQUES; PROGRAM TRANSFORMATIONS; TEST CODE; TEST FAILURE; UNIT TESTS;

COMPUTER SOFTWARE; REPAIR; SAFETY ENGINEERING;

TESTING;

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

References (48)

1. G. Venolia, R. DeLine, and T. LaToza, "Software development at Microsoft observed," Microsoft Research, TR, 2005.
2. N. Tillmann and W. Schulte, "Unit tests reloaded: Parameterized unit testing with symbolic execution," Microsoft Research, TR, 2005.
3. K. Beck, Test-Driven Development By Example, 2003.
4. S. Fraser, D. Astels, K. Beck, B. W. Boehm, J. D. McGregor, J. Newkirk, and C. Poole, "Discipline and practices of TDD," in OOPSLA Companion, 2003.
5. B. Ryder and F. Tip, "Change impact analysis for object-oriented programs," in PASTE, 2001.
6. X. Ren, F. Shah, F. Tip, B. Ryder, and O. Chesley, "Chianti: a tool for change impact analysis of java programs," in OOPSLA, 2004.
7. T. Apiwattanapong, A. Orso, and M. J. Harrold, "Efficient and precise dynamic impact analysis using execute-after sequences," in ICSE, 2005.
8. Parasoft, "Jtest." [Online]. Available: http://www.parasoft. com/jsp/products/ home.jsp?product=Jtest
9. M. Boshernitsan, R.-K. Doong, and A. Savoia, "From Daikon to Agitator: lessons and challenges in building a commercial tool for developer testing," in ISSTA, 2006.
10. N. Tillmann and J. de Halleux, "Pex-white box test generation for .NET," in TAP, 2008.
11. C. Csallner and Y. Smaragdakis, "DSD-Crasher: A hybrid analysis tool for bug finding," in ISSTA, 2006.
12. T. Xie, "Augmenting automatically generated unit-test suites with regression oracle checking," in ECOOP, 2006.
13. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball, "Feedback- directed random test generation," in ICSE, 2007.
14. M. Fowler, Refactoring: Improving the Design of Existing Code. Addison-Wesley Professional, 1999.
15. J. Purtilo and J. Callahan, "Parse tree annotations," CACM, 1989.
16. B. Daniel, V. Jagannath, D. Dig, and D. Marinov, "Re-Assert: Suggesting repairs for broken unit tests," University of Illinois at Urbana-Champaign, Tech. Rep. http://hdl.handle.net/2142/13628, 2009.
17. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, "Model checking programs," Automated Software Engineering Journal, vol.10, no.2, 2003.
18. S. Lauterburg, M. Dotta, D. Marinov, and G. Agha, "A framework for state-space exploration of Java-based actor programs," in ASE, 2009.
19. R. Bocchino, V. Adve, D. Dig, S. Adve, S. Heumann, R. Komuravelli, J. Overbey, P. Simmons, H. Sung, and M. Vakilian, "A Type and Effect System for Deterministic Parallel Java," in OOPSLA, 2009, (To Appear).
20. M. Vakilian, D. Dig, R. Bocchino, J. Overbey, V. Adve, and R. Johnson, "Inferring method effect summaries for nested heap regions," in ASE, 2009.
21. D. Saff and M. D. Ernst, "An experimental evaluation of continuous testing during development," in ISSTA, 2004.
22. D. Schuler, V. Dallmeier, and A. Zeller, "Efficient mutation testing by checking invariant violations," Universitaet des Saarlandes, TR, 2009.
23. B. Daniel and M. Boshernitsan, "Predicting effectiveness of automatic testing tools," in ASE, 2008.
24. L. Zhang, S.-S. Hou, C. Guo, T. Xie, and H. Mei, "Time-aware test-case prioritization using integer linear programming," in ISSTA, 2009.
25. S. Hangal and M. S. Lam, "Tracking down software bugs using automatic anomaly detection," in ICSE, 2002.
26. J. A. Jones, M. J. Harrold, and J. Stasko, "Visualization of test information to assist fault localization," in ICSE, 2002.
27. H. Cleve and A. Zeller, "Locating causes of program failures," in ICSE, 2005.
28. F. Tip, "A survey of program slicing techniques," Journal of Programming Languages, vol.3, no.3, 1995.
29. B. Korel and J. W. Laski, "Dynamic slicing of computer programs," Journal of Systems and Software, vol.13, no.3, 1990.
30. H. Agrawal and J. R. Horgan, "Dynamic program slicing," in PLDI, 1990.
31. M. Weiser, "Program slicing," in ICSE, 1981.
32. A. Zeller, "Automated debugging: Are we close," Computer, vol.34, no.11, 2001.
33. H. He and N. Gupta, "Automated debugging using path-based weakest preconditions," in FASE, 2004.
34. A. Arcuri and X. Yao, "A novel co-evolutionary approach to automatic software bug fixing," in CEC, 2008.
35. D. Jeffrey, M. Feng, N. Gupta, , and R. Gupta, "Bugfix: A learning-based tool to assist developers in fixing bugs," in ICPC, 2009.
36. W. Weimer, T. V. Nguyen, C. L. Goues, and S. Forrest, "Automatically finding patches using genetic programming," in ICSE, 2009.
37. R. Abraham and M. Erwig, "Goal-directed debugging of spreadsheets," in VL/HCC, 2005.
38. B. Elkarablieh, I. Garcia, Y. L. Suen, and S. Khurshid, "Assertion-based repair of complex data structures," in ASE, 2007.
39. B. Demsky and M. Rinard, "Automatic detection and repair of errors in data structures," in OOPSLA, 2003.
40. C. Csallner, Y. Smaragdakis, and T. Xie, "DSD-Crasher: A hybrid analysis tool for bug finding," TOSEM, 2008.
41. S. Person, M. Dwyer, S. Elbaum, and C. Pasareanu, "Differential symbolic execution," in ESEC/FSE, 2008.
42. Y. Song, S. Thummalapenta, and T. Xie, "UnitPlus: assisting developer testing in Eclipse," in OOPSLA workshop on Eclipse Technology eXchange, 2007.
43. J. H. Hicinbothom and W. W. Zachary, "A tool for automatically generating transcripts of human-computer interaction," in HFES, 1993.
44. M. Grechanik, Q. Xie, and C. Fu, "Maintaining and evolving GUI-directed test scripts," in ICSE, 2009.
45. C. Kaner, "Improving the maintainability of automated test suites," Software QA, vol.4, no.4, 1997.
46. A. Memon, I. Banerjee, N. Hashmi, and A. Nagarajan, "Dart: A framework for regression testing "nightly/daily builds" of GUI applications," in ICSM, 2003.
47. A. Memon, "Automatically repairing event sequence-based GUI test suites for regression testing," TSE, vol.18, no.2, 2008.
48. A. Memon and M. L. Soffa, "Regression testing of GUIs," in ESEC/FSE, 2003.