Welcome to Hong Zhu's Website

07/27/23

List of publications in chronological order. Please click on the year that the paper published. 

[In Pipeline]

[2023][2022] [2021] [2020] 

[2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] [2011] [2010] 

[2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000]

[1999] [1998] [1997] [1996] [1995] [1994] [1993] [1992] [1991] [1990]

[1989] [1988] [1987] [1986] [1985] 

Note: 

• Identification numbers: Each publication is assigned with a unique identification number, which starts with [1] and increases consecutively. 

• Order of the papers in the list: The unique identification number assigned to a publication  is roughly in the order of its publication date. However, there are exceptions. For example, sometimes, a journal paper becomes available online before it is printed in a hardcopy issue. The identification number may be assigned when it becomes available online, but listed in the chronological order according to its printed date in the list. 

• Incompleteness of the list: I have tried to include as many publications as possible in this list. However, there are some exceptions. For example, sometimes, a paper may be first informally published as a technical report and formally published later in a conference proceedings, journal, or refereed book. Some of such technical reports are not listed here. Some technical reports are not formally published in any form, for example, because it contains detailed research data that are not suitable for conference or journal publication, or because it reports mainly intermediate research results. In this case, such a technical report may be listed here. Sometimes, a formal publication is based on such a technical report by removing raw data etc. In such cases, the formal publication is listed here with a hyper link to the technical report. Some editorial articles for journal special issues/sections are not listed here, too. They can be find in the list according to the type of  publication media. 

[In Pipeline]

2023 

[209] Hong Zhu, Thi Minh Tam Tran, Aduen Benjumea, Andrew Bradley, A Scenario-Based Functional Testing Approach to Improving DNN Performance, In Proceedings of IEEE 17th International Conference on Service-oriented Systems Engineering (IEEE SOSE 2023) ( invited paper), Athens, Greece, 17-20 July 2023, pp199-207. (Slides) (also appears at http://arxiv.org/abs/2307.0708 3) 

[208] Hong Zhu, The Datamorphic Testing Methodology: Principles, Tools and Applications to Machine Learning, Tutorial at AITest/CISOSE 2023, Athens, Greece, 17 July 2023. (Abstract, Slides)

2022

[207] Hong Zhu, Ian Bayley, and Mark Green. Metrics for Measuring Error Extents of Machine Learning Classifiers. In Proc. of the 2022 IEEE International Conference On Artificial Intelligence Testing (AITest 2022), 15-18 Aug. 2022, pp. 48-55.

[206] Hong Zhu, and Ian Bayley, Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing, Journal of Systems and Software, Vol. 187, Article 111231, May 2022, (Click here to download from the journal. Also Available on Arxiv). 

2020  

[205] Hong Zhu, Ian Bayley and Hongbo Wang, Continuous Debugging of Microservices,  in Proceedings of 2020 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), Dec. 17, 2020, pp736-745. 

[204] Hong Zhu and Ian Bayley, Exploratory Datamorphic Testing of Classification Applications, The 1st IEEE/ACM International Conference on Automation of Software Test (AST 2020), Seoul, South Korea, May 25-26, 2020, pp51-60. 

[203] Hong Zhu, Ian Bayley, Dongmei Liu and Xiaoyu Zheng, Automation of Datamorphic Testing, The Second IEEE International Conference on Artificial Intelligence Testing (AITest 2020), Oxford, UK, April 13 - 16, 2020, pp64-72. 

[202] Xiaoyu Zheng, Dongmei Liu, Hong Zhu and Ian Bayley, Pattern-based Approach to Model and Verify System Security, The 14th IEEE International Conference on Service-Oriented System Engineering (SOSE 2020), Oxford, UK, April 13-16, 2020, pp92-102. 

2019

[201] Hong Zhu, Ian Bayley, Dongmei Liu, and Xiaoyu Zheng, Morphy: A Datamorphic Software Test Automation Tool, Technical Report OBU-ECM-AFM-2019-01, School of Engineering, Computing and Mathematics, Oxford Brookes University, Oxford, UK. 9 Dec. 2019. Also available on Arxiv at http://arxiv.org/abs/1912.09881 

[200] Zhu, H., Liu, D., Ian Bayley, I., Harrison, R. and Cuzzolin, F., Datamorphic Testing: A Method for Testing Intelligent Applications, The 1st IEEE International Conference On Artificial Intelligence Testing (IEEE AITest 2019), San Francisco, California, USA, April, 4 - 9, 2019, pp64-72. (Slides)

[199] Zhu, H., Liu, D., Ian Bayley, I., Harrison, R. and Cuzzolin, F., “Datamorphic Testing: A Methodology for Testing AI Applications”, Technical Report OBU-ECM-AFM-2018-02, School of Engineering, Computing and Mathematics, Oxford Brookes University, Oxford OX33 1HX, UK, Dec. 21, 2018. (Note: This technical report is an extended version of conference paper [200]) Also available on Arxiv at http://arxiv.org/abs/1912.04900 

[198] Hong Zhu, Software Testing as A Problem of Machine Learning: A Survey and Critical Review, Technical Report OBU-ECM-AFM-2018-01, Applied Formal methods Research Group, School of Engineering, Computing and Mathematics, Oxford Brookes University, Oxford OX33 1HX, UK, Dec 12, 2018. (Submitted to The Journal of Software Testing, verification and Reliability)

2018

[---] Hong Zhu, Programming Microservices in Service Agent oriented Language and Environment, Tutorial Presented at the 2018 IEEE World Congress on Services, San Francisco, USA, 2 July 2018. (Slides: Part 1: Introduction to Microservices; Part 2: Programming Language CAOPLE; Part 3: Integrated DevOps Environment CIDE). 

[197] Hong Zhu, Hongbo Wang and Ian Bayley, Formal Analysis of Load Balancing in Microservices with Scenario Calculus, Proc. of the 2018 IEEE International Conference on Cloud Computing (IEEE CLOUD 2018), San Francisco, USA, 2-6 July, 2018, pp908-911. (Slides)

[196] Hong Zhu, Ian Bayley, Discovering and Investigating Cyberpatterns, IEEE Systems, Man and Cybernetics Magazine, Vol. 4, No. 3, July 2018, pp14-22. 

[195] Hong Zhu, Software Testing as A Problem of Machine Learning: Towards a Foundation on Computational Learning Theory, (Extended Abstract of Keynote Speech), Proceedings of the 2018 IEEE/ACM 13th International Workshop on Automation of Software Test (AST 2018) at ICSE 2018, 28-29 May 2018, Gothenburg, Sweden. (Slides)

[194] Hong Zhu and Ian Bayley, If Docker Is The Answer, What Is The Question? A Case for Software Engineering Paradigm Shift Towards Service Agent Orientation, Proc. of The 12th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2018), Bamberg, Germany, March 26 – 29, 2018, pp152-163. 

