|
|
||
10/19/13 |
|
|
List of publications according to the phases in software lifecycle that the work is concerned with, which include: Note:
[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. [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. [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. [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. [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. [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) [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. [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. [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. [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.
[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) [143] Hong Zhu, Lijun Shan, Ian Bayley and Richard
Amphlett, A
Formal Descriptive Semantics of
UML
And Its Applications [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. [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. [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.
[134] Lijun
Shan and [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. [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. [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. [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. [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. [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. [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. [94] Shan, L. and Zhu, H., Consistency Check in Modeling Multi-Agent Systems, Proc. of COMPSAC’04 Sept., IEEE CS, Hong Kong, pp114-121. [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. [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. [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) [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. [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. [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 [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. [67] Zhu, H., A formal specification language for MAS engineering, Proc. of Second International Workshop on Agent-Oriented Software Engineering, May 29, 2001. [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. [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) [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.
[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) [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, pp??. (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) [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) [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, [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. [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. [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. [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. [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. [100] Zhu, H., Software Design Methodology - From Principles to Architectural Styles, Elsevier Science and Technology, Elsevier Science, 2005. [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. [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. [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. [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. [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) [43] Zhu, H. and Jin, L., A specification language of stochastic real-time systems, Proc. SEKE'97, Madrid, Spain, June 1997, pp358~365. [30] Zhu, H., How powerful are folding/ unfolding transformations? Journal of Functional Programming, UK, January 1994.
Programming and Implementation [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. [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. [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 [97] Shen, R., Wang, J. and Zhu, H., Scenario Mechanism in Agent-Oriented Programming, in Proc. of APSEC’04. Nov. 2004. [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. [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. [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, [18] Zhu, H. and Jin, L., Derivation of efficient programs from specifications in first order infinitary logic, Proc. of ICYCS'91, Beijing, 1991. [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) [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). [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. [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. [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. [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) [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) [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). [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. [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).
[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. [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. [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. [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. [110] Shan, L. and Zhu, H., Testing Software Modelling Tools Using Data Mutation, Proc. of AST’06, Shanghai, China, May 23, 2006. ACM Press. [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. [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. [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. [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. [93] Zhang, Y., Zhu, H. and Greenwood, S., Website Complexity Metrics for Measuring Navigability, Proc. of 4th International Conference On Quality Software (QSIC’04), Braunschweig, Germany, September, 2004. [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. [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 [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. [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. [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. [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. [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. [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. [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.) [54] Zhu, H., Towards a relationship between software reliability estimation and computational complexity, Chinese Journal of Software, Sept. 1998. (In Chinese) [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. [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). [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. [37] Zhu, H., Specification and evaluation of software environment simulators for testing safety critical software, Proc. CADTED’96, June 1996, Beijing, pp193~198.. [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. [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). [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. [24] Zhu, H. and Hall, P., Test data adequacy measurement, Software Engineering Journal, Vol. 8, No.1, Jan. 1993, pp12-30. [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. [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软件开发 ) [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.
|
|
|
|
This site was last updated 10/19/13