Yves Le Traon

Yves Le Traon

Professor in Computer Science - Systems and Software Reliability

Research Topics Software Engineering, Software Testing, Model Driven Engineering, Security, Adaptive systems, Resilience
Faculty or Centre Faculté des Sciences, de la Technologie et de la Communication
Research Unit CSC
Postal Address Weicker Building, Université du Luxembourg
4, rue Alphonse Weicker
L-2721 Luxembourg
Campus Office C113
Email
Telephone (+352) 46 66 44 5262
powered by
orbilu.uni.lu

In press

Full Text
See detailA state-of the-art survey & testbed of Fuzzy AHP (FAHP) applications
Kubler, Sylvain; Robert, Jérémy; William, Derigent; Alexandre, Voisin; Le Traon, Yves

in Expert Systems with Applications (in press)

Top of Page

2016

Full Text
See detailAndroZoo: Collecting Millions of Android Apps for the Research Community
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Proceedings of the 13th International Workshop on Mining Software Repositories (2016, May)

Full Text
See detailCloud Providers Viability: How to Address it from an IT and Legal Perspective?
Bartolini, Cesare; El Kateb, Donia; Le Traon, Yves; Hagen, David

in Altmann, Jörn; Silaghi, Gheorghe Cosmin; Rana, Omer F. (Eds.) Economics of Grids, Clouds, Systems, and Services (2016)

Full Text
See detailPrivacy Challenges in Ambient Intelligence Systems
Caire, Patrice; Moawad, Assaad; Efthymiou, Vasileios; bikakis, Antonis; Le Traon, Yves

in Journal of Ambient Intelligence and Smart Environments (2016)

Full Text
See detailNear Real-Time Electric Load Approximation in Low Voltage Cables of Smart Grids with Models@run.time
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Reckinger, Yves; Klein, Jacques; Le Traon, Yves

in 31st Annual ACM Symposium on Applied Computing (SAC'16) (2016, April)

Full Text
See detailComparing White-box and Black-box Test Prioritization
Henard, Christopher; Papadakis, Mike; Harman, Mark; Jia, Yue; Le Traon, Yves

in 38th International Conference on Software Engineering (ICSE'16) (2016)

Full Text
See detailOn the Lack of Consensus in Anti-Virus Decisions: Metrics and Insights on Building Ground Truths of Android Malware
Hurier, Médéric; Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Detection of Intrusions and Malware, and Vulnerability Assessment - 13th International Conference (2016)

Full Text
See detailAn Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel
Jimenez, Matthieu; Papadakis, Mike; Le Traon, Yves

in 2016 Asia-Pacific Software Engineering Conference (APSEC) (2016, December)

Full Text
See detailVulnerability Prediction Models: A case study on the Linux Kernel
Jimenez, Matthieu; Papadakis, Mike; Le Traon, Yves

in 16th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2016, Raleigh, US, October 2-3, 2016 (2016, October)

Full Text
See detailOpen Data Portal Quality Comparison using AHP
Kubler, Sylvain; Robert, Jérémy; Le Traon, Yves; Umbrich, Jürgen; Neumaier, Sebastian

in Proceedings of the 17th International Digital Government Research Conference on Digital Government Research (2016, June 07)

Full Text
See detailDSCo-NG: A Practical Language Modeling Approach for Time Series Classification
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 15th International Symposium on Intelligent Data Analysis (2016, October)

Full Text
See detailTime Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical Study
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016) (2016, July)

Full Text
See detailProfiling household appliance electricity usage with n-gram language modeling
Li, Daoyuan; Bissyande, Tegawendé François D Assise; Kubler, Sylvain; Klein, Jacques; Le Traon, Yves

in The 2016 IEEE International Conference on Industrial Technology (ICIT 2016) (2016, March)

Full Text
See detailDSCo: A Language Modeling Approach for Time Series Classification
Li, Daoyuan; Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 12th International Conference on Machine Learning and Data Mining (MLDM 2016) (2016, July)

Full Text
See detailWatch out for This Commit! A Study of Influential Software Changes
Li, Daoyuan; Li, Li; Kim, Dongsun; Bissyande, Tegawendé François D Assise; Lo, David; Le Traon, Yves

Report (2016)

Full Text
See detailAn Investigation into the Use of Common Libraries in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)

Full Text
See detailParameter Values of Android APIs: A Preliminary Study on 100,000 Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016, March)

