default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHong Zhu 0002
Person information
- affiliation: Oxford Brookes University, School of Engineering, Computing and Mathematics, Oxford, UK
- affiliation: The Open University, Department of Computing, Milton Keynes, UK
- affiliation (PhD 1987): Nanjing University, Institute of Computer Software, Nanjing, China
Other persons with the same name
- Hong Zhu — disambiguation page
- Hong Zhu 0001
![[0009-0004-3628-8541]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0009-0004-3628-8541")
— University of Electronic Science and Technology of China, School of Automation Engineering, Chengdu, China - Hong Zhu 0003 — Huazhong University of Science and Technology, School of Computer Science and Technology, Wuhan, China
- Hong Zhu 0004 — East China Normal University, College of Software, Shanghai Key Laboratory of Trustworthy Computing, Shanghai, China (and 1 more)
- Hong Zhu 0005 — Xuzhou Medical University, School of Medical Information, Xuzhou, China (and 1 more)
- Hong Zhu 0006 — Xi'an University of Technology, Faculty of Automation and Information Engineering, Xi'an, China
- Hong Zhu 0007 — Institute of Disaster Prevention, College of Ecology and Environment, Beijing, China (and 2 more)
- Hong Zhu 0008 — Southeast University, Key Laboratory of Concrete and Prestressed Concrete Structures of the Ministry of Education, Nanjing, China
- Hong Zhu 0009 — Hong Kong University of Science and Technology, Department of Electronic and Computer Engineering, Hong Kong
- Hong Zhu 0010 — China University of Mining and Technology, School of Information and Electrical Engineering, Xuzhou, China
- Hong Zhu 0011 — Shenzhen University, College of Computer Science and Software Engineering, Shenzhen, China (and 2 more)
- Hong Zhu 0012 — Jiangsu University, Faculty of Science, Zhenjiang, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c107]Debalina Ghosh Paul, Hong Zhu, Ian Bayley:
ScenEval: A Benchmark for Scenario-Based Evaluation of Code Generation. AITest 2024: 55-63- [c106]Debalina Ghosh Paul, Hong Zhu, Ian Bayley:
Benchmarks and Metrics for Evaluations of Code Generation: A Critical Review. AITest 2024: 87-94 - [c105]Hong Zhu, Junhua Ding:
Message From the General Chairs; IEEE AITest 2024. AITest 2024: x - [i5]Debalina Ghosh Paul, Hong Zhu, Ian Bayley:
ScenEval: A Benchmark for Scenario-Based Evaluation of Code Generation. CoRR abs/2406.12635 (2024) - [i4]Debalina Ghosh Paul, Hong Zhu, Ian Bayley:
Benchmarks and Metrics for Evaluations of Code Generation: A Critical Review. CoRR abs/2406.12655 (2024) - 2022
- [j41]Hong Zhu, Fang Wang:
How does government microblog affect tourism market value? The perspective of signaling theory. Inf. Process. Manag. 59(4): 102991 (2022) - [j40]Hong Zhu, Ian Bayley:
Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing. J. Syst. Softw. 187: 111231 (2022) - [c104]Hong Zhu, Ian Bayley, Mark Green:
Metrics for Measuring Error Extents of Machine Learning Classifiers. AITest 2022: 48-55 - 2021
- [i3]Hong Zhu, Ian Bayley:
Discovering Boundary Values of Feature-based Machine Learning Classifiers through Exploratory Datamorphic Testing. CoRR abs/2110.00330 (2021) - 2020
- [c103]Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng:
Automation of Datamorphic Testing. AITest 2020: 64-72 - [c102]Hong Zhu, Ian Bayley:
Exploratory Datamorphic Testing of Classification Applications. AST@ICSE 2020: 51-60 - [c101]Hong Zhu, Ian Bayley, Hongbo Wang:
Continuous Debugging of Microservices. ISPA/BDCloud/SocialCom/SustainCom 2020: 736-745 - [c100]Xiaoyu Zheng, Dongmei Liu, Hong Zhu, Ian Bayley:
Pattern-Based Approach to Modelling and Verifying System Security. SOSE 2020: 92-102
2010 – 2019
- 2019
- [c99]Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin:
Datamorphic Testing: A Method for Testing Intelligent Applications. AITest 2019: 149-156 - [i2]Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin:
Datamorphic Testing: A Methodology for Testing AI Applications. CoRR abs/1912.04900 (2019) - [i1]Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng:
Morphy: A Datamorphic Software Test Automation Tool. CoRR abs/1912.09881 (2019) - 2018
- [j39]Christof J. Budnik, Gordon Fraser, Francesca Lonetti, Hong Zhu:
Special issue on automation of software testing: improving practical applicability. Softw. Qual. J. 26(4): 1415-1419 (2018) - [c98]Hong Zhu, Hongbo Wang, Ian Bayley:
Formal Analysis of Load Balancing in Microservices with Scenario Calculus. IEEE CLOUD 2018: 908-911 - [c97]W. K. Chan, Hong Zhu:
Message from SETA 2018 Symposium Chairs. COMPSAC (1) 2018: 1 - [c96]Hong Zhu:
Software testing as a problem of machine learning: towards a foundation on computational learning theory (extended abstract of keynote speech). AST@ICSE 2018: 1 - [c95]Hong Zhu, Ian Bayley:
If Docker is the Answer, What is the Question? SOSE 2018: 152-163 - 2017
- [j38]Leonardo Mariani, Dan Hao, Rajesh Subramanyan, Hong Zhu:
The central role of test automation in software quality assurance. Softw. Qual. J. 25(3): 797-802 (2017) - [j37]John A. Miller, Hong Zhu, Jia Zhang:
Guest Editorial: Advances in Web Services Research. IEEE Trans. Serv. Comput. 10(1): 5-8 (2017) - [c94]Ricky Chan, Hong Zhu:
Message from SETA 2017 Symposium Chairs. COMPSAC (1) 2017: 2 - [c93]Hong Zhu, Ian Bayley:
On the Composibility of Design Patterns: Extended Abstract. COMPSAC (1) 2017: 369-370 - [c92]Hong Zhu, Junhua Ding, Patrícia D. L. Machado, Marc Roper:
AST 2017 Workshop Summary. AST@ICSE 2017: 1 - 2016
- [c91]Desheng Liu, Hong Zhu, ChengZhi Xu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall:
CIDE: An Integrated Development Environment for Microservices. SCC 2016: 808-812 - [c90]Adewole Ogunyadeka, Muhammad Younas, Hong Zhu, Arantza Aldea:
A Multi-key Transactions Model for NoSQL Cloud Database Systems. BigDataService 2016: 24-27 - [c89]Dongmei Liu, Xian Wu, Xin Zhang, Hong Zhu, Ian Bayley:
Monic Testing of Web Services Based on Algebraic Specifications. SOSE 2016: 24-33 - [c88]ChengZhi Xu, Hong Zhu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall:
CAOPLE: A Programming Language for Microservices SaaS. SOSE 2016: 34-43 - [c87]Dongmei Liu, Yunfei Yang, Ying Chen, Hong Zhu, Ian Bayley, Arantza Aldea:
Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications. SOSE 2016: 211-220 - [c86]Mona Eisa, Muhammad Younas, Kashinath Basu, Hong Zhu:
Trends and Directions in Cloud Service Selection. SOSE 2016: 423-432 - 2015
- [j36]Hong Zhu, Ian Bayley:
On the Composability of Design Patterns. IEEE Trans. Software Eng. 41(11): 1138-1152 (2015) - [c85]Hong Zhu, Basel Yousef, Muhammad Younas:
Evaluation of a Tenant Level Checkpointing Technique for SaaS Applications. CLOUD 2015: 989-994 - [c84]Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu:
Big SaaS: The Next Step beyond Big Data. CLOUD 2015: 1131-1140 - [c83]Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu:
Big SaaS: The Next Step Beyond Big Data. BigData Congress 2015: 775-784 - [c82]Lijun Shan, Chenglie Du, Hong Zhu:
Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. COMPSAC 2015: 147-152 - [c81]Dongmei Liu, Yuxin Liu, Xin Zhang, Hong Zhu, Ian Bayley:
Automated Testing of Web Services Based on Algebraic Specifications. SOSE 2015: 143-152 - [c80]Hong Zhu:
JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods. TSA 2015: 8-15 - [e11]Hong Zhu, Dan Hao, Leonardo Mariani, Rajesh Subramanyan:
10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7022-6 [contents] - [e10]John A. Miller, Hong Zhu:
2015 IEEE International Conference on Web Services, ICWS 2015, New York, NY, USA, June 27 - July 2, 2015. IEEE Computer Society 2015, ISBN 978-1-4673-7272-5 [contents] - 2014
- [j35]Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu:
Toward a mature industrial practice of software test automation. Softw. Qual. J. 22(2): 239-240 (2014) - [c79]Dongmei Liu, Hong Zhu, Ian Bayley:
SOFIA: An Algebraic Specification Language for Developing Services. SOSE 2014: 70-75 - [c78]Basel Yousef, Hong Zhu, Muhammad Younas:
Tenant Level Checkpointing of Meta-data for Multi-tenancy SaaS. SOSE 2014: 148-153 - [p8]Hong Zhu:
Cyberpatterns: Towards a Pattern Oriented Study of Cyberspace. Cyberpatterns 2014: 3-15 - [p7]Hong Zhu:
Towards a General Theory of Patterns. Cyberpatterns 2014: 57-69 - [p6]Clive Blackwell, Hong Zhu:
Future Directions for Research on Cyberpatterns. Cyberpatterns 2014: 259-264 - [p5]Hong Zhu, Qian Zhang, Yanlong Zhang:
Hasard. Relating System Quality and Software Architecture 2014: 123-156 - [p4]Hong Zhu, Yufeng Zhang:
A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions. Advanced Web Services 2014: 171-197 - [e9]Clive Blackwell, Hong Zhu:
Cyberpatterns, Unifying Design Patterns with Security and Attack Patterns. Springer 2014, ISBN 978-3-319-04446-0 [contents] - [e8]Hong Zhu, Jerry Gao, Saurabh Sinha, Lu Zhang:
9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014. ACM 2014, ISBN 978-1-4503-2858-6 [contents] - 2013
- [j34]Hong Zhu, Yongpeng Liu, Kai Lu, Xiaoping Wang:
Self-Adaptive Power Management of Idle Nodes in Large Scale Systems. Int. J. Next Gener. Comput. 4(2) (2013) - [j33]Hong Zhu, Jerry Gao:
Preface - Service-Oriented System Engineering: An Emerging Engineering Discipline. Int. J. Softw. Informatics 7(2): 133-135 (2013) - [j32]Antonia Bertolino, Howard Foster, J. Jenny Li, Hong Zhu:
Special section on automation of software test. J. Syst. Softw. 86(8): 1977 (2013) - [j31]Hong Zhu, Ian Bayley:
An algebra of design patterns. ACM Trans. Softw. Eng. Methodol. 22(3): 23:1-23:35 (2013) - [c77]Liang Xiao, John Fox, Hong Zhu:
An Agent-Oriented Approach to Support Multidisciplinary Care Decisions. ECBS-EERC 2013: 8-17 - [c76]Hong Zhu, Henry Muccini, Zhenyu Chen:
8th international workshop on automation of software test (AST 2013). ICSE 2013: 1507-1508 - [c75]Hong Zhu, Henry Muccini, Zhenyu Chen:
Foreword. AST 2013: iii-iv - [c74]Dongmei Liu, Hong Zhu, Ian Bayley:
From Algebraic Specification to Ontological Description of Service Semantics. ICWS 2013: 579-586 - [c73]Dongmei Liu, Hong Zhu, Ian Bayley:
A Case Study on Algebraic Specification of Cloud Computing. PDP 2013: 269-273 - [e7]Hong Zhu, Henry Muccini, Zhenyu Chen:
8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013. IEEE Computer Society 2013, ISBN 978-1-4673-6161-3 [contents] - 2012
- [j30]Hong Zhu:
An institution theory of formal meta-modelling in graphically extended BNF. Frontiers Comput. Sci. China 6(1): 40-56 (2012) - [j29]Hong Zhu:
Editorial of the Special Issue on Software Modelling and Meta-Modelling. Int. J. Softw. Informatics 6(2): 109-110 (2012) - [j28]Lijun Shan, Hong Zhu:
Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy. Int. J. Softw. Informatics 6(2): 163-200 (2012) - [j27]Hong Zhu, Yufeng Zhang:
Collaborative Testing of Web Services. IEEE Trans. Serv. Comput. 5(1): 116-130 (2012) - [c72]Yongpeng Liu, Hong Zhu, Kai Lu, Xiaoping Wang:
Self-adaptive management of the sleep depths of idle nodes in large scale systems to balance between energy consumption and response times. CloudCom 2012: 633-639 - [c71]Shufeng Wang, Hong Zhu:
CATest: A Test Automation Framework for Multi-agent Systems. COMPSAC 2012: 148-157 - [c70]Hong Zhu:
Position statement: Can testing prove software has no bug? COMPSAC 2012: 255 - [c69]Hong Zhu:
Position statement: Can software design benefit from creative computing? COMPSAC 2012: 310-311 - [c68]Yongpeng Liu, Hong Zhu, Kai Lu, Yongyan Liu:
A Power Provision and Capping Architecture for Large Scale Systems. IPDPS Workshops 2012: 954-963 - 2011
- [j26]Dimitris Dranidis, Stephen P. Masticola, Hong Zhu:
Automation of software test (AST '09) [Editorial]. IET Softw. 5(2): 111-112 (2011) - [j25]Christof J. Budnik, W. K. Chan, Gregory M. Kapfhammer, Hong Zhu:
Guest editors' introduction to the special section on exploring the boundaries of software test automation. Softw. Qual. J. 19(4): 689-690 (2011) - [c67]Yufeng Zhang, Hong Zhu:
An Intelligent Broker Approach to Semantics-Based Service Composition. COMPSAC 2011: 20-25 - [c66]Yongpeng Liu, Hong Zhu, Yongyan Liu, Feng Wang, Baohua Fan:
Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems. HPCC 2011: 468-476 - [c65]Zhi Jin, Hong Zhu:
Unifying domain ontology with agent-oriented modeling of services. SOSE 2011: 31-42 - [e6]Jerry Zeyu Gao, Xiaodong Lu, Muhammad Younas, Hong Zhu:
IEEE 6th International Symposium on Service Oriented System Engineering, SOSE 2011, Irvine, CA, USA, December 12-14, 2011. IEEE Computer Society 2011, ISBN 978-1-4673-0411-5 [contents] - 2010
- [j24]Ian Bayley, Hong Zhu:
Formal specification of the variants and behavioural features of design patterns. J. Syst. Softw. 83(2): 209-221 (2010) - [j23]Hong Zhu, Fang Wang, Shufeng Wang:
On the convergence of autonomous agent communities. Multiagent Grid Syst. 6(4): 315-352 (2010) - [j22]Yongpeng Liu, Hong Zhu:
A survey of the research on power management techniques for high-performance systems. Softw. Pract. Exp. 40(11): 943-964 (2010) - [c64]Hong Zhu, Ian Bayley:
Laws of Pattern Composition. ICFEM 2010: 630-645 - [c63]Hong Zhu, Bo Yu:
An Experiment with Algebraic Specifications of Software Components. QSIC 2010: 190-199 - [c62]Hong Zhu, Bo Yu:
Algebraic Specification of Web Services. QSIC 2010: 457-464 - [c61]Hong Zhu:
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. TASE 2010: 95-104 - [e5]Hong Zhu, W. K. Chan, Christof J. Budnik, Gregory M. Kapfhammer:
The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa. ACM 2010, ISBN 978-1-60558-970-1 [contents]
2000 – 2009
- 2009
- [j21]Hong Zhu, Shing-Chi Cheung, Joseph Robert Horgan, J. Jenny Li:
Guest Editorial to the Special Issue on Automation of Software Testing. Comput. J. 52(5): 513 (2009) - [j20]Lijun Shan, Hong Zhu:
Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool. Comput. J. 52(5): 571-588 (2009) - [j19]Hong Zhu, Fevzi Belli:
Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008). Inf. Softw. Technol. 51(11): 1485-1486 (2009) - [j18]Hong Zhu:
Engineering quality software - Guest editor's introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008). Inf. Softw. Technol. 51(11): 1549-1550 (2009) - [c60]Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett:
Tool Support for Design Pattern Recognition at Model Level. COMPSAC (1) 2009: 228-233 - [c59]Iñaki Martínez-Sarriegui, Hong Zhu, Lijun Shan, Gema García-Sáez, Enrique J. Gómez, M. Elena Hernando:
Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. ICAART 2009: 507-512 - [c58]Lijun Shan, Hong Zhu:
Semantics of Metamodels in UML. TASE 2009: 55-62 - [p3]Hong Zhu, Lijun Shan, Ian Bayley, Richard Amphlett:
Formal Descriptive Semantics of UML and Its Applications. UML 2 Semantics and Applications 2009: 95-123 - 2008
- [j17]XinJun Mao, Lijun Shan, Hong Zhu, Ji Wang:
An adaptive casteship mechanism for developing multi-agent systems. Int. J. Comput. Appl. Technol. 31(1/2): 17-34 (2008) - [c57]Ian Bayley, Hong Zhu:
Specifying Behavioural Features of Design Patterns in First Order Logic. COMPSAC 2008: 203-210 - [c56]Hong Zhu:
Data Mutation Testing Applied to a Modelling Tool. GI Jahrestagung (1) 2008: 175-176 - [c55]Lijun Shan, Hong Zhu:
A Formal Descriptive Semantics of UML. ICFEM 2008: 375-396 - [c54]Hong Zhu, W. Eric Wong, Fevzi Belli:
Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. ICSE Companion 2008: 1049-1050 - [c53]Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu:
Testing Java Components based on Algebraic Specifications. ICST 2008: 190-199 - [c52]Du Zhang, Hong Zhu:
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. IDEAL 2008: 395-403 - [c51]Ian Bayley, Hong Zhu:
On the Composition of Design Patterns. QSIC 2008: 27-36 - [c50]Bin Zhou, Hong Zhu:
A Virtual Machine for Distributed Agent-oriented Programming. SEKE 2008: 729-734 - [c49]Yufeng Zhang, Hong Zhu:
Ontology for Service Oriented Testing of Web Services. SOSE 2008: 129-134 - [c48]Zhi Jin, Hong Zhu:
A Framework for Agent-Based Service-Oriented Modelling. SOSE 2008: 160-165 - [p2]David Chenho Kung, Hong Zhu:
Software Verification and Validation. Wiley Encyclopedia of Computer Science and Engineering 2008 - [e4]Hong Zhu, W. Eric Wong, Fevzi Belli:
Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. ACM 2008, ISBN 978-1-60558-030-2 [contents] - [e3]Hong Zhu:
Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK. IEEE Computer Society 2008, ISBN 978-0-7695-3312-4 [contents] - 2007
- [j16]Hong Zhu, Lijun Shan:
Modelling Web Services in the agent-oriented modelling language and environment CAMLE. Int. J. Simul. Process. Model. 3(1/2): 26-44 (2007) - [c47]Shufeng Wang, Hong Zhu:
An experimental study of the emergent behaviors of self-organized agent communities. IEEE Congress on Evolutionary Computation 2007: 3239-3246 - [c46]Liang Kong, Hong Zhu, Bin Zhou:
Automated Testing EJB Components Based on Algebraic Specifications. COMPSAC (2) 2007: 717-722 - [c45]Hong Zhu, W. Eric Wong, Amit M. Paradkar:
Automation of Software Test - Report on the Second Interional Workshop AST 2007. ICSE Companion 2007: 150-151 - [e2]Hong Zhu, W. Eric Wong, Amit M. Paradkar:
Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007. IEEE Computer Society 2007, ISBN 0-7695-2892-9 [contents] - [r1]Hong Zhu, Yanlong Zhang:
Navigability Design and Measurement. Encyclopedia of Portal Technologies and Applications 2007: 642-646 - 2006
- [j15]Hong Zhu, David Chenho Kung:
Assuring quality of web-based applications. Inf. Softw. Technol. 48(12): 1135-1136 (2006) - [j14]Hong Zhu:
Shaping the emerging paradigm of agent-orientation: Special issue on agent-oriented software development methodologies. Multiagent Grid Syst. 2(4): 301-304 (2006) - [c44]Qian Zhang, Jian Wu, Hong Zhu:
Tool Support to Model-based Quality Analysis of Software Architecture. COMPSAC (1) 2006: 121-128 - [c43]Hong Zhu:
A Framework for Service-Oriented Testing of Web Services. COMPSAC (2) 2006: 145-150 - [c42]Lijun Shan, Hong Zhu:
Testing Software Modelling Tools Using Data Mutation. AST 2006: 43-49 - [c41]