-
1
-
-
0039850624
-
-
ACM, Association for Computing Machinery
-
ACM, Collected Algorithms from ACM (Association for Computing Machinery, 1980).
-
(1980)
Collected Algorithms from ACM
-
-
-
2
-
-
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 Trans. on Computers 37(4) (1988) 418-425.
-
(1988)
IEEE Trans. on Computers
, vol.37
, Issue.4
, pp. 418-425
-
-
Ammann, P.E.1
Knight, J.C.2
-
3
-
-
0020876533
-
Automatic generation of random self-checking test cases
-
D. L. Bird and C. U. Munoz, Automatic generation of random self-checking test cases, IBM Systems Journal 22(3) (1983) 229-245.
-
(1983)
IBM Systems Journal
, vol.22
, Issue.3
, pp. 229-245
-
-
Bird, D.L.1
Munoz, C.U.2
-
4
-
-
0027871246
-
The variation of software survival times for different operational input profiles
-
IEEE Computer Society Press
-
P. G. Bishop, The variation of software survival times for different operational input profiles, in Proc. 23rd Int. Symp. on Fault-Tolerant Computing (FTCS-23), IEEE Computer Society Press, 1993, pp. 98-107.
-
(1993)
Proc. 23rd Int. Symp. on Fault-Tolerant Computing (FTCS-23)
, pp. 98-107
-
-
Bishop, P.G.1
-
5
-
-
0003350839
-
Geometric inequalities
-
Springer-Verlag, translated from the Russian by A. B. Sossinsky
-
Y. D. Burago and V. A. Zalgaller, Geometric inequalities, Grundlehren der Mathematischen Wissenschaften, Vol. 285 (Springer-Verlag, 1988), translated from the Russian by A. B. Sossinsky.
-
(1988)
Grundlehren der Mathematischen Wissenschaften
, vol.285
-
-
Burago, Y.D.1
Zalgaller, V.A.2
-
6
-
-
0030383546
-
Proportional sampling strategy: Guidelines for software testing practitioners
-
F. T. Chan, T. Y. Chen, I. K. Mak, and Y. T. Yu, Proportional sampling strategy: Guidelines for software testing practitioners, Information and Software Technology 38(12) (1996) 775-782.
-
(1996)
Information and Software Technology
, vol.38
, Issue.12
, pp. 775-782
-
-
Chan, F.T.1
Chen, T.Y.2
Mak, I.K.3
Yu, Y.T.4
-
7
-
-
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 Proc. 4th Int. Conf. on Quality Software (QSIC 04), Braunschweig, Germany, IEEE Computer Society Press, 2004, pp. 79-86.
-
(2004)
Proc. 4th Int. Conf. on Quality Software (QSIC 04)
, pp. 79-86
-
-
Chen, T.Y.1
Eddy, G.2
Merkel, R.G.3
Wong, P.K.4
-
8
-
-
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) (2004) 1001-1010.
-
(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
-
9
-
-
84886873509
-
On the relationships between the distribution of failure-causing inputs and effectiveness of adaptive random testing
-
Knowledge Systems Institute
-
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 Proc. 17th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'05), Knowledge Systems Institute, 2005, pp. 306-311.
-
(2005)
Proc. 17th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'05)
, pp. 306-311
-
-
Chen, T.Y.1
Kuo, F.-C.2
Zhou, Z.Q.3
-
10
-
-
35048862949
-
Adaptive random testing in Proc. 9th Asian Computing Science Conference (ASIAN
-
Springer-Verlag
-
T. Y. Chen, H. Leung, and I. K. Mak, Adaptive random testing in Proc. 9th Asian Computing Science Conference (ASIAN 2004), LNCS Vol. 3321, Springer-Verlag, 2004, pp. 320-329.
-
(2004)
LNCS
, vol.3321
, pp. 320-329
-
-
Chen, T.Y.1
Leung, H.2
Mak, I.K.3
-
11
-
-
0025510192
-
Engineering software under statistical quality control
-
R. Cobb and H. D. Mills, Engineering software under statistical quality control, IEEE Software 7(6) (1990) 45-54.
-
(1990)
IEEE Software
, vol.7
, Issue.6
, pp. 45-54
-
-
Cobb, R.1
Mills, H.D.2
-
12
-
-
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 Proc. 20th IEEE Instrumentation and Measurement Technology Conference 2003 (IMTC'03), Vail, CO, USA, 2003, pp. 441-445.
-
(2003)
Proc. 20th 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
-
13
-
-
0026068498
-
NASA software failure characterization experiments
-
G. B. Finelli, NASA software failure characterization experiments, Reliability Engineering and System Safety 32(1-2) (1991) 155-169.
-
(1991)
Reliability Engineering and System Safety
, vol.32
, Issue.1-2
, pp. 155-169
-
-
Finelli, G.B.1
-
14
-
-
4444381692
-
An empirical study of the robustness of Windows NT applications using random testing
-
Seattle
-
J. E. Forrester and B. P. Miller, An empirical study of the robustness of Windows NT applications using random testing, in Proc. 4th USENIX Windows Systems Symp., Seattle, 2000, pp. 59-68.
-
(2000)
Proc. 4th USENIX Windows Systems Symp
, pp. 59-68
-
-
Forrester, J.E.1
Miller, B.P.2
-
15
-
-
31844450371
-
Dart: Directed automated random testing
-
P. Godefroid, N. Klarlund, and K. Sen, Dart: directed automated random testing, in Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI 2005), 2005, pp. 213-223.
-
(2005)
Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI 2005)
, pp. 213-223
-
-
Godefroid, P.1
Klarlund, N.2
Sen, K.3
-
16
-
-
33746042648
-
Random testing
-
J. Marciniak, ed, 2nd ed, John Wiley & Sons
-
R. Hamlet, Random testing, J. Marciniak, ed. Encyclopaedia of Software Engineering, 2nd ed. (John Wiley & Sons, 2002).
-
(2002)
Encyclopaedia of Software Engineering
-
-
Hamlet, R.1
-
17
-
-
34548124182
-
-
PhD thesis, Faculty of Information and Communication Technologies, Swinburne University of Technology
-
F.-C. Kuo, On Adaptive Random Testing, PhD thesis, Faculty of Information and Communication Technologies, Swinburne University of Technology, 2006.
-
(2006)
On Adaptive Random Testing
-
-
Kuo, F.-C.1
-
18
-
-
38849123077
-
-
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.
-
-
-
-
19
-
-
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, Commun. ACM 33(12) (1990) 32-44.
-
(1990)
Commun. ACM
, vol.33
, Issue.12
, pp. 32-44
-
-
Miller, B.P.1
Fredriksen, L.2
So, B.3
-
20
-
-
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
-
21
-
-
33746058329
-
-
Software Research
-
E. Miller, Website Testing (Software Research, 2005), http://www.soft.com/ eValid/Technology/White.Papers/website.testing.html.
-
(2005)
Website Testing
-
-
Miller, E.1
-
24
-
-
38849131745
-
-
T. R. D. of the Texas Legislative Council, Data for 2001 Redistricting in Texas, the Texas Legislative Council, Austin, Texas, 2001. Available at http://www.tlc.state.tx.us/pubspol/red2001data.pdf.
-
T. R. D. of the Texas Legislative Council, Data for 2001 Redistricting in Texas, the Texas Legislative Council, Austin, Texas, 2001. Available at http://www.tlc.state.tx.us/pubspol/red2001data.pdf.
-
-
-
-
27
-
-
84962469598
-
-
C. M. Varachiu and N. Varachiu, A fuzzy paradigm approach for the cognitive process of categorization in Proc. 1st IEEE Int. Conf. on Cognitive Informatics (ICCI'02), IEEE Computer Society Press, 2002, pp. 229-232.
-
C. M. Varachiu and N. Varachiu, A fuzzy paradigm approach for the cognitive process of categorization in Proc. 1st IEEE Int. Conf. on Cognitive Informatics (ICCI'02), IEEE Computer Society Press, 2002, pp. 229-232.
-
-
-
-
28
-
-
84945196370
-
Random program generator for Java JIT compiler test system
-
IEEE Computer Society Press
-
T. Yoshikawa, K. Shimura, and T. Ozawa, Random program generator for Java JIT compiler test system, in Proc. 3rd Int. Conf. on Quality Software (QSIC 2003), IEEE Computer Society Press, 2003, pp. 20-24.
-
(2003)
Proc. 3rd Int. Conf. on Quality Software (QSIC 2003)
, pp. 20-24
-
-
Yoshikawa, T.1
Shimura, K.2
Ozawa, T.3
-
29
-
-
84928840267
-
Measuring the compactness of legislative districts
-
H. P. Young, Measuring the compactness of legislative districts, Legislative Studies Quarterly 13(1) (1988) 105-115.
-
(1988)
Legislative Studies Quarterly
, vol.13
, Issue.1
, pp. 105-115
-
-
Young, H.P.1
|