A Knowledge-Based System to Synthesize FP Programs from Examples. - Hong Zhu 002; Lingzi Jin (EPIA, 1989)

A metalanguage to express human guidance for program transformation. - Lingzi Jin; Hong Zhu 002 (TAI, 1989)

Inductive Inference and Software Testing. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May (Softw. Test. Verification Reliab., 1992)

Test data adequacy measurement. - Hong Zhu 002; Patrick A. V. Hall (Softw. Eng. J., 1993)

Injecting Faults into Environment Simulators for Testing Safety Critical Software. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May; T. Cockram (EDCC, 1994)

Knowledge engineering helps testing protection software. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May (SEKE, 1994)

How Powerful are Folding/Unfolding Transformations? - Hong Zhu 002 (J. Funct. Program., 1994)

Axiomatic assessment of control flow-based software test adequacy criteria. - Hong Zhu 002 (Softw. Eng. J., 1995)

Tool support of orderly transition from informal to formal descriptions in requirements engineering. - J. Xu; Lingzi Jin; Hong Zhu 002 (IFIP World Conference on IT Tools, 1996)

Requirements Analysis and Specification as a Problem of Software Automation. - Jiafu Xu; Hong Zhu 002 (SEKE, 1996)

A Formal Interpretation of Software Testing as Inductive Inference. - Hong Zhu 002 (Softw. Test. Verification Reliab., 1996)

A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. - Hong Zhu 002 (IEEE Trans. Software Eng., 1996)

Automatic Generation of Formal Specification from Requirements Definition. - Lingzi Jin; Hong Zhu 002 (ICFEM, 1997)

Software Unit Test Coverage and Adequacy. - Hong Zhu 002; Patrick A. V. Hall; John H. R. May (ACM Comput. Surv., 1997)

Adequate testing of hypertext applications. - Lingzi Jin; Hong Zhu 002; Patrick A. V. Hall (Inf. Softw. Technol., 1997)

Specifications in software prototyping. - Luqi; Carl K. Chang; Hong Zhu 002 (J. Syst. Softw., 1998)

Automating Scenario-Driven Structured Requirements Engineering. - Hong Zhu 002; Lingzi Jin (COMPSAC, 2000)

Formal Specification of Agent Behaviour through Environment Scenarios. - Hong Zhu 002 (FAABS, 2000)

Constructions of behaviour observation schemes in software testing. - Hong Zhu 002; Xudong He (HASE, 2000)

Scenario Analysis in an Automated Tool for Requirements Engineering. - Hong Zhu 002; Lingzi Jin (Requir. Eng., 2000)

A Configuration Management System Supporting Component-Based Software Development. - Lu Zhang 023; Hong Mei 001; Hong Zhu 002 (COMPSAC, 2001)

An Observational Theory of Integration Testing for Component-Based Software Development. - Hong Zhu 002; Xudong He (COMPSAC, 2001)

Quality Modelling for Web-Based Information Systems. - Yanlong Zhang; Hong Zhu 002; Sue Greenwood; Qingning Huo (FTDCS, 2001)

The Role of Castes in Formal Specification of MAS. - Hong Zhu 002 (PRIMA, 2001)

SLABS: A Formal Specification Language for Agent-Based Systems. - Hong Zhu 002 (Int. J. Softw. Eng. Knowl. Eng., 2001)

Developing Formal Specifications of MAS in SLABS – A Case Study of Evolutionary Multi-Agent Ecosystem. - Hong Zhu 002 (AOIS@AAMAS, 2002)

Developing Formal Specifications of Multi-Agent Systems in SLABS – A Case Study of Evolutionary Multi-Agent Ecosystem. - Hong Zhu 002 (AOIS@CAiSE, 2002)

Application of Hazard Analysis to Software Quality Modelling. - Hong Zhu 002; Yanlong Zhang; Qingning Huo; Sue Greenwood (COMPSAC, 2002)

Formal Specification of Evolutionary Software Agents. - Hong Zhu 002 (ICFEM, 2002)

