-
1
-
-
84869617255
-
-
http://sir.unl.edu/php/index.php.
-
-
-
-
2
-
-
0035783436
-
Pursuing failure: The distribution of program failures in a profile space
-
W. Dickinson, D. Leon, and A. Podgurski. Pursuing failure: the distribution of program failures in a profile space. In ESEC / SIGSOFT FSE, pages 246-255, 2001.
-
(2001)
ESEC / SIGSOFT FSE
, pp. 246-255
-
-
Dickinson, W.1
Leon, D.2
Podgurski, A.3
-
3
-
-
0035250541
-
Dynamically discovering likely program invariants to support program evolution
-
M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Software Eng., 27(2):99- 123, 2001.
-
(2001)
IEEE Trans. Software Eng.
, vol.27
, Issue.2
, pp. 99-123
-
-
Ernst, M.D.1
Cockrell, J.2
Griswold, W.G.3
Notkin, D.4
-
4
-
-
0036038345
-
Tracking down software bugs using automatic anomaly detection
-
S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, pages 291-301, 2002.
-
(2002)
ICSE
, pp. 291-301
-
-
Hangal, S.1
Lam, M.S.2
-
5
-
-
0028166441
-
Experiments of the effectiveness of dataflow- and control flow-based test adequacy criteria
-
M. Hutchins, H. Foster, T. Goradia, and T. J. Ostrand. Experiments of the effectiveness of dataflow- and control flow-based test adequacy criteria. In ICSE, pages 191-200, 1994.
-
(1994)
ICSE
, pp. 191-200
-
-
Hutchins, M.1
Foster, H.2
Goradia, T.3
Ostrand, T.J.4
-
6
-
-
33745787285
-
-
PhD thesis, University of California, Berkeley, Dec.
-
B. R. Liblit. Cooperative Bug Isolation. PhD thesis, University of California, Berkeley, Dec. 2004.
-
(2004)
Cooperative Bug Isolation
-
-
Liblit, B.R.1
-
7
-
-
34548272571
-
Statistical debugging using compound boolean predicates
-
P. A. Nainar, T. Chen, J. Rosin, and B. Liblit. Statistical debugging using compound boolean predicates. In ISSTA, pages 5-15, 2007.
-
(2007)
ISSTA
, pp. 5-15
-
-
Nainar, P.A.1
Chen, T.2
Rosin, J.3
Liblit, B.4
-
8
-
-
15844405025
-
Scaling regression testing to large software systems
-
A. Orso, N. Shi, and M. J. Harrold. Scaling regression testing to large software systems. In SIGSOFT FSE, pages 241-251, 2004.
-
(2004)
SIGSOFT FSE
, pp. 241-251
-
-
Orso, A.1
Shi, N.2
Harrold, M.J.3
-
9
-
-
26444584996
-
Eclat: Automatic generation and classification of test inputs
-
C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP, pages 504-527, 2005.
-
(2005)
ECOOP
, pp. 504-527
-
-
Pacheco, C.1
Ernst, M.D.2
-
10
-
-
34548785574
-
Feedbackdirected random test generation
-
C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedbackdirected random test generation. In ICSE, pages 75-84, 2007.
-
(2007)
ICSE
, pp. 75-84
-
-
Pacheco, C.1
Lahiri, S.K.2
Ernst, M.D.3
Ball, T.4
-
11
-
-
0035481183
-
Prioritizing test cases for regression testing
-
G. Rothermel, R. H. Untch, C. Chu, and M. J. Harrold. Prioritizing test cases for regression testing. IEEE Trans. Software Eng., 27(10):929-948, 2001.
-
(2001)
IEEE Trans. Software Eng.
, vol.27
, Issue.10
, pp. 929-948
-
-
Rothermel, G.1
Untch, R.H.2
Chu, C.3
Harrold, M.J.4
-
12
-
-
32344447459
-
CUTE: A concolic unit testing engine for C
-
K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In ESEC/SIGSOFT FSE, pages 263-272, 2005.
-
(2005)
ESEC/SIGSOFT FSE
, pp. 263-272
-
-
Sen, K.1
Marinov, D.2
Agha, G.3
-
13
-
-
23744462328
-
Test input generation with Java PathFinder
-
W. Visser, C. S. Pasareanu, and S. Khurshid. Test input generation with Java PathFinder. In ISSTA, pages 97-107, 2004.
-
(2004)
ISSTA
, pp. 97-107
-
-
Visser, W.1
Pasareanu, C.S.2
Khurshid, S.3
-
14
-
-
85117374664
-
Tool-assisted unit test selection based on operational violations
-
T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In ASE, pages 40-48, 2003.
-
(2003)
ASE
, pp. 40-48
-
-
Xie, T.1
Notkin, D.2
-
15
-
-
33750949210
-
Automatically identifying special and common unit tests for object-oriented programs
-
T. Xie and D. Notkin. Automatically identifying special and common unit tests for object-oriented programs. In ISSRE, pages 277-287, 2005.
-
(2005)
ISSRE
, pp. 277-287
-
-
Xie, T.1
Notkin, D.2
|