Hong Zhu
Título
Citado por
Citado por
Ano
Software unit test coverage and adequacy
H Zhu, PAV Hall, JHR May
ACM Computing Surveys (CSUR) 29 (4), 366-427, 1997
16861997
An orchestrated survey of methodologies for automated software test case generation
S Anand, EK Burke, TY Chen, J Clark, MB Cohen, W Grieskamp, ...
Journal of Systems and Software 86 (8), 1978-2001, 2013
7102013
A formal analysis of the subsume relation between software test adequacy criteria
H Zhu
IEEE Transactions on Software Engineering 22 (4), 248-255, 1996
1071996
A survey of the research on power management techniques for high‐performance systems
Y Liu, H Zhu
Software: Practice and Experience 40 (11), 943-964, 2010
1062010
SLABS: A formal specification language for agent-based systems
H Zhu
International Journal of Software Engineering and Knowledge Engineering 11 …, 2001
882001
Software design methodology: From principles to architectural styles
H Zhu
Elsevier, 2005
842005
Formal specification of the variants and behavioural features of design patterns
I Bayley, H Zhu
Journal of Systems and Software 83 (2), 209-221, 2010
832010
Web site complexity metrics for measuring navigability
Y Zhang, H Zhu, S Greenwood
Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004
822004
A methodology of testing high-level Petri nets
H Zhu, X He
Information and Software Technology 44 (8), 473-489, 2002
712002
Collaborative testing of web services
H Zhu, Y Zhang
IEEE Transactions on Services Computing 5 (1), 116-130, 2012
672012
A multi-agent software engineering environment for testing Web-based applications
Q Huo, H Zhu, S Greenwood
Proceedings 27th Annual International Computer Software and Applications …, 2003
672003
A framework for service-oriented testing of web services
H Zhu
30th Annual International Computer Software and Applications Conference …, 2006
612006
Test data adequacy measurement
H Zhu, PAV Hall
Software Engineering Journal 8 (1), 21-30, 1993
571993
Testing Java components based on algebraic specifications
B Yu, L Kong, Y Zhang, H Zhu
2008 1st International Conference on Software Testing, Verification, and …, 2008
562008
Generating structurally complex test cases by data mutation: A case study of testing an automated modelling tool
L Shan, H Zhu
The Computer Journal 52 (5), 571-588, 2009
532009
Formalising design patterns in predicate logic
I Bayley
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
532007
On the composition of design patterns
I Bayley, H Zhu
2008 The Eighth International Conference on Quality Software, 27-36, 2008
492008
A note on test oracles and semantics of algebraic specifications
H Zhu
Quality Software, 2003. Proceedings. Third International Conference on, 91-98, 2003
482003
Axiomatic assessment of control flow-based software test adequacy criteria
H Zhu
Software Engineering Journal 10 (5), 194-204, 1995
431995
Automated testing ejb components based on algebraic specifications
L Kong, H Zhu, B Zhou
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st …, 2007
422007
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20