2017

[193] Hong Zhu, Cyberpatterns: Towards A Pattern Oriented Study of Cyberspace, Abstract of Keynote Speech at The 2017 World Cybermatics Congress (Cybermatics 2017), Jun. 21-23, 2017, Exeter, UK. (Slides)

[192] Hong Zhu, Dongmei Liu, Ian Bayley, Arantza Aldea, Yunfei Yang, and Ying Chen, Quality Model and Metrics of Ontology for Semantic Descriptions of Web Services, TSINGHUA SCIENCE AND TECHNOLOGY, Vol. 22, No. 3, Jun. 2017, pp254-272.

[---] Hong Zhu, New Trends in Service Oriented Systems Engineering, Online Informal Publication Distributed to Social Networking Media WeChat, April 11th 2017. 

2016

[191] Desheng Liu,  Hong Zhu, Chengzhi Xu,  Ian Bayley, David Lightfoot, Mark Green and Peter Marshall, CIDE: An Integrated Development Environment for Microservices, in Proc. of 2016 IEEE International Conference on Services Computing (SCC 2016), 27 June -- 2 July, 2016, San Francisco, CA, USA, pp808-812. (Presentation Slides)

[190]  Adewole Ogunyadeka, Muhammad Younas, Hong Zhu and Arantza Aldea, A Multi-Key Transactions Model for NoSQL Cloud Database Systems, Proc. of the 2nd IEEE International Conference on Big Data Computing Service and Applications (BigDataService 2016), Oxford, England, UK, 29 March -1 April 2016. 

[189] Chengzhi Xu, Hong Zhu, Ian Bayley, David Lightfoot, Mark Green and Peter Marshall,  CAOPLE: A Programming Language for Microservices SaaS, Proc. of  the 10th IEEE International Conference on Service Oriented System Engineering (SOSE 2016), Oxford, England, UK, 29 March -1 April 2016.

[188] Dongmei Liu, Xian Wu, Xin Zhang, Hong Zhu and Ian Bayley, Monic Testing of Web Services Based on Algebraic Specifications, Proc. of  the 10th IEEE International Conference on Service Oriented System Engineering (SOSE 2016), Oxford, England, UK, 29 March -1 April 2016. (For more details, see also Technical Report CCT-AFM-2015-12-12, Department of Computing and Communication Technologies, Oxford Brookes University, Oxford OX33 1HX, UK, Dec. 2015.)

[187] Dongmei Liu, Yunfei Yang, Ying Chen, Hong Zhu, Ian Bayley and Arantz Aldea, Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications, Proc. of  the 10th IEEE International Conference on Service Oriented System Engineering (SOSE 2016), Oxford, England, UK, 29 March -1 April 2016.

2015

[179] Hong Zhu and Ian Bayley, On the Composibility of Design Patterns, IEEE Transactions on Software Engineering Vol. 41, No. 11, pp1138-1152. Nov. 2015. (Also see Technical Report CCT-AMF-2014-01, Department of Computing and Communication Technologies, Oxford Brookes University, Oxford, UK. Oct. 2014.) 

[186]  Hong Zhu,  Ian Bayley,  Muhammad Younas,  David Lightfoot,  Basel Yousef,  and Dongmei Liu, Big SaaS: The Next Step Beyond Big Data, Visionary Track, Proc. of the 8th IEEE International Congress on Big Data (Big Data Congress 2015), June 27 - July 2, 2015, New York, USA, pp775-784. 

[185] Hong Zhu, Basel Yousef, and Muhammad Younas, Evaluation of A Tenant Level Checkpointing Technique For SaaS Applications, Proc. of the 8th IEEE International Conference on Cloud Computing (IEEE CLOUD 2015), June 27 - July 2, 2015, New York, USA, pp989-994. 

[184] Lijun Shan, Chenglie Du, and Hong Zhu, Modeling and Simulating Adaptive Multi-Agent Systems with CAMLE, Procedings of 2015 IEEE 39th Annual International Computers, Software & Applications Conference (COMPSAC 2015),  1-5 July, Taichung, Taiwan, Vol. 2, pp147-152. 

[183] Dongmei Liu, Yuxin Liu, Xin Zhan, Hong Zhu and Ian Bayley, Automated Testing of Web Services Based on Algebraic Specification, Proceedings of 9th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2015), March 30 - April 3rd 2015, Redwood City, CA, USA, pp143-152. 

[182] Hong Zhu, JFuzz: A Tool for Automated Java Unit Testing based on Data Mutation and Metamorphic Testing Methods, Proc. of   the 2nd International Conference on Trustworthy Systems and Their Applications (TSA 2015), 8-9 July 2015, Hualien, Taiwan, pp8-15. (See also Technical Report CCT-AFM-2015-01, Applied Formal Methods Research Group, Department of Computing and Communication Technology, Oxford Brookes University, Oxford, UK, 7 Feb. 2015.)

2014

[181] Hong Zhu, Qian Zhang and Yanlong Zhang, HASARD: A Model-Based Method for Quality Analysis of Software Architecture, Chapter 5, Relating System Quality to Software Architecture, Ivan Mistrik, Peter Eeles, Rami Bahsoon, and Michael Stal (Eds.), pp123-156, Elsvier. July 2014. 

[180] Dongmei Liu, Hong Zhu, and Ian Bayley, Transformation of Algebraic Specifications into Ontological Semantic Descriptions of Web Services, International Journal of Services Computing (IJSC), Vol. 2, No. 1, March, 2014, pp. 58-71.

[178] Clive Blackwell and Hong Zhu (eds.), CyberPatterns: Unifying Design Patterns with Security Patterns and Attack Patterns; Springer, 2014. 

[177] Hong Zhu, Cyberpatterns: Towards a Pattern Oriented Study of Cyberspace, Introduction Chapter in CyberPatterns: Unifying Design Patterns with Security Patterns and Attack Patterns; Clive Blackwell and Hong Zhu (eds.), Springer, 2014. 

[176] Hong Zhu, Design Space-Based Pattern Representation, Chapter in CyberPatterns: Unifying Design Patterns with Security Patterns and Attack Patterns; Clive Blackwell and Hong Zhu (eds.), Springer, 2014. 

[175] Clive Blackwell and Hong Zhu, Future Directions for Research on Cyberpatterns, Conclusion Chapter in CyberPatterns: Unifying Design Patterns with Security Patterns and Attack Patterns; Clive Blackwell and Hong Zhu (eds.), Springer, 2014. 

[174] Dongmei Liu, Hong Zhu and Ian Bayley, SOFIA: An Algebraic Specification Language for Developing Services, In Proc. of The 8th IEEE International Symposium on Service-Oriented Systems Engineering (SOSE 2014) 7 ~11 April, 2014, Oxford, UK, pp70-75. 

