Concepedia
Statistics
Publications
59
Citations
2K
H-Index
22
Active since
1997
Affiliations
Oxford Brookes University(Current)
National University of Defense Technology
Nanjing University
Nanjing University of Science and Technology
University of Defence
Hong Zhu is an author at Oxford Brookes University specializing in computing, computer science, and software testing.
Publications per year
1997–2023
An orchestrated survey of methodologies for automated software test case generation
Saswat Anand, Edmund Burke, Tsong Yueh Chen et al. · Journal of Systems and Software · 2013 · 655 citations · Full text
Computing, Computer Engineering, Computer Science +14
Formal specification of the variants and behavioural features of design patterns
Ian Bayley, Hong Zhu · Journal of Systems and Software · 2009 · 62 citations
Computing, Computer Science, Design Automation +13
SLABS: A FORMAL SPECIFICATION LANGUAGE FOR AGENT-BASED SYSTEMS
Hong Zhu · International Journal of Software Engineering and Knowledge Engineering · 2001 · 61 citations
Computing, Autonomous Systems, Computer Science +16
Collaborative Testing of Web Services
Hong Zhu, Yufeng Zhang · IEEE Transactions on Services Computing · 2010 · 57 citations
Computing, Information Systems, Test Construction +11
A methodology of testing high-level Petri nets
Hong Zhu, Xudong He · Information and Software Technology · 2002 · 56 citations · Full text
Computing, Systems Engineering, Formal Methods +5
1–5 of 59