trench crew research teaching contact

Journal publications

B. Baudry and M. Monperrus,
“Humour for Graduate Training,” ACM Inroads, 2025, https://kth.diva-portal.org/smash/get/diva2:1954117/FULLTEXT01.pdf
D. Tiwari, M. Monperrus, and B. Baudry,
“Mimicking Production Behavior with Generated Mocks,” IEEE Transactions on Software Engineering, 2024, doi: 10.1109/TSE.2024.3458448.
B. Baudry and M. Monperrus,
“Programming art with drawing machines,” IEEE Computer, vol. 57, no. 7, pp. 104–108, 2024, doi: 10.1109/MC.2024.3385049.
B. Baudry, K. Etemadi, S. Fang, Y. Gamage, Y. Liu, Y. Liu, M. Monperrus, J. Ron, A. Silva, and D. Tiwari,
“Generative AI to generate test data generators,” IEEE Software, pp. 1–9, 2024, doi: 10.1109/ms.2024.3418570.
C. Soto-Valero, D. Tiwari, T. Toady, and B. Baudry,
“Automatic specialization of third-party java dependencies,” IEEE Trans. Software Eng., vol. 49, no. 11, pp. 5027–5045, 2023, doi: 10.1109/TSE.2023.3324950.
J. Cabrera-Arteaga, N. Fitzgerald, M. Monperrus, and B. Baudry,
“WASM-MUTATE: Fast and effective binary diversification for WebAssembly,” Computers & Security, 2024, doi: https://doi.org/10.1016/j.cose.2024.103731.
J. Ron, C. Soto-Valero, L. Zhang, B. Baudry, and M. Monperrus,
“Highly available blockchain nodes with n-version design,” IEEE Transactions on Dependable and Secure Computing, 2023, doi: https://doi.org/10.1109/TDSC.2023.3346195.
M. Balliu, B. Baudry, S. Bobadilla, M. Ekstedt, M. Monperrus, J. Ron, A. Sharma, G. Skoglund, C. Soto-Valero, and M. Wittlinger,
“Challenges of producing software bill of materials for java,” IEEE Security & Privacy magazine, vol. 21, no. 6, pp. 12–23, 2023, doi: doi.acm.org?doi=3605770.3625207.
L. Zhang, J. Ron, B. Baudry, and M. Monperrus,
“Chaos engineering of ethereum blockchain clients,” ACM Distributed Ledger Technologies, vol. 2, no. 3, pp. 1–18, 2023, doi: https://doi.org/10.1145/3611649.
J. Cabrera-Arteaga, M. Monperrus, T. Toady, and B. Baudry,
“WebAssembly diversification for malware evasion,” Computers & Security, vol. 131, p. 103296, 2023, doi: https://doi.org/10.1016/j.cose.2023.103296.
C. Soto-Valero, T. Durieux, N. Harrand, and B. Baudry,
“Coverage-based debloating for java bytecode,” ACM Trans. on Software Engineering and Methodology, no. 2, pp. 1–34, 2023, doi: doi.org/10.1145/3546948.
C. Soto-Valero, M. Monperrus, and B. Baudry,
“The multibillion dollar software supply chain of ethereum,” IEEE Computer, no. 10, pp. 26–34, 2022, doi: 10.1109/MC.2022.3175542.
B. Baudry, T. Toady, and M. Monperrus,
“Long live software easter eggs,” ACM Queue, vol. 20, no. 2, pp. 31–42, 2022, doi: 10.1145/3534857.
S. Larsen, J.-R. Falleri, B. Baudry, and M. Monperrus,
“Spork: Structured merge for java with formatting preservation,” IEEE Transactions on Software Engineering, vol. 49, no. 1, pp. 64–83, 2023, doi: 10.1109/TSE.2022.3143766.
R.-M. Tsoupidi, R. C. Lozano, and B. Baudry,
“Constraint-based diversification of JOP gadgets,” Journal of Artificial Intelligence Research, vol. 72, pp. 1471–1505, 2021, doi: 10.1613/jair.1.12848.
N. Harrand, A. Benelallam, C. Soto-Valero, F. Bettega, O. Barais, and B. Baudry,
“API Beauty is in the eye of the Clients: 2.2 Million Maven Dependencies reveal the Spectrum of Client-APi usages,” Journal of Systems and Software, vol. 184, p. 111134, 2022, doi: https://doi.org/10.1016/j.jss.2021.111134.
B. Baudry and M. Monperrus,
“Science-changing code,” Blog@CACM, 2021, https://cacm.acm.org/blogs/blog-cacm/252759-science-changing-code/fulltext
B. Baudry and M. Monperrus,
“Testing beyond coverage,” Increment, 2021, https://increment.com/reliability/testing-beyond-coverage/
D. Tiwari, L. Zhang, M. Monperrus, and B. Baudry,
“Production monitoring to improve test suites,” IEEE Transactions on Reliability, vol. 71, no. 3, pp. 1381–1397, 2022, doi: 10.1109/TR.2021.3101318.
C. Soto-Valero, N. Harrand, M. Monperrus, and B. Baudry,
“A comprehensive study of bloated dependencies in the Maven ecosystem,” Empirical Software Engineering, vol. 26, no. 45, 2021, doi: 10.1007/s10664-020-09914-8.
J. Simonsson, L. Zhang, B. Morin, B. Baudry, and M. Monperrus,
“Observability and chaos engineering on system calls for containerized applications in docker,” Future Generation Computer Systems, vol. 122, pp. 117–129, 2021, doi: 10.1016/j.future.2021.04.001.
G. Halvardsson, J. Peterson, C. Soto-Valero, and B. Baudry,
“Interpretation of swedish sign language using convolutional neural networks and transfer learning,” SN Computer Science, vol. 2, no. 3, p. 207, 2021, doi: https://doi.org/10.1007/s42979-021-00612-w.
E. N. Gustafsson and B. Baudry,
“The sound of software tranquility,” Ruukku, vol. 15, 2021, https://www.researchcatalogue.net/view/904300/904301
L. Zhang, B. Morin, and M. Baudry Benoit sand Monperrus,
“Maximizing error injection realism for chaos engineering with system calls,” IEEE Transactions on Dependable and Secure Computing, vol. 19, no. 4, 2022, doi: 10.1109/TDSC.2021.3069715.
B. Baudry, Z. Chen, K. Etemadi Someoliayi, H. Fu, D. Ginelli, S. Kommrusch, M. Martinez, M. Monperrus, J. Ron Arteaga, H. Ye, and Z. Yu,
“A software repair bot based on continual learning,” IEEE Software, 2021, doi: 10.1109/MS.2021.3070743.
N. Harrand, C. Soto-Valero, M. Monperrus, and B. Baudry,
“Java decompiler diversity and its application to meta-decompilation,” Journal of Systems and Software, vol. 168, 2020, doi: 10.1016/j.jss.2020.110645.
P. Laperdrix, N. Bielova, B. Baudry, and G. Avoine,
“Browser fingerprinting: A survey,” ACM Transactions on the Web, vol. 14, no. 2, 2020, doi: 10.1145/3386040.
B. Danglot, M. Monperrus, W. Rudametkin, and B. Baudry,
“An approach and benchmark to detect behavioral changes of commits in continuous integration,” Empirical Software Engineering, vol. 25, no. 4, 2020, doi: 10.1007/s10664-019-09794-7.
M. Boussaa, O. Barais, G. Sunyé, and B. Baudry,
“Leveraging metamorphic testing to automatically detect inconsistencies in code generator families,” Software Testing, Verification and Reliability, vol. 30, no. 1, 2020, doi: 10.1002/stvr.1721.
B. Danglot, O. Vera-Perez, Z. Yu, A. Zaidman, M. Monperrus, and B. Baudry,
“A snowballing literature study on test amplification,” Journal of Systems and Software, vol. 157, 2019, doi: 10.1016/j.jss.2019.110398.
L. Zhang, B. Morin, P. Haller, B. Baudry, and M. Monperrus,
“A chaos engineering system for live analysis and falsification of exception-handling in the JVM,” IEEE Transactions on Software Engineering, vol. 47, no. 11, pp. 2534–2548, 2021, doi: 10.1109/TSE.2019.2954871.
M. Monperrus, S. Urli, T. Durieux, M. Martinez, B. Baudry, and L. Seinturier,
“Repairnator patches programs automatically,” ACM Ubiquity, vol. July, pp. 1–12, Jul. 2019, https://hal.inria.fr/hal-02267512/document
N. Harrand, S. Allier, M. Rodriguez-Cancio, M. Monperrus, and B. Baudry,
“A journey among java neutral program variants,” Genetic Programming and Evolvable Machines, vol. 20, no. 4, pp. 531–580, 2019, doi: 10.1007/s10710-019-09355-3.
B. Baudry and M. Monperrus,
“Dynamic analysis in the browser,” Blog@CACM, 2021, https://cacm.acm.org/blogs/blog-cacm/239266-dynamic-analysis-in-the-browser/fulltext
B. Danglot, O. Vera-Perez, B. Baudry, and M. Monperrus,
“Automatic test improvement with DSpot: A study with ten mature open-source projects,” Empirical Software Engineering, vol. 24, no. 4, pp. 2603–2635, 2019, doi: 10.1007/s10664-019-09692-y.
O. Vera-Perez, B. Danglot, M. Monperrus, and B. Baudry,
“A comprehensive study of pseudo-tested methods,” Empirical Software Engineering, vol. 24, no. 3, pp. 1195–1225, 2019, doi: 10.1007/s10664-018-9653-2.
B. Adams, B. Baudry, S. Eldh, and A. Zaidman,
“Automatic Quality Assurance and Release (Dagstuhl Seminar 18122),” Dagstuhl Reports, vol. 8, no. 3, pp. 94–127, 2018, doi: 10.4230/DagRep.8.3.94.
A. Blouin, V. Lelli, B. Baudry, and F. Coulon,
“User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners,” Information and Software Technology, vol. 102, pp. 49–64, 2018, doi: 10.1016/j.infsof.2018.05.005.
A. Halin, A. Nuttinck, M. Acher, X. Devroey, G. Perrouin, and B. Baudry,
“Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack,” Empirical Software Engineering, vol. 24, no. 2, pp. 674–717, 2019, doi: 10.1007/s10664-018-9635-4.
B. Danglot, P. Preux, B. Baudry, and M. Monperrus,
“Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation,” Empirical Software Engineering, vol. 23, no. 4, pp. 2086–2119, 2018, doi: 10.1007/s10664-017-9571-8.
M. Alférez, M. Acher, J. A. Galindo, B. Baudry, and D. Benavides,
“Modeling Variability in the Video Domain: Language and Experience Report,” Software Quality Journal, vol. 27, no. 1, pp. 307–347, 2019, doi: 10.1007/s11219-017-9400-8.
E. Bousse, D. Leroy, B. Combemale, M. Wimmer, and B. Baudry,
“Omniscient Debugging for Executable DSLs,” Journal of Systems and Software, vol. 137, pp. 261–288, Nov. 2018, doi: 10.1016/j.jss.2017.11.025.
D. A. Méndez-Acuña, J. A. Galindo, B. Combemale, A. Blouin, and B. Baudry,
“Reverse Engineering Language Product Lines from Existing DSL Variants,” Journal of Systems and Software, vol. 133, pp. 145–158, May 2017, doi: 10.1016/j.jss.2017.05.042.
E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry,
“Advanced and efficient execution trace management for executable domain-specific modeling languages,” Journal of Software and Systems Modeling, vol. 18, no. 1, pp. 385–421, May 2019, doi: 10.1007/s10270-017-0598-5.
S. Ben Nasr, G. Bécan, M. Acher, J. F. F. Bosco, N. Sannier, B. Baudry, and J.-M. Davril,
“Automated Extraction of Product Comparison Matrices From Informal Product Descriptions,” Journal of Systems and Software, vol. 124, pp. 82–103, 2017, doi: 10.1016/j.jss.2016.11.018.
K. Yeboah-Antwi and B. Baudry,
“Online genetic improvement on the java virtual machine with ECSELR,” Genetic Programming and Evolvable Machines, vol. 18, no. 1, pp. 83–109, Mar. 2017, doi: doi:10.1007/s10710-016-9278-4.
I. Gonzalez-Herrera, J. Bourcier, E. Daubert, W. Rudametkin, O. Barais, F. Fouquet, J.-M. Jézéquel, and B. Baudry,
“ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems,” Journal of Systems and Software, vol. 122, pp. 398–415, 2016, doi: 10.1016/j.jss.2016.02.027.
J. Xuan, B. Cornu, M. Martinez, B. Baudry, L. Seinturier, and M. Monperrus,
“B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis,” Information and Software Technology, vol. 76, pp. 65–80, 2016, https://hal.archives-ouvertes.fr/hal-01309004
A. Hervieu, D. Marijan, A. Gotlieb, and B. Baudry,
“Practical Minimisation of Pairwise-covering Test Configurations Using Constraint Programming,” Information and Software Technology, vol. 71, pp. 129–146, 2016, doi: 10.1016/j.infsof.2015.11.007.
B. Baudry and A. Orso,
“Guest editorial for special section on ICST’13,” Software Testing, Verification and Validation, vol. 25, no. 4, p. 333, 2015, doi: 10.1007/978-3-642-14046-4.
B. Baudry and M. Monperrus,
“The multiple facets of software diversity: Recent developments in year 2000 and beyond,” ACM Computing Survey, vol. 48, no. 1, pp. 16:1–16:26, 2015, doi: 10.1145/2807593.
W. Sun, B. Combemale, R. B. France, A. Blouin, B. Baudry, and I. Ray,
“Using Slicing to Improve the Performance of Model Invariant Checking,” Journal of Object Technology, vol. 14, no. 1, pp. 1–28, 2015, https://hal.inria.fr/hal-01179369
G. Bécan, M. Acher, B. Baudry, and S. Ben Nasr,
“Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study,” Empirical Software Engineering, vol. 21, no. 4, pp. 1794–1841, 2016, doi: 10.1007/s10664-014-9357-1.
J. Cadavid, B. Baudry, and B. Combemale,
“An analysis of metamodeling practices for MOF and OCL,” Computer Languages, Systems and Structures, vol. 41, pp. 42–65, Oct. 2015.
S. Allier, O. Barais, B. Baudry, J. Bourcier, E. Daubert, F. Fleurey, M. Monperrus, H. Song, and M. Tricoire,
“Multitier diversification in web-based software applications,” IEEE Software, vol. 32, no. 1, pp. 83–90, 2015, doi: 10.1109/MS.2014.150.
V. Aranega, J.-M. Mottu, A. Etien, T. Degueule, B. Baudry, and J.-L. Dekeyser,
“Towards an automation of the mutation analysis dedicated to model transformation,” Software Testing, Verification and Reliability, vol. 25, no. 5, pp. 653–683, 2015, http://hal.inria.fr/docs/00/98/81/64/pdf/paper.pdf
G. Sunyé, E. Cunha De Almeida, Y. Le Traon, B. Baudry, and J.-M. Jézéquel,
“Model-Based Testing of Global Properties on Large-Scale Distributed Systems,” Information and Software Technology, vol. 56, no. 7, pp. 749–762, 2014, https://hal.inria.fr/hal-00942576
B. Combemale, J. Deantoni, B. Baudry, R. France, J.-M. Jézéquel, and J. Gray,
“Globalizing Modeling Languages,” IEEE Computer, vol. 47, no. 6, pp. 68–71, Jun. 2014, http://hal.inria.fr/hal-00994551
Y. Sun, J. Gray, R. Delamare, B. Baudry, and J. White,
“Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation,” Journal of Software Maintenance and Evolution: Research and Practice, vol. 25, no. 12, pp. 1335–1356, 2013, http://hal.inria.fr/hal-00916287
J. B. Ferreira Filho, O. Barais, M. Acher, J. Le Noir, A. Legay, and B. Baudry,
“Generating Counterexamples of Model-based Software Product Lines,” Software Tools for Technology Transfer (STTT), Jul. 2014, https://hal.inria.fr/hal-01026581
M. Monperrus, J.-M. Jézéquel, B. Baudry, J. Champeau, and B. Hoeltzener,
“Automated measurement of models of requirements,” Software Quality Journal, vol. 21, no. 1, pp. 3–22, 2013, http://hal.inria.fr/docs/00/64/68/76/pdf/main.pdf
F. Palma, M. Nayrolles, N. Moha, Y.-G. Guéhéneuc, B. Baudry, and J.-M. Jézéquel,
“SOA antipatterns: An approach for their specification and detection,” International Journal of Cooperative Information Systems, vol. 22, no. 4, 2013.
A. Blouin, N. Moha, B. Baudry, H. Sahraoui, and J.-M. Jézéquel,
“Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels,” Information and Software Technology, vol. 62, no. 0, pp. 124–142, 2015, doi: 10.1016/j.infsof.2015.02.007.
A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux,
“Kompren: Modeling and Generating Model Slicers,” Journal of Software and Systems Modeling, vol. 14, no. 1, pp. 321–337, 2015, http://hal.inria.fr/hal-00746566/pdf/slicer.pdf
F. Munoz, B. Baudry, R. Delamare, and Y. Le Traon,
“Usage and Testability of AOP: an empirical study of AspectJ,” Information and Software Technology, vol. 55, no. 2, pp. 252–266, 2013, http://hal.inria.fr/hal-00726119/pdf/aop-analysis.pdf
B. Baudry, J. Bradbury, and G. Fraser,
“Guest editorial for special section on mutation testing,” Information and Software Technology, vol. 53, no. 10, p. 1097, 2011, http://www.sciencedirect.com/science/article/pii/S0950584911000814
G. Perrouin, S. Oster, S. Sen, J. Klein, B. Baudry, and Y. Le Traon,
“Pairwise testing for software product lines: A comparison of two approaches,” Software Quality Journal, vol. 20, no. 3, pp. 605–643, 2012, http://hal.inria.fr/docs/00/80/58/56/pdf/ICST-SPLC-SQJ2010-Ext.pdf
R. Delamare, B. Baudry, S. Ghosh, S. Gupta, and Y. Le Traon,
“An approach for testing pointcut descriptors in AspectJ,” Software, Testing, Verification and Reliability journal, vol. 21, no. 3, pp. 215–239, 2011, doi: 10.1002/stvr.458.
S. Sen, N. Moha, V. Mahé, O. Barais, B. Baudry, and J.-M. Jézéquel,
“Reusable model transformations,” Journal of Software and Systems Modeling, vol. 11, no. 1, pp. 111–125, 2012, doi: 10.1007/s10664-009-9124-x.
J.-M. Mottu, B. Baudry, and Y. L. Traon,
“Construction de tests qualifiés de transformation de modèles,” Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, vol. 29, no. 4, pp. 537–569, 2010, http://www.irisa.fr/triskell/publis/2010/Mottu2010.pdf
P.-A. Muller, F. Fondement, B. Baudry, and B. Combemale,
“Modeling Modeling Modeling,” Journal of Software and Systems Modeling, vol. 11, no. 3, 2012, doi: 10.1007/s10270-010-0172-x.
M. Monperrus, J.-M. Jézéquel, B. Baudry, J. Champeau, and B. Hoeltzener,
“Model-driven generative development of measurement software,” Journal of Software and Systems Modeling, vol. 10, no. 4, pp. 537–552, 2011, doi: 10.1007/s10270-010-0165-9.
S. Sen, B. Baudry, and H. Vangheluwe,
“Towards Domain-specific Model Editors with Automatic Model Completion ,” SIMULATION, vol. 86, no. 2, pp. 109–126, 2010, doi: 10.1177/0037549709340530.
B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, and J.-M. Mottu,
“Barriers to systematic model transformation testing,” Communications of the ACM, vol. 53, no. 6, pp. 139–143, 2010, doi: 10.1145/1743546.1743583.
F. Fleurey, B. Baudry, P.-A. Muller, and Y. Le Traon,
“Qualifying input test data for model transformations,” Journal of Software and Systems Modeling, vol. 8, no. 2, pp. 185–203, 2009, doi: 10.1007/s10270-007-0074-8.
Y. Le Traon, B. Baudry, and J.-M. Jézéquel,
“Design by contract to improve software vigilance,” IEEE Transactions on Software Engineering, vol. 32, no. 8, pp. 571–586, 2006, doi: 10.1109/TSE.2006.79.
B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. L. Traon,
“From genetic to bacteriological algorithms for mutation-based testing,” Software Testing Verification and Reliability, vol. 15, no. 2, pp. 73–96, 2005, doi: 10.1002/stvr.313.
B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. L. Traon,
“Automatic test case optimization: A bacteriologic algorithm,” IEEE Software, vol. 22, no. 2, pp. 76–82, 2005, doi: 10.1109/MS.2005.30.
B. Baudry and Y. Le Traon,
“Measuring design testability of a UML class diagram,” Information and Software Technology, vol. 47, no. 13, pp. 859–879, Dec. 2005, http://www.irisa.fr/triskell/publis/2004/Baudry05b.pdf
Y. Le Traon, F. Ouabdesselam, C. Robach, and B. Baudry,
“From diagnosis to diagnosability: Axiomatization, measurement and application,” Journal of Systems and Software, vol. 65, no. 1, pp. 31–50, 2003, doi: 10.1016/S0164-1212(02)00026-2.