Hong Zhu
Title
Cited by
Cited by
Year
Software unit test coverage and adequacy
H Zhu, PAV Hall, JHR May
ACM Computing Surveys (CSUR) 29 (4), 366-427, 1997
15361997
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
5812013
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
982010
A formal analysis of the subsume relation between software test adequacy criteria
H Zhu
IEEE Transactions on Software Engineering 22 (4), 248-255, 1996
981996
SLABS: A formal specification language for agent-based systems
H Zhu
International Journal of Software Engineering and Knowledge Engineering 11 …, 2001
862001
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
742010
Software design methodology: From principles to architectural styles
H Zhu
Elsevier, 2005
742005
Web site complexity metrics for measuring navigability
Y Zhang, H Zhu, S Greenwood
Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004
732004
A methodology of testing high-level Petri nets
H Zhu, X He
Information and Software Technology 44 (8), 473-489, 2002
642002
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
632003
A framework for service-oriented testing of web services
H Zhu
30th Annual International Computer Software and Applications Conference …, 2006
592006
Collaborative testing of web services
H Zhu, Y Zhang
IEEE Transactions on Services Computing 5 (1), 116-130, 2012
572012
Collaborative testing of web services
H Zhu, Y Zhang
IEEE Transactions on Services Computing 5 (1), 116-130, 2012
572012
Test data adequacy measurement
H Zhu, PAV Hall
Software Engineering Journal 8 (1), 21-30, 1993
541993
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
512008
Formalising design patterns in predicate logic
I Bayley
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
512007
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
452009
On the composition of design patterns
I Bayley, H Zhu
2008 The Eighth International Conference on Quality Software, 27-36, 2008
442008
A note on test oracles and semantics of algebraic specifications
H Zhu
Quality Software, 2003. Proceedings. Third International Conference on, 91-98, 2003
422003
Scenario analysis in an automated tool for requirements engineering
H Zhu, L Jin
Requirements Engineering 5 (1), 2-22, 2000
412000
The system can't perform the operation now. Try again later.
Articles 1–20