-
1
-
-
0023997325
-
Data diversity: An approach to software fault tolerance
-
4
-
Ammann, P. E., & Knight, J. C. (1988). Data diversity: An approach to software fault tolerance. IEEE Transactions on Computers, 37(4), 418-425.
-
(1988)
IEEE Transactions on Computers
, vol.37
, pp. 418-425
-
-
Ammann, P.E.1
Knight, J.C.2
-
2
-
-
85012688561
-
-
Princeton University Press New Jersey
-
Bellman, R. (1957). Dynamic programming. New Jersey: Princeton University Press.
-
(1957)
Dynamic Programming
-
-
Bellman, R.1
-
3
-
-
0020876533
-
Automatic generation of random self-checking test cases
-
3
-
Bird, D. L., & Munoz, C. U. (1983). Automatic generation of random self-checking test cases. IBM Systems Journal, 22(3), 229-245.
-
(1983)
IBM Systems Journal
, vol.22
, pp. 229-245
-
-
Bird, D.L.1
Munoz, C.U.2
-
5
-
-
0034877719
-
Quasi-randomized path planning
-
Branicky, M. S., LaValle, S. M., Olson, K., & Yang, L. (2001). Quasi-randomized path planning. In Proceedings of the 2001 IEEE International Conference on Robotics and Automation (pp. 1481-1487).
-
(2001)
Proceedings of the 2001 IEEE International Conference on Robotics and Automation
, pp. 1481-1487
-
-
Branicky, M.S.1
Lavalle, S.M.2
Olson, K.3
Yang, L.4
-
6
-
-
33748187592
-
Restricted random testing: Adaptive random testing by exclusion
-
4
-
Chan, K. P., Chen, T. Y., & Towey, D. (2006). Restricted random testing: Adaptive random testing by exclusion. International Journal of Software Engineering and Knowledge Engineering, 16(4), 553-584.
-
(2006)
International Journal of Software Engineering and Knowledge Engineering
, vol.16
, pp. 553-584
-
-
Chan, K.P.1
Chen, T.Y.2
Towey, D.3
-
8
-
-
33646021348
-
On the statistical properties of testing effectiveness measures
-
5
-
Chen, T. Y., Kuo, F.-C., & Merkel, R. (2006). On the statistical properties of testing effectiveness measures. Journal of Systems and Software, 79(5), 591-601.
-
(2006)
Journal of Systems and Software
, vol.79
, pp. 591-601
-
-
Chen, T.Y.1
Kuo, F.-C.2
Merkel, R.3
-
9
-
-
10644283185
-
Mirror adaptive random testing
-
15
-
Chen, T. Y., Kuo, F.-C., Merkel, R. G., & Ng, S. P. (2004). Mirror adaptive random testing. Information and Software Technology, 46(15), 1001-1010.
-
(2004)
Information and Software Technology
, vol.46
, pp. 1001-1010
-
-
Chen, T.Y.1
Kuo, F.-C.2
Merkel, R.G.3
Ng, S.P.4
-
10
-
-
84886873509
-
On the Relationships between the distribution of failure-causing inputs and effectiveness of adaptive random testing
-
Taipei, Taiwan.
-
Chen, T. Y., Kuo, F.-C., & Zhou, Z. Q. (2005). 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'05) (pp. 306-311). Taipei, Taiwan.
-
(2005)
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05)
, pp. 306-311
-
-
Chen, T.Y.1
Kuo, F.-C.2
Zhou, Z.Q.3
-
12
-
-
0035881204
-
Proportional sampling strategy: A compendium and some insights
-
1
-
Chen, T. Y., Tse, T. H., & Yu, Y. T. (2001). Proportional sampling strategy: A compendium and some insights. Journal of Systems and Software, 58(1), 65-81.
-
(2001)
Journal of Systems and Software
, vol.58
, pp. 65-81
-
-
Chen, T.Y.1
Tse, T.H.2
Yu, Y.T.3
-
13
-
-
0025510192
-
Engineering software under statistical quality control
-
6
-
Cobb, R., & Mills, H. D. (1990). Engineering software under statistical quality control. IEEE Software, 7(6), 45-54.
-
(1990)
IEEE Software
, vol.7
, pp. 45-54
-
-
Cobb, R.1
Mills, H.D.2
-
14
-
-
0037493787
-
Automatic testing of graphical user interfaces
-
Vail, CO.
-
Dabóczi, T., Kollár, I., Simon, G., & Megyeri, T. (2003). Automatic testing of graphical user interfaces. In Proceedings of the 20th IEEE Instrumentation and Measurement Technology Conference 2003 (IMTC'03) (pp. 441-445). Vail, CO.
-
(2003)
Proceedings of the 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
-
15
-
-
0026068498
-
NASA software failure characterization experiments
-
1-2
-
Finelli, G. B. (1991). NASA software failure characterization experiments. Reliability Engineering and System Safety, 32(1-2), 155-169.
-
(1991)
Reliability Engineering and System Safety
, vol.32
, pp. 155-169
-
-
Finelli, G.B.1
-
19
-
-
35248828599
-
Enhancing adaptive random testing in high dimensional input domain
-
ACM Press
-
Kuo, F.-C., Chen, T. Y., Liu, H., & Chan, W. K. (2007). Enhancing adaptive random testing in high dimensional input domain. In Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC'07) (pp. 1467-1472). ACM Press.
-
(2007)
Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC'07)
, pp. 1467-1472
-
-
Kuo, F.-C.1
Chen, T.Y.2
Liu, H.3
Chan, W.K.4
-
20
-
-
4243957728
-
-
Master's thesis, Department of Computer Science, University of Melbourne
-
Mak, I. K. (1997). On the effectiveness of random testing. Master's thesis, Department of Computer Science, University of Melbourne.
-
(1997)
On the Effectiveness of Random Testing
-
-
Mak, I.K.1
-
21
-
-
0031599142
-
Mersenne twister: A 623-dimensionally equidistributed uniform pseudo-random number generator
-
1
-
Matsumoto, M., & Nishimura, T. (1998). Mersenne twister: A 623-dimensionally equidistributed uniform pseudo-random number generator. ACM Transactions on Modeling and Computer Simulation, 8(1), 3-30.
-
(1998)
ACM Transactions on Modeling and Computer Simulation
, vol.8
, pp. 3-30
-
-
Matsumoto, M.1
Nishimura, T.2
-
23
-
-
33746058329
-
-
Software Research, Inc. Accessed 21 Feb 2008
-
Miller, E. (2005). Website testing, http://www.soft.com/eValid/ Technology/White.Papers/website.testing.html, Software Research, Inc. Accessed 21 Feb 2008.
-
(2005)
Website Testing
-
-
Miller, E.1
-
24
-
-
0025557712
-
An empirical study of the reliability of UNIX utilities
-
12
-
Miller, B. P., Fredriksen, L., & So, B. (1990). An empirical study of the reliability of UNIX utilities. Communications of the ACM, 33(12), 32-44.
-
(1990)
Communications of the ACM
, vol.33
, pp. 32-44
-
-
Miller, B.P.1
Fredriksen, L.2
So, B.3
-
25
-
-
0003577356
-
-
Tech. Rep. CS-TR-1995-1268, University of Wisconsin
-
Miller, B. P., Koski, D., Lee, C. P., Maganty, V., Murthy, R., Natarajan, A., & Steidl, J. (1995). Fuzz revisited: A re-examination of the reliability of UNIX utilities and services. Tech. Rep. CS-TR-1995-1268, University of Wisconsin.
-
(1995)
Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities and Services
-
-
Miller, B.P.1
Koski, D.2
Lee, C.P.3
Maganty, V.4
Murthy, R.5
Natarajan, A.6
Steidl, J.7
-
26
-
-
0004135418
-
-
2 Wiley New Jersey
-
Myers, G. J., Sandler, C., Badgett, T., & Thomas, T. M. (2004). The art of software testing (2nd edn.). New Jersey: Wiley.
-
(2004)
The Art of Software Testing
-
-
Myers, G.J.1
Sandler, C.2
Badgett, T.3
Thomas, T.M.4
-
29
-
-
32344447459
-
CUTE: A concolic unit testing engine for C
-
New York, NY: ACM Press
-
Sen, K., Marinov, D., & Agha, G. (2005). CUTE: A concolic unit testing engine for C. In Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-13) (pp. 263-272). New York, NY: ACM Press.
-
(2005)
Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-13)
, pp. 263-272
-
-
Sen, K.1
Marinov, D.2
Agha, G.3
|