Full Text
See detailAccessing Inaccessible Android APIs: An Empirical Study
Li, Li; Bissyande, Tegawendé François D Assise; Le Traon, Yves; Klein, Jacques

in The 32nd International Conference on Software Maintenance and Evolution (ICSME) (2016, October)

Full Text
See detailStatic Analysis of Android Apps: A Systematic Literature Review
Li, Li; Bissyande, Tegawendé François D Assise; Papadakis, Mike; Rasthofer, Siegfried; Bartel, Alexandre; Octeau, Damien; Klein, Jacques; Le Traon, Yves

Report (2016)

Full Text
See detailTowards a Generic Framework for Automating Extensive Analysis of Android Applications
Li, Li; Li, Daoyuan; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 31st ACM/SIGAPP Symposium on Applied Computing (SAC 2016) (2016, April)

Full Text
See detailUngrafting Malicious Code from Piggybacked Android Apps
Li, Li; Li, Daoyuan; Bissyande, Tegawendé François D Assise; Lo, David; Klein, Jacques; Le Traon, Yves

Report (2016)

Full Text
See detailMining Families of Android Applications for Extractive SPL Adoption
Li, Li; Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in The 20th International Systems and Software Product Line Conference (SPLC 2016) (2016)

Full Text
See detailName Suggestions during Feature Identification: The VariClouds Approach
Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 20th International Systems and Software Product Line Conference (SPLC 2016) proceedings (2016)

Full Text
See detailFeature Location Benchmark for Software Families using Eclipse Community Releases
Martinez, Jabier; Ziadi, Tewfik; Papadakis, Mike; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Software Reuse: Bridging with Social-Awareness, ICSR 2016 Proceedings (2016)

Full Text
See detail“Overloaded!” — A Model-based Approach to Database Stress Testing
Meira, Jorge Augusto; Almeira, Eduardo Cunha de; Kim, Dongsun; Filho, Edson Ramiro Lucas; Le Traon, Yves

in International Conference on Database and Expert Systems Applications, Porto 5-8 September 2016 (2016)

Full Text
See detailCombining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis
Octeau, Damien; Jha, Somesh; Dering, Matthew; McDaniel, Patrick; Bartel, Alexandre; Li, Li; Klein, Jacques; Le Traon, Yves

in The 43rd Symposium on Principles of Programming Languages (POPL 2016) (2016, January)

Full Text
See detailThreats to the validity of mutation-based test assessment
Papadakis, Mike; Henard, Christopher; Harman, Mark; Jia; Le Traon, Yves

in International Symposium on Software Testing and Analysis, ISSTA 2016 (2016)

Full Text
See detailMicro-billing framework for IoT: Research & Technological foundations
Robert, Jérémy; Kubler, Sylvain; Le Traon, Yves

in International Conference on Future Internet of Things and Cloud, 22-24 August 2016, Vienna, Austria (2016)

Full Text
See detailO-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis
Robert, Jérémy; Kubler, Sylvain; Le Traon, Yves; Främling, Kary

in O-MI/O-DF Standards as Interoperability Enablers for Industrial Internet: a Performance Analysis (2016)

Top of Page

2015

Full Text
See detailAre Your Training Datasets Yet Relevant? - An Investigation into the Importance of Timeline in Machine Learning-Based Malware Detection
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in Engineering Secure Software and Systems - 7th International Symposium ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings (2015)

Full Text
See detailFormal verification techniques for model transformations: A tridimensional classification
Amrani, M.; Combemale, B.; Lúcio, L.; Selim, G. M. K.; Dingel, J.; Le Traon, Yves; Vangheluwe, H.; Cordy, J. R.

in Journal of Object Technology (2015), 14(3),

Full Text
See detailSound and Quasi-Complete Detection of Infeasible Test Requirements
Bardin, Sebastien; Delahaye, Mickaël; Kosmatov, Nikolai; David, Robin; Papadakis, Mike; Le Traon, Yves; Marion, Jean-Yves

in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15) (2015)

Full Text
See detailCloud Providers Viability: How to Address it from an IT and Legal Perspective?
Bartolini, Cesare; El Kateb, Donia; Le Traon, Yves; Hagen, David

in Economics of Grids, Clouds, Systems, and Services (2015, September 16)

Full Text
See detailSimilarity testing for access control
Bertolino, A.; Daoudagh, S.; El Kateb, Donia; Henard, Christopher; Le Traon, Yves; Lonetti, F.; Marchetti, E.; Mouelhi, T.; Papadakis, Mike

