-
5
-
-
78751507955
-
The missing links: Bugs and bug-fix commits
-
A. Bachmann, C. Bird, F. Rahman, P. T. Devanbu, and A. Bernstein. The missing links: bugs and bug-fix commits. In FSE, 2010.
-
(2010)
FSE
-
-
Bachmann, A.1
Bird, C.2
Rahman, F.3
Devanbu, P.T.4
Bernstein, A.5
-
6
-
-
84874138141
-
Automatic detection of floating-point exceptions
-
E. T. Barr, T. Vo, V. Le, and Z. Su. Automatic detection of floating-point exceptions. In POPL, 2013.
-
(2013)
POPL
-
-
Barr, E.T.1
Vo, T.2
Le, V.3
Su, Z.4
-
7
-
-
84994138689
-
Unit test virtualization with VMVM
-
J. Bell and G. Kaiser. Unit test virtualization with VMVM. In ICSE, 2014.
-
(2014)
ICSE
-
-
Bell, J.1
Kaiser, G.2
-
8
-
-
84858996164
-
An empirical study on inconsistent changes to code clones at the release level
-
N. Bettenburg, W. Shang, W. M. Ibrahim, B. Adams, Y. Zou, and A. E. Hassan. An empirical study on inconsistent changes to code clones at the release level. SCP, 2012.
-
(2012)
SCP
-
-
Bettenburg, N.1
Shang, W.2
Ibrahim, W.M.3
Adams, B.4
Zou, Y.5
Hassan, A.E.6
-
10
-
-
0037373845
-
Framework for Testing Multi-Threaded Java Programs
-
O. Edelstein, E. Farchi, E. Goldin, Y. Nir, G. Ratsaby, and S. Ur. Framework for Testing Multi-Threaded Java Programs. CCPE, 2003.
-
(2003)
CCPE
-
-
Edelstein, O.1
Farchi, E.2
Goldin, E.3
Nir, Y.4
Ratsaby, G.5
Ur, S.6
-
11
-
-
84947250078
-
Concurrent bug patterns and how to test them
-
E. Farchi, Y. Nir, and S. Ur. Concurrent bug patterns and how to test them. In IPDPS, 2003.
-
(2003)
IPDPS
-
-
Farchi, E.1
Nir, Y.2
Ur, S.3
-
14
-
-
77954714792
-
Characterizing and predicting which bugs get fixed: An empirical study of Microsoft Windows
-
P. Guo, T. Zimmermann, N. Nagappan, and B. Murphy. Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows. In ICSE, 2010.
-
(2010)
ICSE
-
-
Guo, P.1
Zimmermann, T.2
Nagappan, N.3
Murphy, B.4
-
16
-
-
80053202644
-
Improved multithreaded unit testing
-
V. Jagannath, M. Gligoric, D. Jin, Q. Luo, G. Rosu, and D. Marinov. Improved multithreaded unit testing. In FSE, 2011.
-
(2011)
FSE
-
-
Jagannath, V.1
Gligoric, M.2
Jin, D.3
Luo, Q.4
Rosu, G.5
Marinov, D.6
-
18
-
-
79959893225
-
Automated atomicity-violation fixing
-
G. Jin, L. Song, W. Zhang, S. Lu, and B. Liblit. Automated atomicity-violation fixing. In PLDI, 2011.
-
(2011)
PLDI
-
-
Jin, G.1
Song, L.2
Zhang, W.3
Lu, S.4
Liblit, B.5
-
20
-
-
70449673284
-
Killing the gatekeeper: Introducing a continuous integration system
-
F. Lacoste. Killing the gatekeeper: Introducing a continuous integration system. In Agile, 2009.
-
(2009)
Agile
-
-
Lacoste, F.1
-
22
-
-
34547229642
-
Have things changed now?: An empirical study of bug characteristics in modern open source software
-
Z. Li, L. Tan, X. Wang, S. Lu, Y. Zhou, and C. Zhai. Have things changed now?: An empirical study of bug characteristics in modern open source software. In ASID, 2006.
-
(2006)
ASID
-
-
Li, Z.1
Tan, L.2
Wang, X.3
Lu, S.4
Zhou, Y.5
Zhai, C.6
-
23
-
-
84883405203
-
CHECK-THEN-ACT misuse of Java concurrent collections
-
Y. Lin and D. Dig. CHECK-THEN-ACT misuse of Java concurrent collections. In ICST, 2013.
-
(2013)
ICST
-
-
Lin, Y.1
Dig, D.2
-
24
-
-
67650533712
-
Learning from mistakes: A comprehensive study on real world concurrency bug characteristics
-
S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes: A comprehensive study on real world concurrency bug characteristics. In ASPLOS, 2008.
-
(2008)
ASPLOS
-
-
Lu, S.1
Park, S.2
Seo, E.3
Zhou, Y.4
-
25
-
-
84942782772
-
Covrig: A framework for the analysis of code, test, and coverage evolution in real software
-
P. Marinescu, P. Hosek, and C. Cadar. Covrig: A framework for the analysis of code, test, and coverage evolution in real software. In ISSTA, 2014.
-
(2014)
ISSTA
-
-
Marinescu, P.1
Hosek, P.2
Cadar, C.3
-
26
-
-
84886445408
-
Automated testing of GUI applications: Models, tools, and controlling flakiness
-
A. M. Memon and M. B. Cohen. Automated testing of GUI applications: models, tools, and controlling flakiness. In ICSE, 2013.
-
(2013)
ICSE
-
-
Memon, A.M.1
Cohen, M.B.2
-
28
-
-
0025557712
-
An empirical study of the reliability of Unix utilities
-
B. P. Miller, L. Fredriksen, and B. So. An empirical study of the reliability of Unix utilities. CACM, 1990.
-
(1990)
CACM
-
-
Miller, B.P.1
Fredriksen, L.2
So, B.3
-
35
-
-
34548251392
-
Instrumenting where it hurts: An automatic concurrent debugging technique
-
R. Tzoref, S. Ur, and E. Yom-Tov. Instrumenting where it hurts: An automatic concurrent debugging technique. In ISSTA, 2007.
-
(2007)
ISSTA
-
-
Tzoref, R.1
Ur, S.2
Yom-Tov, E.3
-
36
-
-
84986907851
-
Specification-based test repair using a lightweight formal method
-
G. Yang, S. Khurshid, and M. Kim. Specification-based test repair using a lightweight formal method. In FM, 2012.
-
(2012)
FM
-
-
Yang, G.1
Khurshid, S.2
Kim, M.3
-
37
-
-
84935042563
-
Empirically revisiting the test independence assumption
-
S. Zhang, D. Jalali, J. Wuttke, K. Muslu, M. Ernst, and D. Notkin. Empirically revisiting the test independence assumption. In ISSTA, 2014.
-
(2014)
ISSTA
-
-
Zhang, S.1
Jalali, D.2
Wuttke, J.3
Muslu, K.4
Ernst, M.5
Notkin, D.6
|