| 2025 | MSR | MYRIAD PEOPLE Open Source Software for New Media Arts. | Benoit Baudry, Erik Natanael Gustafsson, Roni Kaufman, Maria Kling |
| 2025 | MSR | Software Bills of Materials in Maven Central. | Yogya Gamage, Nadia Gonzalez Fernandez, Martin Monperrus, Benoit Baudry |
| 2024 | ICSE | With Great Humor Comes Great Developer Engagement. | Deepika Tiwari, Tim Toady, Martin Monperrus, Benoit Baudry |
| 2024 | SCAM | Breaking-Good: Explaining Breaking Dependency Updates with Build Analysis. | Frank Reyes, Benoit Baudry, Martin Monperrus |
| 2024 | SCAM | PROZE: Generating Parameterized Unit Tests Informed by Runtime Data. | Deepika Tiwari, Yogya Gamage, Martin Monperrus, Benoit Baudry |
| 2023 | ICST | RICK: Generating Mocks from Production Data. | Deepika Tiwari, Martin Monperrus, Benoit Baudry |
| 2022 | CCS | Multi-variant Execution at the Edge. | Javier Cabrera-Arteaga, Pierre Laperdrix, Martin Monperrus, Benoit Baudry |
| 2022 | ICST | Harvesting Production GraphQL Queries to Detect Schema Faults. | Louise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry |
| 2021 | ISSRE | The Behavioral Diversity of Java JSON Libraries. | Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry |
| 2021 | MSR | Duets: A Dataset of Reproducible Pairs of Java Library-Clients. | Thomas Durieux, Csar Soto-Valero, Benoit Baudry |
| 2020 | CP | Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks. | Rodothea-Myrsini Tsoupidi, Roberto Castaeda Lozano, Benoit Baudry |
| 2020 | SPLC | Test them all, is it worth it?: assessing configuration sampling on the JHipster web development stack. | Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry |
| 2019 | CCS | A Collaborative Strategy for Mitigating Tracking through Browser Fingerprinting. | Alejandro Gmez-Boix, Davide Frey, Yrom-David Bromberg, Benoit Baudry |
| 2019 | DIMVA | Morellian Analysis for Browsers: Making Web Authentication Stronger with Canvas Fingerprinting. | Pierre Laperdrix, Gildas Avoine, Benoit Baudry, Nick Nikiforakis |
| 2019 | MSR | The maven dependency graph: a temporal graph-based representation of maven central. | Amine Benelallam, Nicolas Harrand, Csar Soto-Valero, Benoit Baudry, Olivier Barais |
| 2019 | MSR | The emergence of software diversity in maven central. | Csar Soto-Valero, Amine Benelallam, Nicolas Harrand, Olivier Barais, Benoit Baudry |
| 2019 | OOPSLA | Scalable comparison of JavaScript V8 bytecode traces. | Javier Cabrera-Arteaga, Martin Monperrus, Benoit Baudry |
| 2019 | SCAM | The Strengths and Behavioral Quirks of Java Bytecode Decompilers. | Nicolas Harrand, Csar Soto-Valero, Martin Monperrus, Benoit Baudry |
| 2018 | ICSE | A spoonful of DevOps helps the GI go down. | Benoit Baudry, Nicolas Harrand, Eric M. Schulte, Chris Timperley, Shin Hwei Tan, Marija Selakovic, Emamurho Ugherughe |
| 2018 | ICSE | Correctness attraction: a study of stability of software behavior under runtime perturbation. | Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus |
| 2018 | ICSE | Images of code: lossy compression for native instructions. | Marcelino Rodriguez-Cancio, Jules White, Benoit Baudry |
| 2018 | ICST | Exhaustive Exploration of the Failure-Oblivious Computing Search Space. | Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry, Martin Monperrus |
| 2018 | MSR | Detection and analysis of behavioral T-patterns in debugging activities. | Csar Soto-Valero, Johann Bourcier, Benoit Baudry |
| 2018 | WWW | Hiding in the Crowd: an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale. | Alejandro Gmez-Boix, Pierre Laperdrix, Benoit Baudry |
| 2018 | TEI | Code{strata} Sonifying Software Complexity. | Denez Thomas, Nicolas Harrand, Benoit Baudry, Bruno Bossis |
| 2016 | EICS | Automatic detection of GUI design smells: the case of Blob listener. | Valria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon, Olivier Beaudoux |
| 2016 | GPCE | Automatic non-functional testing of code generators families. | Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Suny |
| 2016 | ICSR | Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages. | David Mndez-Acua, Jos Angel Galindo, Benot Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic |
| 2016 | ICSR | Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs. | David Mndez-Acua, Jos Angel Galindo, Benot Combemale, Arnaud Blouin, Benoit Baudry |
| 2016 | PST | libmask: Protecting browser JIT engines from the devil in the constants. | Abhinav, Mohit Mishra, Benoit Baudry |
| 2016 | QRS | NOTICE: A Framework for Non-Functional Testing of Compilers. | Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Suny |
| 2016 | SP | Beauty and the Beast: Diverting Modern Web Browsers to Build Unique Browser Fingerprints. | Pierre Laperdrix, Walter Rudametkin, Benoit Baudry |
| 2016 | SPLC | Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing. | Jos Angel Galindo, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, David Benavides |
| 2015 | GECCO | A Novelty Search-based Test Data Generator for Object-oriented Programs. | Mohamed Boussaa, Olivier Barais, Gerson Suny, Benoit Baudry |
| 2015 | GECCO | Embedding Adaptivity in Software Systems using the ECSELR framework. | Kwaku Yeboah-Antwi, Benoit Baudry |
| 2015 | ICSE | A Novelty Search Approach for Automatic Test Data Generation. | Mohamed Boussaa, Olivier Barais, Gerson Suny, Benoit Baudry |
| 2015 | ICSE | Mitigating Browser Fingerprint Tracking: Multi-level Reconfiguration and Diversification. | Pierre Laperdrix, Walter Rudametkin, Benoit Baudry |
| 2015 | ICST | Classifying and Qualifying GUI Defects. | Valria Lelli, Arnaud Blouin, Benoit Baudry |
| 2015 | ICST | On model-based testing advanced GUIs. | Valria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon |
| 2015 | ISSRE | Discovering model transformation pre-conditions using automatically generated test models. | Jean-Marie Mottu, Sagar Sen, Juan Jos Cadavid, Benoit Baudry |
| 2015 | SLE | Supporting efficient and advanced omniscient debugging for xDSMLs. | Erwan Bousse, Jonathan Corley, Benot Combemale, Jeffrey G. Gray, Benoit Baudry |
| 2015 | SPLC | Assessing product line derivation operators applied to Java source code: an empirical study. | Joo Bosco Ferreira Filho, Simon Allier, Olivier Barais, Mathieu Acher, Benoit Baudry |
| 2014 | ICECCS | Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study. | Hamza Samih, Hlne Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry |
| 2014 | ICSE | "May the fork be with you": novel metrics to analyze collaboration on GitHub. | Marco Biazzini, Benoit Baudry |
| 2014 | ISSTA | Tailored source code transformations to synthesize computationally diverse program variants. | Benoit Baudry, Simon Allier, Martin Monperrus |
| 2014 | ISSTA | A variability-based testing approach for synthesizing video sequences. | Jos Angel Galindo, Mauricio Alfrez, Mathieu Acher, Benoit Baudry, David Benavides |
| 2014 | MODELS | Towards Scalable Multidimensional Execution Traces for xDSMLs. | Erwan Bousse, Benot Combemale, Benoit Baudry |
| 2014 | MODELS | Scalable Armies of Model Clones through Data Sharing. | Erwan Bousse, Benot Combemale, Benoit Baudry |
| 2014 | REFSQ | INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis. | Nicolas Sannier, Benoit Baudry |
| 2014 | SPLC | ViViD: a variability-based tool for synthesizing video sequences. | Mathieu Acher, Mauricio Alfrez, Jos Angel Galindo, Pierre Romenteau, Benoit Baudry |
| 2014 | SPLC | Customization and 3D printing: a challenging playground for software product lines. | Mathieu Acher, Benoit Baudry, Olivier Barais, Jean-Marc Jzquel |
| 2014 | SPLC | WebFML: synthesizing feature models everywhere. | Guillaume Bcan, Sana Ben Nasr, Mathieu Acher, Benoit Baudry |
| 2014 | SPLC | Moving toward product line engineering in a nuclear industry consortium. | Sana Ben Nasr, Nicolas Sannier, Mathieu Acher, Benoit Baudry |
| 2014 | VISSOFT | Slicing-Based Techniques for Visualizing Large Metamodels. | Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari A. Sahraoui |
| 2013 | MODELS | Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples. | Martin Faunes, Juan Jos Cadavid, Benoit Baudry, Houari A. Sahraoui, Benot Combemale |
| 2013 | SCAM | Empirical evidence of large-scale diversity in API usage of object-oriented software. | Diego Mendez, Benoit Baudry, Martin Monperrus |
| 2013 | SLE | Reifying Concurrency for Executable Metamodeling. | Benot Combemale, Julien De Antoni, Matias Vara Larsen, Frdric Mallet, Olivier Barais, Benoit Baudry, Robert B. France |
| 2013 | SPLC | Generating counterexamples of model-based software product lines: an exploratory study. | Joo Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Benoit Baudry, Jrme Le Noir |
| 2012 | ICSE | Leveraging variability modeling for multi-dimensional model-driven software product lines. | Joo Bosco Ferreira Filho, Olivier Barais, Benoit Baudry, Jrme Le Noir |
| 2012 | ICSE | A categorical model of model merging and weaving. | Jonathan Y. Marchand, Benot Combemale, Benoit Baudry |
| 2012 | ICSOC | Specification and Detection of SOA Antipatterns. | Naouel Moha, Francis Palma, Mathieu Nayrolles, Benjamin Joyen Conseil, Yann-Gal Guhneuc, Benoit Baudry, Jean-Marc Jzquel |
| 2012 | ICST | Searching the Boundaries of a Modeling Space to Test Metamodels. | Juan Jos Cadavid, Benoit Baudry, Houari A. Sahraoui |
| 2012 | ICST | Minimum Pairwise Coverage Using Constraint Programming Techniques. | Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry |
| 2012 | ISoLA | A Vision for Behavioural Model-Driven Validation of Software Product Lines. | Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry |
| 2012 | MODELS | Formally Defining and Iterating Infinite Models. | Benot Combemale, Xavier Thirioux, Benoit Baudry |
| 2012 | MODELS | Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. | Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry |
| 2012 | MODELS | Toward a model-driven access-control enforcement mechanism for pervasive systems. | Ben David Olivier-Nathanal, Benoit Baudry |
| 2012 | RE | Impact of footprinting on model quality: An experimental evaluation. | Cdric Jeanneret, Martin Glinz, Benoit Baudry, Benot Combemale |
| 2012 | RE | Defining and retrieving themes in nuclear regulations. | Nicolas Sannier, Benoit Baudry |
| 2012 | RE | Toward multilevel textual requirements traceability using model-driven engineering and information retrieval. | Nicolas Sannier, Benoit Baudry |
| 2012 | SLE | Bridging the Chasm between Executable Metamodeling and Models of Computation. | Benot Combemale, Ccile Hardebolle, Christophe Jacquet, Frdric Boulanger, Benoit Baudry |
| 2012 | SPLC | An approach for semantic enrichment of software product lines. | Joo Bosco Ferreira Filho, Olivier Barais, Benoit Baudry, Windson Viana, Rossana M. C. Andrade |
| 2011 | ICSE | Estimating footprints of model operations. | Cdric Jeanneret, Martin Glinz, Benoit Baudry |
| 2011 | ICSE | Pairwise testing of dynamic composite services. | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard |
| 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 |
| 2011 | ISSRE | PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. | Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb |
| 2011 | MODELS | Modeling Model Slicers. | Arnaud Blouin, Benot Combemale, Benoit Baudry, Olivier Beaudoux |
| 2011 | MODELS | Empirical Evaluation of the Conjunct Use of MOF and OCL. | Juan Jos Cadavid, Benoit Baudry, Benot Combemale |
| 2011 | RE | Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering. | Nicolas Sannier, Benoit Baudry, Thuy Nguyen |
| 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 |
| 2010 | ICWS | Variability Modeling and QoS Analysis of Web Services Orchestrations. | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard |
| 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 | MODELS | Modeling Modeling. | Pierre-Alain Muller, Frdric Fondement, Benoit Baudry |
| 2009 | MODELS | Meta-model Pruning. | Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jzquel |
| 2009 | REFSQ | Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. | Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon |
| 2008 | ICST | Model transformation testing: oracle issue. | Jean-Marie Mottu, Benoit Baudry, Yves Le Traon |
| 2008 | ICST | A Generic Metamodel For Security Policies Mutation. | Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry |
| 2008 | ICST | On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. | Sagar Sen, Benoit Baudry, Jean-Marie Mottu |
| 2008 | ICST | Test-Driven Assessment of Access Control in Legacy Applications. | Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry |
| 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 | Providing Support for Model Composition in Metamodels. | Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh |
| 2007 | ISSRE | Testing Security Policies: Going Beyond Functional Testing. | Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry |
| 2007 | MODELS | 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. | Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner |
| 2007 | MODELS | Model-Driven Engineering for Software Migration in a Large Industrial Context. | Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jzquel |
| 2007 | MODELS | A Generic Approach for Automatic Model Composition. | Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh |
| 2007 | MODELS | Domain-Specific Model Editors with Model Completion. | Sagar Sen, Benoit Baudry, Hans Vangheluwe |
| 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 | Report on the 3rd MoDeVa Workshop - Model Design and Validation. | Benoit Baudry, David Hearnden, Nicolas Rapin, Jrn Guy S |
| 2006 | MODELS | Reusable MDA Components: A Testing-for-Trust Approach. | Jean-Marie Mottu, Benoit Baudry, Yves Le Traon |
| 2004 | ISORC | A UML-Based Concept for High Concurrency: The Real-Time Object. | Sbastien Grard, Chokri Mraidha, Franois Terrier, Benoit Baudry |
| 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 | 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 |