Följ
Hong Zhu
Titel
Citeras av
Citeras av
År
Software unit test coverage and adequacy
H Zhu, PAV Hall, JHR May
ACM Computing Surveys (CSUR) 29 (4), 366-427, 1997
18701997
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
9132013
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
1232010
A formal analysis of the subsume relation between software test adequacy criteria
H Zhu
IEEE Transactions on Software Engineering 22 (4), 248-255, 1996
1151996
Software design methodology: From principles to architectural styles
H Zhu
Elsevier, 2005
1102005
SLABS: A formal specification language for agent-based systems
H Zhu
International Journal of Software Engineering and Knowledge Engineering 11 …, 2001
892001
Web site complexity metrics for measuring navigability
Y Zhang, H Zhu, S Greenwood
Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004
882004
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
872010
A methodology of testing high-level Petri nets
H Zhu, X He
Information and Software Technology 44 (8), 473-489, 2002
802002
Collaborative testing of web services
H Zhu, Y Zhang
IEEE Transactions on Services Computing 5 (1), 116-130, 2012
752012
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
692003
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
652009
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
601993
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
592008
Formalising design patterns in predicate logic
I Bayley
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
572007
On the composition of design patterns
I Bayley, H Zhu
2008 The Eighth International Conference on Quality Software, 27-36, 2008
482008
A note on test oracles and semantics of algebraic specifications
H Zhu
Quality Software, 2003. Proceedings. Third International Conference on, 91-98, 2003
482003
Automated testing ejb components based on algebraic specifications
L Kong, H Zhu, B Zhou
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st …, 2007
462007
Scenario analysis in an automated tool for requirements engineering
H Zhu, L Jin
Requirements Engineering 5 (1), 2-22, 2000
452000
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20