Selected publications

2024
[34] With Great Humor Comes Great Developer Engagement (Deepika Tiwari, Tim Toady, Martin Monperrus, Benoit Baudry), In Proc. of ICSE-SEIS, 2024. [bibtex] [pdf] [doi]
[33] WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly (Javier Cabrera-Arteaga, Nicholas Fitzgerald, Martin Monperrus, Benoit Baudry), In Computers & Security, volume , 2024. [bibtex] [pdf] [doi]
2023
[32] Coverage-Based Debloating for Java Bytecode (César Soto-Valero, Thomas Durieux, Nicolas Harrand, Benoit Baudry), In ACM Trans. on Software Engineering and Methodology, 2023. [bibtex] [pdf] [doi]
[31] Challenges of Producing Software Bill Of Materials for Java (Musard Balliu, Benoit Baudry, Sofia Bobadilla, Mathias Ekstedt, Martin Monperrus, Javier Ron, Aman Sharma, Gabriel Skoglund, César Soto-Valero, Martin Wittlinger), In IEEE Security & Privacy magazine, volume 21, 2023. [bibtex] [pdf] [doi]
[30] Chaos Engineering of Ethereum Blockchain Clients (Long Zhang, Javier Ron, Benoit Baudry, Martin Monperrus), In ACM Distributed Ledger Technologies, volume , 2023. [bibtex] [pdf] [doi]
[29] Highly Available Blockchain Nodes With N-Version Design (Javier Ron, César Soto-Valero, Long Zhang, Benoit Baudry, Martin Monperrus), In IEEE Transactions on Dependable and Secure Computing, volume , 2023. [bibtex] [pdf] [doi]
[28] WebAssembly diversification for malware evasion (Javier Cabrera-Arteaga, Martin Monperrus, Tim Toady, Benoit Baudry), In Computers & Security, volume 131, 2023. [bibtex] [pdf] [doi]
2022
[27] Harvesting Production GraphQL Queries to Detect Schema Faults (Louise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry), In Proc. of ICST, 2022. [bibtex] [pdf] [doi]
[26] Production Monitoring to Improve Test Suites (Deepika Tiwari, Long Zhang, Martin Monperrus, Benoit Baudry), In IEEE Transactions on Reliability, volume 71, 2022. [bibtex] [pdf] [doi]
[25] The Multibillion Dollar Software Supply Chain of Ethereum (César Soto-Valero, Martin Monperrus, Benoit Baudry), In IEEE Computer, 2022. [bibtex] [pdf] [doi]
[24] Long Live Software Easter Eggs (Benoit Baudry, Tim Toady, Martin Monperrus), In ACM Queue, volume 20, 2022. [bibtex] [pdf] [doi]
2021
[23] A Longitudinal Analysis of Bloated Java Dependencies (César Soto-Valero, Thomas Durieux, Benoit Baudry), In Proc. of the Europ. Software Engineering Conf. and Symp. on the Foundations of Software Engineering (ESEC/FSE), 2021. (ACM distinguished paper award) [bibtex] [pdf] [doi]
[22] A comprehensive study of bloated dependencies in the Maven ecosystem (César Soto-Valero, Nicolas Harrand, Martin Monperrus, Benoit Baudry), In Empirical Software Engineering, volume 26, 2021. [bibtex] [pdf] [doi]
[21] The Behavioral Diversity of Java JSON Libraries (Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry), In Proc. of the Int. Symp. on Software Reliability (ISSRE), 2021. [bibtex] [pdf] [doi]
2020
[20] An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration (Benjamin Danglot, Martin Monperrus, Walter Rudametkin, Benoit Baudry), In Empirical Software Engineering, volume 25, 2020. [bibtex] [pdf] [doi]
2019
[19] A Comprehensive Study of Pseudo-tested Methods (Oscar Vera-Perez, Benjamin Danglot, Martin Monperrus, Benoit Baudry), In Empirical Software Engineering, volume 24, 2019. [bibtex] [pdf] [doi]
[18] A Journey Among Java Neutral Program Variants (Nicolas Harrand, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus, Benoit Baudry), In Genetic Programming and Evolvable Machines, volume 20, 2019. [bibtex] [pdf] [doi]
2018
[17] Images of Code: Lossy Compression for Native Instructions (Marcelino Rodriguez-Cancio, Benoit Baudry, Jules White), In Proc. of the NIER track at ICSE, 2018. [bibtex] [pdf] [doi]
[16] Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation (Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus), In Empirical Software Engineering, Springer Verlag, volume 23, 2018. [bibtex] [pdf] [doi]
[15] Hiding in the crowd: an analysis of the effectiveness of browser fingerprinting at large scale (Alejandro Gomez-Boix, Pierre Laperdrix, Benoit Baudry), In Proc. of the Web conference (WWW), 2018. [bibtex] [pdf] [doi]
2016
[14] Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding (Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry), In Proc. of the Automated Software Engineering Conference (ASE), 2016. [bibtex] [pdf]
[13] Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints (Pierre Laperdrix, Walter Rudametkin, Benoit Baudry), In Proc. of the Symp. on Security and Privacy (S&P), 2016. (CNIL-INRIA award) [bibtex] [pdf] [doi]
2015
[12] The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond (Benoit Baudry, Martin Monperrus), In ACM Computing Survey, volume 48, 2015. [bibtex] [pdf] [doi]
[11] Multitier diversification in Web-based software applications (Simon Allier, Olivier Barais, Benoit Baudry, Johann Bourcier, Erwan Daubert, Franck Fleurey, Martin Monperrus, Hui Song, Maxime Tricoire), In IEEE Software, volume 32, 2015. [bibtex] [pdf] [doi]
2014
[10] Tailored source code transformations to synthesize computationally diverse program variants (Benoit Baudry, Simon Allier, Martin Monperrus), In Proc. of Int. Symp. on Software Testing and Analaysis (ISSTA), 2014. [bibtex] [pdf] [doi]
2013
[9] Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software (Diego Mendez, Benoit Baudry, Martin Monperrus), In Proc. of the Int. Conf. on Source Code Analysis and Manipulation (SCAM), 2013. [bibtex] [pdf]
[8] Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2013. [bibtex] [pdf]
2011
[7] Estimating Footprints of Model Operations (Cédric Jeanneret, Martin Glinz, Benoit Baudry), In Proc. of the Int. Conf. on Software Engineering (ICSE), 2011. [bibtex] [pdf]
2010
[6] Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon), In Proc. of the Int. Conf. on Software Testing, Validation and Verification (ICST), 2010. [bibtex] [pdf] [doi]
[5] Barriers to Systematic Model Transformation Testing (Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, Jean-Marie Mottu), In Communications of the ACM, ACM, volume 53, 2010. [bibtex] [pdf] [doi]
2009
[4] Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry), In Proc. of the the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009. (ACM distinguished paper award) [bibtex] [pdf]
[3] Meta-model Pruning (Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2009. [bibtex] [pdf]
2006
[2] Design by Contract to improve Software Vigilance (Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel), In IEEE Transactions on Software Engineering, IEEE, volume 32, 2006. [bibtex] [pdf] [doi]
[1] Improving Test Suites for Efficient Fault Localization (Benoit Baudry, Franck Fleurey, Yves Le Traon), In Proc. of the Int. Conf. on Software Engineering (ICSE), 2006. [bibtex] [pdf]