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 | 67 | 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 | 42 | 2009 |
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 | 38 | 2004 |
ROMAS: A role-based modeling method for multi-agent system QI YAN, LIJUN SHAN, XINJUN MAO, ZHIC QI Active Media Technology, 156-161, 2003 | 30 | 2003 |
A formal descriptive semantics of UML L Shan, H Zhu International Conference on Formal Engineering Methods, 375-396, 2008 | 28 | 2008 |
Well-formedness, consistency and completeness of graphic models H Zhu, L Shan Proc. of UKSIM 6, 47-53, 2006 | 27 | 2006 |
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 | 25 | 2008 |
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 | 24 | 2005 |
Semantics of metamodels in UML L Shan, H Zhu 2009 Third IEEE International Symposium on Theoretical Aspects of Software …, 2009 | 23 | 2009 |
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 | 21 | 2019 |
Testing software modelling tools using data mutation L Shan, H Zhu Proceedings of the 2006 international workshop on Automation of software …, 2006 | 20 | 2006 |
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 | 18 | 2019 |
Consistency check in modelling multi-agent systems L Shan, H Zhu Proceedings of the 28th Annual International Computer Software and …, 2004 | 18 | 2004 |
Formal descriptive semantics of uml and its applications H Zhu, L Shan, I Bayley, R Amphlett UML 2 Semantics and Applications, 95-123, 2009 | 15 | 2009 |
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 FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 12 | 2014 |
Modelling and specifying scenarios and agent behaviour L Shan, H Zhu IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT …, 2003 | 10 | 2003 |
RTLib: A library of timed automata for modeling real-time systems L Shan, S Graf, S Quinton Grenoble 1 UGA-Université Grenoble Alpe; INRIA Grenoble-Rhone-Alpes, 2016 | 9 | 2016 |
Specifying Consistency Constraints for Modelling Languages. L Shan, H Zhu SEKE, 578-583, 2006 | 8 | 2006 |
Agent-oriented formal specification of Web Services H Zhu, B Zhou, X Mao, L Shan, D Duce Grid and Cooperative Computing-GCC 2004 Workshops: GCC 2004 International …, 2004 | 8 | 2004 |