Hong Zhu

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 28

Top Venues

SOSE

CoRR

AST@ICSE

Softw. Qual. J.

Publications

Debalina Ghosh Paul, Hong Zhu, Ian Bayley
ScenEval: A Benchmark for Scenario-Based Evaluation of Code Generation. CoRR (2024)
Hong Zhu, Fang Wang
How does government microblog affect tourism market value? The perspective of signaling theory. Inf. Process. Manag. 59 (4) (2022)
Hong Zhu, Ian Bayley, Mark Green
Metrics for Measuring Error Extents of Machine Learning Classifiers. AITest (2022)
Hong Zhu, Ian Bayley
Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing. J. Syst. Softw. 187 (2022)
Hong Zhu, Ian Bayley
Discovering Boundary Values of Feature-based Machine Learning Classifiers through Exploratory Datamorphic Testing. CoRR (2021)
Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng
Automation of Datamorphic Testing. AITest (2020)
Hong Zhu, Ian Bayley, Hongbo Wang
Continuous Debugging of Microservices. ISPA/BDCloud/SocialCom/SustainCom (2020)
Xiaoyu Zheng, Dongmei Liu, Hong Zhu, Ian Bayley
Pattern-Based Approach to Modelling and Verifying System Security. SOSE (2020)
Hong Zhu, Ian Bayley
Exploratory Datamorphic Testing of Classification Applications. AST@ICSE (2020)
Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin
Datamorphic Testing: A Methodology for Testing AI Applications. CoRR (2019)
Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin
Datamorphic Testing: A Method for Testing Intelligent Applications. AITest (2019)
Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng
Morphy: A Datamorphic Software Test Automation Tool. CoRR (2019)
W. K. Chan, Hong Zhu
Message from SETA 2018 Symposium Chairs. COMPSAC (1) (2018)
Hong Zhu, Ian Bayley
If Docker is the Answer, What is the Question? SOSE (2018)
Hong Zhu, Hongbo Wang, Ian Bayley
Formal Analysis of Load Balancing in Microservices with Scenario Calculus. IEEE CLOUD (2018)
Christof J. Budnik, Gordon Fraser, Francesca Lonetti, Hong Zhu
Special issue on automation of software testing: improving practical applicability. Softw. Qual. J. 26 (4) (2018)
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)
Leonardo Mariani, Dan Hao, Rajesh Subramanyan, Hong Zhu
The central role of test automation in software quality assurance. Softw. Qual. J. 25 (3) (2017)
Ricky Chan, Hong Zhu
Message from SETA 2017 Symposium Chairs. COMPSAC (1) (2017)
Hong Zhu, Junhua Ding, Patrícia D. L. Machado, Marc Roper
AST 2017 Workshop Summary. AST@ICSE (2017)
John A. Miller, Hong Zhu, Jia Zhang
Guest Editorial: Advances in Web Services Research. IEEE Trans. Serv. Comput. 10 (1) (2017)
Hong Zhu, Ian Bayley
On the Composibility of Design Patterns: Extended Abstract. COMPSAC (1) (2017)
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)
Desheng Liu, Hong Zhu, ChengZhi Xu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall
CIDE: An Integrated Development Environment for Microservices. SCC (2016)
ChengZhi Xu, Hong Zhu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall
CAOPLE: A Programming Language for Microservices SaaS. SOSE (2016)
Mona Eisa, Muhammad Younas, Kashinath Basu, Hong Zhu
Trends and Directions in Cloud Service Selection. SOSE (2016)
Adewole Ogunyadeka, Muhammad Younas, Hong Zhu, Arantza Aldea
A Multi-key Transactions Model for NoSQL Cloud Database Systems. BigDataService (2016)
Dongmei Liu, Xian Wu, Xin Zhang, Hong Zhu, Ian Bayley
Monic Testing of Web Services Based on Algebraic Specifications. SOSE (2016)
Hong Zhu
JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods. TSA (2015)
Hong Zhu, Basel Yousef, Muhammad Younas
Evaluation of a Tenant Level Checkpointing Technique for SaaS Applications. CLOUD (2015)
Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu
Big SaaS: The Next Step beyond Big Data. CLOUD (2015)
Hong Zhu, Ian Bayley
On the Composability of Design Patterns. IEEE Trans. Software Eng. 41 (11) (2015)
Dongmei Liu, Yuxin Liu, Xin Zhang, Hong Zhu, Ian Bayley
Automated Testing of Web Services Based on Algebraic Specifications. SOSE (2015)
Lijun Shan, Chenglie Du, Hong Zhu
Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. COMPSAC (2015)
Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu
Big SaaS: The Next Step Beyond Big Data. BigData Congress (2015)
Basel Yousef, Hong Zhu, Muhammad Younas
Tenant Level Checkpointing of Meta-data for Multi-tenancy SaaS. SOSE (2014)
Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu
Toward a mature industrial practice of software test automation. Softw. Qual. J. 22 (2) (2014)
Dongmei Liu, Hong Zhu, Ian Bayley
SOFIA: An Algebraic Specification Language for Developing Services. SOSE (2014)
Dongmei Liu, Hong Zhu, Ian Bayley
From Algebraic Specification to Ontological Description of Service Semantics. ICWS (2013)
Hong Zhu, Henry Muccini, Zhenyu Chen
8th international workshop on automation of software test (AST 2013). ICSE (2013)
Antonia Bertolino, Howard Foster, J. Jenny Li, Hong Zhu
Special section on automation of software test. J. Syst. Softw. 86 (8) (2013)
Hong Zhu, Ian Bayley
An algebra of design patterns. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
Liang Xiao, John Fox, Hong Zhu
An Agent-Oriented Approach to Support Multidisciplinary Care Decisions. ECBS-EERC (2013)
Dongmei Liu, Hong Zhu, Ian Bayley
A Case Study on Algebraic Specification of Cloud Computing. PDP (2013)
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)
Hong Zhu, Henry Muccini, Zhenyu Chen
Foreword. AST (2013)
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)
Hong Zhu
An institution theory of formal meta-modelling in graphically extended BNF. Frontiers Comput. Sci. China 6 (1) (2012)
Hong Zhu
Editorial of the Special Issue on Software Modelling and Meta-Modelling. Int. J. Softw. Informatics 6 (2) (2012)
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) (2012)
Hong Zhu, Yufeng Zhang
Collaborative Testing of Web Services. IEEE Trans. Serv. Comput. 5 (1) (2012)
Hong Zhu
Position statement: Can software design benefit from creative computing? COMPSAC (2012)
Yongpeng Liu, Hong Zhu, Kai Lu, Yongyan Liu
A Power Provision and Capping Architecture for Large Scale Systems. IPDPS Workshops (2012)
Shufeng Wang, Hong Zhu
CATest: A Test Automation Framework for Multi-agent Systems. COMPSAC (2012)
Hong Zhu
Position statement: Can testing prove software has no bug? COMPSAC (2012)
Zhi Jin, Hong Zhu
Unifying domain ontology with agent-oriented modeling of services. SOSE (2011)
Yufeng Zhang, Hong Zhu
An Intelligent Broker Approach to Semantics-Based Service Composition. COMPSAC (2011)
Dimitris Dranidis, Stephen P. Masticola, Hong Zhu
Automation of software test (AST '09) [Editorial]. IET Softw. 5 (2) (2011)
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) (2011)
Yongpeng Liu, Hong Zhu, Yongyan Liu, Feng Wang, Baohua Fan
Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems. HPCC (2011)
Hong Zhu, Bo Yu
Algebraic Specification of Web Services. QSIC (2010)
Yongpeng Liu, Hong Zhu
A survey of the research on power management techniques for high-performance systems. Softw. Pract. Exp. 40 (11) (2010)
Hong Zhu
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. TASE (2010)
Hong Zhu, Ian Bayley
Laws of Pattern Composition. ICFEM (2010)
Ian Bayley, Hong Zhu
Formal specification of the variants and behavioural features of design patterns. J. Syst. Softw. 83 (2) (2010)
Hong Zhu, Bo Yu
An Experiment with Algebraic Specifications of Software Components. QSIC (2010)
Hong Zhu, Fang Wang, Shufeng Wang
On the convergence of autonomous agent communities. Multiagent Grid Syst. 6 (4) (2010)
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) (2009)
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)
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett
Tool Support for Design Pattern Recognition at Model Level. COMPSAC (1) (2009)
Lijun Shan, Hong Zhu
Semantics of Metamodels in UML. TASE (2009)
Hong Zhu, S. C. Cheung, Joseph Robert Horgan, J. Jenny Li
Guest Editorial to the Special Issue on Automation of Software Testing. Comput. J. 52 (5) (2009)
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) (2009)
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) (2009)
Lijun Shan, Hong Zhu
A Formal Descriptive Semantics of UML. ICFEM (2008)
Yufeng Zhang, Hong Zhu
Ontology for Service Oriented Testing of Web Services. SOSE (2008)
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu
Testing Java Components based on Algebraic Specifications. ICST (2008)
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)
Zhi Jin, Hong Zhu
A Framework for Agent-Based Service-Oriented Modelling. SOSE (2008)
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) (2008)
Ian Bayley, Hong Zhu
Specifying Behavioural Features of Design Patterns in First Order Logic. COMPSAC (2008)
Bin Zhou, Hong Zhu
A Virtual Machine for Distributed Agent-oriented Programming. SEKE (2008)
Du Zhang, Hong Zhu
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. IDEAL (2008)
Ian Bayley, Hong Zhu
On the Composition of Design Patterns. QSIC (2008)
Hong Zhu
Data Mutation Testing Applied to a Modelling Tool. GI Jahrestagung (1) (2008)
Hong Zhu, Lijun Shan
Modelling Web Services in the agent-oriented modelling language and environment CAMLE. Int. J. Simul. Process. Model. 3 (1/2) (2007)
Hong Zhu, W. Eric Wong, Amit M. Paradkar
Automation of Software Test - Report on the Second Interional Workshop AST 2007. ICSE Companion (2007)
Liang Kong, Hong Zhu, Bin Zhou
Automated Testing EJB Components Based on Algebraic Specifications. COMPSAC (2) (2007)
Shufeng Wang, Hong Zhu
An experimental study of the emergent behaviors of self-organized agent communities. IEEE Congress on Evolutionary Computation (2007)
Lijun Shan, Hong Zhu
Specifying Consistency Constraints for Modelling Languages. SEKE (2006)
Qian Zhang, Jian Wu, Hong Zhu
Tool Support to Model-based Quality Analysis of Software Architecture. COMPSAC (1) (2006)
Lijun Shan, Hong Zhu
Testing Software Modelling Tools Using Data Mutation. AST (2006)
XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE (2006)
Hong Zhu
A Framework for Service-Oriented Testing of Web Services. COMPSAC (2) (2006)
Hong Zhu, David Chenho Kung
Assuring quality of web-based applications. Inf. Softw. Technol. 48 (12) (2006)
Hong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li
The first international workshop on automation of software test. ICSE (2006)
Hong Zhu
Shaping the emerging paradigm of agent-orientation: Special issue on agent-oriented software development methodologies. Multiagent Grid Syst. 2 (4) (2006)
Hong Zhu
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. SEKE (2005)
Yanlong Zhang, Hong Zhu, Sue Greenwood
Empirical Validation of Website Timeliness Measures. COMPSAC (1) (2005)
Ji Wang, Rui Shen, Hong Zhu
Caste-Centric Agent-Oriented Programming. QSIC (2005)

Hong Zhu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hong Zhu