Make test-zesti: A symbolic execution solution for improving regression testing

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2012, Pages 716-726

  Dan Marinescu, Paul ^a   Cadar, Cristian ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

regression testing; symbolic execution; test improvement

Indexed keywords

CURRENT TESTING; OPEN-SOURCE CODE; PROTOTYPE SYSTEM; REGRESSION TESTING; REGRESSION TESTS; SOURCE CODES; SYMBOLIC EXECUTION; SYMBOLIC TEST; TEST IMPROVEMENT;

PROGRAM DEBUGGING; SOFTWARE ENGINEERING; SOFTWARE TESTING;

TESTING;

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

References (42)

1. S. Anand, C. S. Pǎsǎreanu, and W. Visser, "JPF-SE: a symbolic execution extension to Java PathFinder," in TACAS'07, Mar.-Apr. 2007.
2. S. Artzi, J. Dolby, F. Tip, and M. Pistoia, "Directed test generation for effective fault localization," in ISSTA'10, Jul. 2010.
3. D. Babić, L. Martignoni, S. McCamant, and D. Song, "Statically-directed dynamic automated test generation," in ISSTA'11, Jul. 2011.
4. T. Ball and S. K. Rajamani, "Automatically validating temporal safety properties of interfaces," in SPIN'01, May 2001.
5. S. Bates and S. Horwitz, "Incremental program testing using program dependence graphs," in POPL'93, Jan. 1993.
6. P. Boonstoppel, C. Cadar, and D. Engler, "RWset: Attacking path explosion in constraint-based test generation," in TACAS'08, Mar.-Apr. 2008.
7. S. Bucur, V. Ureche, C. Zamfir, and G. Candea, "Parallel symbolic execution for automated real-world software testing," in EuroSys'11, Apr. 2011.
8. W. R. Bush, J. D. Pincus, and D. J. Sielaff, "A static analyzer for finding dynamic programming errors," Software: Practice and Experience, vol. 30, no. 7, pp. 775-802, 2000.
9. C. Cadar, D. Dunbar, and D. Engler, "KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs," in OSDI'08, Dec. 2008.
10. C. Cadar, P. Godefroid, S. Khurshid, C. Pasareanu, K. Sen, N. Tillmann, and W. Visser, "Symbolic execution for software testing in practice-preliminary assessment," in ICSE Impact'11, May 2011.
11. C. Y. Cho, D. Babić, P. Poosankam, K. Z. Chen, E. X. Wu, and D. Song, "Mace: model-inference-assisted concolic exploration for protocol and vulnerability discovery," in USENIX Security'11, Aug. 2011.
12. M. Das, S. Lerner, and M. Seigle, "Path-sensitive program verification in polynomial time," in PLDI'02, Jun. 2002.
13. J. S. Foster, T. Terauchi, and A. Aiken, "Flow-sensitive type qualifiers," in PLDI'02, Jun. 2002.
14. P. Godefroid, "Model Checking for Programming Languages using VeriSoft," in POPL'97, Jan. 1997.
15. P. Godefroid, "Compositional dynamic test generation," in POPL'07, Jan. 2007.
16. P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," in PLDI'05, Jun. 2005.
17. P. Godefroid, M. Y. Levin, and D. A. Molnar, "Automated whitebox fuzz testing," in NDSS'08, Feb. 2008.
18. R. Gupta, M. Jean, H. Mary, and L. Soffa, "Program slicing-based regression testing techniques," STVR, vol. 6, pp. 83-112, 1996.
19. M. J. Harrold, C. Unwersity, R. Gupta, and M. L. Soffa, "A methodology for controlling the size of a test suite," ACM TOSEM, vol. 2, pp. 270-285, 1993.
20. R. Hastings and B. Joyce, "Purify: Fast detection of memory leaks and access errors," in USENIX-Winter'92, Jan. 1992.
21. G. J. Holzmann, "The model checker SPIN," Software Engineering, vol. 23, no. 5, pp. 279-295, 1997.
22. N. L. Johnson, A. W. Kemp, and S. Kotz, Univariate discrete distributions. Wiley-Blackwell, 2005.
23. P. Joshi, K. Sen, and M. Shlimovich, "Predictive testing: amplifying the effectiveness of software testing," in ESEC/FSE'07, Sep. 2007.
24. J. C. King, "Symbolic execution and program testing," CACM, vol. 19, no. 7, pp. 385-394, July 1976.
25. E. Larson and T. Austin, "High coverage detection of input-related security faults," in USENIX Security'03, Aug. 2003.
26. C. Lattner and V. Adve, "LLVM: A compilation framework for lifelong program analysis & transformation," in CGO'04, Mar. 2004.
27. R. Majumdar and K. Sen, "Hybrid concolic testing," in ICSE'07, May 2007.
28. A. Mockus and D. M. Weiss, "Predicting risk of software changes," Bell Labs Technical Journal, vol. 5, no. 2, pp. 169-180, 2000.
29. N. Nethercote and J. Seward, "Valgrind: a framework for heavyweight dynamic binary instrumentation," in PLDI'07, Jun. 2007.
30. G. Rothermel and M. J. Harrold, "Analyzing regression test selection techniques," IEEE TSE, vol. 22, 1996.
31. R. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold, "Test-suite augmentation for evolving software," in ASE'08, Sep. 2008.
32. K. Sen, D. Marinov, and G. Agha, "CUTE: A concolic unit testing engine for C," in ESEC/FSE'05, Sep. 2005.
33. D. Song, D. Brumley, J. Caballero, I. Jager, M. G. Kang, Z. Liang, J. Newsome, P. Poosankam, and P. Saxena, "Bitblaze: A new approach to computer security via binary analysis," in ICISS'08, Dec. 2008.
34. A. Srivastava and J. Thiagarajan, "Effectively prioritizing tests in development environment," in ISSTA'02, Jul. 2002.
35. K. Taneja, T. Xie, N. Tillmann, and J. de Halleux, "eXpress: guided path exploration for efficient regression test generation," in ISSTA'11, Jul. 2011.
36. G. Tassey, "The economic impacts of inadequate infrastructure for software testing," National Institute of Standards and Technology, Tech. Rep., 2002.
37. N. Tillmann and J. De Halleux, "Pex: white box test generation for .net," in TAP'08, Apr. 2008.
38. D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken, "A first step towards automated detection of buffer overrun vulnerabilities," in NDSS'00, Feb. 2000.
39. Z. Xu, Y. Kim, M. Kim, G. Rothermel, and M. B. Cohen, "Directed test suite augmentation: techniques and tradeoffs," in FSE'10, Nov. 2010.
40. J. Yang, P. Twohey, D. Engler, and M. Musuvathi, "Using model checking to find serious file system errors," in OSDI'04, Dec. 2004.
41. S. Yoo, M. Harman, and S. Ur, "Measuring and improving latency to avoid test suite wear out," in ICSTW'09, Apr. 2009.
42. A. Zeller and R. Hildebrandt, "Simplifying and isolating failure-inducing input," IEEE TSE, vol. 28, no. 2, pp. 183-200, 2002.