Testing Security Policies: Going Beyond Functional Testing. - Yves Le Traon; Tejeddine Mouelhi; Benoit Baudry (ISSRE, 2007)

A Generic Metamodel For Security Policies Mutation. - Tejeddine Mouelhi; Franck Fleurey; Benoit Baudry (ICST Workshops, 2008)

Model-Based Tests for Access Control Policies. - Alexander Pretschner; Tejeddine Mouelhi; Yves Le Traon (ICST, 2008)

Test-Driven Assessment of Access Control in Legacy Applications. - Yves Le Traon; Tejeddine Mouelhi; Alexander Pretschner; Benoit Baudry (ICST, 2008)

A Model-Based Framework for Security Policy Specification, Deployment and Testing. - Tejeddine Mouelhi; Franck Fleurey; Benoit Baudry; Yves Le Traon (MoDELS, 2008)

Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach. - Tejeddine Mouelhi; Franck Fleurey; Benoit Baudry; Yves Le Traon (MODSEC@MoDELS, 2008)

Transforming and Selecting Functional Test Cases for Security Policy Testing. - Tejeddine Mouelhi; Yves Le Traon; Benoit Baudry (ICST, 2009)

Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies. - Yves Le Traon; Tejeddine Mouelhi; Franck Fleurey; Benoit Baudry (ICST Workshops, 2010)

Security-driven model-based dynamic adaptation. - Brice Morin; Tejeddine Mouelhi; Franck Fleurey; Yves Le Traon; Olivier Barais; Jean-Marc Jézéquel (ASE, 2010)

Testing and Modeling Security Mechanisms in Web Applications. (Modélisation et test de mécanismes de sécurité dans des applications internet). - Tejeddine Mouelhi (2010)

Model Driven Mutation Applied to Adaptative Systems Testing. - Alexandre Bartel; Benoit Baudry; Freddy Muñoz; Jacques Klein; Tejeddine Mouelhi; Yves Le Traon (ICST Workshops, 2011)

Tailored Shielding and Bypass Testing of Web Applications. - Tejeddine Mouelhi; Yves Le Traon; Erwan Abgrall; Benoit Baudry; Sylvain Gombault (ICST, 2011)

Testing Obligation Policy Enforcement Using Mutation Analysis. - Yehia Elrakaiby; Tejeddine Mouelhi; Yves Le Traon (ICST, 2012)

Selection of regression system tests for security policy evolution. - JeeHyun Hwang; Tao Xie 001; Donia El Kateb; Tejeddine Mouelhi; Yves Le Traon (ASE, 2012)

A model-based approach to automated testing of access control policies. - Dianxiang Xu; Lijo Thomas; Michael Kent; Tejeddine Mouelhi; Yves Le Traon (SACMAT, 2012)

Refactoring access control policies for performance improvement. - Donia El Kateb; Tejeddine Mouelhi; Yves Le Traon; JeeHyun Hwang; Tao Xie 001 (ICPE, 2012)

Model-driven adaptive delegation. - Phu Hong Nguyen; Grégory Nain; Jacques Klein; Tejeddine Mouelhi; Yves Le Traon (AOSD, 2013)

Access control enforcement testing. - Donia El Kateb; Yehia ElRakaiby; Tejeddine Mouelhi; Yves Le Traon (AST, 2013)

Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management. - Phu Hong Nguyen; Grégory Nain; Jacques Klein; Tejeddine Mouelhi; Yves Le Traon (LNCS Trans. Aspect Oriented Softw. Dev., 2013)

Towards a Full Support of Obligations in XACML. - Donia El Kateb; Yehia ElRakaiby; Tejeddine Mouelhi; Iram Rubab; Yves Le Traon (CRiSIS, 2014)

Coverage-Based Test Cases Selection for XACML Policies. - Antonia Bertolino; Yves Le Traon; Francesca Lonetti; Eda Marchetti; Tejeddine Mouelhi (ICST Workshops, 2014)

MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis. - Mike Papadakis; Tejeddine Mouelhi; Haitao Dan (ICST Workshops, 2014)

Validation of Access Control Systems. - Antonia Bertolino; Yves Le Traon; Francesca Lonetti; Eda Marchetti; Tejeddine Mouelhi (Engineering Secure Future Internet Services and Systems, 2014)

A Toolchain for Model-based Design and Testing of Access Control Systems. - Said Daoudagh; Donia El Kateb; Francesca Lonetti; Eda Marchetti; Tejeddine Mouelhi (MODELSWARD, 2015)

Suspicious electric consumption detection based on multi-profiling using live machine learning. - Thomas Hartmann 001; Assaad Moawad; François Fouquet; Yves Reckinger; Tejeddine Mouelhi; Jacques Klein; Yves Le Traon (SmartGridComm, 2015)

Inroads in Testing Access Control. - Tejeddine Mouelhi; Donia El Kateb; Yves Le Traon (Adv. Comput., 2015)

Similarity testing for access control. - Antonia Bertolino; Said Daoudagh; Donia El Kateb; Christopher Henard; Yves Le Traon; Francesca Lonetti; Eda Marchetti; Tejeddine Mouelhi; Mike Papadakis (Inf. Softw. Technol., 2015)

Conviviality-driven access control policy. - Donia El Kateb; Nicola Zannone; Assaad Moawad; Patrice Caire; Grégory Nain; Tejeddine Mouelhi; Yves Le Traon (Requir. Eng., 2015)

Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets. - Dianxiang Xu; Michael Kent; Lijo Thomas; Tejeddine Mouelhi; Yves Le Traon (IEEE Trans. Computers, 2015)