KATCH: High-coverage testing of software patches

2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings

Volumn , Issue , 2013, Pages 235-245

  Marinescu, Paul Dan ^a   Cadar, Cristian ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Patch testing; Symbolic execution

Indexed keywords

DYNAMIC PROGRAM ANALYSIS; MANUAL TESTS; PATCH TESTING; SOFTWARE PATCHES; SOFTWARE REPOSITORIES; SOFTWARE SYSTEMS; SYMBOLIC EXECUTION; TESTING CODES;

SOFTWARE TESTING; SYSTEM STABILITY;

SOFTWARE ENGINEERING;

EID: 84883674331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2491411.2491438     Document Type: Conference Paper

References (44)

1. A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison Wesley, 2nd edition, 2006.
2. D. Babić, L. Martignoni, S. McCamant, and D. Song. Statically-directed dynamic automated test generation. In ISSTA'11.
3. C. Boyapati, S. Khurshid, and D. Marinov. Korat: Automated testing based on Java predicates. In ISSTA'02.
4. D. Brumley, J. Newsome, D. Song, H. Wang, and S. Jha. Towards automatic generation of vulnerability-based signatures. In IEEE S & P'06.
5. S. Bucur, V. Ureche, C. Zamfir, and G. Candea. Parallel symbolic execution for automated real-world software testing. In EuroSys'11.
6. C. Cadar, D. Dunbar, and D. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI'08.
7. C. Cadar and D. Engler. Execution generated test cases: How to make systems code crash itself (invited paper). In SPIN'05.
8. C. Cadar, V. Ganesh, P. Pawlowski, D. Dill, and D. Engler. EXE: Automatically generating inputs of death. In CCS'06.
9. M. Castro, M. Costa, and J.-P. Martin. Better bug reporting with better privacy. In ASPLOS'09.
10. M. Costa, J. Crowcroft, M. Castro, A. Rowstron, L. Zhou, L. Zhang, and P. Barham. Vigilante: end-to-end containment of Internet worms. In SOSP'05.
11. O. Crameri, N. Knezevic, D. Kostic, R. Bianchini, and W. Zwaenepoel. Staged deployment in Mirage, an integrated software upgrade testing and distribution system. In SOSP'07.
12. C. Csallner and Y. Smaragdakis. Check 'n' Crash: Combining static checking and testing. In ICSE'05.
13. E. W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976.
14. M. Emmi, R. Majumdar, and K. Sen. Dynamic test input generation for database applications. In ISSTA'07.
15. R. Ferguson and B. Korel. The chaining approach for software test data generation. TOSEM, 5(1):63-86, 1996.
16. G. Fraser and A. Arcuri. The seed is strong: Seeding strategies in search-based software testing. In ICSE'12.
17. A. Gargantini and C. Heitmeyer. Using model checking to generate tests from requirements specifications. In ESEC/FSE'99.
18. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In PLDI'05.
19. P. Godefroid, M. Y. Levin, and D. A. Molnar. Automated whitebox fuzz testing. In NDSS'08.
20. Z. Gu, E. T. Barr, D. J. Hamilton, and Z. Su. Has the bug really been fixed? In ICSE'10.
21. N. Gupta, A. P. Mathur, and M. L. Soã. Automated test data generation using an iterative relaxation method. In FSE'98.
22. R. Gupta, M. Jean, H. Mary, and L. Soã. Program slicing-based regression testing techniques. STVR, 6:83-112, 1996.
23. W. Jin and A. Orso. Bugredux: Reproducing field failures for in-house debugging. In ICSE'12.
24. J. C. King. Symbolic execution and program testing. CA CM, 19(7):385-394, July 1976.
25. B. Korel. Automated software test data generation. TSE, 16(8):870-879, 1990.
26. C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. In CGO' 04.
27. K.-K. Ma, Y. P. Khoo, J. S. Foster, and M. Hicks. Directed symbolic execution. In SAS'11.
28. P. D. Marinescu and C. Cadar. High-coverage symbolic patch testing. In SPIN'12.
29. P. D. Marinescu and C. Cadar. make test-zesti: A symbolic execution solution for improving regression testing. In ICSE'12.
30. D. Notkin. Longitudinal program analysis. In PASTE'02.
31. R. P. Pargas, M. J. Harrold, and R. R. Peck. Test-data generation using genetic algorithms. STVR, 9(4):263-282, 1999.
32. S. Person, M. B. Dwyer, S. Elbaum, and C. S. Pǎsǎreanu. Differential symbolic execution. In FSE'08.
33. S. Person, G. Yang, N. Rungta, and S. Khurshid. Directed incremental symbolic execution. In PLDI'11.
34. R. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold. Test-suite augmentation for evolving software. In ASE'08.
35. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In ESEC/FSE'05.
36. K. Taneja, T. Xie, N. Tillmann, and J. de Halleux. eXpress: guided path exploration for efficient regression test generation. In ISSTA'11.
37. N. Tillmann and J. De Halleux. Pex: white box test generation for. NET. In TAP'08.
38. W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with Java PathFinder. In ISSTA'04.
39. J. Winstead and D. Evans. Towards differential program analysis. In WODA'03.
40. Z. Xu, M. B. Cohen, and G. Rothermel. Factors affecting the use of genetic algorithms in test suite augmentation. In GECCO'10.
41. Z. Xu and G. Rothermel. Directed test suite augmentation. In ASPEC'09.
42. Z. Yin, D. Yuan, Y. Zhou, S. Pasupathy, and L. Bairavasundaram. How do fixes become bugs? In ESEC/FSE'11.
43. S. Yoo and M. Harman. Test data regeneration: generating new test data from existing test data. STVR, 22(3):171-201, 2012.
44. C. Zamfir and G. Candea. Execution synthesis: A technique for automated software debugging. In EuroSys'10.