[173] Basel Yousef, Hong Zhu and Muhammad Younas, Tenant Level Checkpointing of Meta-Data for Multi-Tenancy SaaS, In Proc. of The 8th IEEE International Symposium on Service-Oriented Systems Engineering (SOSE 2014) 7 ~11 April, 2014, Oxford, UK, pp148-153. 

2013

[172] Liang Xiao, John Fox, and Hong Zhu, "An Agent-oriented Approach to Support Multidisciplinary Care Decisions", Proc. of the 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS 2013), IEEE Computer Society Press. August 29-30, 2013, Budapest, Hungary. 

[171] Liang Xiao, John Fox, and Hong Zhu, "Developing an Open and Adaptive Agent Architecture to Support Multidisciplinary Decision Making", Proc. of the 14th International Conference on Artificial Intelligence in MEdicine (AIME2013), Workshop 2: Agents Applied in Health Care, May 29 - June 1, 2013, Murcia, Spain. 

[170] Hong Zhu and Yufeng Zhang, A Test Automation Framework for Collaborative Testing of Web Service Dynamic Compositions, Chapter 8, in Advanced Web Services, Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian (Eds.), Springer.2014. ISBN 978-1-4614-7535-4. pp171- 197. 

[169] Zhu, H. and Bayley, I., An Algebra of Design Patterns, ACM Transactions on Software Engineering and Methodology, Vol. 22, No. 3, Article 23. doi>10.1145/2491509.2491517

[168] Yongpeng Liu, Hong Zhu, Kai Lu, and Xiaoping Wang, Self-Adaptive Management of Idle Nodes in Large Scale Systems, International Journal of Next-Generation Computing, Vol. 2, No. 4, 143~161. July 2013. 

[167] Dongmei Liu, Hong Zhu and Ian Bayley, From Algebraic Formal Specification to Ontological Description of Service Semantics, Proceedings of the IEEE 20th International Conference on Web Services (ICWS 2013), June 27-July 2, 2013, Santa Clara Marriott, CA, USA. 

[166] Dongmei Liu, Hong Zhu and Ian Bayley, A Case Study on Algebraic Specification of Cloud Computing, Proc. of the 21st Enuromicro International Conference on Parallel, Distributed and network-Based Processing (PDP 2013), 27 Feb. ~ 1 Mar., 2013, Queen’s University Belfast, Northern Ireland.

2012

[165] Yongpeng Liu, Hong Zhu, Kai Lu. Self-Adaptive Management of the Sleep Depths of Idle Nodes in Large Scale Systems to Balance between Energy Consumption and Response Times. Proc. of the 4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2012). Taipei, Taiwan, Dec. 3-6, 2012. (Preprint version)(Slides)

[164] Dongmei Liu, Hong Zhu and Ian Bayley, Applying Algebraic Specification To Cloud Computing -- A Case Study of Infrastructure-as-a-Service GoGrid, Proc. of The Seventh International Conference on Software Engineering Advances (ICSEA 2012), November 18-23, 2012 - Lisbon, Portugal. pp407-414. (Preprint version). 

[163] Lijun Shan and Hong Zhu, Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy, International Journal of Software and Informatics, Vol. 6, No. 2, pp163~200. July 2012. (preprint version)

[162] Zhu, H., Towards A General Theory of Patterns, Proc. of the 1st International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns, Abingdon, UK, 9~10 July, 2012, pp1~4. (Slides)

[161] Yongpeng Liu, Hong Zhu, Kai Lu and Yongyan Liu, A Power Provision and Capping Architecture for Large Scale Systems, Proc. of the 8th Workshop on High-Performance, Power-Aware Computing (HPPAC 2012) at IPDPS 2012, May 21-25, 2012, Shanghai, China, IEEE CS. pp.954-963. (EI：DOI 10.1109/IPDPSW.2012.117) (Preprint version)

[160] Zhu, H. Software Cybernetics in the Age of Cloud Computing, Keynote at the 9th International Workshop on Software Cybernetics, COMPSAC 2012, 16 July, 2012, Izmir, Turkey. (Abstract) (Slides)

[159] Zhu, H., Can Software Design Benefit from Creative Computing? Position Statement, Panel on Creative Computing: Reconciling Objective Precision with Subjective Ambiguity, Proc. of  The 36th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2012), Izmir, Turkey, 16-20 July 2012. IEEE CS, pp310-311.(DOI 10.1109/COMPSAC.2012.119)  (Slides)

[158] Zhu, H., Can Testing Prove Software Has No Bug? Position Statement, Panel on Software Testing, Software Quality and Trust in Software-Based Systems, Proc. of  The 36th IEEE Annual International Computer Software and Applications Conference COMPSAC 2012, Izmir, Turkey, 16-20 July 2012. IEEE CS, pp255-255. (DOI 10.1109/COMPSAC.2012.109) (Slides)

[157] Shufeng Wang and Hong Zhu, CATest: A Test Automation Framework for Multi-Agent Systems, Proc. of  The 36th IEEE Annual International Computer Software and Applications Conference (COMPSAC 2012),  Izmir, Turkey, 16-20 July 2012. pp148-157. (DOI 10.1109/COMPSAC.2012.24) (preprint version). (Slides)

[156] Ian Bayley and Hong Zhu, A Formal Language for the Expression of Pattern Compositions, International Journal on Advances in Software, ISSN 1942-2628, http://www.iariajournals.org/software/, Vol. 4, No. 3&4, 2011,pp354 - 366.

[155] Hong Zhu and Yufeng Zhang, Collaborative Testing of Web Services, IEEE Transactions on Services Computing, Vol. 5, No.1, pp116-130. Jan.- Mar. 2012. DOI: http://doi.ieeecomputersociety.org/10.1109/TSC.2010.54.

[154] Hong Zhu, An Institution Theory of Formal Meta-Modelling in Graphically Extended BNF, Frontier of Computer Science. Vol. 6, No.1, pp40-56. Springer,  Jan. 2012. doi:10.1007/s11704-012-2902-4. 

2011

[153] Zhi Jin and Hong Zhu, Unifying Domain Ontology with Agent-Oriented Modeling of Services. Proc. of The 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE'11), 12-14 Dec. 2011, Irvine, California, USA.pp31-42. 

[152] Yongpeng LIU, Hong ZHU, Yongyan LIU, Feng WANG, and Baohua FAN, Parallel Compression Checkpointing for Socket-Level Heterogeneous Systems, Porc. of the 13th IEEE International Conference on High Performance Computing and Communications (HPCC-2011). Banff, Alberta, Canada, Sep 02-04, 2011, pp468-476. (Print)

[151] Yufeng Zhang and Hong Zhu, An Intelligent Broker Approach to Semantics-based Service Composition, Proc. of the 35th IEEE Annual Computer Software and Applications Conference (COMPSAC 2011), 18-22 July 2011, Munich, Germany. pp20-25. (Print)

