Journals

Refereed Articles
2024
[75] 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
[74] 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]
[73] Spork: Structured Merge for Java with Formatting Preservation (Simon Larsen, Jean-Remy Falleri, Benoit Baudry, Martin Monperrus), In IEEE Transactions on Software Engineering, volume 49, 2023. [bibtex] [pdf] [doi]
[72] 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]
[71] Chaos Engineering of Ethereum Blockchain Clients (Long Zhang, Javier Ron, Benoit Baudry, Martin Monperrus), In ACM Distributed Ledger Technologies, volume , 2023. [bibtex] [pdf] [doi]
[70] 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]
[69] WebAssembly diversification for malware evasion (Javier Cabrera-Arteaga, Martin Monperrus, Tim Toady, Benoit Baudry), In Computers & Security, volume 131, 2023. [bibtex] [pdf] [doi]
2022
[68] Maximizing Error Injection Realism for Chaos Engineering with System Calls (Long Zhang, Brice Morin, Benoit sand Monperrus Martin Baudry), In IEEE Transactions on Dependable and Secure Computing, volume 19, 2022. [bibtex] [pdf] [doi]
[67] 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]
[66] The Multibillion Dollar Software Supply Chain of Ethereum (César Soto-Valero, Martin Monperrus, Benoit Baudry), In IEEE Computer, 2022. [bibtex] [pdf] [doi]
[65] API Beauty is in the eye of the Clients: 2.2 Million Maven Dependencies reveal the Spectrum of Client-API Usages (Nicolas Harrand, Amine Benelallam, César Soto-Valero, Francois Bettega, Olivier Barais, Benoit Baudry), In Journal of Systems and Software, volume 184, 2022. [bibtex] [pdf] [doi]
[64] Long Live Software Easter Eggs (Benoit Baudry, Tim Toady, Martin Monperrus), In ACM Queue, volume 20, 2022. [bibtex] [pdf] [doi]
2021
[63] A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM (Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus), In IEEE Transactions on Software Engineering, IEEE, volume 47, 2021. [bibtex] [pdf] [doi]
[62] 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]
[61] Observability and chaos engineering on system calls for containerized applications in docker (Jesper Simonsson, Long Zhang, Brice Morin, Benoit Baudry, Martin Monperrus), In Future Generation Computer Systems, volume 122, 2021. [bibtex] [pdf] [doi]
[60] Interpretation of swedish sign language using convolutional neural networks and transfer learning (Gustaf Halvardsson, Johanna Peterson, César Soto-Valero, Benoit Baudry), In SN Computer Science, volume 2, 2021. [bibtex] [pdf] [doi]
[59] the sound of software tranquility (Erik Natanael Gustafsson, Benoit Baudry), In Ruukku, volume 15, 2021. [bibtex] [pdf] [doi]
[58] Science-changing Code (Benoit Baudry, Martin Monperrus), In Blog@CACM, Association for Computing Machinery (ACM), 2021. [bibtex] [pdf]
[57] Testing beyond coverage (Benoit Baudry, Martin Monperrus), In Increment, Stripe, 2021. [bibtex] [pdf]
[56] A Software Repair Bot based on Continual Learning (Benoit Baudry, Zimin Chen, Khashayar Etemadi Someoliayi, Han Fu, Davide Ginelli, Steve Kommrusch, Matias Martinez, Martin Monperrus, Javier Ron Arteaga, He Ye, Zhongxing Yu), In IEEE Software, volume , 2021. [bibtex] [pdf] [doi]
[55] Dynamic Analysis in the Browser (Benoit Baudry, Martin Monperrus), In Blog@CACM, Association for Computing Machinery (ACM), 2021. [bibtex] [pdf]
[54] Constraint-based Diversification of JOP Gadgets (Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry), In Journal of Artificial Intelligence Research, volume 72, 2021. [bibtex] [pdf] [doi]
2020
[53] Browser Fingerprinting: A survey (Pierre Laperdrix, Nataliia Bielova, Benoit Baudry, Gildas Avoine), In ACM Transactions on the Web, volume 14, 2020. [bibtex] [pdf] [doi]
[52] 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]
[51] Leveraging metamorphic testing to automatically detect inconsistencies in code generator families (Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry), In Software Testing, Verification and Reliability, volume 30, 2020. [bibtex] [pdf] [doi]
[50] Java decompiler diversity and its application to meta-decompilation (Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry), In Journal of Systems and Software, volume 168, 2020. [bibtex] [pdf] [doi]
2019
[49] Repairnator Patches Programs Automatically (Martin Monperrus, Simon Urli, Thomas Durieux, Matias Martinez, Benoit Baudry, Lionel Seinturier), In ACM Ubiquity, volume July, 2019. [bibtex] [pdf] [doi]
[48] Advanced and efficient execution trace management for executable domain-specific modeling languages (Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry), In Journal of Software and Systems Modeling, volume 18, 2019. [bibtex] [pdf] [doi]
[47] 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]
[46] 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]
[45] 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), In Empirical Software Engineering, volume 24, 2019. [bibtex] [pdf] [doi]
[44] A snowballing literature study on test amplification (Benjamin Danglot, Oscar Vera-Perez, Zhongxing Yu, Andy Zaidman, Martin Monperrus, Benoit Baudry), In Journal of Systems and Software, volume 157, 2019. [bibtex] [pdf] [doi]
[43] Modeling Variability in the Video Domain: Language and Experience Report (Mauricio Alférez, Mathieu Acher, José A Galindo, Benoit Baudry, David Benavides), In Software Quality Journal, Springer Verlag, volume 27, 2019. [bibtex] [pdf] [doi]
2018
[42] Omniscient Debugging for Executable DSLs (Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry), In Journal of Systems and Software, volume 137, 2018. [bibtex] [pdf] [doi]
[41] 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]
[40] User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners (Arnaud Blouin, Valéria Lelli, Benoit Baudry, Fabien Coulon), In Information and Software Technology, volume 102, 2018. [bibtex] [pdf] [doi]
[39]Automatic Quality Assurance and Release (Dagstuhl Seminar 18122) (Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman), In Dagstuhl Reports (Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman, eds.), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, volume 8, 2018. [bibtex] [doi]
2017
[38] Reverse Engineering Language Product Lines from Existing DSL Variants (David A Méndez-Acuña, José A Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry), In Journal of Systems and Software, volume 133, 2017. [bibtex] [pdf] [doi]
[37] Online Genetic Improvement on the java virtual machine with ECSELR (Kwaku Yeboah-Antwi, Benoit Baudry), In Genetic Programming and Evolvable Machines, volume 18, 2017. [bibtex] [pdf] [doi]
[36] Automated Extraction of Product Comparison Matrices From Informal Product Descriptions (Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, João Ferreira Filho Bosco, Nicolas Sannier, Benoit Baudry, Jean-Marc Davril), In Journal of Systems and Software, volume 124, 2017. [bibtex] [pdf] [doi]
2016
[35] B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis (Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus), In Information and Software Technology, volume 76, 2016. [bibtex] [pdf]
[34] Practical Minimisation of Pairwise-covering Test Configurations Using Constraint Programming (Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry), In Information and Software Technology, volume 71, 2016. [bibtex] [pdf] [doi]
[33] ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems (I Gonzalez-Herrera, J Bourcier, E Daubert, W Rudametkin, Olivier Barais, F Fouquet, Jean-Marc Jézéquel, B Baudry), In Journal of Systems and Software, volume 122, 2016. [bibtex] [pdf] [doi]
[32] Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study (Guillaume Bécan, Mathieu Acher, Benoit Baudry, Sana Ben Nasr), In Empirical Software Engineering, Springer Verlag (Germany), volume 21, 2016. [bibtex] [pdf] [doi]
2015
[31]An analysis of metamodeling practices for MOF and OCL (Juan Cadavid, Benoit Baudry, Benoit Combemale), In Computer Languages, Systems and Structures, volume 41, 2015. [bibtex]
[30] Using Slicing to Improve the Performance of Model Invariant Checking (Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray), In Journal of Object Technology, volume 14, 2015. [bibtex] [pdf]
[29] Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels (Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui, Jean-Marc Jézéquel), In Information and Software Technology, volume 62, 2015. [bibtex] [pdf] [doi]
[28] Kompren: Modeling and Generating Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Journal of Software and Systems Modeling, volume 14, 2015. [bibtex] [pdf]
[27] 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]
[26] 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]
[25]Guest Editorial for Special Section on ICST'13 (Benoit Baudry, Alex Orso), In Software Testing, Verification and Validation, volume 25, 2015. [bibtex] [doi]
[24] Towards an Automation of the Mutation Analysis Dedicated to Model Transformation (Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser), In Software Testing, Verification and Reliability, volume 25, 2015. [bibtex] [pdf]
2014
[23] Generating Counterexamples of Model-based Software Product Lines (Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry), In Software Tools for Technology Transfer (STTT), Springer, 2014. [bibtex] [pdf]
[22] Globalizing Modeling Languages (Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert France, Jean-Marc Jézéquel, Jeff Gray), In IEEE Computer, volume 47, 2014. [bibtex] [pdf]
[21] Model-Based Testing of Global Properties on Large-Scale Distributed Systems (Gerson Sunyé, Eduardo Cunha De Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel), In Information and Software Technology, volume 56, 2014. [bibtex] [pdf]
2013
[20] Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation (Yu Sun, Jeff Gray, Romain Delamare, Benoit Baudry, Jules White), In Journal of Software Maintenance and Evolution: Research and Practice, volume 25, 2013. [bibtex] [pdf]
[19] Usage and Testability of AOP: an empirical study of AspectJ (Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon), In Information and Software Technology, volume 55, 2013. [bibtex] [pdf]
[18]SOA Antipatterns: an Approach for their Specification and Detection (Francis Palma, Mathieu Nayrolles, Naouel Moha, Yann-Gaël Guéhéneuc, Benoit Baudry, Jean-Marc Jézéquel), In International Journal of Cooperative Information Systems, volume 22, 2013. [bibtex]
[17] Automated Measurement of Models of Requirements (Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener), In Software Quality Journal, Springer, volume 21, 2013. [bibtex] [pdf]
2012
[16] Reusable model transformations (Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel), In Journal of Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [pdf] [doi]
[15] Pairwise Testing for Software Product Lines: A Comparison of Two Approaches (Gilles Perrouin, Sebastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon), In Software Quality Journal, Springer, volume 20, 2012. [bibtex] [pdf]
[14] Modeling Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale), In Journal of Software and Systems Modeling, Springer-Verlag, volume 11, 2012. [bibtex] [pdf] [doi]
2011
[13] An Approach for Testing Pointcut Descriptors in AspectJ (Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon), In Software, Testing, Verification and Reliability journal, volume 21, 2011. [bibtex] [pdf] [doi]
[12] Model-driven Generative Development of Measurement Software (Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener), In Journal of Software and Systems Modeling, Springer, volume 10, 2011. [bibtex] [pdf] [doi]
[11] Guest Editorial for Special Section on Mutation Testing (Benoit Baudry, Jeremy Bradbury, Gordon Fraser), In Information and Software Technology, volume 53, 2011. [bibtex] [pdf]
2010
[10] Towards Domain-specific Model Editors with Automatic Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In SIMULATION, volume 86, 2010. [bibtex] [pdf] [doi]
[9] Construction de tests qualifiés de transformation de modèles (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, Hermes, volume 29, 2010. [bibtex] [pdf]
[8] 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
[7] Qualifying input test data for model transformations (Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon), In Journal of Software and Systems Modeling, volume 8, 2009. [bibtex] [pdf] [doi]
2006
[6] 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]
2005
[5] Measuring Design Testability of a UML Class Diagram (Benoit Baudry, Yves Le Traon), In Information and Software Technology, volume 47, 2005. [bibtex] [pdf]
[4] Automatic Test Case Optimization: A Bacteriologic Algorithm (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In IEEE Software, volume 22, 2005. [bibtex] [pdf] [doi]
[3] From genetic to bacteriological algorithms for mutation-based testing (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In Software Testing Verification and Reliability, volume 15, 2005. [bibtex] [pdf] [doi]
2003
[2] From diagnosis to diagnosability: axiomatization, measurement and application (Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry), In Journal of Systems and Software, volume 65, 2003. [bibtex] [pdf] [doi]
[1]Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects (Benjamin Danglot, Oscar Vera-Perez, Benoit Baudry, Martin Monperrus), In . [bibtex]