A methodology of testing high-level Petri nets. - Hong Zhu 002; Xudong He (Inf. Softw. Technol., 2002)

Software requirements validation via task analysis. - Hong Zhu 002; Lingzi Jin; Dan Diaper; Ganghong Bai (J. Syst. Softw., 2002)

Modelling Multi-agent Systems with Soft Genes, Roles, and Agents. - Qi Yan 001; XinJun Mao; Hong Zhu 002; Zhi-Chang Qi (AOSE, 2003)

A formal specification language for agent-oriented software engineering. - Hong Zhu 002 (AAMAS, 2003)

A Multi-Agent Software Environment for Testing Web-based Applications. - Qingning Huo; Hong Zhu 002; Sue Greenwood (COMPSAC, 2003)

Modelling Cooperative Multi-agent Systems. - Lijun Shan; Hong Zhu 002 (GCC (2), 2003)

Modelling and Specifying Scenarios and Agent Behaviour. - Lijun Shan; Hong Zhu 002 (IAT, 2003)

Soft Gene, Role, Agent: MABS Learns from Sociology. - Qi Yan 001; XinJun Mao; Lijun Shan; Zhi-Chang Qi; Hong Zhu 002 (IAT, 2003)

Caste: A Step beyond Object Orientation. - Hong Zhu 002; David E. Lightfoot (JMLC, 2003)

A Note on Test Oracles and Semantics of Algebraic Specifications. - Hong Zhu 002 (QSIC, 2003)

Scenario Mechanism in Agent-Oriented Programming. - Rui Shen 003; Ji Wang 001; Hong Zhu 002 (APSEC, 2004)

Consistency Check in Modelling Multi-Agent Systems. - Lijun Shan; Hong Zhu 002 (COMPSAC, 2004)

Cooperative Agent Approach to Quality Assurance and Testing Web Software. - Hong Zhu 002 (COMPSAC Workshops, 2004)

Agent-Oriented Formal Specification of Web Services. - Hong Zhu 002; Bin Zhou 004; XinJun Mao; Lijun Shan; David A. Duce (GCC Workshops, 2004)

Website Complexity Metrics for Measuring Navigability. - Yanlong Zhang; Hong Zhu 002; Sue Greenwood (QSIC, 2004)

CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment. - Lijun Shan; Hong Zhu 002 (SELMAS, 2004)

Software design methodology - from pinciples to architectural styles. - Hong Zhu 002 (Elsevier, 2005)

Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools. - Hong Zhu 002; Lijun Shan (Model-Driven Software Development, 2005)

Towards an agent oriented programming language with caste and scenario mechanisms. - Ji Wang 001; Rui Shen 003; Hong Zhu 002 (AAMAS, 2005)

Agent Oriented Programming Based on SLABS. - Ji Wang 001; Rui Shen 003; Hong Zhu 002 (COMPSAC (1), 2005)

Empirical Validation of Website Timeliness Measures. - Yanlong Zhang; Hong Zhu 002; Sue Greenwood (COMPSAC (1), 2005)

Caste-Centric Agent-Oriented Programming. - Ji Wang 001; Rui Shen 003; Hong Zhu 002 (QSIC, 2005)

Formal Reasoning about Emergent Behaviours of Multi-Agent Systems. - Hong Zhu 002 (SEKE, 2005)

Agent-Oriented Modelling and Specification of Web Services. - Hong Zhu 002; Lijun Shan (WORDS, 2005)

Tool Support to Model-based Quality Analysis of Software Architecture. - Qian Zhang; Jian Wu; Hong Zhu 002 (COMPSAC (1), 2006)

A Framework for Service-Oriented Testing of Web Services. - Hong Zhu 002 (COMPSAC (2), 2006)

Testing Software Modelling Tools Using Data Mutation. - Lijun Shan; Hong Zhu 002 (AST, 2006)

The first international workshop on automation of software test. - Hong Zhu 002; Joseph Robert Horgan; Shing-Chi Cheung; J. Jenny Li 001 (ICSE, 2006)

