Tejeddine Mouelhi

发表

Model Driven Mutation Applied to Adaptative Systems Testing

Jacques Klein, Yves Le Traon, Benoit Baudry, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Selection of regression system tests for security policy evolution

Yves Le Traon, Tao Xie, Donia El Kateb, 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

Model-driven adaptive delegation

Jacques Klein, Yves Le Traon, Grégory Nain, 2013, AOSD.

Testing Obligation Policy Enforcement Using Mutation Analysis

Yves Le Traon, Tejeddine Mouelhi, Yehia Elrakaiby, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

A Generic Metamodel For Security Policies Mutation

Benoit Baudry, Tejeddine Mouelhi, Franck Fleurey, 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

Modularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management

Jacques Klein, Yves Le Traon, Grégory Nain, 2013, LNCS Trans. Aspect Oriented Softw. Dev..

Test-Driven Assessment of Access Control in Legacy Applications

Yves Le Traon, Alexander Pretschner, Benoit Baudry, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

Access control enforcement testing

Yves Le Traon, Donia El Kateb, Tejeddine Mouelhi, 2013, 2013 8th International Workshop on Automation of Software Test (AST).

Towards a Full Support of Obligations in XACML

Yves Le Traon, Donia El Kateb, Iram Rubab, 2014, CRiSIS.

MUTATION 2014 Workshop Summary: Ninth International Workshop on Mutation Analysis

Mike Papadakis, Tejeddine Mouelhi, Haitao Dan, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

Conviviality-driven access control policy

Yves Le Traon, Donia El Kateb, Grégory Nain, 2014, Requirements Engineering.

Validation of Access Control Systems

Francesca Lonetti, Eda Marchetti, Yves Le Traon, 2014, Engineering Secure Future Internet Services and Systems.

Tailored Shielding and Bypass Testing of Web Applications

Yves Le Traon, Benoit Baudry, Tejeddine Mouelhi, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

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 .

Inroads in Testing Access Control

Yves Le Traon, Donia El Kateb, Tejeddine Mouelhi, 2015, Adv. Comput..

A model-based approach to automated testing of access control policies

Dianxiang Xu, Yves Le Traon, Tejeddine Mouelhi, 2012, SACMAT '12.

Security-driven model-based dynamic adaptation

Brice Morin, Olivier Barais, Jean-Marc Jézéquel, 2010, ASE '10.

Refactoring access control policies for performance improvement

Yves Le Traon, Tao Xie, Donia El Kateb, 2012, ICPE '12.

Suspicious electric consumption detection based on multi-profiling using live machine learning

Jacques Klein, Yves Le Traon, François Fouquet, 2015, 2015 IEEE International Conference on Smart Grid Communications (SmartGridComm).

A toolchain for model-based design and testing of access control systems

Francesca Lonetti, Eda Marchetti, Donia El Kateb, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Testing Security Policies: Going Beyond Functional Testing

Yves Le Traon, Benoit Baudry, Tejeddine Mouelhi, 2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07).

Model-Based Tests for Access Control Policies

Yves Le Traon, Alexander Pretschner, Tejeddine Mouelhi, 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

Testing Security Policies: Going Beyond Functional Testing

Yves Le Traon, Benoit Baudry, Tejeddine Mouelhi, 2007, The 18th IEEE International Symposium on Software Reliability (ISSRE '07).

Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach

Yves Le Traon, Benoit Baudry, Tejeddine Mouelhi, 2008, MODSEC@MoDELS.

Similarity testing for access control

Francesca Lonetti, Eda Marchetti, Yves Le Traon, 2015, Inf. Softw. Technol..

Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets

Dianxiang Xu, Yves Le Traon, Tejeddine Mouelhi, 2015, IEEE Transactions on Computers.

Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies

Yves Le Traon, Benoit Baudry, Tejeddine Mouelhi, 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

Coverage-Based Test Cases Selection for XACML Policies

Francesca Lonetti, Eda Marchetti, Yves Le Traon, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

Transforming and Selecting Functional Test Cases for Security Policy Testing

Yves Le Traon, Benoit Baudry, Tejeddine Mouelhi, 2009, 2009 International Conference on Software Testing Verification and Validation.

Testing and Modeling Security Mechanisms in Web Applications

Tejeddine Mouelhi, T. Mouelhi, 2010 .

A Model-Based Framework for Security Policy Specification, Deployment and Testing

Yves Le Traon, Benoit Baudry, Tejeddine Mouelhi, 2008, MoDELS.