2010

[151] Hong Zhu, Fang Wang and Shufeng Wang, On the Convergence of Autonomous Agent Communities, Multi-Agent and Grid Systems: An International Journal, Vol. 6. No. 4. pp315-352, Dec. 2010. (Preprint)

[150] Ian Bayley and Hong Zhu, A Formal Language of Pattern Composition, Proceedings of The Second International Conferences on Pervasive Patterns (PATTERNS 2010), Lisbon, Portugal, Nov. 2010, IARIA, 2010, ISBN: 978-1-61208-001-7, pp1-6. 

[149] Hong Zhu and Ian Bayley, Laws of Pattern Compositions, Formal Methods and Software Engineering -- Proceedings of the 12th International Conference on Formal Engineering Methods (ICFEM 2010), Shanghai, China, Nov. 2010, JinSong Dong, and Huibiao Zhu (Eds.),  LNCS 6447, Springer, 2010, pp630-645.

[148] Yongpeng Liu and Hong Zhu, A Survey of Research on Power Management Techniques for High Performance Systems, Software: Practice and Experience, Volume 40, Issue 11, pp943–964, October 2010. (DOI: 10.1002/spe.952) (Preprint)

[147] Hong Zhu, On The Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic, Prof. of TASE 2010, IEEE CS Press, pp95-104 (Preprint). 

[146] Hong Zhu and Bo Yu, Algebraic Specification of Web Services, Proc. of the 10th International Conference on Quality Software (QSIC 2010), IEEE CS Press, pp457-464. (Preprint)

[145] Hong Zhu and Bo Yu, An Experiment with Algebraic Specifications of Software Components, Proc. of the 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China, 14-15, July 2010, pp190-199 (Preprint)

[144] Ian Bayley and Hong Zhu, Formal Specification of the Variants and Behavioural Features of Design Patterns, Journal of Systems and Software Vol. 83, No. 2, Feb. 2010, pp 209–221 (Available online at the journal's website at URL: http://dx.doi.org/10.1016/j.jss.2009.09.039) (Preprint)

2009

[143] Hong Zhu, Lijun Shan, Ian Bayley and Richard Amphlett, A Formal Descriptive Semantics of UML And Its Applications, in UML 2 Semantics and Applications, Kevin Lano (Eds.), John Wiley & Sons, Inc. ISBN-13: 978-0470409084, pp95-123, Nov. 2009. 

[142] David Kung, Hong Zhu, Software Verification and Validation, Encyclopedia of Computer Science and Engineering, Benjamin Wah (Ed.), John Wiley & Sons, Inc. ISBN: 978-0-471-38393-2, February 2009,  (Click here for the pre-publication draft)  

[141] Lijun Shan and Hong Zhu, Semantics of Metamodels in UML, Proc. of  The 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), Tianjin, China,29-31 July 2009, pp55-62.

[140] Hong Zhu, Ian Bayley, Lijun Shan and Richard Amphlett, Tool Support for Design Pattern Recognition at Model Level, Proc. of COMPSAC'09, Seattle, Washington, USA, 20-24 July 2009.  (Slides)

[139] Iñaki Martinez-Sarriegui,  Hong Zhu,  et al., Modelling and formal specification of a multiagent telemedicine system for diabetes care, International Conference on Agents and Artificial Intelligence (ICAART'2009), Porto, Portugal, January 19-21, 2009, pp507-512. 

[124] Lijun Shan and Hong Zhu, Generating Structurally Complex Test Cases by Data Mutation: A Case Study of Testing an Automated Modelling Tool, Special Issue on Automation of Software Test, the Computer Journal. Aug. 2009; Vol. 52, No. 5: pp571-588; doi:10.1093/comjnl/bxm043 (Advance Access June 28, 2007. doi:10.1093/comjnl/bxm043). 

2008

[138] Yufeng Zhang and Hong Zhu, Ontology for Service Oriented Testing of Web Services, Proc. of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), Dec. 18-19, 2008, Taiwan.

[137] Zhi Jin and Hong Zhu, An Agent-based Approach for Service-Oriented Modeling, Proc. of The Fourth IEEE International Symposium on Service-Oriented System Engineering (SOSE 2008), Dec. 18-19, 2008, Taiwan. 

[136] Hong Zhu: Data Mutation Testing Applied to a Modelling Tool. GI Jahrestagung (1) 2008. pp175-176. (Extended abstract of keynote speech at MOTES'08). 

[135] Du Zhang and Hong Zhu, When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency, Intelligent Data Engineering and Automated Learning – IDEAL 2008, Lecture Notes in Computer Science, Volume 5326, Nov. 2008, pp395-403. (DOI:10.1007/978-3-540-88906-9)

[134] Lijun Shan and Hong Zhu, A Formal Descriptive Semantics of UML, Proc. of ICFEM 2008, 27-31 October 2008 Kitakyushu-City, Japan, pp375-396. (Slides)

[133] Ian Bayley and Hong Zhu, On the Composition of Design Patterns, Proc. of QSIC 2008, IEEE CS Press, 12-13 August, 2008, Oxford, UK, pp27-36.  

[132] Ian Bayley and Hong Zhu, Specifying Behavioural Features of Design Patterns in First Order Logic, Proc. of COMPSAC 2008, pp 203-210. (Winner of COMPSAC 2008 Best Paper Award) (Note: A full length version of the paper with specifications of all 23 design patterns in the GoF book is available in the technical report of the same title, i.e. TR-08-01, Department of Computing, School of Technology, Oxford Brookes University, Oxford, UK). (Slides)

[131] Yu Liu and Hong Zhu, An Experimental Evaluation of the Reliability of Adaptive Random Testing Methods, Proc. of The Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008), Yokohama , Japan, July 14-17, 2008, pp24-31.  

[130] Bin Zhou and Hong Zhu, A Virtual Machine for Distributed Agent-Oriented Programming, Proc. of SEKE 2008,  Redwood City, San Francisco Bay, USA, July 1 - July 3, 2008, pp729-734.

[129] Xinjun Mao, Lijun Shan, Hong Zhu and Ji Wang, An Adaptive Casteship Mechanism for Developing Multi-Agent Systems, Second Special Issue on Agent-Oriented Software Development Methodologies, International Journal of Computer Application in Technology, Vol. 31, Nos. 1/2, 2008, pp17-34. 

[128]  Bo Yu, Liang Kong, Yufeng Zhang, and Hong Zhu, Testing Java Components Based on Algebraic Specifications, Proc. of ICST 2008, April 9-11, 2008, Lillehammer, Norway, pp190-199. 

2007

[127] Shufeng Wang, Hong Zhu, An Experimental Study of the Emergent Behaviors of Self-Organized Agent Communities, Proceedings of the 2007 IEEE Congress on Evolutionary Computation (CEC 2007), Singapore, Sept. 25-28, 2007. IEEE CS Press 2007. 

