Stop the war!Остановите войну!
for scientists:
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://dblp.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
Books and Theses
- 2005
[b1]Hong Zhu:
Software design methodology - from pinciples to architectural styles. Elsevier 2005, ISBN 978-0-7506-6075-4, pp. I-III, 1-340
Journal Articles
- 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) - 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) - 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) - 2015
- [j36]Hong Zhu, Ian Bayley:
On the Composability of Design Patterns. IEEE Trans. Software Eng. 41(11): 1138-1152 (2015) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 2002
- [j13]Hong Zhu, Xudong He:
A methodology of testing high-level Petri nets. Inf. Softw. Technol. 44(8): 473-489 (2002) - [j12]Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai:
Software requirements validation via task analysis. J. Syst. Softw. 61(2): 145-169 (2002) - 2001
- [j11]Hong Zhu:
SLABS: A Formal Specification Language for Agent-Based Systems. Int. J. Softw. Eng. Knowl. Eng. 11(5): 529-558 (2001) - 2000
- [j10]Hong Zhu, Lingzi Jin:
Scenario Analysis in an Automated Tool for Requirements Engineering. Requir. Eng. 5(1): 2-22 (2000) - 1998
- [j9]Luqi, Carl K. Chang, Hong Zhu:
Specifications in software prototyping. J. Syst. Softw. 42(2): 125-140 (1998) - 1997
- [j8]Hong Zhu, Patrick A. V. Hall, John H. R. May:
Software Unit Test Coverage and Adequacy. ACM Comput. Surv. 29(4): 366-427 (1997) - [j7]Lingzi Jin, Hong Zhu, Patrick A. V. Hall:
Adequate testing of hypertext applications. Inf. Softw. Technol. 39(4): 225-234 (1997) - 1996
- [j6]Hong Zhu:
A Formal Interpretation of Software Testing as Inductive Inference. Softw. Test. Verification Reliab. 6(1): 3-31 (1996) - [j5]Hong Zhu:
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. IEEE Trans. Software Eng. 22(4): 248-255 (1996) - 1995
- [j4]Hong Zhu:
Axiomatic assessment of control flow-based software test adequacy criteria. Softw. Eng. J. 10(5): 194-204 (1995) - 1994
- [j3]Hong Zhu:
How Powerful are Folding/Unfolding Transformations? J. Funct. Program. 4(1): 89-112 (1994) - 1993
- [j2]Hong Zhu, Patrick A. V. Hall:
Test data adequacy measurement. Softw. Eng. J. 8(1): 21-29 (1993) - 1992
- [j1]Hong Zhu, Patrick A. V. Hall, John H. R. May:
Inductive Inference and Software Testing. Softw. Test. Verification Reliab. 2(2): 69-81 (1992)
Conference and Workshop Papers
- 2022
- [c104]Hong Zhu, Ian Bayley, Mark Green:
Metrics for Measuring Error Extents of Machine Learning Classifiers. AITest 2022: 48-55 - 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 - 2019
- [c99]Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin:
Datamorphic Testing: A Method for Testing Intelligent Applications. AITest 2019: 149-156 - 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
- [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
- [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 - 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 - 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 - 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
- [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 - 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 - 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 - 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 - 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 - 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]Hong Zhu, Joseph Robert Horgan, Shing-Chi Cheung, J. Jenny Li:
The first international workshop on automation of software test. ICSE 2006: 1028-1029 - [c40]Lijun Shan, Hong Zhu:
Specifying Consistency Constraints for Modelling Languages. SEKE 2006: 578-583 - [c39]XinJun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang:
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. SEKE 2006: 639-644 - 2005
- [c38]Ji Wang, Rui Shen, Hong Zhu:
Towards an agent oriented programming language with caste and scenario mechanisms. AAMAS 2005: 1297-1298 - [c37]Ji Wang, Rui Shen, Hong Zhu:
Agent Oriented Programming Based on SLABS. COMPSAC (1) 2005: 127-132 - [c36]Yanlong Zhang, Hong Zhu, Sue Greenwood:
Empirical Validation of Website Timeliness Measures. COMPSAC (1) 2005: 313-318 - [c35]Ji Wang, Rui Shen, Hong Zhu:
Caste-Centric Agent-Oriented Programming. QSIC 2005: 431-438 - [c34]Hong Zhu:
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. SEKE 2005: 280-285 - [c33]Hong Zhu, Lijun Shan:
Agent-Oriented Modelling and Specification of Web Services. WORDS 2005: 152-159 - 2004
- [c32]Rui Shen, Ji Wang, Hong Zhu:
Scenario Mechanism in Agent-Oriented Programming. APSEC 2004: 464-471 - [c31]Hong Zhu:
Cooperative Agent Approach to Quality Assurance and Testing Web Software. COMPSAC Workshops 2004: 110-113 - [c30]Lijun Shan, Hong Zhu:
Consistency Check in Modelling Multi-Agent Systems. COMPSAC 2004: 114-119 - [c29]Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David A. Duce:
Agent-Oriented Formal Specification of Web Services. GCC Workshops 2004: 633-641 - [c28]Yanlong Zhang, Hong Zhu, Sue Greenwood:
Website Complexity Metrics for Measuring Navigability. QSIC 2004: 172-179 - [c27]Lijun Shan, Hong Zhu:
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. SELMAS 2004: 144-161 - 2003
- [c26]Qi Yan, XinJun Mao, Hong Zhu, Zhi-Chang Qi:
Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. AOSE 2003: 231-245 - [c25]Hong Zhu:
A formal specification language for agent-oriented software engineering. AAMAS 2003: 1174-1175 - [c24]Qingning Huo, Hong Zhu, Sue Greenwood:
A Multi-Agent Software Environment for Testing Web-based Applications. COMPSAC 2003: 210-215 - [c23]Lijun Shan, Hong Zhu:
Modelling Cooperative Multi-agent Systems. GCC (2) 2003: 994-1001 - [c22]Lijun Shan, Hong Zhu:
Modelling and Specifying Scenarios and Agent Behaviour. IAT 2003: 32-38 - [c21]Qi Yan, XinJun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu:
Soft Gene, Role, Agent: MABS Learns from Sociology. IAT 2003: 450-453 - [c20]Hong Zhu, David E. Lightfoot:
Caste: A Step beyond Object Orientation. JMLC 2003: 59-62 - [c19]Hong Zhu:
A Note on Test Oracles and Semantics of Algebraic Specifications. QSIC 2003: 91- - 2002
- [c18]Hong Zhu:
Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. AOIS@AAMAS 2002 - [c17]Hong Zhu:
Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem. AOIS@CAiSE 2002 - [c16]Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwood:
Application of Hazard Analysis to Software Quality Modelling. COMPSAC 2002: 139-146 - [c15]Hong Zhu:
Formal Specification of Evolutionary Software Agents. ICFEM 2002: 249-261 - 2001
- [c14]Lu Zhang, Hong Mei, Hong Zhu:
A Configuration Management System Supporting Component-Based Software Development. COMPSAC 2001: 25-30 - [c13]Hong Zhu, Xudong He:
An Observational Theory of Integration Testing for Component-Based Software Development. COMPSAC 2001: 363- - [c12]Yanlong Zhang, Hong Zhu, Sue Greenwood, Qingning Huo:
Quality Modelling for Web-Based Information Systems. FTDCS 2001: 41-47 - [c11]Hong Zhu:
The Role of Castes in Formal Specification of MAS. PRIMA 2001: 1-15 - 2000
- [c10]Hong Zhu, Lingzi Jin:
Automating Scenario-Driven Structured Requirements Engineering. COMPSAC 2000: 311-316 - [c9]Hong Zhu:
Formal Specification of Agent Behaviour through Environment Scenarios. FAABS 2000: 263-277 - [c8]Hong Zhu, Xudong He:
Constructions of behaviour observation schemes in software testing. HASE 2000: 7-16 - 1997
- [c7]Lingzi Jin, Hong Zhu:
Automatic Generation of Formal Specification from Requirements Definition. ICFEM 1997: 243-251 - 1996
- [c6]J. Xu, Lingzi Jin, Hong Zhu:
Tool support of orderly transition from informal to formal descriptions in requirements engineering. IFIP World Conference on IT Tools 1996: 199-206 - [c5]Jiafu Xu, Hong Zhu:
Requirements Analysis and Specification as a Problem of Software Automation. SEKE 1996: 457-464 - 1994
- [c4]Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram:
Injecting Faults into Environment Simulators for Testing Safety Critical Software. EDCC 1994: 235-249 - [c3]Hong Zhu, Patrick A. V. Hall, John H. R. May:
Knowledge engineering helps testing protection software. SEKE 1994: 116-123 - 1989
- [c2]Hong Zhu, Lingzi Jin:
A Knowledge-Based System to Synthesize FP Programs from Examples. EPIA 1989: 234-245 - [c1]Lingzi Jin, Hong Zhu:
A metalanguage to express human guidance for program transformation. TAI 1989: 717-722
Parts in Books or Collections
- 2014
- [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 - 2009
- [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
- [p2]David Chenho Kung, Hong Zhu:
Software Verification and Validation. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2005
- [p1]Hong Zhu, Lijun Shan:
Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools. Model-Driven Software Development 2005: 57-89
Editorship
- 2015
- [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
- [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
- [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] - 2011
- [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
- [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] - 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
- [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] - 2006
- [e1]Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li:
Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006. ACM 2006, ISBN 1-59593-408-1 [contents]
Reference Works
- 2007
- [r1]Hong Zhu, Yanlong Zhang:
Navigability Design and Measurement. Encyclopedia of Portal Technologies and Applications 2007: 642-646
Informal and Other Publications
- 2024
- [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) - 2021
- [i3]Hong Zhu, Ian Bayley:
Discovering Boundary Values of Feature-based Machine Learning Classifiers through Exploratory Datamorphic Testing. CoRR abs/2110.00330 (2021) - 2019
- [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)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-14 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
