-
1
-
-
80052956692
-
On testing effectiveness of metamorphic relations: A case study
-
IEEE Computer Society Washington, DC, USA
-
Asrafi, M., Liu, H., and Kuo, F.C. 2011, On Testing Effectiveness of Metamorphic Relations: A Case Study. 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, IEEE Computer Society Washington, DC, USA, pp.147-156.
-
(2011)
2011 Fifth International Conference on Secure Software Integration and Reliability Improvement
, pp. 147-156
-
-
Asrafi, M.1
Liu, H.2
Kuo, F.C.3
-
3
-
-
0002908054
-
TACCLE: A methodology for objectoriented software testing at the class and cluster levels
-
Chen, H.Y., Tse, T.H. 2001, TACCLE: a methodology for objectoriented software testing at the class and cluster levels, ACM Transactions on Software Engineering and Methodology, Vol. 10, pp.56-109.
-
(2001)
ACM Transactions on Software Engineering and Methodology
, vol.10
, pp. 56-109
-
-
Chen, H.Y.1
Tse, T.H.2
-
4
-
-
63149180343
-
An innovative approach for testing bioinformatics programs using metamorphic testing
-
Chen, T.Y., Ho. J. W.K., Liu H., and Xie, X. 2009, An innovative approach for testing bioinformatics programs using metamorphic testing. BMC Bioinformatics. Vol. 10, pp.24-35.
-
(2009)
BMC Bioinformatics
, vol.10
, pp. 24-35
-
-
Chen, T.Y.1
Ho, J.W.K.2
Liu, H.3
Xie, X.4
-
5
-
-
78649868028
-
Security assurance with metamorphic testing and genetic algorithm
-
G. W. Dong, S. Z. Wu, G. S. Wang, T. Guo, Y. G. Huang, 2010, Security Assurance with Metamorphic Testing and Genetic Algorithm. IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, pp.368-373.
-
(2010)
IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology
, pp. 368-373
-
-
Dong, G.W.1
Wu, S.Z.2
Wang, G.S.3
Guo, T.4
Huang, Y.G.5
-
6
-
-
79959323843
-
Testing a binary space partitioning algorithm with metamorphic testing
-
New York, NY, USA
-
Kuo, F.C., Liu, S., and Chen, T.Y. 2011, Testing a binary space partitioning algorithm with metamorphic testing. SAC '11 Proceedings of the 2011 ACM Symposium on Applied Computing ACM New York, NY, USA, pp.1482-1489.
-
(2011)
SAC '11 Proceedings of the 2011 ACM Symposium on Applied Computing ACM
, pp. 1482-1489
-
-
Kuo, F.C.1
Liu, S.2
Chen, T.Y.3
-
7
-
-
84862940496
-
Testing embedded software by metamorphic testing: A wireless metering system case study
-
Bonn
-
Kuo, F.C., Chen, T.Y., Tam,.W.K. 2011, Testing embedded software by metamorphic testing: A wireless metering system case study. 2011 IEEE 36th Conference on Local Computer Networks. Bonn, pp.291-294.
-
(2011)
2011 IEEE 36th Conference on Local Computer Networks
, pp. 291-294
-
-
Kuo, F.C.1
Chen, T.Y.2
Tam, W.K.3
-
8
-
-
0035841501
-
Software testing using model programs
-
Manolache, L. I. and Kourie, D.G. 2001, Software testing using model programs, Software: Practice and Experience, Vol. 31, pp.1211-1236.
-
(2001)
Software: Practice and Experience
, vol.31
, pp. 1211-1236
-
-
Manolache, L.I.1
Kourie, D.G.2
-
9
-
-
0020204093
-
On testing non-testable programs
-
Weyuker, E. J. 1982, On testing non-testable programs. Computer Journal, Vol. 25, pp.465-470.
-
(1982)
Computer Journal
, vol.25
, pp. 465-470
-
-
Weyuker, E.J.1
-
10
-
-
84904478760
-
Applying practical formal methods to the specification and analysis of security properties
-
St. Petersburg
-
St. Petersburg. 2001, Applying Practical Formal Methods to the Specification and Analysis of Security Properties. Information Assurance in Computer Networks, LCNS 2052, pp.907-918.
-
(2001)
Information Assurance in Computer Networks, LCNS
, vol.2052
, pp. 907-918
-
-
|