in Information and Software Technology (2015), 58

Full Text
See detailTowards a full support of obligations in XACML
El Kateb, Donia; Elrakaiby, Y.; Mouelhi, T.; Rubab, Iram; Le Traon, Yves

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2015), 8924

Full Text
See detailConviviality-driven access control policy
El Kateb, Donia; Zannone, N.; Moawad, Assaad; Caire, Patrice; Nain, Grégory; Mouelhi, T.; Le Traon, Yves

in Requirements Engineering (2015), 20(4), 363-382

Full Text
See detailStream my Models: Reactive Peer-to-Peer Distributed Models@run.time
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Nain, Grégory; Klein, Jacques; Le Traon, Yves

in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)

Full Text
See detailSuspicious Electric Consumption Detection Based on Multi-Profiling Using Live Machine Learning
Hartmann, Thomas; Moawad, Assaad; Fouquet, François; Reckinger, Yves; Mouelhi, Tejeddine; Klein, Jacques; Le Traon, Yves

in 2015 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2015, November)

Full Text
See detailCombining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines
Henard, Christopher; Papadakis, Mike; Harman, Mark; Le Traon, Yves

in 37th International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailFlattening or not of the combinatorial interaction testing models
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops (2015, April)

Full Text
See detailAssessing and Improving the Mutation Testing Practice of PIT
Laurent, Thomas; Ventresque, Anthony; Papadakis, Mike; Henard, Christopher; Le Traon, Yves

E-print/Working paper (2015)

Full Text
See detailApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis
Li, Li; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in International Conference on ICT Systems Security and Privacy Protection (SEC 2015) (2015, May)

Full Text
See detailIccTA: Detecting Inter-Component Privacy Leaks in Android Apps
Li, Li; Bartel, Alexandre; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Octeau, Damien; McDaniel, Patrick

in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailAn Investigation into the Use of Common Libraries in Android Apps
Li, Li; Bissyandé, Tegawendé F.; Klein, Jacques; Le Traon, Yves

in arXiv preprint arXiv:1511.06554 (2015)

Full Text
See detailUsing An Instrumentation based Approach to Detect Inter-Component Leaks in Android Apps
Li, Li; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

Scientific Conference (2015, March)

Full Text
See detailAutomating the Extraction of Model-based Software Product Lines from Model Variants
Martinez, Jabier; Ziadi, Tewfik; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

in 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015) (2015)

Full Text
See detailAdaptive Blurring of Sensor Data to balance Privacy and Utility for Ubiquitous Services
Moawad, Assaad; Hartmann, Thomas; Fouquet, François; Klein, Jacques; Le Traon, Yves

in The 30th Annual ACM Symposium on Applied Computing (2015, April)

Full Text
See detailBeyond Discrete Modeling: A Continuous and Efficient Model for IoT
Moawad, Assaad; Hartmann, Thomas; Fouquet, François; Nain, Grégory; Klein, Jacques; Le Traon, Yves

in Lethbridge, Timothy; Cabot, Jordi; Egyed, Alexander (Eds.) 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015, September)

See detailInroads in Testing Access Control
Mouelhi, Tejeddine; El Kateb, Donia; Le Traon, Yves

in Advances in Computers (2015)

Full Text
See detailAn Extensive Systematic Review on the Model-Driven Development of Secure Systems
Nguyen, Phu; Kramer, Max; Klein, Jacques; Le Traon, Yves

in Information & Software Technology (2015), 68(December 2015), 62-81

Full Text
See detailSoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems
Nguyen, Phu; Yskout, Koen; Heyman, Thomas; Klein, Jacques; Scandariato, Riccardo; Le Traon, Yves

in Proceedings ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (2015, October)

Full Text
See detailMetallaxis-FL: mutation-based fault localization
Papadakis, Mike; Le Traon, Yves

in Software Testing : Verification & Reliability (2015), 25

Full Text
See detailTrivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
Papadakis, Mike; Yue, Jia; Harman, Mark; Le Traon, Yves

in 37th International Conference on Software Engineering (ICSE 2015) (2015)

Full Text
See detailAutomated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets
Xu, Dianxiang; Kent, Michael; Thomas, Lijo; Mouelhi, Tejeddine; Le Traon, Yves

in IEEE TRANSACTIONS ON COMPUTERS (2015), 64(9), 2490-2505

