Yves Le Traon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
175
Venues
55
Active years
1995–2024
Best venue rank
A*
Where they publish
- AICST28 papers
- A*ICSE27 papers
- AISSRE13 papers
- AMODELS12 papers
- MulticonferenceSAC8 papers
- AISSTA6 papers
- BSPLC6 papers
- AMSR4 papers
- CSEKE4 papers
- BEDOC4 papers
- BCAIN3 papers
- CMobiquitous3 papers
- CSCAM3 papers
- CAPSEC3 papers
- AITC3 papers
- A*AAAI2 papers
- CAST2 papers
- CQRS2 papers
- CIECON2 papers
- BICSR2 papers
- CCRiSIS2 papers
- CIDEAS2 papers
- A*PLDI2 papers
- A*EMNLP1 paper
- AESORICS1 paper
- BFASE1 paper
- A*ICML1 paper
- A*SP1 paper
- BACNS1 paper
- A*ECCV1 paper
- A*IJCAI1 paper
- AUAI1 paper
- A*KDD1 paper
- A*WWW1 paper
- BEDBT1 paper
- AESEM1 paper
- CCRITIS1 paper
- CDEXA1 paper
- BDIMVA1 paper
- CETFA1 paper
- BIDA1 paper
- A*POPL1 paper
- AGECCO1 paper
- UnrankedSEC1 paper
- BCOMPSAC1 paper
- BTrustCom1 paper
- BSSBSE1 paper
- BVISSOFT1 paper
- BPRIMA1 paper
- CSACMAT1 paper
- CICSEA1 paper
- BREFSQ1 paper
- ARTAS1 paper
- CFORTE1 paper
- AECOOP1 paper
Papers
175 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. | Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2024 | ICST | On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset. | Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon |
| 2023 | AAAI | On Evaluating Adversarial Robustness of Chest X-ray Classification. | Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2023 | AST | FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning. | Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon |
| 2023 | AST | On Comparing Mutation Testing Tools through Learning-based Mutant Selection. | Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon |
| 2023 | CAIN | Towards Understanding Model Quantization for Reliable Deep Neural Network Deployment. | Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon |
| 2023 | EMNLP | A Black-Box Attack on Code Models via Representation Nearest Neighbor Search. | Jie Zhang, Wei Ma, Qiang Hu, Shangqing Liu, Xiaofei Xie, Yves Le Traon, Yang Liu |
| 2023 | ESORICS | An Empirical Study of the Imbalance Issue in Software Vulnerability Detection. | Yuejun Guo, Qiang Hu, Qiang Tang, Yves Le Traon |
| 2023 | FASE | ACoRe: Automated Goal-Conflict Resolution. | Luiz Carvalho, Renzo Degiovanni, Matas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2023 | ICML | GAT: Guided Adversarial Training with Pareto-optimal Auxiliary Tasks. | Salah Ghamizi, Jingfeng Zhang, Maxime Cordy, Mike Papadakis, Masashi Sugiyama, Yves Le Traon |
| 2023 | ICSE | Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation. | Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon |
| 2023 | ICSE | CodeS: Towards Code Model Generalization Under Distribution Shift. | Qiang Hu, Yuejun Guo, Xiaofei Xie, Maxime Cordy, Mike Papadakis, Lei Ma, Yves Le Traon |
| 2023 | ICSE | Poster: Distribution-aware Fairness Test Generation. | Sai Sathiesh Rajan, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Yves Le Traon |
| 2023 | ICST | AI is a game-changing technology: how to test and robustify Machine-Learning software? | Yves Le Traon |
| 2023 | ISSRE | Enabling Efficient Assertion Inference. | Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon |
| 2023 | SP | On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks. | Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto, Yves Le Traon, Maxime Cordy |
| 2022 | AAAI | Adversarial Robustness in Multi-Task Learning: Promises and Illusions. | Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2022 | ACNS | Android Malware Detection Using BERT. | Badr Souani, Ahmed Khanfir, Alexandre Bartel, Kevin Allix, Yves Le Traon |
| 2022 | CAIN | Robust active learning: sample-efficient training of robust deep learning models. | Yuejun Guo, Qiang Hu, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2022 | CAIN | Influence-driven data poisoning in graph-based semi-supervised classifiers. | Adriano Franci, Maxime Cordy, Martin Gubri, Mike Papadakis, Yves Le Traon |
| 2022 | ECCV | LGV: Boosting Adversarial Example Transferability from Large Geometric Vicinity. | Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen |
| 2022 | IJCAI | A Unified Framework for Adversarial Attack and Defense in Constrained Feature Space. | Thibault Simonetto, Salijona Dyrmishi, Salah Ghamizi, Maxime Cordy, Yves Le Traon |
| 2022 | ICST | A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests. | Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon |
| 2022 | MSR | GraphCode2Vec: Generic Code Embedding via Lexical and Program Dependence Analyses. | Wei Ma, Mengjie Zhao, Ezekiel O. Soremekun, Qiang Hu, Jie M. Zhang, Mike Papadakis, Maxime Cordy, Xiaofei Xie, Yves Le Traon |
| 2022 | QRS | CodeBERT-nt: Code Naturalness via CodeBERT. | Ahmed Khanfir, Matthieu Jimenez, Mike Papadakis, Yves Le Traon |
| 2022 | UAI | Efficient and transferable adversarial examples from bayesian neural networks. | Martin Gubri, Maxime Cordy, Mike Papadakis, Yves Le Traon, Koushik Sen |
| 2021 | MSR | A Replication Study on the Usability of Code Vocabulary in Predicting Flaky Tests. | Guillaume Haben, Sarra Habchi, Mike Papadakis, Maxime Cordy, Yves Le Traon |
| 2021 | QRS | Confuzzion: A Java Virtual Machine Fuzzer for Type Confusion Vulnerabilities. | William Bonnaventure, Ahmed Khanfir, Alexandre Bartel, Mike Papadakis, Yves Le Traon |
| 2020 | ICSE | On the efficiency of test suite based program repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs. | Kui Liu, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawend F. Bissyand, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, Yves Le Traon |
| 2020 | ICSE | Muteria: An Extensible and Flexible Multi-Criteria Software Testing Framework. | Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon |
| 2020 | ICSE | FeatureNET: diversity-driven generation of deep learning models. | Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2020 | KDD | Data-driven Simulation and Optimization for Covid-19 Exit Strategies. | Salah Ghamizi, Renaud Rwemalika, Maxime Cordy, Lisa Veiber, Tegawend F. Bissyand, Mike Papadakis, Jacques Klein, Yves Le Traon |
| 2020 | WWW | LOVBench: Ontology Ranking Benchmark. | Niklas Kolbe, Pierre-Yves Vandenbussche, Sylvain Kubler, Yves Le Traon |
| 2019 | ICSE | Assessing transition-based test selection algorithms at Google. | Claire Leong, Abhayendra Singh, Mike Papadakis, Yves Le Traon, John Micco |
| 2019 | ICSE | Learning to spot and refactor inconsistent method names. | Kui Liu, Dongsun Kim, Tegawend F. Bissyand, Tae-young Kim, Kisub Kim, Anil Koyuncu, Suntae Kim, Yves Le Traon |
| 2019 | ICSE | Validity fuzzing and parametric generators for effective random testing. | Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon |
| 2019 | ICST | You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair Systems. | Kui Liu, Anil Koyuncu, Tegawend F. Bissyand, Dongsun Kim, Jacques Klein, Yves Le Traon |
| 2019 | ICST | On the Evolution of Keyword-Driven Test Suites. | Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach |
| 2019 | IECON | TRIDENT: A Three-Steps Strategy to Digitise an Industrial System for Stepping into Industry 4.0. | Paul-Lou Benedick, Jrmy Robert, Yves Le Traon |
| 2019 | ISSTA | Search-based test and improvement of machine-learning-based anomaly detection systems. | Maxime Cordy, Steve Muller, Mike Papadakis, Yves Le Traon |
| 2019 | ISSTA | Semantic fuzzing with zest. | Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon |
| 2019 | ISSTA | Ukwikora: continuous inspection for keyword-driven testing. | Renaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach |
| 2019 | Mobiquitous | Smart discovery of periodic-frequent human routines for home automation. | Alejandro Snchez Guinea, Andrey Boytsov, Ludovic Mouline, Yves Le Traon |
| 2019 | MODELS | Meta-Modelling Meta-Learning. | Thomas Hartmann, Assaad Moawad, Cedric Schockaert, Franois Fouquet, Yves Le Traon |
| 2019 | SPLC | Automated search for configurations of convolutional neural network architectures. | Salah Ghamizi, Maxime Cordy, Mike Papadakis, Yves Le Traon |
| 2018 | EDBT | Extracting Statistical Graph Features for Accurate and Efficient Time Series Classification. | Daoyuan Li, Jessica Lin, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2018 | ESEM | Are mutants really natural?: a study on how "naturalness" helps mutant selection. | Matthieu Jimenez, Thierry Titcheu Chekam, Maxime Cordy, Mike Papadakis, Marinos Kintis, Yves Le Traon, Mark Harman |
| 2018 | ICSE | Predicting the fault revelation utility of mutants. | Thierry Titcheu Chekam, Mike Papadakis, Tegawend F. Bissyand, Yves Le Traon |
| 2018 | ICSE | FaCoY: a code-to-code search engine. | Kisub Kim, Dongsun Kim, Tegawend F. Bissyand, Eunjong Choi, Li Li, Jacques Klein, Yves Le Traon |
| 2018 | ICSE | Augmenting and structuring user queries to support efficient free-form code search. | Raphael Sirres, Tegawend F. Bissyand, Dongsun Kim, David Lo, Jacques Klein, Kisub Kim, Yves Le Traon |
| 2018 | ICSR | Towards Estimating and Predicting User Perception on Software Product Variants. | Jabier Martinez, Jean-Sbastien Sottet, Alfonso Garca Frey, Tegawend F. Bissyand, Tewfik Ziadi, Jacques Klein, Paul Temple, Mathieu Acher, Yves Le Traon |
| 2018 | ICST | Mutant Quality Indicators. | Mike Papadakis, Thierry Titcheu Chekam, Yves Le Traon |
| 2018 | ISSTA | Bench4BL: reproducibility study on the performance of IR-based bug localization. | Jaekwon Lee, Dongsun Kim, Tegawend F. Bissyand, Woosung Jung, Yves Le Traon |
| 2018 | Mobiquitous | Continuous Identification in Smart Environments Using Wrist-Worn Inertial Sensors. | Alejandro Snchez Guinea, Andrey Boytsov, Ludovic Mouline, Yves Le Traon |
| 2018 | SCAM | [Engineering Paper] Enabling the Continuous Analysis of Security Vulnerabilities with VulData7. | Matthieu Jimenez, Yves Le Traon, Mike Papadakis |
| 2017 | ICSE | The multi-generation repackaging hypothesis. | Li Li, Tegawend F. Bissyand, Alexandre Bartel, Jacques Klein, Yves Le Traon |
| 2017 | ICSE | Understanding Android app piggybacking. | Li Li, Daoyuan Li, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon, David Lo, Lorenzo Cavallaro |
| 2017 | ICSE | An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption. | Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon, Mark Harman |
| 2017 | ICSE | Automatically Locating Malicious Packages in Piggybacked Android Apps. | Li Li, Daoyuan Li, Tegawend F. Bissyand, Jacques Klein, Haipeng Cai, David Lo, Yves Le Traon |
| 2017 | ICSE | Bottom-up technologies for reuse: automated extractive adoption of software product lines. | Jabier Martinez, Tewfik Ziadi, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2017 | ICST | Assessing and Improving the Mutation Testing Practice of PIT. | Thomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque |
| 2017 | ISSTA | Impact of tool support in patch construction. | Anil Koyuncu, Tegawend F. Bissyand, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon |
| 2017 | Mobiquitous | PROFICIENT: Productivity Tool for Semantic Interoperability in an Open IoT Ecosystem. | Niklas Kolbe, Jrmy Robert, Sylvain Kubler, Yves Le Traon |
| 2017 | MODELS | The Next Evolution of MDE: A Seamless Integration of Machine Learning into Domain Modeling. | Thomas Hartmann, Assaad Moawad, Franois Fouquet, Yves Le Traon |
| 2017 | MODELS | Raising Time Awareness in Model-Driven Engineering: Vision Paper. | Amine Benelallam, Thomas Hartmann, Ludovic Mouline, Franois Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon |
| 2017 | MSR | Euphony: harmonious unification of cacophonous anti-virus vendor labels for Android malware. | Mdric Hurier, Guillermo Suarez-Tangil, Santanu Kumar Dash, Tegawend F. Bissyand, Yves Le Traon, Jacques Klein, Lorenzo Cavallaro |
| 2017 | SAC | Sensing by proxy in buildings with agglomerative clustering of indoor temperature movements. | Daoyuan Li, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2017 | SEKE | Analyzing Complex Data in Motion at Scale with Temporal Graphs. | Thomas Hartmann, Franois Fouquet, Matthieu Jimenez, Romain Rouvoy, Yves Le Traon |
| 2016 | APSEC | An Empirical Analysis of Vulnerabilities in OpenSSL and the Linux Kernel. | Matthieu Jimenez, Mike Papadakis, Yves Le Traon |
| 2016 | CRITIS | Dynamic Risk Analyses and Dependency-Aware Root Cause Model for Critical Infrastructures. | Steve Muller, Carlo Harpes, Yves Le Traon, Sylvain Gombault, Jean-Marie Bonnin, Paul Hoffmann |
| 2016 | DEXA | "Overloaded!" - A Model-Based Approach to Database Stress Testing. | Jorge Augusto Meira, Eduardo Cunha de Almeida, Dongsun Kim, Edson Ramiro Lucas Filho, Yves Le Traon |
| 2016 | DIMVA | On the Lack of Consensus in Anti-Virus Decisions: Metrics and Insights on Building Ground Truths of Android Malware. | Mdric Hurier, Kevin Allix, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2016 | ETFA | UAV degradation identification for pilot notification using machine learning techniques. | Anush Manukyan, Miguel A. Olivares-Mndez, Tegawend F. Bissyand, Holger Voos, Yves Le Traon |
| 2016 | ICSE | Comparing white-box and black-box test prioritization. | Christopher Henard, Mike Papadakis, Mark Harman, Yue Jia, Yves Le Traon |
| 2016 | ICSE | Strong mutation-based test data generation using hill climbing. | Francisco Carlos M. Souza, Mike Papadakis, Yves Le Traon, Mrcio Eduardo Delamaro |
| 2016 | ICSR | Feature Location Benchmark for Software Families Using Eclipse Community Releases. | Jabier Martinez, Tewfik Ziadi, Mike Papadakis, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2016 | IDA | DSCo-NG: A Practical Language Modeling Approach for Time Series Classification. | Daoyuan Li, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2016 | IECON | O-MI/O-DF standards as interoperability enablers for Industrial Internet: A performance analysis. | Jrmy Robert, Sylvain Kubler, Yves Le Traon, Kary Frmling |
| 2016 | ISSTA | Threats to the validity of mutation-based test assessment. | Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon |
| 2016 | MSR | AndroZoo: collecting millions of Android apps for the research community. | Kevin Allix, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2016 | POPL | Combining static analysis with probabilistic models to enable market-scale Android inter-component analysis. | Damien Octeau, Somesh Jha, Matthew L. Dering, Patrick D. McDaniel, Alexandre Bartel, Li Li, Jacques Klein, Yves Le Traon |
| 2016 | SAC | Near real-time electric load approximation in low voltage cables of smart grids with models@run.time. | Thomas Hartmann, Assaad Moawad, Franois Fouquet, Yves Reckinger, Jacques Klein, Yves Le Traon |
| 2016 | SAC | Towards a generic framework for automating extensive analysis of Android applications. | Li Li, Daoyuan Li, Alexandre Bartel, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2016 | SEKE | Time Series Classification with Discrete Wavelet Transformed Data: Insights from an Empirical Study. | Daoyuan Li, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2016 | SCAM | Vulnerability Prediction Models: A Case Study on the Linux Kernel. | Matthieu Jimenez, Mike Papadakis, Yves Le Traon |
| 2016 | SPLC | Mining families of android applications for extractive SPL adoption. | Li Li, Jabier Martinez, Tewfik Ziadi, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2016 | SPLC | Name suggestions during feature identification: the variclouds approach. | Jabier Martinez, Tewfik Ziadi, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2015 | GECCO | Estimating and Predicting Average Likability on Computer-Generated Artwork Variants. | Jabier Martinez, Gabriele Rossi, Tewfik Ziadi, Tegawend Franois D. Assise Bissyand, Jacques Klein, Yves Le Traon |
| 2015 | ICSE | IccTA: Detecting Inter-Component Privacy Leaks in Android Apps. | Li Li, Alexandre Bartel, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon, Steven Arzt, Siegfried Rasthofer, Eric Bodden, Damien Octeau, Patrick D. McDaniel |
| 2015 | ICSE | Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines. | Christopher Henard, Mike Papadakis, Mark Harman, Yves Le Traon |
| 2015 | ICSE | Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique. | Mike Papadakis, Yue Jia, Mark Harman, Yves Le Traon |
| 2015 | ICST | Sound and Quasi-Complete Detection of Infeasible Test Requirements. | Sbastien Bardin, Mickal Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion |
| 2015 | ICST | Flattening or not of the combinatorial interaction testing models? | Christopher Henard, Mike Papadakis, Yves Le Traon |
| 2015 | MODELS | Stream my models: Reactive peer-to-peer distributed models@run.time. | Thomas Hartmann, Assaad Moawad, Franois Fouquet, Grgory Nain, Jacques Klein, Yves Le Traon |
| 2015 | MODELS | Beyond discrete modeling: A continuous and efficient model for IoT. | Assaad Moawad, Thomas Hartmann, Franois Fouquet, Grgory Nain, Jacques Klein, Yves Le Traon |
| 2015 | MODELS | SoSPa: A system of Security design Patterns for systematically engineering secure systems. | Phu Hong Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, Yves Le Traon |
| 2015 | MODELS | Keynote - Model-driven Analytics with Models@run.time: The Case of Cyber-Physical-Systems. | Yves Le Traon |
| 2015 | SAC | Adaptive blurring of sensor data to balance privacy and utility for ubiquitous services. | Assaad Moawad, Thomas Hartmann, Franois Fouquet, Jacques Klein, Yves Le Traon |
| 2015 | SEC | ApkCombiner: Combining Multiple Android Apps to Support Inter-App Analysis. | Li Li, Alexandre Bartel, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2015 | SPLC | Bottom-up adoption of software product lines: a generic and extensible approach. | Jabier Martinez, Tewfik Ziadi, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2014 | APSEC | API Document Quality for Resolving Deprecated APIs. | Deokyoon Ko, Kyeongwook Ma, Sooyong Park, Suntae Kim, Dongsun Kim, Yves Le Traon |
| 2014 | COMPSAC | A Forensic Analysis of Android Malware - How is Malware Written and How it Could Be Detected? | Kevin Allix, Quentin Jrome, Tegawend F. Bissyand, Jacques Klein, Radu State, Yves Le Traon |
| 2014 | CRiSIS | Towards a Full Support of Obligations in XACML. | Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Iram Rubab, Yves Le Traon |
| 2014 | ICST | Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: An Urgent Need for Systematic Security Regression Testing. | Erwan Abgrall, Yves Le Traon, Sylvain Gombault, Martin Monperrus |
| 2014 | ICST | Coverage-Based Test Cases Selection for XACML Policies. | Antonia Bertolino, Yves Le Traon, Francesca Lonetti, Eda Marchetti, Tejeddine Mouelhi |
| 2014 | ICST | MutaLog: A Tool for Mutating Logic Formulas. | Christopher Henard, Mike Papadakis, Yves Le Traon |
| 2014 | ICST | Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing. | Mike Papadakis, Christopher Henard, Yves Le Traon |
| 2014 | IDEAS | Intra-query adaptivity for MapReduce query processing systems. | Edson Ramiro Lucas Filho, Eduardo Cunha de Almeida, Yves Le Traon |
| 2014 | IDEAS | A state machine for database non-functional testing. | Jorge Augusto Meira, Eduardo Cunha de Almeida, Yves Le Traon |
| 2014 | MODELS | A Native Versioning Concept to Support Historized Models at Runtime. | Thomas Hartmann, Franois Fouquet, Grgory Nain, Brice Morin, Jacques Klein, Olivier Barais, Yves Le Traon |
| 2014 | PLDI | FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. | Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel |
| 2014 | SAC | Generic cloud platform multi-objective optimization leveraging models@run.time. | Donia El Kateb, Franois Fouquet, Grgory Nain, Jorge Augusto Meira, Michel Ackerman, Yves Le Traon |
| 2014 | SAC | Effective fault localization via mutation analysis: a selective mutation approach. | Mike Papadakis, Yves Le Traon |
| 2014 | SAC | Towards a language-independent approach for reverse-engineering of software product lines. | Tewfik Ziadi, Christopher Henard, Mike Papadakis, Mikal Ziane, Yves Le Traon |
| 2014 | TrustCom | Automatically Exploiting Potential Component Leaks in Android Applications. | Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon |
| 2014 | SEKE | Reasoning at Runtime using time-distorted Contexts: A Models@run.time based Approach. | Thomas Hartmann, Franois Fouquet, Grgory Nain, Brice Morin, Jacques Klein, Yves Le Traon |
| 2014 | SEKE | Model-based time-distorted Contexts for efficient temporal Reasoning. | Thomas Hartmann, Franois Fouquet, Grgory Nain, Brice Morin, Jacques Klein, Yves Le Traon |
| 2014 | SSBSE | Mutation-Based Generation of Software Product Line Test Configurations. | Christopher Henard, Mike Papadakis, Yves Le Traon |
| 2014 | VISSOFT | Feature Relations Graphs: A Visualisation Paradigm for Feature Constraints in Software Product Lines. | Jabier Martinez, Tewfik Ziadi, Ral Mazo, Tegawend F. Bissyand, Jacques Klein, Yves Le Traon |
| 2013 | APSEC | A Systematic Review of Model-Driven Security. | Phu Hong Nguyen, Jacques Klein, Yves Le Traon, Max E. Kramer |
| 2013 | ICSE | Towards automated testing and fixing of re-engineered feature models. | Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon |
| 2013 | ICSE | Access control enforcement testing. | Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Yves Le Traon |
| 2013 | ICST | Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing. | Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon |
| 2013 | ISSRE | Got issues? Who cares about it? A large scale investigation of issue trackers from GitHub. | Tegawend F. Bissyand, David Lo, Lingxiao Jiang, Laurent Rveillre, Jacques Klein, Yves Le Traon |
| 2013 | PRIMA | Information Dependencies in MCS: Conviviality-Based Model and Metrics. | Patrice Caire, Antonis Bikakis, Yves Le Traon |
| 2013 | SAC | Mutation testing strategies using mutant classification. | Mike Papadakis, Yves Le Traon |
| 2013 | SCAM | Proteum/FL: A tool for localizing faults using mutation analysis. | Mike Papadakis, Mrcio Eduardo Delamaro, Yves Le Traon |
| 2013 | SPLC | Multi-objective test generation for software product lines. | Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon |
| 2013 | SPLC | PLEDGE: a product line editor and test generation tool. | Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Yves Le Traon |
| 2012 | ICSE | Towards flexible evolution of Dynamically Adaptive Systems. | Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, Jean-Marc Jzquel |
| 2012 | ICST | A Tridimensional Approach for Studying the Formal Verification of Model Transformations. | Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benot Combemale, Jrgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy |
| 2012 | ICST | Testing Obligation Policy Enforcement Using Mutation Analysis. | Yehia Elrakaiby, Tejeddine Mouelhi, Yves Le Traon |
| 2012 | ICST | Peer-to-Peer Load Testing. | Jorge Augusto Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Suny |
| 2012 | ICST | Using Mutants to Locate "Unknown" Faults. | Mike Papadakis, Yves Le Traon |
| 2012 | PLDI | Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with Soot. | Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus |
| 2012 | SACMAT | A model-based approach to automated testing of access control policies. | Dianxiang Xu, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, Yves Le Traon |
| 2011 | ICST | Model Driven Mutation Applied to Adaptative Systems Testing. | Alexandre Bartel, Benoit Baudry, Freddy Muoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon |
| 2011 | ICST | Tailored Shielding and Bypass Testing of Web Applications. | Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault |
| 2010 | ICSEA | Business and Information System Alignment: A Formal Solution for Telecom Services. | Jacques Simonin, Emmanuel Bertin, Yves Le Traon, Jean-Marc Jzquel, Nol Crespi |
| 2010 | ICST | Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. | Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon |
| 2010 | ICST | 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 |
| 2009 | CRiSIS | Runtime verification of declassification for imperative programs: Formal foundations. | Thomas Demongeot, Julien Mallet, Yves Le Traon |
| 2009 | ICST | A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ. | Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon |
| 2009 | ICST | AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut Descriptors. | Romain Delamare, Benoit Baudry, Yves Le Traon |
| 2009 | ICST | Transforming and Selecting Functional Test Cases for Security Policy Testing. | Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry |
| 2009 | MODELS | Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. | Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry |
| 2009 | REFSQ | Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. | Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon |
| 2008 | EDOC | EA4UP: An Enterprise Architecture-Assisted Telecom Service Development Method. | Jacques Simonin, Francis Alizon, Jean Pierre Deschrevel, Yves Le Traon, Jean-Marc Jzquel, Bertrand Nicolas |
| 2008 | ICST | Model transformation testing: oracle issue. | Jean-Marie Mottu, Benoit Baudry, Yves Le Traon |
| 2008 | ICST | Model-Based Tests for Access Control Policies. | Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon |
| 2008 | ICST | Test-Driven Assessment of Access Control in Legacy Applications. | Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry |
| 2008 | ISSRE | A Framework for Testing Peer-to-Peer Systems. | Eduardo Cunha de Almeida, Gerson Suny, Yves Le Traon, Patrick Valduriez |
| 2008 | MODELS | A Model-Based Framework for Security Policy Specification, Deployment and Testing. | Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon |
| 2008 | MODELS | Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach. | Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon |
| 2007 | EDOC | Model-Driven Engineering for Requirements Analysis. | Benoit Baudry, Clmentine Nebut, Yves Le Traon |
| 2007 | EDOC | Producing a Global Requirement Model from Multiple Requirement Specifications. | Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas |
| 2007 | EDOC | An Enterprise Architecture Alignment Measure for Telecom Service Development. | Jacques Simonin, Yves Le Traon, Jean-Marc Jzquel |
| 2007 | ISSRE | Testing Security Policies: Going Beyond Functional Testing. | Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry |
| 2006 | ICSE | Improving test suites for efficient fault localization. | Benoit Baudry, Franck Fleurey, Yves Le Traon |
| 2006 | ISSRE | Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. | Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon |
| 2006 | MODELS | Reusable MDA Components: A Testing-for-Trust Approach. | Jean-Marie Mottu, Benoit Baudry, Yves Le Traon |
| 2004 | RTAS | Automated Functional Test Case Synthesis from THALES industrial Requirements. | David Lugato, Frdric Maraux, Yves Le Traon, Vronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clmentine Nebut |
| 2003 | ISSRE | Requirements by Contracts allow Automated System Testing. | Clmentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jzquel |
| 2002 | FORTE | System Test Synthesis from UML Models of Distributed Software. | Simon Pickin, Claude Jard, Yves Le Traon, Thierry Jron, Jean-Marc Jzquel, Alain Le Guennec |
| 2002 | ISSRE | Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment. | Benoit Baudry, Franck Fleurey, Jean-Marc Jzquel, Yves Le Traon |
| 2001 | ECOOP | Selecting an Efficient OO Integration Testing Strategy: An Experimental Comparison of Actual Strategies. | Vu Le Hanh, Kamel Akif, Yves Le Traon, Jean-Marc Jzquel |
| 2001 | ISSRE | Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability. | Benoit Baudry, Yves Le Traon, Gerson Suny, Jean-Marc Jzquel |
| 2000 | ISSRE | Building Trust into OO Components Using a Genetic Analogy. | Benoit Baudry, Vu Le Hanh, Jean-Marc Jzquel, Yves Le Traon |
| 2000 | ISSRE | Analyzing Testability on Data Flow Designs. | Yves Le Traon, Farid Ouabdesselam, Chantal Robach |
| 1999 | ISSRE | Efficient strategies for integration and regression testing of OO systems. | Thierry Jron, Jean-Marc Jzquel, Yves Le Traon, Pierre Morel |
| 1998 | ISSRE | Software diagnosability. | Yves Le Traon, Farid Ouabdesselam, Chantal Robach |
| 1998 | ITC | Towards an automatic diagnosis for high-level design validation. | Maisaa Khalil, Yves Le Traon, Chantal Robach |
| 1996 | ITC | Testability-Oriented Hardware/Software Partitioning. | Yves Le Traon, Ghassan Al Hayek, Chantal Robach |
| 1995 | ISSRE | Towards a unified approach to the testability of co-designed systems. | Yves Le Traon, Chantal Robach |
| 1995 | ITC | From Hardware to Software Testability. | Yves Le Traon, Chantal Robach |