Automatic mining of functionally equivalent code fragments via random testing

Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009

Volumn , Issue , 2009, Pages 81-91

  Jiang, Lingxiao ^a   Su, Zhendong ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Code clones; Functional equivalence; Random testing

Indexed keywords

CODES (SYMBOLS); COMPUTER OPERATING SYSTEMS; FUNCTIONS; LINUX; OPTIMIZATION; SEMANTICS; SOFTWARE ENGINEERING;

CODE CLONE; EMPIRICAL EVALUATIONS; FUNCTIONAL EQUIVALENCE; N VERSION PROGRAMMING; PARALLEL PROCESSING; POLYNOMIAL IDENTITY TESTING; RANDOM TESTING; SEMANTIC EQUIVALENCES;

SOFTWARE TESTING;

EID: 85008264009     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1572272.1572283     Document Type: Conference Paper

References (39)

1. B. S. Baker. On finding duplication and near-duplication in large software systems. In Working Conference on Reverse Engineering (WCRE), pages 86-95, 1995.
2. B. S. Baker. Parameterized duplication in strings: Algorithms and an application to software maintenance. SIAM Journal on Computing (SICOMP), 26(5):1343-1362, 1997.
3. S. Bates and S. Horwitz. Incremental program testing using program dependence graphs. In POPL, pages 384-396, 1993.
4. I. D. Baxter, C. Pidgeon, and M. Mehlich. DMS R: Program transformations for practical scalable software evolution. In ICSE, pages 625-634, 2004.
5. I. D. Baxter, A. Yahin, L. Moura, M. Sant'Anna, and L. Bier. Clone detection using abstract syntax trees. In ICSM, pages 368-377, 1998.
6. B. Beizer. Software Testing Techniques. The Coriolis Group, 2nd edition, 1990.
7. M. Bertran, F.-X. Babot, and A. Climent. An input/output semantics for distributed program equivalence reasoning. Electr. Notes Theor. Comput. Sci, 137(1):25-46, 2005.
8. D. L. Bird and C. U. Munoz. Automatic generation of random self-checking test cases. volume 22, pages 229-245, Riverton, NJ, USA, 1983. IBM Corp.
9. C. S. Collberg and C. D. Thomborson. Software watermarking: Models and dynamic embeddings. In POPL, pages 311-324, 1999.
10. G. Cousineau and P. Enjalbert. Program equivalence and provability. In MFCS: Symposium on Mathematical Foundations of Computer Science, 1979.
11. R. L. Crole and A. D. Gordon. A sound metalogical semantics for input/output effects. In Computer Science Logic (CSL): 8th workshop, volume 933 of LNCS, pages 339-353, 1995.
12. I. Dillig, T. Dillig, and A. Aiken. Static error detection using semantic inconsistency inference. In PLDI, pages 435-445, 2007.
13. D. R. Engler, D. Y. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In SOSP, pages 57-72, 2001.
14. M. Gabel, L. Jiang, and Z. Su. Scalable detection of semantic clones. In W. Schäfer, M. B. Dwyer, and V. Gruhn, editors, ICSE, pages 321-330, 2008.
15. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In PLDI, pages 213-223, 2005.
16. A. Groce and R. Joshi. Exploiting traces in program analysis. In TACAS, volume 3920 of LNCS, pages 379-393. Springer, 2006.
17. H. il Lim, H. Park, S. Choi, and T. Han. Detecting theft of java applications via a static birthmark based on weighted stack patterns. IEICE Transactions, 91-D(9):2323-2332, 2008.
18. L. Jiang, G. Misherghi, Z. Su, and S. Glondu. Deckard: Scalable and accurate tree-based detection of code clones. In ICSE, pages 96-105, 2007.
19. L. Jiang, Z. Su, and E. Chiu. Context-based detection of clone-related bugs. In ESEC/FSE, pages 55-64, New York, NY, USA, 2007. ACM.
20. T. Kamiya, S. Kusumoto, and K. Inoue. CCFinder: a multilinguistic token-based code clone detection system for large scale source code. TSE, 28(7):654-670, 2002.
21. M. Kim, V. Sazawal, and D. Notkin. An empirical study of code clone genealogies. In ESEC/FSE, pages 187-196, 2005.
22. R. Komondoor and S. Horwitz. Using slicing to identify duplication in source code. In International Static Analysis Symposium (SAS), pages 40-56, 2001.
23. K. Kontogiannis, R. de Mori, E. Merlo, M. Galler, and M. Bernstein. Pattern matching for clone and concept detection. Automated Soft. Eng., 3(1/2):77-108, 1996.
24. J. Krinke. Identifying similar code with program dependence graphs. In Working Conference on Reverse Engineering (WCRE), pages 301-309, 2001.
25. Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A tool for finding copy-paste and related bugs in operating system code. In OSDI, pages 289-302, 2004.
26. J. Mayrand, C. Leblanc, and E. Merlo. Experiment on the automatic detection of function clones in a software system using metrics. In ICSM, pages 244-254, 1996.
27. G. C. Necula, S. Mcpeak, S. P. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of c programs. In International Conference on Compiler Construction, pages 213-228, 2002.
28. F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer, 1999.
29. A. J. Offutt and J. H. Hayes. A semantic model of program faults. In ISSTA, pages 195-200. ACM Press, 1996.
30. A. M. Pitts. Operational semantics and program equivalence. In Applied Semantics, Advanced Lectures, volume 2395 of LNCS, Tutorial, pages 378-412. Springer-Verlag, 2002.
31. J.-C. Raoult and J. Vuillemin. Operational and semantic equivalence between recursive programs. Journal of the ACM, 27(4):772-796, Oct. 1980.
32. D. Schuler, V. Dallmeier, and C. Lindig. A dynamic birthmark for Java. In ASE, pages 274-283, Nov. 2007.
33. J. T. Schwartz. Fast probabilistic algorithms for verification of polynomial identities. J. ACM, 27(4):701-717, 1980.
34. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In FSE, pages 263-272, 2005.
35. V. Wahler, D. Seipel, J. W. von Gudenberg, and G. Fischer. Clone detection in source code by frequent itemset techniques. In International Workshop on Source Code Analysis and Manipulation, pages 128-135, 2004.
36. B. Xin and X. Zhang. Efficient online detection of dynamic control dependence. In ISSTA, pages 185-195, New York, NY, USA, 2007. ACM.
37. V. A. Zakharov. To the functional equivalence of turing machines. FCT: Fundamentals (or Foundations) of Computation Theory, 6, 1987.
38. X. Zhou, X. Sun, G. Sun, and Y. Yang. A combined static and dynamic software birthmark based on component dependence graph. In International Conference on Intelligent Information Hiding and Multimedia Signal Processing, pages 1416-1421, 2008.
39. R. Zippel. An explicit separation of relativised random polynomial time and relativised deterministic polynomial time. Inf. Process. Lett., 33(4):207-212, 1989.