Full Text
See detailRoundtable: Research Opportunities and Challenges for Emerging Software Systems
Zhang, X.; Zhang, D.; Le Traon, Yves; Wang, Q.; Zhang, L.

in Journal of Computer Science and Technology (2015), 30(5), 935-941

Top of Page

2014

Full Text
See detailEmpirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: an Urgent Need for Systematic Security Regression Testing
Abgrall, Erwan; Le Traon, Yves; Gombault, Sylvain; Monperrus, Martin

in 7th IEEE International Conference on Software Testing, Verification and Validation (ICST)- Workshop SECTEST (2014)

Full Text
See detailEmpirical assessment of machine learning-based malware detectors for Android: Measuring the Gap between In-the-Lab and In-the-Wild Validation Scenarios
Allix, Kevin; Bissyande, Tegawendé François D Assise; Jerome, Quentin; Klein, Jacques; State, Radu; Le Traon, Yves

in Empirical Software Engineering (2014)

Full Text
See detailLarge-scale Machine Learning-based Malware Detection: Confronting the "10-fold Cross Validation" Scheme with Reality
Allix, Kevin; Bissyande, Tegawendé François D Assise; Jerome, Quentin; Klein, Jacques; State, Radu; Le Traon, Yves

in Proceedings of the 4th ACM Conference on Data and Application Security and Privacy (2014, March)

Full Text
See detailMachine Learning-Based Malware Detection for Android Applications: History Matters!
Allix, Kevin; Bissyande, Tegawendé François D Assise; Klein, Jacques; Le Traon, Yves

Report (2014)

Full Text
See detailA Forensic Analysis of Android Malware -- How is Malware Written and How It Could Be Detected?
Allix, Kevin; Jerome, Quentin; Bissyande, Tegawendé François D Assise; Klein, Jacques; State, Radu; Le Traon, Yves

in Proceedings of the 2014 IEEE 38th Annual Computer Software and Applications Conference (2014, July)

Full Text
See detailA Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
Amrani, Moussa; Lúcio, Lévi; Selim, Gehan; Combemale, Benoît; Dingel, Jürgen; Vangheluwe, Hans; Le Traon, Yves; Cordy, James

in Journal of Technology (2014)

Full Text
See detailFlowDroid: Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps
Arzt, S.; Rasthofer, S.; Fritz, C.; Bodden, E.; Bartel, A.; Klein, Jacques; Le Traon, Yves; Octeau, D.; McDaniel, P.

Scientific Conference (2014, June)

Full Text
See detailStatic Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

in IEEE Transactions on Software Engineering (TSE) (2014), 40(6), 617-632

Full Text
See detailSimilarity testing for access control
Bertolino, Antonia; daoudagh, said; El Kateb, Donia; Henard, Christopher; Le Traon, Yves; lonetti, francesca; marchetti, eda; Mouelhi, Tejeddine; Papadakis, Mike

in Information and Software Technology (2014)

Full Text
See detailCoverage-based Test Cases Selection for XACML Policies
Bertolino, Antonia; Le Traon, Yves; Lonetti, Francesca; Marchetti, Eda; Mouelhi, Tejeddine

in IEEE International Conference on Software Testing Verification and Validation Workshops (2014)

Full Text
See detailTools for Conviviality in Multi-Context Systems
bikakis, Antonis; Caire, Patrice; Le Traon, Yves

in IFCOLOG: journal of Logic and Applications (2014), 1(1),

Full Text
See detailTowards a Full Support of Obligations In XACML
El Kateb, Donia; Elrakaiby, Yehia; Mouelhi, Tejeddine; Rubab, Iram; Le Traon, Yves

Scientific Conference (2014)

Full Text
See detailOptimizing Multi-Objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning
El Kateb, Donia; Fouquet, François; bourcier, Johann; Le Traon, Yves

Scientific Conference (2014, October)

Full Text
See detailGeneric Cloud Platform Multi-objective Optimization Leveraging Models@run.time
El Kateb, Donia; Fouquet, François; Nain, Grégory; Meira, Jorge Augusto; Ackerman, Michel; Le Traon, Yves

Scientific Conference (2014, March)

Full Text
See detailConviviality-Driven Access Control Policy
El Kateb, Donia; Zannone, Nicola; Moawad, Assaad; Caire, Patrice; Nain, Grégory; Mouelhi, Tejeddine; Le Traon, Yves

in Requirements Engineering (2014)

Full Text
See detailA Flexible MDE approach to Enforce Fine- grained Security Policies
Elrakaiby, Yehia; Amrani, Moussa; Le Traon, Yves