The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents. - XinJun Mao; Zhiming Chang; Lijun Shan; Hong Zhu 002; Ji Wang 001 (SEKE, 2006)

Specifying Consistency Constraints for Modelling Languages. - Lijun Shan; Hong Zhu 002 (SEKE, 2006)

Assuring quality of web-based applications. - Hong Zhu 002; David Chenho Kung (Inf. Softw. Technol., 2006)

Shaping the emerging paradigm of agent-orientation: Special issue on agent-oriented software development methodologies. - Hong Zhu 002 (Multiagent Grid Syst., 2006)

An experimental study of the emergent behaviors of self-organized agent communities. - Shufeng Wang; Hong Zhu 002 (IEEE Congress on Evolutionary Computation, 2007)

Automated Testing EJB Components Based on Algebraic Specifications. - Liang Kong; Hong Zhu 002; Bin Zhou 004 (COMPSAC (2), 2007)

Automation of Software Test - Report on the Second Interional Workshop AST 2007. - Hong Zhu 002; W. Eric Wong; Amit M. Paradkar (ICSE Companion, 2007)

Modelling Web Services in the agent-oriented modelling language and environment CAMLE. - Hong Zhu 002; Lijun Shan (Int. J. Simul. Process. Model., 2007)

Navigability Design and Measurement. - Hong Zhu 002; Yanlong Zhang (Encyclopedia of Portal Technologies and Applications, 2007)

Specifying Behavioural Features of Design Patterns in First Order Logic. - Ian Bayley; Hong Zhu 002 (COMPSAC, 2008)

Data Mutation Testing Applied to a Modelling Tool. - Hong Zhu 002 (GI Jahrestagung (1), 2008)

A Formal Descriptive Semantics of UML. - Lijun Shan; Hong Zhu 002 (ICFEM, 2008)

Advancing test automation technology to meet the challenges of model-driven software development: report on the 3rd workshop on automation of software test. - Hong Zhu 002; W. Eric Wong; Fevzi Belli (ICSE Companion, 2008)

Testing Java Components based on Algebraic Specifications. - Bo Yu; Liang Kong; Yufeng Zhang 001; Hong Zhu 002 (ICST, 2008)

When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. - Du Zhang; Hong Zhu 002 (IDEAL, 2008)

On the Composition of Design Patterns. - Ian Bayley; Hong Zhu 002 (QSIC, 2008)

A Virtual Machine for Distributed Agent-oriented Programming. - Bin Zhou 004; Hong Zhu 002 (SEKE, 2008)

A Framework for Agent-Based Service-Oriented Modelling. - Zhi Jin; Hong Zhu 002 (SOSE, 2008)

Ontology for Service Oriented Testing of Web Services. - Yufeng Zhang 001; Hong Zhu 002 (SOSE, 2008)

An adaptive casteship mechanism for developing multi-agent systems. - XinJun Mao; Lijun Shan; Hong Zhu 002; Ji Wang 001 (Int. J. Comput. Appl. Technol., 2008)

Software Verification and Validation. - David Chenho Kung; Hong Zhu 002 (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Formal Descriptive Semantics of UML and Its Applications. - Hong Zhu 002; Lijun Shan; Ian Bayley; Richard Amphlett (UML 2 Semantics and Applications, 2009)

Tool Support for Design Pattern Recognition at Model Level. - Hong Zhu 002; Ian Bayley; Lijun Shan; Richard Amphlett (COMPSAC (1), 2009)

Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care. - Iñaki Martínez-Sarriegui; Hong Zhu 002; Lijun Shan; Gema García-Sáez; Enrique J. Gómez; M. Elena Hernando (ICAART, 2009)

Semantics of Metamodels in UML. - Lijun Shan; Hong Zhu 002 (TASE, 2009)

Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool. - Lijun Shan; Hong Zhu 002 (Comput. J., 2009)

Guest Editorial to the Special Issue on Automation of Software Testing. - Hong Zhu 002; Shing-Chi Cheung; Joseph Robert Horgan; J. Jenny Li 001 (Comput. J., 2009)

Engineering quality software - Guest editor's introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008). - Hong Zhu 002 (Inf. Softw. Technol., 2009)

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). - Hong Zhu 002; Fevzi Belli (Inf. Softw. Technol., 2009)