[126] Ian Bayley and Hong Zhu, Formalising Design Patterns in Predicate Logic, The 5th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS, London, United Kingdom, September 12-14, 2007, pp25-36. (Slides) 

[125] Zhu, H. and Shan, L., Agent-Oriented Modelling and Specification of Web Services, International Journal of Simulation and Process Modelling, Special Issue on Trustworthy Web Services, Vol. 3, No.1&2, pp26 – 44, August, 2007.

[123] Liang Kong, Hong Zhu and Bin Zhou, Automated Testing EJB Components Based on Algebraic Specifications, Proceeding of the First IEEE International Workshop on Testing Emergent Software Technologies (TEST 2007), Beijing, China, July 27, 2007. in Proc. of COMPSAC 2007 Vol. 2, pp717-722. IEEE CS Press 2007. 

[122] Martin Randles, Hong Zhu and A. Taleb-Bendiab, A Formal Approach to the Engineering of Emergence and its Recurrence, Proceedings of The Second International Workshop on Engineering Emergence in Decentralised Autonomic Systems (EEDAS 2007), Jacksonville, Florida, USA, June 11, 2007, pp12-21. Greenwich University Press, London , UK , 2007. 

[121]  Hong Zhu and Yanlong Zhang, Navigability Design and Measurement, Encyclopedia of Portal Technology and Applications, Arthur Tatnall (eds.), Idea Group Inc., 2007, pp642-646.

2006

[120] Hong Zhu, Shaping the Emerging Paradigm of Agent-Orientation, Editorial of the Special Issue on Agent-Oriented Software Development Methodologies, International Journal of Multi-Agent and Grid Systems, Volume 2, Number 4, Dec. 2006, pp301 – 304.

[119] Hong Zhu and David Kung, Assuring Quality of Web-based Applications, Editorial of Special Issue on Quality Assurance and Testing of Web-based Applications, Journal of Information and Software Technology, Volume 48 ,  Issue 12  (December 2006), pp1135-1136. 

[118]  Bayley, I. and Zhu, H., Formal Specification of Design Patterns as Structural Properties. Technical Report DOC-TR-07-01, Department of Computing, School of Technology, Oxford Brookes University, Oxford, UK, Jan. 2007.

[117]  Hong Zhu, A Framework for Service-Oriented Testing of Web Services, 3rd International Workshop on Quality Assurance and Testing Web-based Applications, Proc. of COMPSAC’06, Sept. 2006, Chicago, USA, pp679-691.

[116] Qian Zhang,  Jian Wu,  Hong Zhu, Tool Support to Model-based Quality Analysis of Software Architectures, COMPSAC’06, Chicago, USA, IEEE CS, Sept. 2006, pppp121-128.

[115] Zhu, H., Towards An Agent-Oriented Paradigm of Information Systems, Handbook of Research on Nature Inspired Computing for Economy and Management, Jean-Philippe Rennard (Ed.), Chapter XLIV, Idea Group Inc. 2006, pp679-691.

[114] Lijun Shan, Rui Shen, Ji Wang, Hong Zhu, Caste-centric Development of Agent Oriented Information Systems, Handbook of Research on Nature Inspired Computing for Economy and Management, Jean-Philippe Rennard (Ed.), Chapter XLV, Idea Group Inc. 2006, pp692-707.

[113] Qian Zhang and Hong Zhu, Automated Analysis of Software Designs with Graphic Quality Models, Proc. of The 10th WSEAS International Conference on Computers, Vouliagmeni, Athens, Greece, July 13-15, 2006, also in WSEAS Transactions on Computers, Vol. 5, Issue 10, Oct. 2006, ISSN 1109-2750, pp2232-2237.

[112]  Xinjun Mao, Zhiming Chang, Lijun Shang, Hong Zhu and Ji Wang, The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents, In Second International Workshop on Agent-oriented Software Development Methodologies (AOSDM’06), in Proc. of SEKE’06, San Francisco, USA, IEEE CS, July, 2006.

[111] Lijun Shan and Hong Zhu, Specifying Consistency Constraints for Modelling Languages, The Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'06), San Francisco, USA, July 5-7, 2006.

[110] Shan, L. and Zhu, H., Testing Software Modelling Tools Using Data Mutation, Proc. of AST’06, Shanghai, China, May 23, 2006. ACM Press.

[109] Zhu, H. and Shan, L., Well-Formedness, Consistency and Completeness of Graphic Models, Proc. of UKSIM’06, Oxford, UK, April 4-6, 2006. pp47-53.

2005

[108]  Wang, J., Shen, R. and Zhu, H., Caste-Centric Agent-Oriented Programming, Proc. of First International Workshop on Integration of Software Engineering and Agent Technology at QSIC’05, Sept. 2005.

[107]  Wang, J., Shen, R. and Zhu, H., Towards an agent-oriented programming language with caste and scenario mechanisms, Proceedings of AAMAS’05, Utrecht, Netherlands, July 27 - 29, 2005.

[106]  Zhang, Y., Zhu, H. and Greenwood, S., Empirical validation of Website Timeliness Metrics, Proceedings of COMPSAC’05, Edinburgh, July 25~28, 2005, pp313-318.

[105]  Wang, J., Shen, R. and Zhu, H., Agent Oriented Programming based on SLABS, Proceedings of COMPSAC’05, Edinburgh, July 25~28, 2005, pp127-132

[104]  Zhu, H., Formal Reasoning about emergent behaviour in MAS, Proceedings of SEKE’05, July 14~16, 2005. Taipei, pp280-285

[103]  Zhu, H. and Shan, L., Caste-Centric Modelling of Multi-Agent Systems: The CAMLE Modelling Language and Automated Tools, in Beydeda, S. and Gruhn, V. (eds) Model-driven Software Development, Research and Practice in Software Engineering, Vol. II, Springer, 2005, pp57-89.

[102]  Zhu, H. and Shan, L., Agent-Oriented Modelling and Specification of Web Services, Proc. of  Tenth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS 2005) February 2-4, 2005, Sedona,  Arizona, USA, pp152-159.

[101]  Zhu, H. and Huo, Q., Developing A Software Testing Ontology in UML for A Software Growth Environment of Web-Based Applications, Chapter IX: Software Evolution with UML and XML, Hongji Yang (ed.). IDEA Group Inc. 2005, pp263-295.

[100]  Zhu, H., Software Design Methodology - From Principles to Architectural Styles, Elsevier Science and Technology, Elsevier Science, 2005.

[99]  Shan, L. and Zhu, H., CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment, in Software Engineering for Multi-Agent Systems III, Ricardo Choren,  Alessandro Garcia, Carlos Lucena, and Alexander Romanovsky (eds.),  Springer, 2005, pp144-161.

