Hong Zhu
TitleCited byYear
Software unit test coverage and adequacy
H Zhu, PAV Hall, JHR May
ACM Computing Surveys (CSUR) 29 (4), 366-427, 1997
14831997
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
5102013
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
952010
A formal analysis of the subsume relation between software test adequacy criteria
H Zhu
IEEE Transactions on Software Engineering 22 (4), 248-255, 1996
931996
SLABS: A formal specification language for agent-based systems
H Zhu
International Journal of Software Engineering and Knowledge Engineering 11 …, 2001
842001
Web site complexity metrics for measuring navigability
Y Zhang, H Zhu, S Greenwood
Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004
702004
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
682010
Software design methodology: From principles to architectural styles
H Zhu
Elsevier, 2005
682005
A methodology of testing high-level Petri nets
H Zhu, X He
Information and Software Technology 44 (8), 473-489, 2002
632002
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
612003
A framework for service-oriented testing of web services
H Zhu
30th Annual International Computer Software and Applications Conference …, 2006
592006
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
Collaborative testing of web services
H Zhu, Y Zhang
IEEE Transactions on Services Computing 5 (1), 116-130, 2012
492012
Collaborative testing of web services
H Zhu, Y Zhang
IEEE Transactions on Services Computing 5 (1), 116-130, 2012
492012
Formalising design patterns in predicate logic
I Bayley
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
482007
On the composition of design patterns
I Bayley, H Zhu
2008 The Eighth International Conference on Quality Software, 27-36, 2008
412008
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
402009
Automated testing ejb components based on algebraic specifications
L Kong, H Zhu, B Zhou
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st …, 2007
382007
A note on test oracles and semantics of algebraic specifications
H Zhu
Quality Software, 2003. Proceedings. Third International Conference on, 91-98, 2003
382003
The system can't perform the operation now. Try again later.
Articles 1–20