-
1
-
-
84910009447
-
"CP-Miner: A Tool for Finding Copy-Paste and Related Bugs in Operating System Code"
-
Z. Li, S. Lu, S. Myagmar, and Y. Zhou, "CP-Miner: A Tool for Finding Copy-Paste and Related Bugs in Operating System Code," Proc. Symp. Operating System Design and Implementation, pp. 289-302, 2004.
-
(2004)
Proc. Symp. Operating System Design and Implementation
, pp. 289-302
-
-
Li, Z.1
Lu, S.2
Myagmar, S.3
Zhou, Y.4
-
2
-
-
0029222025
-
"On Finding Duplication and Near-Duplication in Large Software Systems"
-
B.S. Baker, "On Finding Duplication and Near-Duplication in Large Software Systems," Proc. Second Working Conf. Reverse Eng., p. 86, 1995.
-
(1995)
Proc. Second Working Conf. Reverse Eng.
, pp. 86
-
-
Baker, B.S.1
-
3
-
-
0033308732
-
"A Language Independent Approach for Detecting Duplicated Code"
-
S. Ducasse, M. Rieger, and S. Demeyer, "A Language Independent Approach for Detecting Duplicated Code," Proc. Int'l Conf. Software Maintenance, pp. 109-118, 1999.
-
(1999)
Proc. Int'l Conf. Software Maintenance
, pp. 109-118
-
-
Ducasse, S.1
Rieger, M.2
Demeyer, S.3
-
5
-
-
0036648690
-
"CCFinder: A Multi-linguistic Token-Based Code Clone Detection System for Large Scale Source Code"
-
July
-
T. Kamiya, S. Kusumoto, and K. Inoue, "CCFinder: A Multi-linguistic Token-Based Code Clone Detection System for Large Scale Source Code," IEEE Trans. Software Eng., vol. 28, no. 7, pp. 654-670, July 2002.
-
(2002)
IEEE Trans. Software Eng.
, vol.28
, Issue.7
, pp. 654-670
-
-
Kamiya, T.1
Kusumoto, S.2
Inoue, K.3
-
6
-
-
0032311601
-
"Clone Detection Using Abstract Syntax Trees"
-
I.D. Baxter, A. Yahin, L. Moura, M. Sant'Anna, and L. Bier, "Clone Detection Using Abstract Syntax Trees," Proc. Int'l Conf. Software Maintenance, p. 368, 1998.
-
(1998)
Proc. Int'l Conf. Software Maintenance
, pp. 368
-
-
Baxter, I.D.1
Yahin, A.2
Moura, L.3
Sant'Anna, M.4
Bier, L.5
-
7
-
-
0036041421
-
"An Empirical Study of Operating System Errors"
-
A. Chou, J. Yang, B. Chelf, S. Hallem, and D.R. Engler, "An Empirical Study of Operating System Errors," Proc. Symp. Operating Systems Principles, pp. 73-88, 2001.
-
(2001)
Proc. Symp. Operating Systems Principles
, pp. 73-88
-
-
Chou, A.1
Yang, J.2
Chelf, B.3
Hallem, S.4
Engler, D.R.5
-
8
-
-
33645803662
-
"Linux Kernel Mailing List"
-
"Linux Kernel Mailing List," http://lkml.org, 2005.
-
(2005)
-
-
-
9
-
-
0034440476
-
"Using Meta-Level Compilation to Check FLASH Protocol Code"
-
A. Chou, B. Chelf, D.R. Engler, and M. Heinrich, "Using Meta-Level Compilation to Check FLASH Protocol Code," Proc. Int'l Conf. Architectural Support for Programming Languages and Operating System, pp. 59-70, 2000.
-
(2000)
Proc. Int'l Conf. Architectural Support for Programming Languages and Operating System
, pp. 59-70
-
-
Chou, A.1
Chelf, B.2
Engler, D.R.3
Heinrich, M.4
-
11
-
-
0036039794
-
"A System and Language for Building System-Specific, Static Analyses"
-
S. Hallem, B. Chelf, Y. Xie, and D. Engler, "A System and Language for Building System-Specific, Static Analyses," Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, pp. 69-82, 2002.
-
(2002)
Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation
, pp. 69-82
-
-
Hallem, S.1
Chelf, B.2
Xie, Y.3
Engler, D.4
-
12
-
-
84978435516
-
"CMC: A Pragmatic Approach to Model Checking Real Code"
-
Dec
-
M. Musuvathi, D. Park, A. Chou, D.R. Engler, and D.L. Dill, "CMC: A Pragmatic Approach to Model Checking Real Code," Proc. Symp. Operating Systems Design and Implementation, Dec. 2002.
-
(2002)
Proc. Symp. Operating Systems Design and Implementation
-
-
Musuvathi, M.1
Park, D.2
Chou, A.3
Engler, D.R.4
Dill, D.L.5
-
13
-
-
0000596666
-
"Purify: Fast Detection of Memory Leaks and Access Errors"
-
Dec
-
R. Hastings and B. Joyce, "Purify: Fast Detection of Memory Leaks and Access Errors," Proc. Winter USENIX Conf., pp. 158-185, Dec. 1992.
-
(1992)
Proc. Winter USENIX Conf.
, pp. 158-185
-
-
Hastings, R.1
Joyce, B.2
-
15
-
-
0038716438
-
"CCured in the Real World"
-
J. Condit, M. Harren, S. McPeak, G.C. Necula, and W. Weimer, "CCured in the Real World," Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, pp. 232-244, 2003.
-
(2003)
Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation
, pp. 232-244
-
-
Condit, J.1
Harren, M.2
McPeak, S.3
Necula, G.C.4
Weimer, W.5
-
17
-
-
0023960940
-
"Detecting Plagiarism in Student Pascal Programs"
-
H.T. Jankowitz, "Detecting Plagiarism in Student Pascal Programs," Computer J., vol. 31, no. 1, pp. 1-8, 1988.
-
(1988)
Computer J.
, vol.31
, Issue.1
, pp. 1-8
-
-
Jankowitz, H.T.1
-
18
-
-
1442310235
-
"Finding Plagiarisms among a Set of Programs with JPlag"
-
Nov
-
L. Prechelt, G. Malpohl, and M. Philippsen, "Finding Plagiarisms among a Set of Programs with JPlag," J. Universal Computer Science, vol. 8, no. 11, pp. 1016-1038, Nov. 2002.
-
(2002)
J. Universal Computer Science
, vol.8
, Issue.11
, pp. 1016-1038
-
-
Prechelt, L.1
Malpohl, G.2
Philippsen, M.3
-
19
-
-
16444373413
-
"Moss: A System for Detecting Software Plagiarism"
-
A. Aiken, "Moss: A System for Detecting Software Plagiarism," http://www.cs.berkeley.edu/aiken/moss.html, 2005.
-
(2005)
-
-
Aiken, A.1
-
20
-
-
1142267351
-
"Winnowing: Local Algorithms for Document Fingerprinting"
-
S. Schleimer, D.S. Wilkerson, and A. Aiken, "Winnowing: Local Algorithms for Document Fingerprinting," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 76-85, 2003.
-
(2003)
Proc. ACM SIGMOD Int'l Conf. Management of Data
, pp. 76-85
-
-
Schleimer, S.1
Wilkerson, D.S.2
Aiken, A.3
-
21
-
-
0039528117
-
"A Program for Identifying Duplicated Code"
-
B.S. Baker, "A Program for Identifying Duplicated Code," Computing Science and Statistics, vol. 24, pp. 49-57, 1992.
-
(1992)
Computing Science and Statistics
, vol.24
, pp. 49-57
-
-
Baker, B.S.1
-
22
-
-
84962184978
-
"Substring Matching for Clone Detection and Change Tracking"
-
J.H. Johnson, "Substring Matching for Clone Detection and Change Tracking," Proc. Int'l Conf. Software Maintenance, pp. 120-126, 1994.
-
(1994)
Proc. Int'l Conf. Software Maintenance
, pp. 120-126
-
-
Johnson, J.H.1
-
27
-
-
0030407014
-
"Experiment on the Automatic Detection of Function Clones in a Software System Using Metrics"
-
J. Mayrand, C. Leblanc, and E. Merlo, "Experiment on the Automatic Detection of Function Clones in a Software System Using Metrics," Proc. Int'l Conf. Software Maintenance, p. 244, 1996.
-
(1996)
Proc. Int'l Conf. Software Maintenance
, pp. 244
-
-
Mayrand, J.1
Leblanc, C.2
Merlo, E.3
-
29
-
-
84952201613
-
"Dotplot: A Program for Exploring Self-Similarity in Millions of Lines of Text and Code"
-
K.W. Church and J.I. Helfman, "Dotplot: A Program for Exploring Self-Similarity in Millions of Lines of Text and Code," J. Computational and Graphical Statistics, 1993.
-
(1993)
J. Computational and Graphical Statistics
-
-
Church, K.W.1
Helfman, J.I.2
-
30
-
-
0036038345
-
"Tracking Down Software Bugs Using Automatic Anomaly Detection"
-
May
-
S. Hangal and M.S. Lam, "Tracking Down Software Bugs Using Automatic Anomaly Detection," Proc. Int'l Conf. Software Eng., May 2002.
-
(2002)
Proc. Int'l Conf. Software Eng.
-
-
Hangal, S.1
Lam, M.S.2
-
31
-
-
0031272525
-
"Eraser: A Dynamic Data Race Detector for Multithreaded Programs"
-
S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," ACM Trans. Computer Systems, vol. 15, no. 4, pp. 391-411, 1997.
-
(1997)
ACM Trans. Computer Systems
, vol.15
, Issue.4
, pp. 391-411
-
-
Savage, S.1
Burrows, M.2
Nelson, G.3
Sobalvarro, P.4
Anderson, T.5
-
32
-
-
0036041420
-
"Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code"
-
D. Engler, D.Y. Chen, and A. Chou, "Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code," Proc. ACM Symp. Operating Systems Principles, pp. 57-72, 2001.
-
(2001)
Proc. ACM Symp. Operating Systems Principles
, pp. 57-72
-
-
Engler, D.1
Chen, D.Y.2
Chou, A.3
-
34
-
-
0036040605
-
"Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs"
-
J.-D. Choi, K. Lee, A. Loginov, R. O'Callahan, V. Sarkar, and M. Sridharan, "Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs," Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation, pp. 258-269, 2002.
-
(2002)
Proc. ACM SIGPLAN Conf. Programming Language Design and Implementation
, pp. 258-269
-
-
Choi, J.-D.1
Lee, K.2
Loginov, A.3
O'Callahan, R.4
Sarkar, V.5
Sridharan, M.6
-
37
-
-
85084164115
-
"C-Miner: Mining Block Correlations in Storage Systems"
-
Z. Li, Z. Chen, S.M. Srinivasan, and Y. Zhou, "C-Miner: Mining Block Correlations in Storage Systems," Proc. Third USENIX Conf. File and Storage Technologies, pp. 173-186, 2004.
-
(2004)
Proc. Third USENIX Conf. File and Storage Technologies
, pp. 173-186
-
-
Li, Z.1
Chen, Z.2
Srinivasan, S.M.3
Zhou, Y.4
|