in Proceedings of the International Symposium on Engineering Secure Software and Systems (2014)

Full Text
See detailSecurity@Runtime: A flexible MDE approach to enforce fine-grained security policies
Elrakaiby, Yehia; Amrani, Moussa; Le Traon, Yves

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2014), 8364 LNCS

Full Text
See detailGenerating Realistic Smart Grid Communication Topologies Based on Real-Data
Hartmann, Thomas; Fouquet, François; Klein, Jacques; Le Traon, Yves; Pelov, Alexander; Toutain, Laurent; Ropitault, Tanguy

in 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm) (2014, November)

Full Text
See detailReactive Security for Smart Grids Using Models@run.time-Based Simulation and Reasoning
Hartmann, Thomas; Fouquet, François; Klein, Jacques; Nain, Grégory; Le Traon, Yves

in Proceedings of the Second Open EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec14) (2014, April)

Full Text
See detailModel-based time-distorted Contexts for efficient temporal Reasoning
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Brice, Morin; Klein, Jacques; Le Traon, Yves

Poster (2014, July 02)

Full Text
See detailA Native Versioning Concept to Support Historized Models at Runtime
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Morin, Brice; Klein, Jacques; Barais, Olivier; Le Traon, Yves

in Dingel, Juergen; Schulte, Wolfram; Ramos, Isidro; Abrahao, Silvia; Insfran, Emilio (Eds.) Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings (2014)

Full Text
See detailReasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach
Hartmann, Thomas; Fouquet, François; Nain, Grégory; Morin, Brice; Klein, Jacques; Le Traon, Yves

in Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (2014, July)

Full Text
See detailMutaLog: a Tool for Mutating Logic Formulas
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)

Full Text
See detailMutation-based Generation of Software Product Line Test Configurations
Henard, Christopher; Papadakis, Mike; Le Traon, Yves

in Symposium on Search-Based Software Engineering (SSBSE 2014) (2014)

Full Text
See detailBypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Configurations for Software Product Lines
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Heymans, Patrick; Le Traon, Yves

in IEEE Transactions on Software Engineering (2014), 40(7), 650-670

See detailAPI Document Quality for Resolving Deprecated APIs
Ko, Deokyoon; Ma, Kyeongwook; Park, Sooyong; Kim, Suntae; Kim, Dongsun; Le Traon, Yves

Scientific Conference (2014, December 01)

Full Text
See detailAutomatically Exploiting Potential Component Leaks in Android Applications
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Report (2014)

Full Text
See detailAutomatically Exploiting Potential Component Leaks in Android Applications
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

in The 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-14), IEEE, Sept. 2014, Beijing, China. (2014, September)

Full Text
See detailDetecting privacy leaks in Android Apps
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Scientific Conference (2014, February 26)

Full Text
See detailUsing A Path Matching Algorithm to Detect Inter-Component Leaks in Android Apps
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves

Scientific Conference (2014, March 12)

Full Text
See detailI know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis
Li, Li; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Octeau, Damien; McDaniel, Patrick

Report (2014)

Full Text
See detailIntra-query Adaptivity for MapReduce Query Processing Systems
Lucas Filho, Edson Ramiro; Cunha De Almeida, Eduardo; Le Traon, Yves

in IDEAS 2014 : 18th International Database Engineering Applications Symposium (2014)

Full Text
See detailAdvances in Model-Driven Security
Lucio, Levi; Zhang, Qin; Nguyen, Phu Hong; Amrani, Moussa; Klein, Jacques; Vangheluwe, Hans; Le Traon, Yves

in Memon, Atif (Ed.) Advances in Computers (2014)

See detailBUT4Reuse Feature identifier: Identifying reusable features on software variants
Martinez, Jabier; Ziadi, Tewfik; Klein, Jacques; Le Traon, Yves

Poster (2014)

Full Text
See detailIdentifying and Visualising Commonality and Variability in Model Variants
Martinez, Jabier; Ziadi, Tewfik; Klein, Jacques; Le Traon, Yves

in ECMFA 2014 European Conference on Modelling Foundations and Applications (2014)

Full Text
See detailFeature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines
Martinez, Jabier; Ziadi, Tewfik; Mazo, Raul; Klein, Jacques; Le Traon, Yves

in 2nd IEEE Working Conference on Software Visualization (2014)

Full Text
See detailA state machine for database non-functional testing
Meira, Jorge Augusto; Almeida, Eduardo; Le Traon, Yves