Laws of Pattern Composition. - Hong Zhu 002; Ian Bayley (ICFEM, 2010)

An Experiment with Algebraic Specifications of Software Components. - Hong Zhu 002; Bo Yu (QSIC, 2010)

Algebraic Specification of Web Services. - Hong Zhu 002; Bo Yu (QSIC, 2010)

On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic. - Hong Zhu 002 (TASE, 2010)

Formal specification of the variants and behavioural features of design patterns. - Ian Bayley; Hong Zhu 002 (J. Syst. Softw., 2010)

On the convergence of autonomous agent communities. - Hong Zhu 002; Fang Wang 010; Shufeng Wang (Multiagent Grid Syst., 2010)

A survey of the research on power management techniques for high-performance systems. - Yongpeng Liu; Hong Zhu 002 (Softw. Pract. Exp., 2010)

An Intelligent Broker Approach to Semantics-Based Service Composition. - Yufeng Zhang 001; Hong Zhu 002 (COMPSAC, 2011)

Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems. - Yongpeng Liu; Hong Zhu 002; Yongyan Liu; Feng Wang; Baohua Fan (HPCC, 2011)

Unifying domain ontology with agent-oriented modeling of services. - Zhi Jin; Hong Zhu 002 (SOSE, 2011)

Automation of software test (AST '09) [Editorial]. - Dimitris Dranidis; Stephen P. Masticola; Hong Zhu 002 (IET Softw., 2011)

Guest editors' introduction to the special section on exploring the boundaries of software test automation. - Christof J. Budnik; W. K. Chan 001; Gregory M. Kapfhammer; Hong Zhu 002 (Softw. Qual. J., 2011)

Self-adaptive management of the sleep depths of idle nodes in large scale systems to balance between energy consumption and response times. - Yongpeng Liu; Hong Zhu 002; Kai Lu 001; Xiaoping Wang (CloudCom, 2012)

CATest: A Test Automation Framework for Multi-agent Systems. - Shufeng Wang; Hong Zhu 002 (COMPSAC, 2012)

Position statement: Can testing prove software has no bug? - Hong Zhu 002 (COMPSAC, 2012)

Position statement: Can software design benefit from creative computing? - Hong Zhu 002 (COMPSAC, 2012)

A Power Provision and Capping Architecture for Large Scale Systems. - Yongpeng Liu; Hong Zhu 002; Kai Lu 001; Yongyan Liu (IPDPS Workshops, 2012)

An institution theory of formal meta-modelling in graphically extended BNF. - Hong Zhu 002 (Frontiers Comput. Sci. China, 2012)

Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy. - Lijun Shan; Hong Zhu 002 (Int. J. Softw. Informatics, 2012)

Editorial of the Special Issue on Software Modelling and Meta-Modelling. - Hong Zhu 002 (Int. J. Softw. Informatics, 2012)

Collaborative Testing of Web Services. - Hong Zhu 002; Yufeng Zhang 001 (IEEE Trans. Serv. Comput., 2012)

An Agent-Oriented Approach to Support Multidisciplinary Care Decisions. - Liang Xiao 006; John Fox 001; Hong Zhu 002 (ECBS-EERC, 2013)

8th international workshop on automation of software test (AST 2013). - Hong Zhu 002; Henry Muccini; Zhenyu Chen 001 (ICSE, 2013)

Foreword. - Hong Zhu 002; Henry Muccini; Zhenyu Chen 001 (AST, 2013)

From Algebraic Specification to Ontological Description of Service Semantics. - Dongmei Liu; Hong Zhu 002; Ian Bayley (ICWS, 2013)

A Case Study on Algebraic Specification of Cloud Computing. - Dongmei Liu; Hong Zhu 002; Ian Bayley (PDP, 2013)

Self-Adaptive Power Management of Idle Nodes in Large Scale Systems. - Hong Zhu 002; Yongpeng Liu; Kai Lu 001; Xiaoping Wang (Int. J. Next Gener. Comput., 2013)

Preface - Service-Oriented System Engineering: An Emerging Engineering Discipline. - Hong Zhu 002; Jerry Gao 002 (Int. J. Softw. Informatics, 2013)

Special section on automation of software test. - Antonia Bertolino; Howard Foster; J. Jenny Li 001; Hong Zhu 002 (J. Syst. Softw., 2013)

An algebra of design patterns. - Hong Zhu 002; Ian Bayley (ACM Trans. Softw. Eng. Methodol., 2013)

Future Directions for Research on Cyberpatterns. - Clive Blackwell; Hong Zhu 002 (Cyberpatterns, 2014)

Cyberpatterns: Towards a Pattern Oriented Study of Cyberspace. - Hong Zhu 002 (Cyberpatterns, 2014)

Towards a General Theory of Patterns. - Hong Zhu 002 (Cyberpatterns, 2014)

Hasard. - Hong Zhu 002; Qian Zhang; Yanlong Zhang (Relating System Quality and Software Architecture, 2014)

A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions. - Hong Zhu 002; Yufeng Zhang 001 (Advanced Web Services, 2014)

SOFIA: An Algebraic Specification Language for Developing Services. - Dongmei Liu; Hong Zhu 002; Ian Bayley (SOSE, 2014)

Tenant Level Checkpointing of Meta-data for Multi-tenancy SaaS. - Basel Yousef; Hong Zhu 002; Muhammad Younas 001 (SOSE, 2014)

Toward a mature industrial practice of software test automation. - Hong Zhu 002; Daniel Hoffman; John Hughes 001; Dianxiang Xu (Softw. Qual. J., 2014)

Big SaaS: The Next Step beyond Big Data. - Hong Zhu 002; Ian Bayley; Muhammad Younas 001; David E. Lightfoot; Basel Yousef; Dongmei Liu (CLOUD, 2015)

Evaluation of a Tenant Level Checkpointing Technique for SaaS Applications. - Hong Zhu 002; Basel Yousef; Muhammad Younas 001 (CLOUD, 2015)

Modeling and Simulating Adaptive Multi-agent Systems with CAMLE. - Lijun Shan; Chenglie Du; Hong Zhu 002 (COMPSAC, 2015)

Automated Testing of Web Services Based on Algebraic Specifications. - Dongmei Liu; Yuxin Liu; Xin Zhang; Hong Zhu 002; Ian Bayley (SOSE, 2015)

JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods. - Hong Zhu 002 (TSA, 2015)

On the Composability of Design Patterns. - Hong Zhu 002; Ian Bayley (IEEE Trans. Software Eng., 2015)

CIDE: An Integrated Development Environment for Microservices. - Desheng Liu; Hong Zhu 002; ChengZhi Xu; Ian Bayley; David E. Lightfoot; Mark Green; Peter Marshall (SCC, 2016)

A Multi-key Transactions Model for NoSQL Cloud Database Systems. - Adewole Ogunyadeka; Muhammad Younas 001; Hong Zhu 002; Arantza Aldea (BigDataService, 2016)

Trends and Directions in Cloud Service Selection. - Mona Eisa; Muhammad Younas 001; Kashinath Basu; Hong Zhu 002 (SOSE, 2016)

Monic Testing of Web Services Based on Algebraic Specifications. - Dongmei Liu; Xian Wu; Xin Zhang; Hong Zhu 002; Ian Bayley (SOSE, 2016)

Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications. - Dongmei Liu; Yunfei Yang; Ying Chen; Hong Zhu 002; Ian Bayley; Arantza Aldea (SOSE, 2016)

CAOPLE: A Programming Language for Microservices SaaS. - ChengZhi Xu; Hong Zhu 002; Ian Bayley; David E. Lightfoot; Mark Green; Peter Marshall (SOSE, 2016)

Message from SETA 2017 Symposium Chairs. - Ricky Chan; Hong Zhu 002 (COMPSAC (1), 2017)

On the Composibility of Design Patterns: Extended Abstract. - Hong Zhu 002; Ian Bayley (COMPSAC (1), 2017)

AST 2017 Workshop Summary. - Hong Zhu 002; Junhua Ding; Patrícia D. L. Machado; Marc Roper (AST@ICSE, 2017)

The central role of test automation in software quality assurance. - Leonardo Mariani; Dan Hao 001; Rajesh Subramanyan; Hong Zhu 002 (Softw. Qual. J., 2017)

Guest Editorial: Advances in Web Services Research. - John A. Miller 001; Hong Zhu 002; Jia Zhang (IEEE Trans. Serv. Comput., 2017)

Formal Analysis of Load Balancing in Microservices with Scenario Calculus. - Hong Zhu 002; Hongbo Wang 003; Ian Bayley (IEEE CLOUD, 2018)

Message from SETA 2018 Symposium Chairs. - W. K. Chan 001; Hong Zhu 002 (COMPSAC (1), 2018)

Software testing as a problem of machine learning: towards a foundation on computational learning theory (extended abstract of keynote speech). - Hong Zhu 002 (AST@ICSE, 2018)

If Docker is the Answer, What is the Question? - Hong Zhu 002; Ian Bayley (SOSE, 2018)

Special issue on automation of software testing: improving practical applicability. - Christof J. Budnik; Gordon Fraser 001; Francesca Lonetti; Hong Zhu 002 (Softw. Qual. J., 2018)

Datamorphic Testing: A Method for Testing Intelligent Applications. - Hong Zhu 002; Dongmei Liu; Ian Bayley; Rachel Harrison; Fabio Cuzzolin (AITest, 2019)

Datamorphic Testing: A Methodology for Testing AI Applications. - Hong Zhu 002; Dongmei Liu; Ian Bayley; Rachel Harrison; Fabio Cuzzolin (CoRR, 2019)

Morphy: A Datamorphic Software Test Automation Tool. - Hong Zhu 002; Ian Bayley; Dongmei Liu; Xiaoyu Zheng (CoRR, 2019)

Automation of Datamorphic Testing. - Hong Zhu 002; Ian Bayley; Dongmei Liu; Xiaoyu Zheng (AITest, 2020)

Exploratory Datamorphic Testing of Classification Applications. - Hong Zhu 002; Ian Bayley (AST@ICSE, 2020)

Continuous Debugging of Microservices. - Hong Zhu 002; Ian Bayley; Hongbo Wang 003 (ISPA/BDCloud/SocialCom/SustainCom, 2020)

Pattern-Based Approach to Modelling and Verifying System Security. - Xiaoyu Zheng; Dongmei Liu; Hong Zhu 002; Ian Bayley (SOSE, 2020)

Metrics for Measuring Error Extents of Machine Learning Classifiers. - Hong Zhu 002; Ian Bayley; Mark Green (AITest, 2022)

How does government microblog affect tourism market value? The perspective of signaling theory. - Hong Zhu 002; Fang Wang (Inf. Process. Manag., 2022)

Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing. - Hong Zhu 002; Ian Bayley (J. Syst. Softw., 2022)

ScenEval: A Benchmark for Scenario-Based Evaluation of Code Generation. - Debalina Ghosh Paul; Hong Zhu 002; Ian Bayley (AITest, 2024)

Benchmarks and Metrics for Evaluations of Code Generation: A Critical Review. - Debalina Ghosh Paul; Hong Zhu 002; Ian Bayley (AITest, 2024)

Message From the General Chairs; IEEE AITest 2024. - Hong Zhu 002; Junhua Ding (AITest, 2024)

Plenary Panel at IEEE CISOSE 2024; GenAI, Where are You Going? - Hong Zhu 002; Xiaoli Li; Junhua Ding; Emese Bari; Yang Liu (AITest, 2024)

Metamorphic Testing on Scientific Programs for Solving Second-Order Elliptic Differential Equations. - Shiyu Yan; Hong Zhu 002 (Softw. Test. Verification Reliab., 2025)