Hong Zhu
Titolo
Citata da
Citata da
Anno
Software unit test coverage and adequacy
H Zhu, PAV Hall, JHR May
ACM Computing Surveys (CSUR) 29 (4), 366-427, 1997
15501997
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
6092013
A formal analysis of the subsume relation between software test adequacy criteria
H Zhu
IEEE Transactions on Software Engineering 22 (4), 248-255, 1996
991996
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
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
762010
Software design methodology: From principles to architectural styles
H Zhu
Elsevier, 2005
762005
Web site complexity metrics for measuring navigability
Y Zhang, H Zhu, S Greenwood
Fourth International Conference onQuality Software, 2004. QSIC 2004 …, 2004
742004
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
642003
A methodology of testing high-level Petri nets
H Zhu, X He
Information and Software Technology 44 (8), 473-489, 2002
642002
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
582012
Collaborative testing of web services
H Zhu, Y Zhang
IEEE Transactions on Services Computing 5 (1), 116-130, 2012
582012
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
472009
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
442003
Axiomatic assessment of control flow-based software test adequacy criteria
H Zhu
Software Engineering Journal 10 (5), 194-204, 1995
421995
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20