Hong Zhu

179 papers A* 2A 5B 17C 16Misc 4Journal 49Unranked 66
YearRankTypeTitle / Venue / Authors
2026 J jnl
Operational Robustness of LLMs on Code Generation.
CoRR
Debalina Ghosh Paul, Hong Zhu, Ian Bayley
2025 — conf
Does LLM Generated Code Smell?
ICCBDC
Debalina Ghosh Paul, Hong Zhu, Ian Bayley
2025 J jnl
Investigating The Smells of LLM Generated Code.
CoRR
Debalina Ghosh Paul, Hong Zhu, Ian Bayley
2025 J jnl
Metamorphic Testing on Scientific Programs for Solving Second-Order Elliptic Differential Equations.
Softw. Test. Verification Reliab.
Shiyu Yan, Hong Zhu
2024 — conf
Benchmarks and Metrics for Evaluations of Code Generation: A Critical Review.
AITest
Debalina Ghosh Paul, Hong Zhu, Ian Bayley
2024 J jnl
Benchmarks and Metrics for Evaluations of Code Generation: A Critical Review.
CoRR
Debalina Ghosh Paul, Hong Zhu, Ian Bayley
2024 — conf
Message From the General Chairs; IEEE AITest 2024.
AITest
Hong Zhu, Junhua Ding
2024 — conf
Plenary Panel at IEEE CISOSE 2024; GenAI, Where are You Going?
AITest
Hong Zhu, Xiaoli Li, Junhua Ding, Emese Bari, Yang Liu
2024 — conf
ScenEval: A Benchmark for Scenario-Based Evaluation of Code Generation.
AITest
Debalina Ghosh Paul, Hong Zhu, Ian Bayley
2024 J jnl
ScenEval: A Benchmark for Scenario-Based Evaluation of Code Generation.
CoRR
Debalina Ghosh Paul, Hong Zhu, Ian Bayley
2022 J jnl
Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing.
J. Syst. Softw.
Hong Zhu, Ian Bayley
2022 J jnl
How does government microblog affect tourism market value? The perspective of signaling theory.
Inf. Process. Manag.
Hong Zhu, Fang Wang
2022 — conf
Metrics for Measuring Error Extents of Machine Learning Classifiers.
AITest
Hong Zhu, Ian Bayley, Mark Green
2021 J jnl
Discovering Boundary Values of Feature-based Machine Learning Classifiers through Exploratory Datamorphic Testing.
CoRR
Hong Zhu, Ian Bayley
2020 — conf
Automation of Datamorphic Testing.
AITest
Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng
2020 — conf
Continuous Debugging of Microservices.
ISPA/BDCloud/SocialCom/SustainCom
Hong Zhu, Ian Bayley, Hongbo Wang
2020 C conf
Exploratory Datamorphic Testing of Classification Applications.
AST
Hong Zhu, Ian Bayley
2020 — conf
Pattern-Based Approach to Modelling and Verifying System Security.
SOSE
Xiaoyu Zheng, Dongmei Liu, Hong Zhu, Ian Bayley
2019 — conf
Datamorphic Testing: A Method for Testing Intelligent Applications.
AITest
Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin
2019 J jnl
Datamorphic Testing: A Methodology for Testing AI Applications.
CoRR
Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin
2019 J jnl
Morphy: A Datamorphic Software Test Automation Tool.
CoRR
Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng
2018 — conf
Formal Analysis of Load Balancing in Microservices with Scenario Calculus.
IEEE CLOUD
Hong Zhu, Hongbo Wang, Ian Bayley
2018 — conf
If Docker is the Answer, What is the Question?
SOSE
Hong Zhu, Ian Bayley
2018 — conf
Message from SETA 2018 Symposium Chairs.
COMPSAC (1)
W. K. Chan, Hong Zhu
2018 — conf
Software testing as a problem of machine learning: towards a foundation on computational learning theory (extended abstract of keynote speech).
AST@ICSE
Hong Zhu
2018 J jnl
Special issue on automation of software testing: improving practical applicability.
Softw. Qual. J.
Christof J. Budnik, Gordon Fraser, Francesca Lonetti, Hong Zhu
2017 — conf
AST 2017 Workshop Summary.
AST@ICSE
Hong Zhu, Junhua Ding, Patrícia D. L. Machado, Marc Roper
2017 J jnl
Guest Editorial: Advances in Web Services Research.
IEEE Trans. Serv. Comput.
John A. Miller, Hong Zhu, Jia Zhang
2017 — conf
Message from SETA 2017 Symposium Chairs.
COMPSAC (1)
Ricky Chan, Hong Zhu
2017 — conf
On the Composibility of Design Patterns: Extended Abstract.
COMPSAC (1)
Hong Zhu, Ian Bayley
2017 J jnl
The central role of test automation in software quality assurance.
Softw. Qual. J.
Leonardo Mariani, Dan Hao, Rajesh Subramanyan, Hong Zhu
2016 — conf
A Multi-key Transactions Model for NoSQL Cloud Database Systems.
BigDataService
Adewole Ogunyadeka, Muhammad Younas, Hong Zhu, Arantza Aldea
2016 — conf
CAOPLE: A Programming Language for Microservices SaaS.
SOSE
Chengzhi Xu, Hong Zhu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall
2016 — conf
CIDE: An Integrated Development Environment for Microservices.
SCC
Desheng Liu, Hong Zhu, Chengzhi Xu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall
2016 — conf
Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications.
SOSE
Dongmei Liu, Yunfei Yang, Ying Chen, Hong Zhu, Ian Bayley, Arantza Aldea
2016 — conf
Monic Testing of Web Services Based on Algebraic Specifications.
SOSE
Dongmei Liu, Xian Wu, Xin Zhang, Hong Zhu, Ian Bayley
2016 — conf
Trends and Directions in Cloud Service Selection.
SOSE
Mona Eisa, Muhammad Younas, Kashinath Basu, Hong Zhu
2015 — ed.
10th IEEE/ACM International Workshop on Automation of Software Test, AST 2015, Florence, Italy, May 23-24, 2015
AST@ICSE
Hong Zhu, Dan Hao, Leonardo Mariani, Rajesh Subramanyan
2015 A ed.
2015 IEEE International Conference on Web Services, ICWS 2015, New York, NY, USA, June 27 - July 2, 2015
ICWS
John A. Miller, Hong Zhu
2015 — conf
Automated Testing of Web Services Based on Algebraic Specifications.
SOSE
Dongmei Liu, Yuxin Liu, Xin Zhang, Hong Zhu, Ian Bayley
2015 — conf
Big SaaS: The Next Step Beyond Big Data.
BigData Congress
Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu
2015 B conf
Big SaaS: The Next Step beyond Big Data.
CLOUD
Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu
2015 B conf
Evaluation of a Tenant Level Checkpointing Technique for SaaS Applications.
CLOUD
Hong Zhu, Basel Yousef, Muhammad Younas
2015 — conf
JFuzz: A Tool for Automated Java Unit Testing Based on Data Mutation and Metamorphic Testing Methods.
TSA
Hong Zhu
2015 B conf
Modeling and Simulating Adaptive Multi-agent Systems with CAMLE.
COMPSAC
Lijun Shan, Chenglie Du, Hong Zhu
2015 J jnl
On the Composability of Design Patterns.
IEEE Trans. Software Eng.
Hong Zhu, Ian Bayley
2014 — ed.
9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014
AST@ICSE
Hong Zhu, Jerry Gao, Saurabh Sinha, Lu Zhang
2014 — ch.
A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions.
Advanced Web Services
Hong Zhu, Yufeng Zhang
2014 — book
Cyberpatterns, Unifying Design Patterns with Security and Attack Patterns
Clive Blackwell, Hong Zhu
2014 — ch.
Cyberpatterns: Towards a Pattern Oriented Study of Cyberspace.
Cyberpatterns
Hong Zhu
2014 — ch.
Future Directions for Research on Cyberpatterns.
Cyberpatterns
Clive Blackwell, Hong Zhu
2014 — ch.
Hasard.
Relating System Quality and Software Architecture
Hong Zhu, Qian Zhang, Yanlong Zhang
2014 — conf
SOFIA: An Algebraic Specification Language for Developing Services.
SOSE
Dongmei Liu, Hong Zhu, Ian Bayley
2014 — conf
Tenant Level Checkpointing of Meta-data for Multi-tenancy SaaS.
SOSE
Basel Yousef, Hong Zhu, Muhammad Younas
2014 J jnl
Toward a mature industrial practice of software test automation.
Softw. Qual. J.
Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu
2014 — ch.
Towards a General Theory of Patterns.
Cyberpatterns
Hong Zhu
2013 — ed.
8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013
AST@ICSE
Hong Zhu, Henry Muccini, Zhenyu Chen
2013 A* conf
8th international workshop on automation of software test (AST 2013).
ICSE
Hong Zhu, Henry Muccini, Zhenyu Chen
2013 C conf
A Case Study on Algebraic Specification of Cloud Computing.
PDP
Dongmei Liu, Hong Zhu, Ian Bayley
2013 — conf
An Agent-Oriented Approach to Support Multidisciplinary Care Decisions.
ECBS-EERC
Liang Xiao, John Fox, Hong Zhu
2013 J jnl
An algebra of design patterns.
ACM Trans. Softw. Eng. Methodol.
Hong Zhu, Ian Bayley
2013 — conf
Foreword.
AST@ICSE
Hong Zhu, Henry Muccini, Zhenyu Chen
2013 A conf
From Algebraic Specification to Ontological Description of Service Semantics.
ICWS
Dongmei Liu, Hong Zhu, Ian Bayley
2013 J jnl
Preface - Service-Oriented System Engineering: An Emerging Engineering Discipline.
Int. J. Softw. Informatics
Hong Zhu, Jerry Gao
2013 J jnl
Self-Adaptive Power Management of Idle Nodes in Large Scale Systems.
Int. J. Next Gener. Comput.
Hong Zhu, Yongpeng Liu, Kai Lu, Xiaoping Wang
2013 J jnl
Special section on automation of software test.
J. Syst. Softw.
Antonia Bertolino, Howard Foster, J. Jenny Li, Hong Zhu
2012 — conf
A Power Provision and Capping Architecture for Large Scale Systems.
IPDPS Workshops
Yongpeng Liu, Hong Zhu, Kai Lu, Yongyan Liu
2012 J jnl
An institution theory of formal meta-modelling in graphically extended BNF.
Frontiers Comput. Sci. China
Hong Zhu
2012 B conf
CATest: A Test Automation Framework for Multi-agent Systems.
COMPSAC
Shufeng Wang, Hong Zhu
2012 J jnl
Collaborative Testing of Web Services.
IEEE Trans. Serv. Comput.
Hong Zhu, Yufeng Zhang
2012 J jnl
Editorial of the Special Issue on Software Modelling and Meta-Modelling.
Int. J. Softw. Informatics
Hong Zhu
2012 B conf
Position statement: Can software design benefit from creative computing?
COMPSAC
Hong Zhu
2012 B conf
Position statement: Can testing prove software has no bug?
COMPSAC
Hong Zhu
2012 C conf
Self-adaptive management of the sleep depths of idle nodes in large scale systems to balance between energy consumption and response times.
CloudCom
Yongpeng Liu, Hong Zhu, Kai Lu, Xiaoping Wang
2012 J jnl
Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy.
Int. J. Softw. Informatics
Lijun Shan, Hong Zhu
2011 B conf
An Intelligent Broker Approach to Semantics-Based Service Composition.
COMPSAC
Yufeng Zhang, Hong Zhu
2011 J jnl
Automation of software test (AST '09) [Editorial].
IET Softw.
Dimitris Dranidis, Stephen P. Masticola, Hong Zhu
2011 J jnl
Guest editors' introduction to the special section on exploring the boundaries of software test automation.
Softw. Qual. J.
Christof J. Budnik, W. K. Chan, Gregory M. Kapfhammer, Hong Zhu
2011 — ed.
IEEE 6th International Symposium on Service Oriented System Engineering, SOSE 2011, Irvine, CA, USA, December 12-14, 2011
SOSE
Jerry Zeyu Gao, Xiaodong Lu, Muhammad Younas, Hong Zhu
2011 C conf
Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems.
HPCC
Yongpeng Liu, Hong Zhu, Yongyan Liu, Feng Wang, Baohua Fan
2011 — conf
Unifying domain ontology with agent-oriented modeling of services.
SOSE
Zhi Jin, Hong Zhu
2010 J jnl
A survey of the research on power management techniques for high-performance systems.
Softw. Pract. Exp.
Yongpeng Liu, Hong Zhu
2010 — conf
Algebraic Specification of Web Services.
QSIC
Hong Zhu, Bo Yu
2010 — conf
An Experiment with Algebraic Specifications of Software Components.
QSIC
Hong Zhu, Bo Yu
2010 J jnl
Formal specification of the variants and behavioural features of design patterns.
J. Syst. Softw.
Ian Bayley, Hong Zhu
2010 C conf
Laws of Pattern Composition.
ICFEM
Hong Zhu, Ian Bayley
2010 Misc conf
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic.
TASE
Hong Zhu
2010 J jnl
On the convergence of autonomous agent communities.
Multiagent Grid Syst.
Hong Zhu, Fang Wang, Shufeng Wang
2010 — ed.
The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa
AST@ICSE
Hong Zhu, W. K. Chan, Christof J. Budnik, Gregory M. Kapfhammer
2009 J jnl
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.
Hong Zhu, Fevzi Belli
2009 J jnl
Engineering quality software - Guest editor's introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008).
Inf. Softw. Technol.
Hong Zhu
2009 — ch.
Formal Descriptive Semantics of UML and Its Applications.
UML 2 Semantics and Applications
Hong Zhu, Lijun Shan, Ian Bayley, Richard Amphlett
2009 J jnl
Generating Structurally Complex Test Cases By Data Mutation: A Case Study Of Testing An Automated Modelling Tool.
Comput. J.
Lijun Shan, Hong Zhu
2009 J jnl
Guest Editorial to the Special Issue on Automation of Software Testing.
Comput. J.
Hong Zhu, Shing-Chi Cheung, Joseph Robert Horgan, J. Jenny Li
2009 B conf
Modelling and Formal Specification of a Multiagent Telemedicine System for Diabetes Care.
ICAART
Iñaki Martínez-Sarriegui, Hong Zhu, Lijun Shan, Gema García-Sáez, Enrique J. Gómez, M. Elena Hernando
2009 Misc conf
Semantics of Metamodels in UML.
TASE
Lijun Shan, Hong Zhu
2009 — conf
Tool Support for Design Pattern Recognition at Model Level.
COMPSAC (1)
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett
2008 C conf
A Formal Descriptive Semantics of UML.
ICFEM
Lijun Shan, Hong Zhu
2008 — conf
A Framework for Agent-Based Service-Oriented Modelling.
SOSE
Zhi Jin, Hong Zhu
2008 C conf
A Virtual Machine for Distributed Agent-oriented Programming.
SEKE
Bin Zhou, Hong Zhu
2008 — conf
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
Hong Zhu, W. Eric Wong, Fevzi Belli
2008 J jnl
An adaptive casteship mechanism for developing multi-agent systems.
Int. J. Comput. Appl. Technol.
Xinjun Mao, Lijun Shan, Hong Zhu, Ji Wang
2008 — conf
Data Mutation Testing Applied to a Modelling Tool.
GI Jahrestagung (1)
Hong Zhu
2008 — conf
On the Composition of Design Patterns.
QSIC
Ian Bayley, Hong Zhu
2008 — conf
Ontology for Service Oriented Testing of Web Services.
SOSE
Yufeng Zhang, Hong Zhu
2008 — ed.
Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008.
AST@ICSE
Hong Zhu, W. Eric Wong, Fevzi Belli
2008 — ed.
Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK
QSIC
Hong Zhu
2008 — ch.
Software Verification and Validation.
Wiley Encyclopedia of Computer Science and Engineering
David Chenho Kung, Hong Zhu
2008 B conf
Specifying Behavioural Features of Design Patterns in First Order Logic.
COMPSAC
Ian Bayley, Hong Zhu
2008 A conf
Testing Java Components based on Algebraic Specifications.
ICST
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu
2008 C conf
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.
IDEAL
Du Zhang, Hong Zhu
2007 B conf
An experimental study of the emergent behaviors of self-organized agent communities.
IEEE Congress on Evolutionary Computation
Shufeng Wang, Hong Zhu
2007 — conf
Automated Testing EJB Components Based on Algebraic Specifications.
COMPSAC (2)
Liang Kong, Hong Zhu, Bin Zhou
2007 — conf
Automation of Software Test - Report on the Second Interional Workshop AST 2007.
ICSE Companion
Hong Zhu, W. Eric Wong, Amit M. Paradkar
2007 J jnl
Modelling Web Services in the agent-oriented modelling language and environment CAMLE.
Int. J. Simul. Process. Model.
Hong Zhu, Lijun Shan
2007 — ch.
Navigability Design and Measurement.
Encyclopedia of Portal Technologies and Applications
Hong Zhu, Yanlong Zhang
2007 — ed.
Proceedings of the Second International Workshop on Automation of Software Test, AST 2007, Minneapolis, MN, USA, May 26-26, 2007.
AST@ICSE
Hong Zhu, W. Eric Wong, Amit M. Paradkar
2006 — conf
A Framework for Service-Oriented Testing of Web Services.
COMPSAC (2)
Hong Zhu
2006 J jnl
Assuring quality of web-based applications.
Inf. Softw. Technol.
Hong Zhu, David Chenho Kung
2006 — ed.
Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006.
AST@ICSE
Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li
2006 J jnl
Shaping the emerging paradigm of agent-orientation: Special issue on agent-oriented software development methodologies.
Multiagent Grid Syst.
Hong Zhu
2006 C conf
Specifying Consistency Constraints for Modelling Languages.
SEKE
Lijun Shan, Hong Zhu
2006 — conf
Testing Software Modelling Tools Using Data Mutation.
AST@ICSE
Lijun Shan, Hong Zhu
2006 C conf
The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents.
SEKE
Xinjun Mao, Zhiming Chang, Lijun Shan, Hong Zhu, Ji Wang
2006 A* conf
The first international workshop on automation of software test.
ICSE
Hong Zhu, Joseph Robert Horgan, Shing-Chi Cheung, J. Jenny Li
2006 — conf
Tool Support to Model-based Quality Analysis of Software Architecture.
COMPSAC (1)
Qian Zhang, Jian Wu, Hong Zhu
2005 — conf
Agent Oriented Programming Based on SLABS.
COMPSAC (1)
Ji Wang, Rui Shen, Hong Zhu
2005 — conf
Agent-Oriented Modelling and Specification of Web Services.
WORDS
Hong Zhu, Lijun Shan
2005 — conf
Caste-Centric Agent-Oriented Programming.
QSIC
Ji Wang, Rui Shen, Hong Zhu
2005 — ch.
Caste-centric Modelling of Multi-agent Systems: The CAMLE Modelling Language and Automated Tools.
Model-Driven Software Development
Hong Zhu, Lijun Shan
2005 — conf
Empirical Validation of Website Timeliness Measures.
COMPSAC (1)
Yanlong Zhang, Hong Zhu, Sue Greenwood
2005 C conf
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems.
SEKE
Hong Zhu
2005 — book
Software design methodology - from pinciples to architectural styles.
Hong Zhu
2005 A conf
Towards an agent oriented programming language with caste and scenario mechanisms.
AAMAS
Ji Wang, Rui Shen, Hong Zhu
2004 — conf
Agent-Oriented Formal Specification of Web Services.
GCC Workshops
Hong Zhu, Bin Zhou, Xinjun Mao, Lijun Shan, David A. Duce
2004 — conf
CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment.
SELMAS
Lijun Shan, Hong Zhu
2004 B conf
Consistency Check in Modelling Multi-Agent Systems.
COMPSAC
Lijun Shan, Hong Zhu
2004 — conf
Cooperative Agent Approach to Quality Assurance and Testing Web Software.
COMPSAC Workshops
Hong Zhu
2004 C conf
Scenario Mechanism in Agent-Oriented Programming.
APSEC
Rui Shen, Ji Wang, Hong Zhu
2004 — conf
Website Complexity Metrics for Measuring Navigability.
QSIC
Yanlong Zhang, Hong Zhu, Sue Greenwood
2003 B conf
A Multi-Agent Software Environment for Testing Web-based Applications.
COMPSAC
Qingning Huo, Hong Zhu, Sue Greenwood
2003 — conf
A Note on Test Oracles and Semantics of Algebraic Specifications.
QSIC
Hong Zhu
2003 A conf
A formal specification language for agent-oriented software engineering.
AAMAS
Hong Zhu
2003 — conf
Caste: A Step beyond Object Orientation.
JMLC
Hong Zhu, David E. Lightfoot
2003 — conf
Modelling Cooperative Multi-agent Systems.
GCC (2)
Lijun Shan, Hong Zhu
2003 — conf
Modelling Multi-agent Systems with Soft Genes, Roles, and Agents.
AOSE
Qi Yan, Xinjun Mao, Hong Zhu, Zhi-Chang Qi
2003 — conf
Modelling and Specifying Scenarios and Agent Behaviour.
IAT
Lijun Shan, Hong Zhu
2003 — conf
Soft Gene, Role, Agent: MABS Learns from Sociology.
IAT
Qi Yan, Xinjun Mao, Lijun Shan, Zhi-Chang Qi, Hong Zhu
2002 J jnl
A methodology of testing high-level Petri nets.
Inf. Softw. Technol.
Hong Zhu, Xudong He
2002 B conf
Application of Hazard Analysis to Software Quality Modelling.
COMPSAC
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwood
2002 — conf
Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.
AOIS@AAMAS
Hong Zhu
2002 — conf
Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.
AOIS@CAiSE
Hong Zhu
2002 C conf
Formal Specification of Evolutionary Software Agents.
ICFEM
Hong Zhu
2002 J jnl
Software requirements validation via task analysis.
J. Syst. Softw.
Hong Zhu, Lingzi Jin, Dan Diaper, Ganghong Bai
2001 B conf
A Configuration Management System Supporting Component-Based Software Development.
COMPSAC
Lu Zhang, Hong Mei, Hong Zhu
2001 B conf
An Observational Theory of Integration Testing for Component-Based Software Development.
COMPSAC
Hong Zhu, Xudong He
2001 — conf
Quality Modelling for Web-Based Information Systems.
FTDCS
Yanlong Zhang, Hong Zhu, Sue Greenwood, Qingning Huo
2001 J jnl
SLABS: A Formal Specification Language for Agent-Based Systems.
Int. J. Softw. Eng. Knowl. Eng.
Hong Zhu
2001 B conf
The Role of Castes in Formal Specification of MAS.
PRIMA
Hong Zhu
2000 B conf
Automating Scenario-Driven Structured Requirements Engineering.
COMPSAC
Hong Zhu, Lingzi Jin
2000 — conf
Constructions of behaviour observation schemes in software testing.
HASE
Hong Zhu, Xudong He
2000 — conf
Formal Specification of Agent Behaviour through Environment Scenarios.
FAABS
Hong Zhu
2000 J jnl
Scenario Analysis in an Automated Tool for Requirements Engineering.
Requir. Eng.
Hong Zhu, Lingzi Jin
1998 J jnl
Specifications in software prototyping.
J. Syst. Softw.
Luqi, Carl K. Chang, Hong Zhu
1997 J jnl
Adequate testing of hypertext applications.
Inf. Softw. Technol.
Lingzi Jin, Hong Zhu, Patrick A. V. Hall
1997 C conf
Automatic Generation of Formal Specification from Requirements Definition.
ICFEM
Lingzi Jin, Hong Zhu
1997 J jnl
Software Unit Test Coverage and Adequacy.
ACM Comput. Surv.
Hong Zhu, Patrick A. V. Hall, John H. R. May
1996 J jnl
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria.
IEEE Trans. Software Eng.
Hong Zhu
1996 J jnl
A Formal Interpretation of Software Testing as Inductive Inference.
Softw. Test. Verification Reliab.
Hong Zhu
1996 C conf
Requirements Analysis and Specification as a Problem of Software Automation.
SEKE
Jiafu Xu, Hong Zhu
1996 — conf
Tool support of orderly transition from informal to formal descriptions in requirements engineering.
IFIP World Conference on IT Tools
J. Xu, Lingzi Jin, Hong Zhu
1995 J jnl
Axiomatic assessment of control flow-based software test adequacy criteria.
Softw. Eng. J.
Hong Zhu
1994 J jnl
How Powerful are Folding/Unfolding Transformations?
J. Funct. Program.
Hong Zhu
1994 Misc conf
Injecting Faults into Environment Simulators for Testing Safety Critical Software.
EDCC
Hong Zhu, Patrick A. V. Hall, John H. R. May, T. Cockram
1994 C conf
Knowledge engineering helps testing protection software.
SEKE
Hong Zhu, Patrick A. V. Hall, John H. R. May
1993 J jnl
Test data adequacy measurement.
Softw. Eng. J.
Hong Zhu, Patrick A. V. Hall
1992 J jnl
Inductive Inference and Software Testing.
Softw. Test. Verification Reliab.
Hong Zhu, Patrick A. V. Hall, John H. R. May
1989 Misc conf
A Knowledge-Based System to Synthesize FP Programs from Examples.
EPIA
Hong Zhu, Lingzi Jin
1989 — conf
A metalanguage to express human guidance for program transformation.
TAI
Lingzi Jin, Hong Zhu