-
1
-
-
0036319465
-
Software debugging, testing, and verification
-
B. Hailpern and P. Santhanam, "Software debugging, testing, and verification," IBM Systems Journal, vol. 41, no. 1, pp. 4-12, 2002.
-
(2002)
IBM Systems Journal
, vol.41
, Issue.1
, pp. 4-12
-
-
Hailpern, B.1
Santhanam, P.2
-
2
-
-
39749159302
-
Automated software testing and analysis: Techniques, practices and tools
-
IEEE Computer Society Press
-
Z. Q. Zhou, B. Scholz, and G. Denaro, "Automated software testing and analysis: Techniques, practices and tools," in Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS'07). IEEE Computer Society Press, 2007.
-
(2007)
Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS'07)
-
-
Zhou, Z.Q.1
Scholz, B.2
Denaro, G.3
-
4
-
-
0002601275
-
Random testing
-
J. Marciniak, Ed. John Wiley & Sons
-
R. Hamlet, "Random testing," in Encyclopedia of Software Engineering, J. Marciniak, Ed. John Wiley & Sons, 2002, pp. 970-978.
-
(2002)
Encyclopedia of Software Engineering
, pp. 970-978
-
-
Hamlet, R.1
-
5
-
-
38849198620
-
On favourable conditions for adaptive random testing
-
T. Y. Chen, F.-C. Kuo, and Z. Q. Zhou, "On favourable conditions for adaptive random testing," International Journal of Software Engineering and Knowledge Engineering, vol. 17, no. 6, pp. 805-825, 2007.
-
(2007)
International Journal of Software Engineering and Knowledge Engineering
, vol.17
, Issue.6
, pp. 805-825
-
-
Chen, T.Y.1
Kuo, F.-C.2
Zhou, Z.Q.3
-
7
-
-
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, vol. 22, no. 3, pp. 229-245, 1983.
-
(1983)
IBM Systems Journal
, vol.22
, Issue.3
, pp. 229-245
-
-
Bird, D.L.1
Munoz, C.U.2
-
8
-
-
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, vol. 33, no. 12, pp. 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
-
11
-
-
0037493787
-
Automatic testing of graphical user interfaces
-
T. Dabóczi, I. Kollár, G. Simon, and T. Megyeri, "Automatic testing of graphical user interfaces," in Proceedings of the 20th IEEE Instrumentation and Measurement Technology Conference (IMTC'03), 2003, pp. 441-445.
-
(2003)
Proceedings of the 20th IEEE Instrumentation and Measurement Technology Conference (IMTC'03)
, pp. 441-445
-
-
Dabóczi, T.1
Kollár, I.2
Simon, G.3
Megyeri, T.4
-
12
-
-
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 Proceedings of the 3rd International Conference on Quality Software (QSIC'03). IEEE Computer Society Press, 2003, pp. 20- 24.
-
(2003)
Proceedings of the 3rd International Conference on Quality Software (QSIC'03)
, pp. 20-24
-
-
Yoshikawa, T.1
Shimura, K.2
Ozawa, T.3
-
14
-
-
71649102481
-
Adaptive random testing: The ART of test case diversity
-
T. Y. Chen, F.-C. Kuo, R. G. Merkel, and T. H. Tse, "Adaptive random testing: The ART of test case diversity," Journal of Systems and Software, vol. 83, no. 1, pp. 60-66, 2010.
-
(2010)
Journal of Systems and Software
, vol.83
, Issue.1
, pp. 60-66
-
-
Chen, T.Y.1
Kuo, F.-C.2
Merkel, R.G.3
Tse, T.H.4
-
15
-
-
0037218713
-
Fault-based testing without the need of oracles
-
T. Y. Chen, T. H. Tse, and Z. Q. Zhou, "Fault-based testing without the need of oracles," Information and Software Technology, vol. 45, no. 1, pp. 1-9, 2003.
-
(2003)
Information and Software Technology
, vol.45
, Issue.1
, pp. 1-9
-
-
Chen, T.Y.1
Tse, T.H.2
Zhou, Z.Q.3
-
16
-
-
79551537874
-
Semi-proving: An integrated method for program proving, testing, and debugging
-
-, "Semi-proving: An integrated method for program proving, testing, and debugging," IEEE Transactions on Software Engineering, vol. 37, no. 1, pp. 109-125, 2011.
-
(2011)
IEEE Transactions on Software Engineering
, vol.37
, Issue.1
, pp. 109-125
-
-
Chen, T.Y.1
Tse, T.H.2
Zhou, Z.Q.3
-
17
-
-
39749129927
-
An innovative approach to tackling the boundary effect in adaptive random testing
-
IEEE Computer Society Press
-
T. Y. Chen, D. H. Huang, T. H. Tse, and Z. Yang, "An innovative approach to tackling the boundary effect in adaptive random testing," in Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS'07). IEEE Computer Society Press, 2007.
-
(2007)
Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS'07)
-
-
Chen, T.Y.1
Huang, D.H.2
Tse, T.H.3
Yang, Z.4
-
18
-
-
4243957728
-
-
Master's thesis, The University of Melbourne, Melbourne, Australia
-
I. K. Mak, "On the effectiveness of random testing," Master's thesis, The University of Melbourne, Melbourne, Australia, 1997.
-
(1997)
On the Effectiveness of Random Testing
-
-
Mak, I.K.1
-
19
-
-
52449125806
-
ARTOO: Adaptive random testing for object-oriented software
-
I. Ciupa, A. Leitner, M. Oriol, and B. Meyer, "ARTOO: Adaptive random testing for object-oriented software," in Proceedings of the 30th International Conference on Software Engineering (ICSE'08), 2008.
-
(2008)
Proceedings of the 30th International Conference on Software Engineering (ICSE'08)
-
-
Ciupa, I.1
Leitner, A.2
Oriol, M.3
Meyer, B.4
-
20
-
-
70449631479
-
Practical extensions of a randomized testing tool
-
IEEE Computer Society Press
-
H. Jaygarl, C. K. Chang, and S. Kim, "Practical extensions of a randomized testing tool," in Proceedings of the 33rd Annual International Computer Software and Applications Conference (COMPSAC'09). IEEE Computer Society Press, 2009, pp. 148-153.
-
(2009)
Proceedings of the 33rd Annual International Computer Software and Applications Conference (COMPSAC'09)
, pp. 148-153
-
-
Jaygarl, H.1
Chang, C.K.2
Kim, S.3
-
21
-
-
77952123669
-
Adaptive random test case prioritization
-
IEEE Computer Society Press, November
-
B. Jiang, Z. Zhang, W. K. Chan, and T. H. Tse, "Adaptive random test case prioritization," in Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE'09). IEEE Computer Society Press, November 2009, pp. 233-244.
-
(2009)
Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE'09)
, pp. 233-244
-
-
Jiang, B.1
Zhang, Z.2
Chan, W.K.3
Tse, T.H.4
-
23
-
-
35048862949
-
Adaptive random testing
-
Springer-Verlag
-
T. Y. Chen, H. Leung, and I. K. Mak, "Adaptive random testing," in Proceedings of the 9th Asian Computing Science Conference (ASIAN'04), Lecture Notes in Computer Science 3321. Springer-Verlag, 2004, pp. 320-329.
-
(2004)
Proceedings of the 9th Asian Computing Science Conference (ASIAN'04), Lecture Notes in Computer Science
, vol.3321
, pp. 320-329
-
-
Chen, T.Y.1
Leung, H.2
Mak, I.K.3
-
24
-
-
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 Transactions on Software Engineering, vol. 27, no. 10, pp. 929-948, 2001.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.10
, pp. 929-948
-
-
Rothermel, G.1
Untch, R.H.2
Chu, C.3
Harrold, M.J.4
-
25
-
-
0028166441
-
Experiments on the effectiveness of dataflow- and controlflowbased test adequacy criteria
-
IEEE Computer Society Press
-
M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments on the effectiveness of dataflow- and controlflowbased test adequacy criteria," in Proceedings of the 16th International Conference on Software Engineering (ICSE'94). IEEE Computer Society Press, 1994, pp. 191-200.
-
(1994)
Proceedings of the 16th International Conference on Software Engineering (ICSE'94)
, pp. 191-200
-
-
Hutchins, M.1
Foster, H.2
Goradia, T.3
Ostrand, T.4
-
27
-
-
26044480846
-
Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact
-
H. Do, S. G. Elbaum, and G. Rothermel, "Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact," Empirical Software Engineering: An International Journal, vol. 10, no. 4, pp. 405-435, 2005.
-
(2005)
Empirical Software Engineering: An International Journal
, vol.10
, Issue.4
, pp. 405-435
-
-
Do, H.1
Elbaum, S.G.2
Rothermel, G.3
-
28
-
-
85027481286
-
-
accessed in June 2011
-
Microsoft Corporation, "Jacek Czerwonka tester spotlight," http://msdn.microsoft.com/en-us/testing/cc136640.aspx (accessed in June 2011).
-
Jacek Czerwonka Tester Spotlight
-
-
-
29
-
-
85027485129
-
-
accessed in June 2011
-
SQLite homepage, http://www.sqlite.org (accessed in June 2011).
-
-
-
|