[98]  Zhu, H. and He, X., A Methodology of Component Integration Testing, in Testing Commercial-Off-The-Shelf Components and Systems, Sami Beydeda and Volker Gruhn (ed.), Springer, 2005, pp239-269.

2004

[97]  Shen, R., Wang, J. and Zhu, H., Scenario Mechanism in Agent-Oriented Programming, in Proc. of APSEC’04. Nov. 2004.

[96]  Zhu, H., Zhou, B., Xinjun Mao, X., Shan, L. Duce, D., Agent-Oriented Formal Specification of Web Services, in Proc. of  International Workshop on Agents and Autonomic Computing and Grid Enabled Virtual Organizations (AAC-GEVO’2004) at the 3rd International Conference on Grid and Cooperative Computing (GCC’2004), Wuhan, China, 21-24 October 2004.

[95]  Zhu, H. Cooperative Agent Approach to Quality Assurance and Testing Web Software, Proc. of COMPSAC’04 (Workshop papers and Fast Abstracts), the Workshop on Quality Assurance and Testing of Web-Based Applications, Sept. 2004, IEEE CS, Hong Kong,pp110-113.

[94]  Shan, L. and Zhu, H., Consistency Check in Modeling Multi-Agent Systems, Proc. of COMPSAC’04 Sept., IEEE CS, Hong Kong, pp114-121.

[93]   Zhang, Y., Zhu, H. and Greenwood, S., Website Complexity Metrics for Measuring Navigability, Proc. of 4^th International Conference On Quality Software (QSIC’04), Braunschweig, Germany, September, 2004.

[92]   Shan, L. and Zhu, H., CAMLE: A Caste-Centric Agent-Oriented Modelling Language and Environment, Proc. of SELMAS’04 at ICSE’94, May 2004, Edinburgh, UK, IEE 2004, pp66-73.

2003

[91]  Shan, L., and Zhu, H., Modelling cooperative multi-agent systems, Grid and Cooperative Computing: Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, ISBN: 3-540-21993-5, Lecture Notes in Computer Science, Springer-Verlag, Volume 3033, April 2004, pp994 – 1001.

[90]  Shan, L., and Zhu, H., Modelling and specification of scenarios and agent behaviour, in Proc. of IEEE/WIC conference on Intelligent Agent Technology (IAT’03), Halifax, Canada, Oct. 2003, IEEE CS, pp32-38.

[89]  Yan, Q., Mao, X., Shan, L., Qi, Z. and Zhu, H., Soft gene, role, Agent: MABS learns from sociology, in Proc. of IEEE/WIC conference on Intelligent Agent Technology (IAT’03), Halifax, Canada, Oct. IEEE CS, 2003, pp450-453.  

[88]  Zhu, H., and Lightfoot, D., Caste: A step beyond object orientation, in Modular Programming Languages -- Proc. of JMLC'2003, Aug. 2003, Austria, Boszormenyi, L., and Schojer, P. (eds), LNCS 2789, Springer, 2003, pp59-62.

[87]   Zhu, H., A formal specification language for agent-oriented software engineering, in Proc. of AAMAS'2003, July, 2003, Melbourne, Australia, pp1174 – 1175. (See Technical Report DoC-TR-03-01 for the full length version of the paper)

[86]  Zhu, H., Huo, Q., and Greenwood, S., A Multi-Agent Software Environment for Testing Web-based Applications, in Proc. of IEEE COMPSAC'03, Dallas, USA, Nov. 2003. pp210-215.

[85]  Zhu, H., A Note on Test Oracles and Semantics of Algebraic Specifications, in Proc. of QSIC'03, Dallas, USA, Nov. 2003, pp91-99.

2002

[84]  Zhu, H., A growth process model and its supporting tools for developing web-based software, ACTA ELECTRONICA SINICA，VOL. 30, No. 12A, pp2090~2093, Dec. 2002.  (In Chinese, 朱鸿，Web软件的生长式开发过程模型及其支撑工具，电子学报)

[83]  Zhu, H.,  Software Growth Model and Web Application Development, Proc. of NASAC’2002, Shanghai, China, Nov. 2002.(In Chinese, 朱鸿，软件生长过程模型与Web软件开发 )

[82]  Zhu, H., Formal Specification of Evolutionary Software Agents, Proc. ICFEM’2002, Shanghai, China, Oct. 2002, Springer LNCS 2495, Formal Methods and Software Engineering, George, C. and Miao, H., (eds), 2002, pp249~261.

[81]  Huo, Q., Zhu, H. and Greenwood, S., Using Ontology in Agent-based Web Testing, Proc. of ICIIT’2002, 22~25 Sept., 2002, Beijing, China, pp464-472

[80]  Zhu, H., Zhang, Y., Huo, Q. and Greenwood, S., Application of Hazard Analysis to Quality Modelling, proc. of IEEE COMPSAC’2002, Oxford, UK, 26~29 August, 2002, pp139~144.

[79]  Zhu, H., Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem, Proc. of AOIS’2002 at AAMAS’02, Bologna, Italy, 16 July, 2002, pp20~34.

[78]  Zhu, H. and He, X., A methodology of testing high-level Petri nets, Information and Software Technology, Volume 44, Issue 8, 1 June 2002, Pages 473-489.

[77]  Zhu, H., Jin, L., Diaper, D., Software requirements validation via task analysis, Journal of System and Software, March 2002, Vol 61, Issue 2, pp145~169.

[76]  Zhang, Y., Zhu, H., Greenwood, S. and Huo, Q., Deriving Quality Models of Web-Based Information Systems, in Proc. of 2nd ASERC Workshop on Quantitative and Soft Computing Based Software Engineering, February 18-21, 2002, Banff, Alberta, Canada.

[75]   Zhu, H., and He, X., A Theory of Behaviour Observation in Software Testing, Technical report CMS-TR-99-05, School of Computing and Mathematical Sciences, Oxford Brookes University, UK, 20 August 1999.

[74]  Zhu, H., Validating Algebraic Class Testing in Final Algebra, Technical report CMS-TR-02-02, School of Computing and Mathematical Sciences, Oxford Brookes University, UK, April 2002.

2001

[73]  Zhu, H., SLABS: A Formal Specification Language for Agent-Based Systems, International Journal of Software Engineering and Knowledge Engineering, Vol. 11. No. 5, pp529~558. Nov. 2001

[72]  Zhang, Y., Zhu, H., Greenwood, S. and Huo, Q., Quality Modelling of Web-based Information Systems, Proceedings of the Eighth IEEE Workshop on Future Trends of Distributed Computing Systems, Bologna, Italy, 31 October - 2 November 2001, pp41~47.

[71]  Zhu, H., The role of caste in formal specification of MAS, Proc. of PRIMA’2001, Springer LNCS 2132, Taipei, Taiwan, July 2001, pp1~15.

