| Generating structurally complex test cases by data mutation: A case study of testing an automated modelling tool L Shan, H Zhu The Computer Journal 52 (5), 571-588, 2009 | 56 | 2009 |
| Tool support for design pattern recognition at model level H Zhu, I Bayley, L Shan, R Amphlett 2009 33rd Annual IEEE International Computer Software and Applications …, 2009 | 39 | 2009 |
| ROMAS: A role-based modeling method for multi-agent system Q Yan, L Shan, X Mao, Z Qi Active Media Technology, 156-161, 2003 | 30 | 2003 |
| CAMLE: a caste-centric agent-oriented modelling language and environment L Shan, H Zhu International Workshop on Software Engineering for Large-Scale Multi-agent …, 2004 | 29 | 2004 |
| A formal descriptive semantics of UML L Shan, H Zhu International Conference on Formal Engineering Methods, 375-396, 2008 | 27 | 2008 |
| An adaptive casteship mechanism for developing multi-agent systems X Mao, L Shan, H Zhu, J Wang International Journal of Computer Applications in Technology 31 (1-2), 17-34, 2008 | 27 | 2008 |
| Well-formedness, consistency and completeness of graphic models H Zhu, L Shan Proc. of UKSIM 6, 47-53, 2006 | 25 | 2006 |
| Agent-oriented modelling and specification of web services H Zhu, L Shan 10th IEEE International Workshop on Object-Oriented Real-Time Dependable …, 2005 | 25 | 2005 |
| Caste-centric modelling of multi-agent systems: the CAMLE modelling language and automated tools H Zhu, L Shan Model-driven Software Development, 57-89, 2005 | 23 | 2005 |
| Semantics of metamodels in UML L Shan, H Zhu 2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009 | 22 | 2009 |
| Formal Descriptive Semantics of UML and Its Applications. H Zhu, L Shan, I Bayley, R Amphlett, K Lano UML 2 Semantics and Applications, 95-123, 2009 | 15 | 2009 |
| Testing software modelling tools using data mutation L Shan, H Zhu Proceedings of the 2006 international workshop on Automation of software …, 2006 | 15 | 2006 |
| Consistency check in modelling multi-agent systems L Shan, H Zhu Proceedings of the 28th Annual International Computer Software and …, 2004 | 15 | 2004 |
| A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Systems L Shan, B Sangchoolie, P Folkesson, J Vinter, E Schoitsch, C Loiseaux SAFECOMP Workshops 2019, 74-86, 2019 | 13 | 2019 |
| Practical Security and Privacy Threat Analysis in the Automotive Domain: Long Term Support Scenario for Over-the-Air Updates A Vasenev, F Stahl, H Hamazaryan, Z Ma, L Shan, K Joerg, C Loiseaux VEHITS 2019, 550-555, 2019 | 10 | 2019 |
| Modelling and specifying scenarios and agent behaviour L Shan, H Zhu IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT …, 2003 | 10 | 2003 |
| Formal verification of lunar rover control software using UPPAAL L Shan, Y Wang, N Fu, X Zhou, L Zhao, L Wan, L Qiao, J Chen International Symposium on Formal Methods, 718-732, 2014 | 9 | 2014 |
| Agent-oriented formal specification of Web Services H Zhu, B Zhou, X Mao, L Shan, D Duce International Conference on Grid and Cooperative Computing, 633-641, 2004 | 8 | 2004 |
| Unifying the semantics of models and meta-models in the multi-layered UML meta-modelling hierarchy L Shan, H Zhu International Journal of Software and Informatics 6 (2), 163-200, 2012 | 7 | 2012 |
| Specifying Consistency Constraints for Modelling Languages. L Shan, H Zhu SEKE, 578-583, 2006 | 7 | 2006 |
Hong ZhuOxford Brookes UniversityVerified email at brookes.ac.uk