Poster (2014)

Full Text
See detailModel-Driven Security with A System of Aspect-Oriented Security Design Patterns
Nguyen, Phu Hong; Klein, Jacques; Le Traon, Yves

in 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (2014, July 22)

Full Text
See detailModeling, composing, and testing of security concerns in a Model-Driven Security approach
Nguyen, Phu Hong; Klein, Jacques; Le Traon, Yves

in Joosen, Wouter; Martinelli, Fabio; Heyman, Thomas (Eds.) Proceedings of the 2014 ESSoS Doctoral Symposium co-located with the International Symposium on Engineering Secure Software and Systems (ESSoS 2014) (2014, February 26)

Full Text
See detailModularity and Dynamic Adaptation of Flexibly Secure Systems: Model-Driven Adaptive Delegation in Access Control Management
Nguyen, Phu Hong; Nain, Grégory; Klein, Jacques; Mouelhi, Tejeddine; Le Traon, Yves

in Transactions on Aspect-Oriented Software Development (2014), 11

Full Text
See detailThe NOAH Project: Giving a Chance to Threatened Species in Africa with UAVs
Olivares Mendez, Miguel Angel; Bissyandé, Tegawendé; Somasundar, Kannan; Klein, Jacques; Voos, Holger; Le Traon, Yves

in Bissyandé, Tegawendé F.; van Stam, Gertjan (Eds.) e-Infrastructure and e-Services for Developing Countries (2014)

Full Text
See detailMitigating the Effects of Equivalent Mutants with Mutant Classification Strategies
Papadakis, Mike; Delamaro, Eduardo Márcio; Le Traon, Yves

in Science of Computer Programming (2014), 95

Full Text
See detailSampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing
Papadakis, Mike; Henard, Christopher; Le Traon, Yves

in 7th International Conference on Software Testing, Verification and Validation (ICST 2014) (2014)

Full Text
See detailEffective Fault Localization via Mutation Analysis: A Selective Mutation Approach
Papadakis, Mike; Le Traon, Yves

in ACM Symposium On Applied Computing (SAC'14) (2014)

Full Text
See detailModel-Based Testing of Obligations
Rubab, Iram; Ali, Shaukat; Briand, Lionel; Le Traon, Yves

in 14th Annual International Conference on Quality Software (QSIC) (2014)

Full Text
See detailModel-based testing of global properties on large-scale distributed systems
Sunyé, G.; De Almeida, E. C.; Le Traon, Yves; Baudry, B.; Jézéquel, J.-M.

in Information and Software Technology (2014), 56(7), 749-762

Full Text
See detailTowards a Language-Independent Approach for Reverse-Engineering of Software Product Lines
Ziadi, Tewfik; Henard, Christopher; Papadakis, Mike; Ziane, Mikal; Le Traon, Yves

in 29th Symposium on Applied Computing (SAC 2014) (2014)

Top of Page

2013

Full Text
See detailSustainable ICT4D in Africa: Where Do We Go From Here?
Bissyande, Tegawendé François D Assise; Ahmat, Daouda; Ouoba, Jonathan; van Stam, Gertjan; Klein, Jacques; Le Traon, Yves

in EAI International Conference on e-Infrastructure and e-Services for Developing Countries (2013)

Full Text
See detailGot Issues? Who Cares About It? A Large Scale Investigation of Issue Trackers from GitHub
Bissyande, Tegawendé François D Assise; Lo, David; Jiang, Lingxiao; Reveillere, Laurent; Klein, Jacques; Le Traon, Yves

in Proceedings of the 24th International Symposium on Software Reliability Engineering (ISSRE 2013) (2013, November)

Full Text
See detailInformation Dependencies in MCS: Conviviality-Based Model and Metrics
Caire, Patrice; Bikakis, Antonis; Le Traon, Yves

in 16th INTERNATIONAL CONFERENCE ON PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2013) (2013, December 01)

Full Text
See detailAccess Control Enforcement Testing
El Kateb, Donia; ElRakaiby, Yehia; Mouelhi, Tejeddine; Le Traon, Yves

in 2013 8TH INTERNATIONAL WORKSHOP ON AUTOMATION OF SOFTWARE TEST (AST) (2013)

Full Text
See detailA PEP-PDP Architecture to Monitor and Enforce Security Policies in Java Applications
Elrakaiby, Yehia; Le Traon, Yves

