| A model-based framework for security policy specification, deployment and testing T Mouelhi, F Fleurey, B Baudry, YL Traon International Conference on Model Driven Engineering Languages and Systems …, 2008 | 125 | 2008 |
| Testing security policies: going beyond functional testing Y Le Traon, T Mouelhi, B Baudry The 18th IEEE International Symposium on Software Reliability (ISSRE'07), 93-102, 2007 | 106 | 2007 |
| Model-based tests for access control policies A Pretschner, T Mouelhi, Y Le Traon 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 101 | 2008 |
| Transforming and selecting functional test cases for security policy testing T Mouelhi, Y Le Traon, B Baudry 2009 International Conference on Software Testing Verification and …, 2009 | 56 | 2009 |
| A model-based approach to automated testing of access control policies D Xu, L Thomas, M Kent, T Mouelhi, Y Le Traon Proceedings of the 17th ACM symposium on Access Control Models and …, 2012 | 48 | 2012 |
| Security-driven model-based dynamic adaptation B Morin, T Mouelhi, F Fleurey, Y Le Traon, O Barais, JM Jézéquel Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 47 | 2010 |
| A Generic Metamodel For Security Policies Mutation T Mouelhiv, F Fleurey, B Baudry Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE …, 2008 | 47 | 2008 |
| Test-driven assessment of access control in legacy applications Y Le Traon, T Mouelhi, A Pretschner, B Baudry 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 44 | 2008 |
| Mutation analysis for security tests qualification T Mouelhi, Y Le Traon, B Baudry Testing: Academic and Industrial Conference Practice and Research Techniques …, 2007 | 41 | 2007 |
| Selection of regression system tests for security policy evolution JH Hwang, T Xie, D El Kateb, T Mouelhi, Y Le Traon Proceedings of the 27th IEEE/ACM international conference on automated …, 2012 | 30 | 2012 |
| Automated model-based testing of role-based access control using predicate/transition nets D Xu, M Kent, L Thomas, T Mouelhi, Y Le Traon IEEE Transactions on Computers 64 (9), 2490-2505, 2014 | 26 | 2014 |
| Similarity testing for access control A Bertolino, S Daoudagh, D El Kateb, C Henard, Y Le Traon, F Lonetti, ... Information and Software Technology 58, 355-372, 2015 | 24 | 2015 |
| Refactoring access control policies for performance improvement D El Kateb, T Mouelhi, Y Le Traon, JH Hwang, T Xie Proceedings of the 3rd ACM/SPEC International Conference on Performance …, 2012 | 23 | 2012 |
| Model driven mutation applied to adaptative systems testing A Bartel, B Baudry, F Munoz, J Klein, T Mouelhi, Y Le Traon 2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011 | 22 | 2011 |
| Testing obligation policy enforcement using mutation analysis Y Elrakaiby, T Mouelhi, Y Le Traon 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 21 | 2012 |
| Coverage-based test cases selection for XACML policies A Bertolino, Y Le Traon, F Lonetti, E Marchetti, T Mouelhi 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 19 | 2014 |
| Suspicious electric consumption detection based on multi-profiling using live machine learning T Hartmann, A Moawad, F Fouquet, Y Reckinger, T Mouelhi, J Klein, ... 2015 IEEE International Conference on Smart Grid Communications …, 2015 | 16 | 2015 |
| Model-driven adaptive delegation PH Nguyen, G Nain, J Klein, T Mouelhi, Y Le Traon Proceedings of the 12th annual international conference on Aspect-oriented …, 2013 | 12 | 2013 |
| A toolchain for model-based design and testing of access control systems S Daoudagh, D El Kateb, F Lonetti, E Marchetti, T Mouelhi 2015 3rd International Conference on Model-Driven Engineering and Software …, 2015 | 10 | 2015 |
| Inroads in Testing Access Control T Mouelhi, D El Kateb, Y Le Traon Advances in Computers 99, 195-222, 2015 | 10 | 2015 |
Yves Le TraonProfessor of Computer Science, University of LuxembourgEmail confirmado em uni.lu
