-
1
-
-
0023997325
-
Data diversity: An approach to software fault tolerance
-
P. E. Ammann and J. C. Knight. Data diversity: an approach to software fault tolerance. IEEE Transactions on Computers, 37(4):418-425, 1988.
-
(1988)
IEEE Transactions on Computers
, vol.37
, Issue.4
, pp. 418-425
-
-
Ammann, P.E.1
Knight, J.C.2
-
4
-
-
14044267543
-
Adaptive random testing through dynamic partitioning
-
Braunschweig, Germany, IEEE Computer Society Press
-
T. Y. Chen, G. Eddy, R. G. Merkel, and P. K. Wong. Adaptive random testing through dynamic partitioning. In Proceedings of the 4th International Conference on Quality Software (QSIC 04), pages 79-86, Braunschweig, Germany, 2004. IEEE Computer Society Press.
-
(2004)
Proceedings of the 4th International Conference on Quality Software (QSIC 04)
, pp. 79-86
-
-
Chen, T.Y.1
Eddy, G.2
Merkel, R.G.3
Wong, P.K.4
-
6
-
-
10644283185
-
Mirror adaptive random testing
-
T. Y. Chen, F. C. Kuo, R. G. Merkel, and S. P. Ng. Mirror adaptive random testing. Information and Software Technology, 46(15):1001-1010, 2004.
-
(2004)
Information and Software Technology
, vol.46
, Issue.15
, pp. 1001-1010
-
-
Chen, T.Y.1
Kuo, F.C.2
Merkel, R.G.3
Ng, S.P.4
-
7
-
-
84886873509
-
On the relationships between the distribution of failure-causing inputs and effectiveness of adaptive random testing
-
Taipei, Taiwan
-
T. Y. Chen, F. C. Kuo, and Z. Q. Zhou. On the relationships between the distribution of failure-causing inputs and effectiveness of adaptive random testing. In Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005)), pages 306-311, Taipei, Taiwan, 2005.
-
(2005)
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005))
, pp. 306-311
-
-
Chen, T.Y.1
Kuo, F.C.2
Zhou, Z.Q.3
-
8
-
-
35048862949
-
Adaptive random testing
-
Proceedings of the 9th Asian Computing Science Conference, of
-
T. Y. Chen, H. Leung, and I. K. Mak. Adaptive random testing. In Proceedings of the 9th Asian Computing Science Conference, volume 3321 of Lecture Notes in Computer Science, pages 320-329, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3321
, pp. 320-329
-
-
Chen, T.Y.1
Leung, H.2
Mak, I.K.3
-
9
-
-
33750117572
-
An upper bound on software testing effectiveness
-
submitted for publication
-
T. Y. Chen and R. Merkel. An upper bound on software testing effectiveness, submitted for publication.
-
-
-
Chen, T.Y.1
Merkel, R.2
-
10
-
-
0025510192
-
Engineering software under statistical quality control
-
R. Cobb and H. D. Mills. Engineering software under statistical quality control. IEEE Software, 7(6):45-54, 1990.
-
(1990)
IEEE Software
, vol.7
, Issue.6
, pp. 45-54
-
-
Cobb, R.1
Mills, H.D.2
-
11
-
-
0037493787
-
Automatic testing of graphical user interfaces
-
Vail, CO, USA
-
T. Dabóczi, I. Kollár, G. Simon, and T. Megyeri. Automatic testing of graphical user interfaces. In Proceedings of the 30th IEEE Instrumentation and Measurement Technology Conference 2003 (IMTC '03), pages 441-445, Vail, CO, USA, 2003.
-
(2003)
Proceedings of the 30th IEEE Instrumentation and Measurement Technology Conference 2003 (IMTC '03)
, pp. 441-445
-
-
Dabóczi, T.1
Kollár, I.2
Simon, G.3
Megyeri, T.4
-
12
-
-
0026068498
-
Nasa software failure characterization experiments
-
G. B. Finelli. Nasa software failure characterization experiments. Reliability Engineering and System Safety, 32(1-2):155-169, 1991.
-
(1991)
Reliability Engineering and System Safety
, vol.32
, Issue.1-2
, pp. 155-169
-
-
Finelli, G.B.1
-
14
-
-
33746042648
-
Random testing
-
J. Marciniak, editor, John Wiley & Sons, second edition
-
R. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering. John Wiley & Sons, second edition, 2002.
-
(2002)
Encyclopedia of Software Engineering
-
-
Hamlet, R.1
-
15
-
-
34247382766
-
-
I. K. Mak. On the effectiveness of random testing. Master's thesis, Department of Computer Science, University of Melbourne, 1997.
-
I. K. Mak. On the effectiveness of random testing. Master's thesis, Department of Computer Science, University of Melbourne, 1997.
-
-
-
-
16
-
-
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. Communications of the ACM, 33(12):32-44, 1990.
-
(1990)
Communications of the ACM
, vol.33
, Issue.12
, pp. 32-44
-
-
Miller, B.P.1
Fredriksen, L.2
So, B.3
-
17
-
-
0003577356
-
Fuzz revisited: A re-examination of the reliability of UNIX utilities and services
-
Technical Report CS-TR-1995-1268, University of Wisconsin
-
B. P. Miller, D. Koski, C. P. Lee, V. Maganty, R. Murthy, A. Natarajan, and J. Steidl. Fuzz revisited: A re-examination of the reliability of UNIX utilities and services. Technical Report CS-TR-1995-1268, University of Wisconsin, 1995.
-
(1995)
-
-
Miller, B.P.1
Koski, D.2
Lee, C.P.3
Maganty, V.4
Murthy, R.5
Natarajan, A.6
Steidl, J.7
-
18
-
-
33746058329
-
-
Software Research, Inc
-
E. Miller. Website testing. http://www.soft.com/eValid/Technology/White. Papers/website.testing.html, Software Research, Inc., 2005.
-
(2005)
Website testing
-
-
Miller, E.1
-
21
-
-
32344447459
-
Cute: A concolic unit testing engine for c
-
New York, NY, USA, ACM Press
-
K. Sen, D. Marinov, and G. Agha. Cute: a concolic unit testing engine for c. In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pages 263-272, New York, NY, USA, 2005. ACM Press.
-
(2005)
ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
, pp. 263-272
-
-
Sen, K.1
Marinov, D.2
Agha, G.3
|