-
1
-
-
0024918604
-
Automatic generation of test scripts from formal test specifications
-
M.J. Balcer, W.M. Hasling, and T.J. Ostrand, "Automatic Generation of Test Scripts from Formal Test Specifications," Proc. ACM SIGSOFT Third Symp. Software Testing, Analysis, and Verification, pp. 210-218, 1989.
-
(1989)
Proc. ACM SIGSOFT Third Symp. Software Testing, Analysis, and Verification
, pp. 210-218
-
-
Balcer, M.J.1
Hasling, W.M.2
Ostrand, T.J.3
-
3
-
-
52449124147
-
Using machine learning to refine black-box test specifications and test suites
-
L.C. Briand, Y. Labiche, and Z. Bawar, "Using Machine Learning to Refine Black-Box Test Specifications and Test Suites," Proc. Eighth Int'l Conf. Quality Software, pp. 135-144, 2008.
-
(2008)
Proc. Eighth Int'l Conf. Quality Software
, pp. 135-144
-
-
Briand, L.C.1
Labiche, Y.2
Bawar, Z.3
-
4
-
-
3142715306
-
On the identification of categories and choices for specification-based test case generation
-
T.Y. Chen, P.-L. Poon, S.-F. Tang, and T.H. Tse, "On the Identification of Categories and Choices for Specification-Based Test Case Generation," Information and Software Technology, vol. 46, no. 13, pp. 887-898, 2004.
-
(2004)
Information and Software Technology
, vol.46
, Issue.13
, pp. 887-898
-
-
Chen, T.Y.1
Poon, P.-L.2
Tang, S.-F.3
Tse, T.H.4
-
5
-
-
33947366051
-
Identification of categories and choices in activity diagrams
-
DOI 10.1109/QSIC.2005.36, 1579120, Proceedings - Fifth International Conference on Quality Software, QSIC 2005
-
T.Y. Chen, P.-L. Poon, S.-F. Tang, and T.H. Tse, "Identification of Categories and Choices in Activity Diagrams," Proc. Fifth Int'l Conf. Quality Software, pp. 55-63, 2005. (Pubitemid 46442543)
-
(2005)
Proceedings - International Conference on Quality Software
, vol.2005
, pp. 55-63
-
-
Chen, T.Y.1
Poon, P.-L.2
Tang, S.-F.3
Tse, T.H.4
-
6
-
-
0034470484
-
Integrated classification-tree methodology for test case generation
-
DOI 10.1016/S0218-1940(00)00035-3
-
T.Y. Chen, P.-L. Poon, and T.H. Tse, "An Integrated Classificationtree Methodology for Test Case Generation," Int'l J. Software Eng. and Knowledge Eng., vol. 10, no. 6, pp. 647-679, 2000. (Pubitemid 32168383)
-
(2000)
International Journal of Software Engineering and Knowledge Engineering
, vol.10
, Issue.6
, pp. 647-679
-
-
Chen, T.Y.1
Poon, P.L.2
Tse, T.H.3
-
7
-
-
0042850366
-
A choice relation framework for supporting category-partition test case generation
-
July
-
T.Y. Chen, P.-L. Poon, and T.H. Tse, "A Choice Relation Framework for Supporting Category-Partition Test Case Generation," IEEE Trans. Software Eng., vol. 29, no. 7, pp. 577-593, July 2003.
-
(2003)
IEEE Trans. Software Eng.
, vol.29
, Issue.7
, pp. 577-593
-
-
Chen, T.Y.1
Poon, P.-L.2
Tse, T.H.3
-
8
-
-
24944512941
-
Combination testing strategies: A survey
-
DOI 10.1002/stvr.319
-
M. Grindal, J. Offutt, and S.F. Andler, "Combination Testing Strategies: A Survey," Software Testing, Verification and Reliability, vol. 15, no. 3, pp. 167-199, 2005. (Pubitemid 41320808)
-
(2005)
Software Testing Verification and Reliability
, vol.15
, Issue.3
, pp. 167-199
-
-
Grindal, M.1
Offutt, J.2
Andler, S.F.3
-
9
-
-
34548142913
-
Managing conflicts when using combination strategies to test software
-
DOI 10.1109/ASWEC.2007.27, 4159678, Proceedings - 2007 Australian Software Engineering Conference, ASWEC 2007 - Taming Complexity through Research and Practice
-
M. Grindal, J. Offutt, and J. Mellin, "Managing Conflicts When Using Combination Strategies to Test Software," Proc. 18th Australian Software Eng. Conf., pp. 255-264, 2007. (Pubitemid 47296931)
-
(2007)
Proceedings of the Australian Software Engineering Conference, ASWEC
, pp. 255-264
-
-
Grindal, M.1
Offutt, J.2
Mellin, J.3
-
10
-
-
0027614942
-
Classification trees for partition testing
-
M. Grochtmann and K. Grimm, "Classification Trees for Partition Testing," Software Testing, Verification and Reliability, vol. 3, no. 2, pp. 63-82, 1993.
-
(1993)
Software Testing, Verification and Reliability
, vol.3
, Issue.2
, pp. 63-82
-
-
Grochtmann, M.1
Grimm, K.2
-
11
-
-
33947426845
-
Automatically generating information from a z specification to support the classification tree method
-
R.M. Hierons, M. Harman, and H. Singh, "Automatically Generating Information from a Z Specification to Support the Classification Tree Method," Proc. Third Int'l Conf. Formal Specification and Development in Z and B, vol. 2651, pp. 388-407, 2003.
-
(2003)
Proc. Third Int'l Conf. Formal Specification and Development in Z and B
, vol.2651
, pp. 388-407
-
-
Hierons, R.M.1
Harman, M.2
Singh, H.3
-
12
-
-
33646025729
-
An extended fault class hierarchy for specification-based testing
-
DOI 10.1145/1072997.1072998
-
M.F. Lau and Y.T. Yu, "An Extended Fault Class Hierarchy for Specification-Based Testing," ACM Trans. Software Eng. and Methodology, vol. 14, no. 3, pp. 247-276, 2005. (Pubitemid 43891481)
-
(2005)
ACM Transactions on Software Engineering and Methodology
, vol.14
, Issue.3
, pp. 247-276
-
-
Lau, M.F.1
Yu, Y.T.2
-
15
-
-
0024033855
-
The category-partition method for specifying and generating functional tests
-
T.J. Ostrand and M.J. Balcer, "The Category-partition Method for Specifying and Generating Functional tests," Comm. ACM, vol. 31, no. 6, pp. 676-686, 1988.
-
(1988)
Comm. ACM
, vol.31
, Issue.6
, pp. 676-686
-
-
Ostrand, T.J.1
Balcer, M.J.2
-
16
-
-
77950363280
-
Choc'late: A framework for specification-based testing
-
P.-L. Poon, S.-F. Tang, T.H. Tse, and T.Y. Chen, "CHOC'LATE: A Framework for Specification-Based Testing," Comm. ACM, vol. 53, no. 4, pp. 113-118, 2010.
-
(2010)
Comm. ACM
, vol.53
, Issue.4
, pp. 113-118
-
-
Poon, P.-L.1
Tang, S.-F.2
Tse, T.H.3
Chen, T.Y.4
-
17
-
-
0031380319
-
Test case design based on z and the classification-tree method
-
H. Singh, M. Conrad, and S. Sadeghipour, "Test Case Design Based on Z and the Classification-Tree Method," Proc. First Int'l Conf. Formal Eng. Methods, pp. 81-90, 1997.
-
(1997)
Proc. First Int'l Conf. Formal Eng. Methods
, pp. 81-90
-
-
Singh, H.1
Conrad, M.2
Sadeghipour, S.3
-
18
-
-
0036160958
-
A test generation strategy for pairwise testing
-
DOI 10.1109/32.979992
-
K.-C. Tai and Y. Lei, "A Test Generation Strategy for Pairwise Testing," IEEE Trans. Software Eng., vol. 28, no. 1, pp. 109-111, Jan. 2002. (Pubitemid 34129838)
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.1
, pp. 109-111
-
-
Tai, K.-C.1
Lei, Y.2
|