-
1
-
-
0004233425
-
-
John Wiley & Sons
-
Silbershatz, A., Galvin, P. Gagne, G., "Operating system concepts", John Wiley & Sons, 2005.
-
(2005)
Operating System Concepts
-
-
Silbershatz, A.1
Galvin, P.2
Gagne, G.3
-
3
-
-
57749197364
-
A metamorphic testing approach for online testing of service-oriented software applications
-
W. K. Chan, S. C. Cheung, K. R. P. H. Leung, "A metamorphic testing approach for online testing of service-oriented software applications", A Special Issue on Service Engineering of International Journal of Web Services Research, vol. 4, no. 2, pp. 60-80, 2007.
-
(2007)
A Special Issue on Service Engineering of International Journal of Web Services Research
, vol.4
, Issue.2
, pp. 60-80
-
-
Chans. Cheung C, W.K.1
Leung, K.R.P.H.2
-
4
-
-
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 26th Annual International Computer Software and Applications Conference, pp. 327-333, 2002.
-
(2002)
Proceedings of the 26th Annual International Computer Software and Applications Conference
, pp. 327-333
-
-
Chen, T.Y.1
Feng, J.2
Tse, T.H.3
-
5
-
-
63149180343
-
An innovative approach for testing bioinformatics programs using metamorphic testing
-
T. Y. Chen, J. W. K. Ho, H. Liu, X. Y. Xie, "An innovative approach for testing bioinformatics programs using metamorphic testing", BMC Bioinformatics, no. 10, pp. 24-35, 2009.
-
(2009)
BMC Bioinformatics
, Issue.10
, pp. 24-35
-
-
Chen, T.Y.1
Ho, J.W.K.2
Liu, H.3
Xie, X.Y.4
-
6
-
-
79251616991
-
Automated metamorphic testing on the analysis of feature models
-
S. Segura, R. M. Hierons, D. Benavides, A. Ruiz-Cortoes, "Automated metamorphic testing on the analysis 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-Cortoes, A.4
-
8
-
-
79551537874
-
Semi-proving: A n integrated method for program proving, testing and debugging
-
T. Y. Chen, T. H. Tse, Z. Q. Zhou, " Semi-proving:a n integrated method for program proving, testing and debugging", IEEE Transactions on Software Engineering, vol. 37, pp. 109-125, 2011.
-
(2011)
IEEE Transactions on Software Engineering
, vol.37
, pp. 109-125
-
-
Chen, T.Y.1
Tse, T.H.2
Zhou, Z.Q.3
-
9
-
-
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 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
-
10
-
-
84875231138
-
Metamorphic slice: An application in spectrum-based fault localization
-
X. Y. Xie, W. E. Wong, T. Y. Chen, B. W. Xu, "Metamorphic slice: an application in spectrum-based fault localization", Information and Software Technology, vol. 55, no. 5, pp. 866-879, 2012.
-
(2012)
Information and Software Technology
, vol.55
, Issue.5
, pp. 866-879
-
-
Xie, X.Y.1
Wong, W.E.2
Chen, T.Y.3
Xu, B.W.4
-
12
-
-
20844460416
-
MuJava: A n automated class mutation system
-
Y. S. Ma, J. Offutt, Y. R. Kwon, " MuJava:a n automated class mutation system", J ournal of Software Testing, V erification and Reliability, vol. 15, no. 2, pp. 97-133, 2005.
-
(2005)
J Ournal of Software Testing, v Erification and Reliability
, vol.15
, Issue.2
, pp. 97-133
-
-
Ma, Y.S.1
Offutt, J.2
Kwon, Y.R.3
-
13
-
-
79951758281
-
Automatic testing approach for compiler based on metamorphic testing technique
-
Q. M. Tao, W. Wu, Z. Zhao, W. Shen, "Automatic testing approach for compiler based on metamorphic testing technique", In Proceedings of Asia Pacific Software Engineering Conference, pp. 270-279, 2010.
-
(2010)
Proceedings of Asia Pacific Software Engineering Conference
, pp. 270-279
-
-
Tao, Q.M.1
Wu, W.2
Zhao, Z.3
Shen, W.4
|