-
1
-
-
57349107218
-
Finding deadlocks in large concurrent java programs using genetic algorithms
-
ACM
-
E. Alba, F. Chicano, M. Ferreira, and J. Gomez-Pulido, "Finding deadlocks in large concurrent java programs using genetic algorithms," in Proc. GECCO'08. ACM, 2008, pp. 1735-1742.
-
(2008)
Proc. GECCO'08
, pp. 1735-1742
-
-
Alba, E.1
Chicano, F.2
Ferreira, M.3
Gomez-Pulido, J.4
-
2
-
-
31844438058
-
Applications of synchronization coverage
-
ACM
-
A. Bron, E. Farchi, Y. Magid, Y. Nir, and S. Ur, "Applications of synchronization coverage," in Proc. PPoPP. ACM, 2005, p. 212.
-
(2005)
Proc. PPoPP
, pp. 212
-
-
Bron, A.1
Farchi, E.2
Magid, Y.3
Nir, Y.4
Ur, S.5
-
3
-
-
77954726954
-
Line-up: A complete and automatic linearizability checker
-
Jun.
-
S. Burckhardt, C. Dern, M. Musuvathi, and R. Tan, "Line-up: a complete and automatic linearizability checker," SIGPLAN Not., vol. 45, no. 6, pp. 330-340, Jun. 2010.
-
(2010)
SIGPLAN Not
, vol.45
, Issue.6
, pp. 330-340
-
-
Burckhardt, S.1
Dern, C.2
Musuvathi, M.3
Tan, R.4
-
4
-
-
33750426557
-
A perturbation-free replay platform for cross-optimized multithreaded applications
-
J. Choi, B. Alpern, T. Ngo, M. Sridharan, and J. Vlissides, "A perturbation-free replay platform for cross-optimized multithreaded applications," in Proc. IPDPS. IEEE, 2001, pp. 10-pp.
-
(2001)
Proc. IPDPS. IEEE
, pp. 10
-
-
Choi, J.1
Alpern, B.2
Ngo, T.3
Sridharan, M.4
Vlissides, J.5
-
5
-
-
77749280368
-
Gambit: Effective unit testing for concurrency libraries
-
ACM
-
K. E. Coons, S. Burckhardt, and M. Musuvathi, "Gambit: effective unit testing for concurrency libraries," in Proc. PPoPP'10. ACM, 2010, pp. 15-24.
-
(2010)
Proc. PPoPP'10
, pp. 15-24
-
-
Coons, K.E.1
Burckhardt, S.2
Musuvathi, M.3
-
6
-
-
26044480846
-
Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact
-
October
-
H. Do, S. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact," Empirical Software Engineering, vol. 10, pp. 405-435, October 2005.
-
(2005)
Empirical Software Engineering
, vol.10
, pp. 405-435
-
-
Do, H.1
Elbaum, S.2
Rothermel, G.3
-
7
-
-
0036315513
-
Multithreaded java program test generation
-
O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur, "Multithreaded java program test generation," IBM Systems Journal, vol. 41, no. 1, pp. 111-125, 2002.
-
(2002)
IBM Systems Journal
, vol.41
, Issue.1
, pp. 111-125
-
-
Edelstein, O.1
Farchi, E.2
Nir, Y.3
Ratsaby, G.4
Ur, S.5
-
8
-
-
33646561797
-
Concurrent java test generation as a search problem
-
May
-
Y. Eytani, "Concurrent java test generation as a search problem," Electron. Notes Theor. Comput. Sci., vol. 144, pp. 57-72, May 2006.
-
(2006)
Electron. Notes Theor. Comput. Sci
, vol.144
, pp. 57-72
-
-
Eytani, Y.1
-
10
-
-
0003758319
-
Partial-order methods for the verification of concurrent systems-an approach to the state-explosion problem, ser
-
Springer
-
P. Godefroid, Partial-order methods for the verification of concurrent systems-an approach to the state-explosion problem, ser. Lecture Notes in Computer Science. Springer, 1996, vol. 1032.
-
(1996)
Lecture Notes in Computer Science
, vol.1032
-
-
Godefroid, P.1
-
12
-
-
80053202644
-
Improved multithreaded unit testing
-
ACM
-
V. Jagannath, M. Gligoric, D. Jin, Q. Luo, G. Rosu, and D. Marinov, "Improved multithreaded unit testing," in Proc. ESEC/FSE '11. ACM, 2011, pp. 223-233.
-
(2011)
Proc. ESEC/FSE '11
, pp. 223-233
-
-
Jagannath, V.1
Gligoric, M.2
Jin, D.3
Luo, Q.4
Rosu, G.5
Marinov, D.6
-
13
-
-
78650042846
-
A platform for search-based testing of concurrent software
-
ACM
-
B. K?rena, Z. Letko, T. Vojnar, and S. Ur, "A platform for search-based testing of concurrent software," in Proc. PADTAD '10. ACM, 2010, pp. 48-58.
-
(2010)
Proc. PADTAD '10
, pp. 48-58
-
-
Krena, B.1
Letko, Z.2
Vojnar, T.3
Ur, S.4
-
14
-
-
0017996760
-
Time, clocks, and the ordering of events in a distributed system
-
ACM
-
L. Lamport, "Time, clocks, and the ordering of events in a distributed system," Communications of the ACM, vol. 21, no. 7, pp. 558-565, 1978.
-
(1978)
Communications of the
, vol.21
, Issue.7
, pp. 558-565
-
-
Lamport, L.1
-
15
-
-
57149131636
-
A study of interleaving coverage criteria
-
ACM
-
S. Lu, W. Jiang, and Y. Zhou, "A study of interleaving coverage criteria," in Proc. ESEC/FSE. ACM, 2007, pp. 533-536.
-
(2007)
Proc. ESEC/FSE
, pp. 533-536
-
-
Lu, S.1
Jiang, W.2
Zhou, Y.3
-
16
-
-
67650093753
-
Learning from mistakes: A comprehensive study on real world concurrency bug characteristics
-
ACM
-
S. Lu, S. Park, E. Seo, and Y. Zhou, "Learning from mistakes: a comprehensive study on real world concurrency bug characteristics," in ACM SIGPLAN Notices, vol. 43, no. 3. ACM, 2008, pp. 329-339.
-
(2008)
ACM SIGPLAN Notices
, vol.43
, Issue.3
, pp. 329-339
-
-
Lu, S.1
Park, S.2
Seo, E.3
Zhou, Y.4
-
17
-
-
3142725712
-
Search-based software test data generation: A survey
-
P. McMinn, "Search-based software test data generation: A survey," Software Testing, Verification and Reliability, vol. 14, no. 2, pp. 105-156, 2004.
-
(2004)
Software Testing, Verification and Reliability
, vol.14
, Issue.2
, pp. 105-156
-
-
McMinn, P.1
-
18
-
-
85076883647
-
Finding and reproducing heisenbugs in concurrent programs
-
M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu, "Finding and reproducing heisenbugs in concurrent programs," in Proc. OSDI'08. USENIX Association, 2008, pp. 267-280.
-
(2008)
Proc. OSDI'08. USENIX Association
, pp. 267-280
-
-
Musuvathi, M.1
Qadeer, S.2
Ball, T.3
Basler, G.4
Nainar, P.A.5
Neamtiu, I.6
-
19
-
-
84864224668
-
Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code
-
A. Nistor, Q. Luo, M. Pradel, T. R. Gross, and D. Marinov, "Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code," in Proc. ICSE, 2012.
-
(2012)
Proc. ICSE
-
-
Nistor, A.1
Luo, Q.2
Pradel, M.3
Gross, T.R.4
Marinov, D.5
-
21
-
-
0000422707
-
Context-sensitive synchronization-sensitive analysis is undecidable
-
ACM
-
G. Ramalingam, "Context-sensitive synchronization-sensitive analysis is undecidable," ACM Trans. Program. Lang. Syst., vol. 22, no. 2, pp. 416-430, 2000.
-
(2000)
Trans. Program. Lang. Syst
, vol.22
, Issue.2
, pp. 416-430
-
-
Ramalingam, G.1
-
22
-
-
38049188348
-
A race-detection and flipping algorithm for automated testing of multi-threaded programs
-
Springer-Verlag
-
K. Sen and G. Agha, "A race-detection and flipping algorithm for automated testing of multi-threaded programs," in Proc. HVC'06. Springer-Verlag, 2007, pp. 166-182.
-
(2007)
Proc. HVC'06
, pp. 166-182
-
-
Sen, K.1
Agha, G.2
-
23
-
-
32344447459
-
CUTE: A concolic unit testing engine for C
-
ACM
-
K. Sen, D. Marinov, and G. Agha, "CUTE: a concolic unit testing engine for C," in Proc. ESEC/FSE-13. ACM, 2005, pp. 263-272.
-
(2005)
Proc. ESEC/FSE-13
, pp. 263-272
-
-
Sen, K.1
Marinov, D.2
Agha, G.3
-
24
-
-
77949401303
-
Saturation-based testing of concurrent programs
-
ACM
-
E. Sherman, M. B. Dwyer, and S. Elbaum, "Saturation-based testing of concurrent programs," in Proc. ESEC/FSE'09. ACM, 2009, pp. 53-62.
-
(2009)
Proc. ESEC/FSE'09
, pp. 53-62
-
-
Sherman, E.1
Dwyer, M.B.2
Elbaum, S.3
-
25
-
-
0026827806
-
Structural testing of concurrent programs
-
Mar
-
R. N. Taylor, D. L. Levine, and C. D. Kelly, "Structural testing of concurrent programs," IEEE Trans. Softw. Eng., vol. 18, no. 3, pp. 206-215, Mar. 1992.
-
(1992)
IEEE Trans. Softw. Eng
, vol.18
, Issue.3
, pp. 206-215
-
-
Taylor, R.N.1
Levine, D.L.2
Kelly, C.D.3
-
26
-
-
23744485743
-
Evolutionary testing of classes
-
P. Tonella, "Evolutionary testing of classes," in Proc. ISSTA, 2004, pp. 119-128.
-
(2004)
Proc. ISSTA
, pp. 119-128
-
-
Tonella, P.1
|