Heap cloning: Enabling dynamic symbolic execution of java programs

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

Volumn , Issue , 2011, Pages 33-42

  Anand, Saswat ^a   Harrold, Mary Jean ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC SYMBOLIC EXECUTIONS; EMPIRICAL EVALUATIONS; JAVA PROGRAM; PATH CONSTRAINT; SYMBOLIC EXECUTION;

CLONING; JAVA PROGRAMMING LANGUAGE;

COMPUTER SOFTWARE;

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

References (25)

1. S. Anand, A. Orso, and M. J. Harrold. Type-dependence analysis and program transformation for symbolic execution. In TACAS, pages 117-133, 2007.
2. S. Anand, C. S. Pasareanu, and W. Visser. JPF-SE: A symbolic execution extension to Java Pathfinder. In TACAS, pages 134-138, 2007. (Pubitemid 350259290)
3. W. Binder, J. Hulaas, and P. Moret. A quantitative evaluation of the contribution of native code to Java workloads. In IISWC, pages 201-209, 2006.
4. W. Binder, J. Hulaas, and P. Moret. Advanced Java bytecode instrumentation. In PPPJ, pages 135-144, 2007.
5. J. A. Clause and A. Orso. Camouflage: automated anonymization of field data. In ICSE, pages 21-30, 2011.
6. X. Deng, J. Lee, and Robby. Bogor/kiasan: A k-bounded symbolic execution for checking strong heap properties of open systems. In ASE, pages 157-166, 2006.
7. M. Factor, A. Schuster, and K. Shagin. Instrumentation of standard libraries in object-oriented languages: the twin class hierarchy approach. In OOPSLA, pages 288-300, 2004.
8. I. García. Enabling symbolic execution of Java programs using bytecode instrumentation. Master's thesis, Univ. of Texas at Austin, 2005.
9. P. Godefroid, N. Klarlund, and K. Sen. Dart: Directed automated random testing. In PLDI, pages 213-223, 2005.
10. M. Grechanik, C. Csallner, C. Fu, and Q. Xie. Is data privacy always good for software testing? In ISSRE, pages 368-377, 2010.
11. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for Java and GJ. TOPLAS, 23(3):396-450, 2001. (Pubitemid 33614273)
12. K. Jayaraman, D. Harvison, V. Ganeshan, and A. Kiezun. A concolic whitebox fuzzer for Java. In NFM, pages 121-125, 2009.
13. K. Kahkonen, T. Launiainen, O. Saarikivi, J. Kauttio, K. Heljanko, and I. Niemel. LCT: An open source concolic testing tool for Java programs. In BYTECODE, pages 75-80, 2011.
14. S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In TACAS, pages 553-568, 2003.
15. J. C. King. A new approach to program testing. In Programming Methodology, pages 278-290, 1974.
16. X. Li, D. Shannon, I. Ghosh, M. Ogawa, S. P. Rajan, and S. Khurshid. Context-sensitive relevancy analysis for efficient symbolic execution. In APLAS, pages 36-52, 2008.
17. C. S. Pasareanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy-Burlet, M. R. Lowry, S. Person, and M. Pape. Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. In ISSTA, pages 15-26, 2008.
18. C. S. Pasareanu, N. Rungta, and W. Visser. Symbolic execution with mixed concrete-symbolic solving. In ISSTA, pages 34-44, 2011.
19. D. Saff, S. Artzi, J. H. Perkins, and M. D. Ernst. Automatic test factoring for Java. In ASE, pages 114-123, 2005.
20. R. A. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold. Test-suite augmentation for evolving software. In ASE, pages 218-227, 2008.
21. K. Sen and G. Agha. CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools. In CAV, pages 419-423, 2006.
22. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In ESEC/SIGSOFT FSE, pages 263-272, 2005.
23. E. Tilevich and Y. Smaragdakis. Transparent program transformationsin the presence of opaque code. In GPCE, pages 89-94, 2006.
24. A. Tomb, G. P. Brat, and W. Visser. Variably interprocedural program analysis for runtime error detection. In ISSTA, pages 97-107, 2007.
25. R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - A Java optimization framework. In CASCON, pages 125-135, 1999.