-
1
-
-
0003517965
-
-
Department of Computer Science, Hong Kong University of Science and Technology, Tech. Rep. HKUST-CS98-01
-
T. Y. Chen, S. C. Cheung, S. M. Yiu, "Metamorphic testing: a new approach for generating next test cases," Department of Computer Science, Hong Kong University of Science and Technology, Tech. Rep. HKUST-CS98-01, 1998.
-
(1998)
Metamorphic Testing: A New Approach for Generating Next Test Cases
-
-
Chen, T.Y.1
Cheung, S.C.2
Yiu, S.M.3
-
2
-
-
79551537874
-
Semi-proving: An integrated method for program proving, testing, and debugging
-
T. Y. Chen, T. H. Tse, Z. Q. Zhou, "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
-
3
-
-
84898462811
-
How effectively does metamorphic testing alleviate the oracle problem
-
H. Liu, F.-C. Kuo, D. Towey, T. Y. Chen, "How effectively does metamorphic testing alleviate the oracle problem" IEEE Transactions on Software Engineering, vol. 40, no. 1, pp. 4-22, 2014.
-
(2014)
IEEE Transactions on Software Engineering
, vol.40
, Issue.1
, pp. 4-22
-
-
Liu, H.1
Kuo, F.-C.2
Towey, D.3
Chen, T.Y.4
-
4
-
-
79951758281
-
An automatic testing approach for compiler based on metamorphic testing technique
-
Q. Tao, W. Wu, C. Zhao, W. Shen, "An automatic testing approach for compiler based on metamorphic testing technique," in Proceedings of the 17th Asia Pacific Software Engineering Conference (APSEC 2010), 2010, pp. 270-279.
-
(2010)
Proceedings of the 17th Asia Pacific Software Engineering Conference (APSEC 2010)
, pp. 270-279
-
-
Tao, Q.1
Wu, W.2
Zhao, C.3
Shen, W.4
-
5
-
-
84907032197
-
Compiler validation via equivalence modulo inputs
-
V. Le, M. Afshari, Z. Su, "Compiler validation via equivalence modulo inputs," in Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'14), 2014, pp. 216-226.
-
(2014)
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'14)
, pp. 216-226
-
-
Le, V.1
Afshari, M.2
Su, Z.3
-
6
-
-
79959420442
-
On effective testing of health care simulation software
-
C. Murphy, M. S. Raunak, A. King, S. Chen, G. Kaiser, I. Lee, O. Sokolsky, L. Clarke, L. Osterweil, "On effective testing of health care simulation software," in Proceedings of the 3rd International Workshop on Software Engineering in Health Case (SEHC 2011), 2011, pp. 40-47.
-
(2011)
Proceedings of the 3rd International Workshop on Software Engineering in Health Case (SEHC 2011)
, pp. 40-47
-
-
Murphy, C.1
Raunak, M.S.2
King, A.3
Chen, S.4
Kaiser, G.5
Lee, I.6
Sokolsky, O.7
Clarke, L.8
Osterweil, L.9
-
8
-
-
84878693713
-
Verification of compartmental epidemiological models using metamorphic testing, model checking and visual analytics
-
A. Ramanathan, C. A. Steed, L. L. Pullum, "Verification of compartmental epidemiological models using metamorphic testing, model checking and visual analytics," in Proceedings of the 2012 ASE/IEEE International Conference on BioMedical Computing, 2012, pp. 68-73.
-
(2012)
Proceedings of the 2012 ASE IEEE International Conference on BioMedical Computing
, pp. 68-73
-
-
Ramanathan, A.1
Steed, C.A.2
Pullum, L.L.3
-
9
-
-
33750196425
-
Integration testing of context-sensitive middleware-based applications: A metamorphic approach
-
W. K. Chan, T. Y. Chen, H. Lu, T. H. Tse, S. S. Yau, "Integration testing of context-sensitive middleware-based applications: A metamorphic approach," International Journal of Software Engineering and Knowledge Engineering, vol. 16, no. 5, pp. 677-703, 2006.
-
(2006)
International Journal of Software Engineering and Knowledge Engineering
, vol.16
, Issue.5
, pp. 677-703
-
-
Chan, W.K.1
Chen, T.Y.2
Lu, H.3
Tse, T.H.4
Yau, S.S.5
-
10
-
-
84862940496
-
Testing embedded software by metamorphic testing: A wireless metering system case study
-
F.-C. Kuo, T. Y. Chen, W. K. Tam, "Testing embedded software by metamorphic testing: A wireless metering system case study," in Proceedings of the IEEE International Conference on Local Computer Networks, 2011, pp. 291-294.
-
(2011)
Proceedings of the IEEE International Conference on Local Computer Networks
, pp. 291-294
-
-
Kuo, F.-C.1
Chen, T.Y.2
Tam, W.K.3
-
11
-
-
63149180343
-
An innovative approach for testing bioinformatics programs using metamorphic testing
-
T. Y. Chen, J. W. K. Ho, H. Liu, X. Xie, "An innovative approach for testing bioinformatics programs using metamorphic testing," BMC Bioinformatics, vol. 10, pp. 1-12, 2009.
-
(2009)
BMC Bioinformatics
, vol.10
, pp. 1-12
-
-
Chen, T.Y.1
Ho, J.W.K.2
Liu, H.3
Xie, X.4
-
12
-
-
77954511812
-
Automated test data generation on the analyses of feature models: A metamorphic testing approach
-
S. Segura, R. M. Hierons, D. Benavides, A. Ruiz-Corteés, "Automated test data generation on the analyses of feature models: a metamorphic testing approach," in Proceedings of International Conference on Software Testing, Verification and Validation, 2010, pp. 35-44.
-
(2010)
Proceedings of International Conference on Software Testing, Verification and Validation
, pp. 35-44
-
-
Segura, S.1
Hierons, R.M.2
Benavides, D.3
Ruiz-Corteés, A.4
-
13
-
-
79251616991
-
Automated metamorphic testing on the analyses of feature models
-
S. Segura, R. M. Hierons, D. Benavides, A. Ruiz-Cortés, "Automated metamorphic testing on the analyses of feature models," Information and Software Technology, vol. 53, no. 3, pp. 245-258, 2011.
-
(2011)
Information and Software Technology
, vol.53
, Issue.3
, pp. 245-258
-
-
Segura, S.1
Hierons, R.M.2
Benavides, D.3
Ruiz-Cortés, A.4
-
14
-
-
84862066626
-
Automated functional testing of online search services
-
Z. Q. Zhou, S. J. Zhang, M. Hagenbuchner, T. H. Tse, F.-C. Kuo, T. Y. Chen, "Automated functional testing of online search services," Software Testing, Verification and Reliability, vol. 22, no. 4, pp. 221-243, 2012.
-
(2012)
Software Testing, Verification and Reliability
, vol.22
, Issue.4
, pp. 221-243
-
-
Zhou, Z.Q.1
Zhang, S.J.2
Hagenbuchner, M.3
Tse, T.H.4
Kuo, F.-C.5
Chen, T.Y.6
-
15
-
-
0000171368
-
Application of metamorphic testing in numerical analysis
-
F. T. Chan, T. Y. Chen, S. C. Cheung, M. F. Lau, S. M. Yiu, "Application of metamorphic testing in numerical analysis," in Proceedings of the IASTED International Conference on Software Engineering (SE'98), 1998, pp. 191-197.
-
(1998)
Proceedings of the IASTED International Conference on Software Engineering (SE'98)
, pp. 191-197
-
-
Chan, F.T.1
Chen, T.Y.2
Cheung, S.C.3
Lau, M.F.4
Yiu, S.M.5
-
16
-
-
0036392116
-
Metamorphic testing of programs on partial differential equations: A case study
-
T. Y. Chen, J. Feng, T. H. Tse, "Metamorphic testing of programs on partial differential equations: a case study," in Proceedings of the Annual International Computer Software and Applications Conference, 2002, pp. 327-333.
-
(2002)
Proceedings of the Annual International Computer Software and Applications Conference
, pp. 327-333
-
-
Chen, T.Y.1
Feng, J.2
Tse, T.H.3
-
17
-
-
84875542212
-
Metamorphic testing integer overflow faults of mission critical program: A case study
-
Z. Hui, S. Huang, Z. Ren, Y. Yao, "Metamorphic testing integer overflow faults of mission critical program: A case study," Mathematical Problems in Engineering, vol. 2013, pp. 1-6, 2013.
-
(2013)
Mathematical Problems in Engineering
, vol.2013
, pp. 1-6
-
-
Hui, Z.1
Huang, S.2
Ren, Z.3
Yao, Y.4
-
18
-
-
57749197364
-
A metamorphic testing approach for online testing of service-oriented software applications
-
W. K. Chan, S. C. Cheung, K. R. P. Leung, "A metamorphic testing approach for online testing of service-oriented software applications," International Journal of Web Services Research, vol. 4, no. 2, pp. 61-81, 2007.
-
(2007)
International Journal of Web Services Research
, vol.4
, Issue.2
, pp. 61-81
-
-
Chan, W.K.1
Cheung, S.C.2
Leung, K.R.P.3
-
19
-
-
84882278001
-
Application of metamorphic testing to a case study in web services compositions
-
C. Castro-Cabrera, I. Medina-Bulo, "Application of metamorphic testing to a case study in web services compositions," E-Business and Telecommunications Communications in Computer and Information Science, vol. 314, pp. 168-181, 2012.
-
(2012)
E-Business and Telecommunications Communications in Computer and Information Science
, vol.314
, pp. 168-181
-
-
Castro-Cabrera, C.1
Medina-Bulo, I.2
-
20
-
-
70350077692
-
Testing an open source suite for open queuing network modelling using metamorphic testing technique
-
T. Y. Chen, F.-C. Kuo, R. Merkel, W. K. Tam, "Testing an open source suite for open queuing network modelling using metamorphic testing technique," in Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, 2009, pp. 23-29.
-
(2009)
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems
, pp. 23-29
-
-
Chen, T.Y.1
Kuo, F.-C.2
Merkel, R.3
Tam, W.K.4
-
21
-
-
77954829967
-
Self-checked metamorphic testing of an image processing program
-
J. Ding, T. Wu, J. Q. Lu, X.-H. Hu, "Self-checked metamorphic testing of an image processing program," in Proceedings of the International Conference on Secure Software Integration and Reliability Improvement, 2010, pp. 190-197.
-
(2010)
Proceedings of the International Conference on Secure Software Integration and Reliability Improvement
, pp. 190-197
-
-
Ding, J.1
Wu, T.2
Lu, J.Q.3
Hu, X.-H.4
-
22
-
-
77955184465
-
Metamorphic testing of decision support systems: A case study
-
F.-C. Kuo, Z. Q. Zhou, J. Ma, G. Zhang, "Metamorphic testing of decision support systems: a case study," Software IET, vol. 4, no. 4, pp. 294-301, 2010.
-
(2010)
Software IET
, vol.4
, Issue.4
, pp. 294-301
-
-
Kuo, F.-C.1
Zhou, Z.Q.2
Ma, J.3
Zhang, G.4
-
23
-
-
79751532765
-
Testing and validating machine learning classifiers by metamorphic testing
-
X. Xie, J. W. K. Ho, C. Murphy, G. Kaiser, B. Xu, T. Y. Chen, "Testing and validating machine learning classifiers by metamorphic testing," Journal of Systems and Software, vol. 84, no. 4, pp. 544-558, 2011.
-
(2011)
Journal of Systems and Software
, vol.84
, Issue.4
, pp. 544-558
-
-
Xie, X.1
Ho, J.W.K.2
Murphy, C.3
Kaiser, G.4
Xu, B.5
Chen, T.Y.6
-
24
-
-
80052625856
-
Properties of machine learning applications for use in metamorphic testing
-
C. Murphy, G. Kaiser, L. Hu, L. Wu, "Properties of machine learning applications for use in metamorphic testing," in Proceedings of the International Conference on Software Engineering and Knowledge Engineering, 2008, pp. 867-872.
-
(2008)
Proceedings of the International Conference on Software Engineering and Knowledge Engineering
, pp. 867-872
-
-
Murphy, C.1
Kaiser, G.2
Hu, L.3
Wu, L.4
-
25
-
-
77953763247
-
Metamorphic testing of stochastic optimisation
-
S. Yoo, "Metamorphic testing of stochastic optimisation," in Proceedings of the International Conference on Software Testing, Verification, and Validation Workshops, 2010, pp. 192-201.
-
(2010)
Proceedings of the International Conference on Software Testing, Verification, and Validation Workshops
, pp. 192-201
-
-
Yoo, S.1
-
26
-
-
0037218713
-
Fault-based testing without the need of oracles
-
T. Y. Chen, T. H. Tse, Z. Q. Zhou, "Fault-based testing without the need of oracles," Information Software and Technology, vol. 45, no. 1, pp. 1-9, 2003.
-
(2003)
Information Software and Technology
, vol.45
, Issue.1
, pp. 1-9
-
-
Chen, T.Y.1
Tse, T.H.2
Zhou, Z.Q.3
-
27
-
-
84875231138
-
Metamorphic slice: An application in spectrum-based fault localization
-
X. Xie, W. E. Wong, T. Y. Chen, B. Xu, "Metamorphic slice: an application in spectrum-based fault localization," Information and Software Technology, vol. 55, no. 5, pp. 866-879, 2013.
-
(2013)
Information and Software Technology
, vol.55
, Issue.5
, pp. 866-879
-
-
Xie, X.1
Wong, W.E.2
Chen, T.Y.3
Xu, B.4
-
28
-
-
84885626367
-
Impacts of test suite's class imbalance on spectrum-based fault localization techniques
-
P. Rao, Z. Zheng, T. Y. Chen, N. Wang, K. Cai, "Impacts of test suite's class imbalance on spectrum-based fault localization techniques," in Proceedings of the International Conference on Quality Software, 2013, pp. 260-267.
-
(2013)
Proceedings of the International Conference on Quality Software
, pp. 260-267
-
-
Rao, P.1
Zheng, Z.2
Chen, T.Y.3
Wang, N.4
Cai, K.5
-
29
-
-
84869126367
-
A new method for constructing metamorphic relations
-
H. Liu, X. Liu, T. Y. Chen, "A new method for constructing metamorphic relations," in Proceedings of the International Conference on Quality Software, 2012, pp. 59-68.
-
(2012)
Proceedings of the International Conference on Quality Software
, pp. 59-68
-
-
Liu, H.1
Liu, X.2
Chen, T.Y.3
-
32
-
-
84908620347
-
Searchbased inference of polynomial metamorphic relations
-
J. Zhang, J. Chen, D. Hao, Y. Xiong, B. Xie, L. Zhang, H. Mei, "Searchbased inference of polynomial metamorphic relations," in Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 701-712.
-
(2014)
Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)
, pp. 701-712
-
-
Zhang, J.1
Chen, J.2
Hao, D.3
Xiong, Y.4
Xie, B.5
Zhang, L.6
Mei, H.7
|