-
1
-
-
34247389098
-
Randomized unit testing: Tool support and best practices
-
Technical Report 663, Department of Computer Science, University of Western Ontario, January
-
J. H. Andrews, S. Haldar, Y. Lei, and C. H. Li. Randomized unit testing: Tool support and best practices. Technical Report 663, Department of Computer Science, University of Western Ontario, January 2006.
-
(2006)
-
-
Andrews, J.H.1
Haldar, S.2
Lei, Y.3
Li, C.H.4
-
2
-
-
84958652343
-
Restricted random testing
-
Springer-Verlag, London, UK
-
K. P. Chan, T. Y. Chen, and D. Towey. Restricted random testing. In Proceedings of the 7th International Conference on Software Quality, pages 321 - 330. Springer-Verlag, London, UK, 2002.
-
(2002)
Proceedings of the 7th International Conference on Software Quality
, pp. 321-330
-
-
Chan, K.P.1
Chen, T.Y.2
Towey, D.3
-
3
-
-
33746078143
-
Adaptive random testing
-
M. J. Maher, editor, Springer-Verlag GmbH
-
T. Chen, H. Leung, and I. Mak. Adaptive random testing. In M. J. Maher, editor, Advances in Computer Science - ASIAN 2004: Higher-Level Decision Making. 9th Asian Computing Science Conference. Proceedings. Springer-Verlag GmbH, 2004.
-
(2004)
Advances in Computer Science - ASIAN 2004: Higher-Level Decision Making. 9th Asian Computing Science Conference. Proceedings
-
-
Chen, T.1
Leung, H.2
Mak, I.3
-
4
-
-
14044267543
-
-
T. Chen, R. Merkel, P. Wong, and G. Eddy. Adaptive random testing through dynamic partitioning. In Proceedings of the Fourth International Conference on Quality Software, 00, pages 79 - 86, Los Alamitos, CA, USA, 2004. IEEE Computer Society.
-
T. Chen, R. Merkel, P. Wong, and G. Eddy. Adaptive random testing through dynamic partitioning. In Proceedings of the Fourth International Conference on Quality Software, volume 00, pages 79 - 86, Los Alamitos, CA, USA, 2004. IEEE Computer Society.
-
-
-
-
5
-
-
10644244974
-
-
T. Y. Chen, F. C. Kuo, R. G. Merkel, and S. P. Ng. Mirror adaptive random testing. In Proceedings of the Third International Conference on Quality Software, 00, pages 4 - 11, Los Alamitos, CA, USA, 2003. IEEE Computer Society.
-
T. Y. Chen, F. C. Kuo, R. G. Merkel, and S. P. Ng. Mirror adaptive random testing. In Proceedings of the Third International Conference on Quality Software, volume 00, pages 4 - 11, Los Alamitos, CA, USA, 2003. IEEE Computer Society.
-
-
-
-
8
-
-
0025530786
-
Partition testing does not inspire confidence
-
December
-
D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering, 16 (12):1402-1411, December 1990.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.12
, pp. 1402-1411
-
-
Hamlet, D.1
Taylor, R.2
-
9
-
-
0002601275
-
Random testing
-
J. Marciniak, editor, Wiley
-
R. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, 1994.
-
(1994)
Encyclopedia of Software Engineering
, pp. 970-978
-
-
Hamlet, R.1
-
10
-
-
35248872018
-
Generalized symbolic execution for model checking and testing
-
Springer-Verlag
-
S. Khurshid, C. S. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), volume LNCS 2619, pages 553-568. Springer-Verlag, 2003.
-
(2003)
Proceedings of the Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003)
, vol.LNCS 2619
, pp. 553-568
-
-
Khurshid, S.1
Pasareanu, C.S.2
Visser, W.3
-
11
-
-
0000390142
-
Binary codes capable of correcting deletions, insertions, and reversals
-
V. I. Levenshtein. Binary codes capable of correcting deletions, insertions, and reversals. Doklady Akademii Nauk SSSR, 163(4):845-848, 1965.
-
(1965)
Doklady Akademii Nauk SSSR
, vol.163
, Issue.4
, pp. 845-848
-
-
Levenshtein, V.I.1
-
12
-
-
33646766133
-
Adaptive random testing by bisection with restriction
-
Proceedings of the Seventh International Conference on Formal Engineering Methods ICFEM 2005, Springer-Verlag, Berlin
-
J. Mayer. Adaptive random testing by bisection with restriction. In Proceedings of the Seventh International Conference on Formal Engineering Methods (ICFEM 2005), LNCS 3785, pages 251-263. Springer-Verlag, Berlin, 2005.
-
(2005)
LNCS
, vol.3785
, pp. 251-263
-
-
Mayer, J.1
-
13
-
-
77952377610
-
Lattice-based adaptive random testing
-
ACM, ACM Press, New York, NY, USA
-
J. Mayer. Lattice-based adaptive random testing. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), ACM, pages 333-336. ACM Press, New York, NY, USA, 2005.
-
(2005)
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)
, pp. 333-336
-
-
Mayer, J.1
-
14
-
-
0034269851
-
When to test less
-
September, October
-
T. Menzies and B. Cukic. When to test less. IEEE Software, 17(5):107-112, September - October 2000.
-
(2000)
IEEE Software
, vol.17
, Issue.5
, pp. 107-112
-
-
Menzies, T.1
Cukic, B.2
-
16
-
-
67649989469
-
On the editing distance between undirected acyclic graphs and related problems
-
Springer-Verlag, Berlin
-
K. Zhang, J. T.-L. Wang, and D. Shasha. On the editing distance between undirected acyclic graphs and related problems. In Proceedings of the 6th Annual Symposium on Combinatorial Pattern Matching, pages 395-407. Springer-Verlag, Berlin, 1995.
-
(1995)
Proceedings of the 6th Annual Symposium on Combinatorial Pattern Matching
, pp. 395-407
-
-
Zhang, K.1
Wang, J.T.-L.2
Shasha, D.3
|