-
1
-
-
70449728280
-
-
H. Agrawal, R. A. DeMillo, R. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. H. Spafford. Design of mutant operators for the C programming language. Technical Report SERC-TR-41-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Mar. 20 1989.
-
H. Agrawal, R. A. DeMillo, R. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. H. Spafford. Design of mutant operators for the C programming language. Technical Report SERC-TR-41-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Mar. 20 1989.
-
-
-
-
2
-
-
34548093094
-
-
Analysis of Program Test Data. Ph.D. dissertation, Yale University, New Haven, CT, May
-
T. A. Budd. Mutation Analysis of Program Test Data. Ph.D. dissertation, Yale University, New Haven, CT, May 1980.
-
(1980)
Mutation
-
-
Budd, T.A.1
-
3
-
-
0020245867
-
Two notions of correctness and their relation to testing
-
Nov
-
T. A. Budd and D. Angluin. Two notions of correctness and their relation to testing. Acta Inf., 18(1):31-45, Nov. 1982.
-
(1982)
Acta Inf
, vol.18
, Issue.1
, pp. 31-45
-
-
Budd, T.A.1
Angluin, D.2
-
4
-
-
0000008581
-
Proteum/IM 2.0: An integrated mutation testing environment
-
Norwell, MA, USA, Kluwer Academic Publishers
-
M. E. Delamaro and J. C. Maldonado. Proteum/IM 2.0: An integrated mutation testing environment. In Mutation testing for the new century, pages 91-101, Norwell, MA, USA, 2001. Kluwer Academic Publishers.
-
(2001)
Mutation testing for the new century
, pp. 91-101
-
-
Delamaro, M.E.1
Maldonado, J.C.2
-
5
-
-
0035279613
-
Interface mutation: An approach for integration testing
-
M. E. Delamaro, J. C. Maldonado, and A. P. Mathur. Interface mutation: An approach for integration testing. IEEE Trans. Softw. Eng., 27(3):228-247, 2001.
-
(2001)
IEEE Trans. Softw. Eng
, vol.27
, Issue.3
, pp. 228-247
-
-
Delamaro, M.E.1
Maldonado, J.C.2
Mathur, A.P.3
-
6
-
-
0017959155
-
Hints on test data selection: Help for the practicing programmer
-
Apr
-
R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. Computer, 11(4):34-41, Apr. 1978.
-
(1978)
Computer
, vol.11
, Issue.4
, pp. 34-41
-
-
DeMillo, R.A.1
Lipton, R.J.2
Sayward, F.G.3
-
7
-
-
0017517121
-
Testing programs with the aid of a compiler
-
July
-
R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Trans. Softw. Eng., SE-3(4):279-290, July 1977.
-
(1977)
IEEE Trans. Softw. Eng
, vol.SE-3
, Issue.4
, pp. 279-290
-
-
Hamlet, R.G.1
-
8
-
-
0033332513
-
Using program slicing to assist in the detection of equivalent mutants
-
Dec
-
R. Hierons, M. Harman, and S. Danicic. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification, and Reliability, 9(4):233-262, Dec. 1999.
-
(1999)
Software Testing, Verification, and Reliability
, vol.9
, Issue.4
, pp. 233-262
-
-
Hierons, R.1
Harman, M.2
Danicic, S.3
-
10
-
-
70449719454
-
-
W. Hsu, M. S. ahinoǧlu, and E. H. Spafford. An experimental approach to statistical mutation-based testing. Technical Report SERC-TR-63-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Apr. 10 1990.
-
W. Hsu, M. S. ahinoǧlu, and E. H. Spafford. An experimental approach to statistical mutation-based testing. Technical Report SERC-TR-63-P, Software Engineering Research Center, Purdue University, West Lafayette, IN, Apr. 10 1990.
-
-
-
-
11
-
-
0028166441
-
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
-
Los Alamitos, CA, USA, IEEE Computer Society Press
-
M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In ICSE '94: Proceedings of the 16th international conference on Software engineering, pages 191-200, Los Alamitos, CA, USA, 1994. IEEE Computer Society Press.
-
(1994)
ICSE '94: Proceedings of the 16th international conference on Software engineering
, pp. 191-200
-
-
Hutchins, M.1
Foster, H.2
Goradia, T.3
Ostrand, T.4
-
12
-
-
85026355563
-
-
A. P. Mathur. Performance, effectiveness, and reliability issues in software testing. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference COMPSAC, pages 604-605, Tokyo, Japan, Sept. 11-13 1991. IEEE Computer Society Press
-
A. P. Mathur. Performance, effectiveness, and reliability issues in software testing. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference (COMPSAC), pages 604-605, Tokyo, Japan, Sept. 11-13 1991. IEEE Computer Society Press.
-
-
-
-
13
-
-
48749095325
-
Finding sufficient mutation operators via variable reduction
-
Washington, DC, USA, IEEE Computer Society
-
A. S. Namin and J. H. Andrews. Finding sufficient mutation operators via variable reduction. In MUTATION '06: Proceedings of the Second Workshop on Mutation Analysis, page 5, Washington, DC, USA, 2006. IEEE Computer Society.
-
(2006)
MUTATION '06: Proceedings of the Second Workshop on Mutation Analysis
, pp. 5
-
-
Namin, A.S.1
Andrews, J.H.2
-
14
-
-
57349122337
-
Sufficient mutation operators for measuring test effectiveness
-
New York, NY, USA, ACM
-
A. S. Namin, J. H. Andrews, and D. J. Murdoch. Sufficient mutation operators for measuring test effectiveness. In ICSE '08: Proceedings of the 30th international conference on Software engineering, pages 351-360, New York, NY, USA, 2008. ACM.
-
(2008)
ICSE '08: Proceedings of the 30th international conference on Software engineering
, pp. 351-360
-
-
Namin, A.S.1
Andrews, J.H.2
Murdoch, D.J.3
-
15
-
-
0030121550
-
An experimental determination of sufficient mutation operators
-
Apr
-
A. J. Offutt, A. Lee, G. Rothermel, R. H. Untch, and C. Zapf. An experimental determination of sufficient mutation operators. ACM Transactions on Software Engineering and Methodology, 5(2):99-118, Apr. 1996.
-
(1996)
ACM Transactions on Software Engineering and Methodology
, vol.5
, Issue.2
, pp. 99-118
-
-
Offutt, A.J.1
Lee, A.2
Rothermel, G.3
Untch, R.H.4
Zapf, C.5
-
16
-
-
0027148169
-
An experimental evaluation of selective mutation
-
Baltimore, MD, May 17-21, IEEE Computer Society Press
-
A. J. Offutt, G. Rothermel, and C. Zapf. An experimental evaluation of selective mutation. In Proceedings of the Fifteenth International Conference on Software Engineering, pages 100-107, Baltimore, MD, May 17-21 1993. IEEE Computer Society Press.
-
(1993)
Proceedings of the Fifteenth International Conference on Software Engineering
, pp. 100-107
-
-
Offutt, A.J.1
Rothermel, G.2
Zapf, C.3
-
17
-
-
35348874144
-
A Bayes sequential statistical procedure for approving software products
-
W. Ehrenberger, editor, Garmisch-Partenkirchen, Germany, Sept, Elsevier/North Holland, New York
-
M. S. ahinoǧlu and E. H. Spafford. A Bayes sequential statistical procedure for approving software products. In W. Ehrenberger, editor, Proceedings of the IFIP Conference on Approving Software Products (ASP-90), pages 43-56, Garmisch-Partenkirchen, Germany, Sept. 1990. Elsevier/North Holland, New York.
-
(1990)
Proceedings of the IFIP Conference on Approving Software Products (ASP-90)
, pp. 43-56
-
-
ahinoǧlu, M.S.1
Spafford, E.H.2
-
18
-
-
0020204093
-
On testing non-testable programs
-
Nov
-
E. J. Weyuker. On testing non-testable programs. The Computer Journal, 25(4):465-470, Nov. 1982.
-
(1982)
The Computer Journal
, vol.25
, Issue.4
, pp. 465-470
-
-
Weyuker, E.J.1
-
19
-
-
0029478820
-
Reducing the cost of mutation testing: An empirical study
-
Dec
-
W. E. Wong and A. P. Mathur. Reducing the cost of mutation testing: An empirical study. The Journal of Systems and Software, 31(3):185-196, Dec. 1995.
-
(1995)
The Journal of Systems and Software
, vol.31
, Issue.3
, pp. 185-196
-
-
Wong, W.E.1
Mathur, A.P.2
-
20
-
-
0024132339
-
A practical method for software quality control via program mutation
-
Banff, Alberta, Canada, July 19-21, IEEE Computer Society Press
-
D. Wu, M. A. Hennell, D. Hedley, and I. J. Riddell. A practical method for software quality control via program mutation. In Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, pages 159-170, Banff, Alberta, Canada, July 19-21 1988. IEEE Computer Society Press.
-
(1988)
Proceedings of the Second Workshop on Software Testing, Verification, and Analysis
, pp. 159-170
-
-
Wu, D.1
Hennell, M.A.2
Hedley, D.3
Riddell, I.J.4
|