[70]  Zhu, H. and He, X., An Observational Theory of Integration Testing for Component-Based Software Development, Proc. of IEEE 25th International Conference on Computer Software and applications (COMPSAC’2001), 8-12 October 2001, Chicago, Illinois. 

[69]  Zhang, L., Mei, H. and Zhu, H., A configuration management systems supporting component-based software development, Proc. of IEEE 25th International Conference on Computer Software and applications (COMPSAC’2001), 8-12 October 2001, Chicago, Illinois.

[68]  Zhang, Y., Zhang, L., Huo, Q., Zhu, H., Greenwood, S., Structure and page complexity metrics for Web applications, Proc. of 4th WWW Workshop on Web Engineering at WWW’2001, Hong Kong, May 1, 2001, pp72~81.

[67]  Zhu, H., A formal specification language for MAS engineering, Proc. of Second International Workshop on Agent-Oriented Software Engineering, May 29, 2001.

[66]  Zhang, Y., Huo, Q., Zhang, L., Zhu, H., Greenwood, S., Measuring the timeliness of websites, Proceedings of the Fourth European Conference on Software Measurement and ICT Control in Co-operation with DASMA, Heidelberg, Germany, 8-11 May 2001, pp 139~147.

2000

[65]  Zhu, H, and Jin, L., Scenario analysis in an automated tool for requirements engineering, The Journal of Requirements Engineering, Vol. 5, No.1, pp2~22, June 2000.

[64]  Zhu, H., Formal Specification of Agent Behaviour through Environment Scenarios, in FAABS 2000, First Goddard Workshop on Formal Approaches to Agent-Based Systems, April 5-7, 2000, NASA Goddard Space Flight Center, April 2000, Springer LNCS 1871, pp263-277.

[63]  Zhu, H. and He, X., Constructions of behaviour observation schemes in software testing, Proc. 5th IEEE Symposium on HASE’2000, 15~17 Nov, 2000, Albuquerque, New Mexico, USA, pp7~16.

[62]  Zhu, H., and Jin, L., Automating scenario-driven structured requirements engineering, Proc. 24th IEEE Computer Society International Conference on Computer Software and Applications (COMPSAC’2000), 25-27 Oct. 2000, Taipei, Taiwan, pp311~316.

[61]  Zhu, H., Greenwood, S., Huo, Q., and Zhang, Y., Towards Agent-Oriented Quality Management of Information Systems, March 2000, Workshop Notes of Second International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2000), at AAAI’2000, Austin, USA, July 30, 2000, pp57~64.

[60]  Zhu, H. and He, X., A theory of testing high-level Petri nets, Proc. of International Conference on Software – Theory and Practice, IFIP World Computer Congress 2000, Beijing, August 21-25, pp443~450.

1999

[59]  Gardiner, S. (ed.) Testing Safety Related Software: A Practical Handbook, Springer, 1999. (Contribution to the following chapters: Chapter 6: The use of Simulators; Chapter 7: Test Adequacy; Chapter 8; Statistical Software Testing.)

[58]  Zhang, C. L., Bei, G. H., Huo, Q. L., Jin, L., and Zhu, H., Algorithms for scenario driven requirements analysis support tools—automatic consistency and completeness check and requirements model synthesis, Journal of Computer Research and Development, June, 1999. (In Chinese)

[57]   Huo, Q. L., Zhang, C. L., Bei, G. H., Jin, L., and Zhu, H., A methodology of scenario driven software requirements analysis, Journal of Computer Science, Jan. 1999, (In Chinese)

[56]  Zhu, H., Jin, L., and Diaper, D., Application of Task Analysis to the Validation of Software Requirements, Proc. SEKE'99, Kaiserslautern, Germany, June, 1999. Pp239~245.

1998

[55]  Luqi, Chang, C.K., and Zhu, H., Specifications in software prototyping, Journal of Systems and Software, Vol.42, No. 2, pp125~140, Aug. 1998.

[54]  Zhu, H., Towards a relationship between software reliability estimation and computational complexity, Chinese Journal of Software, Sept. 1998. (In Chinese)

[53]  Zhu, Y., Jin, L., and Zhu, H., Safety requirements analysis and architectural design of a hospital management information system, Journal of Computer Systems and Applications, Vol. 1998. No. 8, pp2~5, Aug. 1998. (In Chinese)

[52]  Jin, L., Zhu, H., et al., A use scenario driven approach to automatic generation of software requirements models, Chinese Journal of Computers, Vol. 21, No. 8, pp673~681, Aug. 1998. (In Chinese)

[51]  Zhu Y., Jin, L. and Zhu, H., A note on software safety requirements analysis and architectural design of hospital information management systems, Computer Systems and Applications, No. 8, Vol. 1998, pp2~5. (In Chinese)

[50]  Jin, L. and Zhu, H., Description and Analysis of Use Scenarios in Requirements Engineering, Proc. of SEKE’98, San Francisco, USA, June 18-20, 1998. Pp18~25.

[49]  Zhu, H. and Jin, L., The axiomatic approach to the foundation of software testing: an informal review, Post-Conference Proceedings of International Symposium on Computing and Microelectronics, Beijing, May 3, 1998. Beijing University Press, Dec. 1998, pp129~144.

1997

[48]  Zhu, H. and Jin, L. Software Quality Assurance and Testing, Academic Press, Beijing, 1997.

[47]  Zhu, H., Hall, P. and May, J., Software unit test coverage and adequacy, ACM Computing Survey, Vol. 29, No. 4, Dec. 1997, pp366~427.

[46]  Jin, L., Zhu, H., and Hall, P., Adequate testing of hypertext applications, Journal of Information and Software Technology, UK. Vol. 39, No. 4, pp225-234, 1997.

[45]  Jin, L and Zhu, H., On adequacy criteria of testing hypertext applications, Chinese Journal of Software, August, 1997, pp130~136, (In Chinese).

[44]  Jin, L. and Zhu, H., Automatic generation of formal specification from requirements definition, Proc. of IEEE 1st International Conference on Formal Engineering Methods, Nov. 1997, Hiroshima, Japan, pp243-251.

[43]  Zhu, H. and Jin, L., A specification language of stochastic real-time systems, Proc. SEKE'97, Madrid, Spain, June 1997, pp358~365.

1996

[42]  Zhu, H., A formal analysis of the subsume relation between software test adequacy criteria, IEEE Transactions on Software Engineering, Vol. 22, No. 4, April 1996, pp248~255.

[41]  Zhu, H., A formal interpretation of software testing as inductive inference, Journal of Software Testing, Verification and Reliability, UK., Vol. 6, July 1996, pp3~31.

[40]   Dong, L., Zhu, H., Jin, L. and Xu, J., On the design of the software requirements analysis support system NDRASS, Chinese Journal of Advanced Software Research, Vol. 3, 1996, pp1-6, (In Chinese).