in 2013 International Conference on Availability, Reliability and Security (2013)

Full Text
See detailUnder Pressure Benchmark for DDBMS Availability
Fior, Alessandro Gustavo; Meira, Jorge Augusto; Almeida, Eduardo Cunha de; Coelho, Ricardo Gonçalves; Del Fabro, Marcos Didonet; Le Traon, Yves

in Journal of Information and Data Management (2013)

Full Text
See detailHighly precise taint analysis for Android applications
Fritz, Christian; Arzt, Steven; Rasthofer, Siegfried; Bodden, Eric; Bartel, Alexandre; Klein, Jacques; Le Traon, Yves; Octeau, Damien; McDaniel, Patrick

Report (2013)

Full Text
See detailAssessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves

in 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013 (2013)

Full Text
See detailMulti-objective test generation for software product lines
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves

in 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013 (2013)

Full Text
See detailPLEDGE: a product line editor and test generation tool
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves

in 17th International Software Product Line Conference co-located workshops, SPLC 2013 workshops, Tokyo, Japan - August 26 (2013)

Full Text
See detailTowards automated testing and fixing of re-engineered feature models
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Le Traon, Yves

in Proceedings of the 2013 International Conference on Software Engineering (2013)

Full Text
See detailStress Testing of Transactional Database Systems
Meira, Jorge Augusto; Almeida, Eduardo Cunha de; Sunyé, Gerson; Le Traon, Yves; Valduriez, Patrick

in Journal of Information and Data Management (2013)

Full Text
See detailR-CoRe: A Rule-based Contextual Reasoning Platform for AmI
Moawad, Assaad; Bikakis, Antonis; Caire, Patrice; Nain, Grégory; Le Traon, Yves

in Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium hosted at the 8th International Symposium on Rules (RuleML2013) (2013, July)

Full Text
See detailA Rule-based Contextual Reasoning Platform for Ambient Intelligence environments
Moawad, Assaad; Bikakis, Antonis; Caire, Patrice; Nain, Grégory; Le Traon, Yves

in Theory, Practice, and Applications of Rules on the Web (2013, July 01)

Full Text
See detailUsage and testability of AOP: An empirical study of AspectJ
Munoz, F.; Baudry, B.; Delamare, R.; Le Traon, Yves

in Information and Software Technology (2013), 55(2), 252-266

Full Text
See detailA Systematic Review of Model-Driven Security
Nguyen, Phu Hong; Klein, Jacques; Kramer, Max; Le Traon, Yves

in The 20th Asia-Pacific Software Engineering Conference Proceedings (2013, December)

Full Text
See detailModel-Driven Adaptive Delegation
Nguyen, Phu Hong; Nain, Grégory; Klein, Jacques; Mouelhi, Tejeddine; Le Traon, Yves

in Masuhara, Hidehiko; Chiba, Sigeru; Ubayashi, Naoyasu (Eds.) Proceedings of the 12th annual international conference companion on Aspect-oriented software development (2013, March)

Full Text
See detailEffective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis
Octeau, Damien; McDaniel, Patrick; Jha, Somesh; Bartel, Alexandre; Bodden, Eric; Klein, Jacques; Le Traon, Yves

in Effective Inter-Component Communication Mapping in Android with Epicc: An Essential Step Towards Holistic Security Analysis (2013)

Full Text
See detailProteum/FL: A tool for localizing faults using mutation analysis.
Papadakis, Mike; Delamaro, Eduardo Márcio; Le Traon, Yves

in International Working Conference on Source Code Analysis and Manipulation (2013)

Full Text
See detailMutation Testing Strategies using Mutant Classification
Papadakis, Mike; Le Traon, Yves

in 28th Symposium On Applied Computing (2013)

Top of Page

2012

Full Text
See detailImproving Privacy on Android Smartphones Through In-Vivo Bytecode Instrumentation
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Allix, Kevin; Le Traon, Yves

Report (2012)

Full Text
See detailIn-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Allix, Kevin; Le Traon, Yves

E-print/Working paper (2012)

Full Text
See detailAutomatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

in IEEE/ACM International Conference on Automated Software Engineering (2012)

Full Text
See detailDexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

in ACM SIGPLAN International Workshop on the State Of the Art in Java Program Analysis (SOAP 2012) (2012)

Full Text
See detailIntroducing Conviviality as a property of Multi-Context Systems
Bikakis, Antonis; Efthymiou, Vasileios; Caire, Patrice; Le Traon, Yves

