Concepedia

Tejeddine Mouelhi

TM

16

Publications

499

Citations

14

H-Index

2007

Active since

Affiliations

University of Luxembourg(Current)

Institut de Recherche en Informatique et Systèmes Aléatoires

Institut national de recherche en sciences et technologies du numérique

North Carolina State University

École nationale supérieure de techniques avancées Bretagne

Tejeddine Mouelhi is an author at University of Luxembourg specializing in computer science, engineering, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisProgram AnalysisInformation SecuritySoftware TestingFormal VerificationSoftware EngineeringData SecurityVerification

Publications per year

2007–2015

16

Publications

16

Testing Security Policies: Going Beyond Functional Testing

Yves Le Traon, Tejeddine Mouelhi, Benoît Baudry · 2007 · 80 citations

Engineering, Information Security, Software Engineering +19

Model-Based Tests for Access Control Policies

Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon · 2008 · 78 citations

Engineering, Information Security, Verification +23

Transforming and Selecting Functional Test Cases for Security Policy Testing

Tejeddine Mouelhi, Yves Le Traon, Benoît Baudry · 2009 · 41 citations

Software Maintenance, Engineering, Information Security +23

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

Dianxiang Xu, Lijo Thomas, Tejeddine Mouelhi et al. · 2012 · 37 citations · Full text

Software Maintenance, Engineering, Access Control Implementation +23

Security-driven model-based dynamic adaptation

Brice Morin, Tejeddine Mouelhi, Franck Fleurey et al. · 2010 · 35 citations

Engineering, Information Security, Software Engineering +16

Rows per page

1–5 of 16