[39]   Xu, J., Jin, L., and Zhu, H., Tool support of orderly transition from informal to formal descriptions in requirements engineering, Proc. of IFIP'96: Advanced IT Tools, Australia, Eds. Nobuyoshi Terashima and Edward Altman, Chapman & Hall, Spet. 1996, pp199~206.

[38]  Xu, J. and Zhu, H., Requirements analysis and specification as a problem of software automation -- Some researches on requirements analysis, Proc. SEKE'96, Nevada, USA, June 1996, pp457~464.

[37]  Zhu, H., Specification and evaluation of software environment simulators for testing safety critical software, Proc. CADTED’96, June 1996, Beijing, pp193~198..

1995

[36]  Zhu, H., Axiomatic assessment of control flow based software test adequacy criteria, Software Engineering Journal, UK, Sept. 1995.

[35]  Zhu, H., Hall, P., and May, J., Understanding software test adequacy -- An axiomatic and measurement approach, Mathematics of Dependable Systems, Edited by Mitchell, C., and Stavridou, V., Oxford University Press, 1995, pp275~295.

[34]  Zhu, H., An induction theory of software testing, Science in China, Supp. Vol. 38, Sept. 1995.

[33]  Xu, J., Zhu, H., et al., From requirements definition to formal functional specification -- A transformational approach, Science in China, Supp. Vol. 38, Sept. 1995.

[32]  Jin, L., Zhu, H., and Hall, P., Testing hypertext for quality assurance, Proc. of SQM'95, Spain, May 1995.

[31]  Zhu, H. and Jin, L. An inductive inference foundation of software testing, Proc. 5’th National Conference on Machine Learning, 1995.7. (In Chinese).

1994

[30]  Zhu, H., How powerful are folding/ unfolding transformations? Journal of Functional Programming, UK, January 1994.

[29]   Zhu, H. and Hall, P., Injecting faults into environment simulators for testing safety critical software, Dependable Computing: Proc. of EDCC'94, Berlin, Lecture Notes in Comp. Sci. Vol. 852, Springer-Verlag, 1994.

[28]   Zhu, H., and Hall, P., Testing protection software through simulation of failures, Proc. of International Conference on Real Time Systems, Paris, Jan., 1994, pp155-170.

[27]   Zhu, H., Czachur, K., Cockram, T., Hall, P., and May, J., Testing safety critical software via simulating failures of the environment system, Proc. of the Safety and Reliability Society Conference, Cheshire, UK., Oct., 1994.

[26]  Zhu., H., Hall., P., May, J., and Cockram, T., Knowledge engineering helps testing protection software, Proc. of 6'th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, Oct. 1994.

[25]   Zhu, H., Program transformation applied to the simulation of system failure processes, Proc. of The European Simulation Symposium, Vol. 2, pp325-329, Istanbul, Turkey, Oct. 1994.

1993

[24]   Zhu, H. and Hall, P., Test data adequacy measurement, Software Engineering Journal, Vol. 8, No.1, Jan. 1993, pp12-30.

1992

[23]  Zhu, H., Hall, P., and May, J., Inductive inference and software testing, Journal of Software Testing, Verification, and Reliability, Vol. 2, pp69-81, 1992.

[22]   Zhu, H., On the ability of folding/unfolding program transformation, Chinese Journal of Software, 2/1992, (In Chinese).

1991

[21]   Zhu, H. and Jin, L., A knowledge-based approach to program synthesis from examples, Journal of Computer Science and Technology, January 1991.

[20]   Zhu, H., Program transformation by solving equations, Journal of Computer Science and Technology, June 1991, 

[19]   Zhu, H., Orthogonal decomposition in Complete Partially Ordered Sets, Chinese Journal of Computer Science, 2/1991, (In Chinese).

[18]  Zhu, H. and Jin, L., Derivation of efficient programs from specifications in first order infinitary logic, Proc. of ICYCS'91, Beijing, 1991.

1990

[17]   Jin, L. and Zhu, H., A note on the design of a meta-language for transformational programming, Computer Research and Development, 3/1990, (In Chinese)

1989

[16]  Zhu, H. and Jin, L., A knowledge-based system to synthesize FP programs from examples, Proc. of EPIA'89, Lecture Notes in Computer Science, Vol. 390, 1989,

[15]  Jin, L., Zhu, H., A meta-language to express human guidance for program transformation, Proc. of IEEE Intern. Conference on Tools for AI, Fairfax, USA.  1989.

[14]   Zhu, H, Jin, L., Meta-programming -- Applications to program synthesis from examples, Proc. of ISYCP, 1989.

[13]   Zhu, H., An orthogonal expansion approach to transformation of functional programs, Proc. of International Conference on New Generation of Computer Systems, Beijing, Apr. 1989.

[12]   Jin, L., Zhu, H. and Xu, J., NDTPS -- An experimental meta-language transformational programming system, Proc. of International Conference on New Generation of Computer Systems, Beijing, Apr. 1989.

[11]   Jin, L. and Zhu, H, Experiences in meta-programming--applications in program synthesis, National Conference on AI and Science of Thinking, 1989.7. (In Chinese).

[10]  Jin, L. and Zhu, H., A Knowledge-based system for synthesising FP programs from examples, Second National Conference on Machine Learning, 1989.7. (In Chinese).

1988

[9]     Zhu, H. A theory of program expansion, Scientia Sinica, (Science in China) Series A, 12/1988.

[8]     Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M., The design and analysis of a data-driven parallel reduction machine FPM2 and the construction of its model machine, Scientia Sinica  (series A), Feb. 1988.

[7]     Jin, L. and Zhu, H., Systems programming in the functional programming language FP, Journal of Computer Science and Technology, Vol. 3, No. 1, Jan. 1988.

[6]     Xu, J., Zhu, H. and Jin, L., Some researches on non van Neumann programming systems, Advances in Chinese Software Engineering, Vol. 1, 1988.

1987

[5]     Zhu, H., Some mathematical properties of the functional programming language FP, Journal of Computer Science and Technology, Vol. 2. No.3, July 1987.

[4]     Jin, L., Xu, J., Zhu, H., Experiments with systems programming in FP style, Proc. 2nd International Conference on Computers and Applications, Beijing, Jun. 1987.

1986

[3]     Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M.， A data-driven parallel mutli-stack reduction machine FPM2 and its improvements, University Computing, (UK), Summer Issue, 1986.

1985

[2]     Zhu, H. et al., FPM2-- a data driven parallel multi-stack reduction machine, Journal of Nanjing University, Special Issue on Computer Science, No. 4., Feb. 1985. (In Chinese)

[1]     Xu, J., Zhou, G., Xu, M., Yi, B., Zhu, H., Jin, L. and Da, M., An experiment with implementation of functional programming language FP on Non van Neumann computer architecture, Proc. of 1st National Conference on Fifth Generation of Computer Systems, May, 1985. (In Chinese)