in The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge ARCOE-12 (2012, August 27)

Full Text
See detailFormalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Dhaussy, Philippe; Boniol, Frédéric; Roger, Jean-Charles; Raji, Amine; Le Traon, Yves; Baudry, Beno It

in TSI. Technique et science informatiques (2012), 31(6), 797--825

Full Text
See detailAccess Control Enforcement Testing
El Kateb, Donia; Elrakaiby, Yehia; Mouelhi, Tejeddine; Le Traon, Yves

in 8th International Workshop on Automation of Software Test (AST), 2013 (2012, May)

Full Text
See detailRefactoring access control policies for performance improvement
El Kateb, Donia; Mouelhi, Tejeddine; Le Traon, Yves; Hwang, Jeehyun; Xie, Tao

in Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (2012, April)

Full Text
See detailTesting Obligation Policy Enforcement using Mutation Analysis
El Rakaiby, Yehia; Mouelhi, Tejeddine; Le Traon, Yves

in Proceedings of the 7th International Workshop on Mutation Analysis (associated to the Fifth International Conference on Software Testing, Verification, and Validation, ICST 2012) (2012)

Full Text
See detailRefactoring Access Control Policies for Performance Improvement
Elkateb, Donia; Mouelhi, Tejeddine; Le Traon, Yves; Hwang, Jeehyun; Xie, Tao

in Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012) (2012)

Full Text
See detailTesting obligation policy enforcement using mutation analysis
Elrakaiby, Yehia; Mouelhi, Tejeddine; Le Traon, Yves

in Proceedings - IEEE 5th International Conference on Software Testing, Verification and Validation, ICST 2012 (2012)

Full Text
See detailBypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
Henard, Christopher; Papadakis, Mike; Perrouin, Gilles; Klein, Jacques; Heymans, Patrick; Le Traon, Yves

Report (2012)

Full Text
See detailSelection of Regression System Tests for Security Policy Evolution
Hwang, JeeHyun; Xie, Tao; El Kateb, Donia; Mouelhi, Tejeddine; Le Traon, Yves

Scientific Conference (2012, September)

Full Text
See detailPeer-to-Peer Load Testing
Meira, Jorge Augusto; Almeida, Eduardo Cunha; Le Traon, Yves; Sunye, Gerson

in Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on (2012)

Full Text
See detailIntroducing Conviviality as a New Paradigm for Interactions among IT Objects
Moawad, Assaad; Efthymiou, Vasileios; Caire, Patrice; Nain, Grégory; Le Traon, Yves

in Proceedings of the Workshop on AI Problems and Approaches for Intelligent Environments (2012, August), 907

Full Text
See detailUsing Mutants to Locate "Unknown" Faults
Papadakis, Mike; Le Traon, Yves

in ICST 2012 (2012)

Full Text
See detailTowards Flexible Evolution of Dynamically Adaptive Systems
Perrouin, Gilles; Morin, Brice; Chauvel, Franck; Fleurey, Franck; Klein, Jacques; Le Traon, Yves; Barais, Olivier; Jézéquel, Jean-Marc

in New Ideas & Emerging Results Track of the International Conference of Software Engineering (NIER@ICSE) (2012, June)

Full Text
See detailPairwise testing for software product lines: Comparison of two approaches
Perrouin, Gilles; Oster, Sebastian; Sen, Sagar; Klein, Jacques; Baudry, Benoit; Le Traon, Yves

in Software Quality Journal (2012), 20(3), 605-643

Full Text
See detailA Model-Based Approach to Automated Testing of Access Control Policies
Xu, Dianxiang; Thomas, Lijo; Kent, Michael; Mouelhi, Tejeddine; Le Traon, Yves

in Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (2012)

Top of Page

2011

Full Text
See detailModel Driven Mutation Applied to Adaptative Systems Testing
Bartel, Alexandre; Baudry, Benoit; Munoz, Freddy; Klein, Jacques; Mouelhi, Tejeddine; Le Traon, Yves

in Mutation 2011 (@ICST) (2011)

Full Text
See detailAutomatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Bartel, Alexandre; Klein, Jacques; Monperrus, Martin; Le Traon, Yves

in Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android (Tech Report) (2011)

Top of Page

2010

Full Text
See detailAutomated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
Perrouin, Gilles; Sen, Sagar; Klein, Jacques; Baudry, Benoit; Le Traon, Yves

in International Conference on Software Test and Validation (2010)

Top of Page