default search action
Benoit Baudry
Person information
- affiliation: KTH Royal Institute of Technology, Stockholm, Sweden
- affiliation (former): University of Rennes 1, France
- affiliation (former): INRIA, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j75]Javier Cabrera-Arteaga, Nicholas FitzGerald, Martin Monperrus, Benoit Baudry:
Wasm-Mutate: Fast and effective binary diversification for WebAssembly. Comput. Secur. 139: 103731 (2024) - [j74]Benoit Baudry, Khashayar Etemadi, Sen Fang, Yogya Gamage, Yi Liu, Yuxin Liu, Martin Monperrus, Javier Ron, André Silva, Deepika Tiwari:
Generative AI to Generate Test Data Generators. IEEE Softw. 41(6): 55-64 (2024) - [j73]Javier Ron, César Soto-Valero, Long Zhang, Benoit Baudry, Martin Monperrus:
Highly Available Blockchain Nodes With N-Version Design. IEEE Trans. Dependable Secur. Comput. 21(4): 4084-4097 (2024) - [j72]Deepika Tiwari, Martin Monperrus, Benoit Baudry:
Mimicking Production Behavior With Generated Mocks. IEEE Trans. Software Eng. 50(11): 2921-2946 (2024) - [c154]Deepika Tiwari, Tim Toady, Martin Monperrus, Benoit Baudry:
With Great Humor Comes Great Developer Engagement. ICSE (SEIS) 2024: 1-11 - [c153]Benoit Baudry:
Programming Algorithmic Art (Keynote). Programming 2024 - [c152]Frank Reyes, Benoit Baudry, Martin Monperrus:
Breaking-Good: Explaining Breaking Dependency Updates with Build Analysis. SCAM 2024: 36-46 - [c151]Deepika Tiwari, Yogya Gamage, Martin Monperrus, Benoit Baudry:
PROZE: Generating Parameterized Unit Tests Informed by Runtime Data. SCAM 2024: 166-176 - [c150]Frank Reyes, Yogya Gamage, Gabriel Skoglund, Benoit Baudry, Martin Monperrus:
BUMP: A Benchmark of Reproducible Breaking Dependency Updates. SANER 2024: 159-170 - [i76]Frank Reyes, Yogya Gamage, Gabriel Skoglund, Benoit Baudry, Martin Monperrus:
BUMP: A Benchmark of Reproducible Breaking Dependency Updates. CoRR abs/2401.09906 (2024) - [i75]Benoit Baudry, Khashayar Etemadi, Sen Fang, Yogya Gamage, Yi Liu, Yuxin Liu, Martin Monperrus, Javier Ron, André Silva, Deepika Tiwari:
Generative AI to Generate Test Data Generators. CoRR abs/2401.17626 (2024) - [i74]Julian Wachter, Deepika Tiwari, Martin Monperrus, Benoit Baudry:
Serializing Java Objects in Plain Code. CoRR abs/2405.11294 (2024) - [i73]Yuxin Liu, Deepika Tiwari, Cristian Bogdan, Benoit Baudry:
An empirical study of bloated dependencies in CommonJS packages. CoRR abs/2405.17939 (2024) - [i72]Mohannad Alhanahnah, Yazan Boshmaf, Benoit Baudry:
DepsRAG: Towards Managing Software Dependencies using Large Language Models. CoRR abs/2405.20455 (2024) - [i71]Aman Sharma, Martin Wittlinger, Benoit Baudry, Martin Monperrus:
SBOM.EXE: Countering Dynamic Code Injection based on Software Bill of Materials in Java. CoRR abs/2407.00246 (2024) - [i70]Deepika Tiwari, Yogya Gamage, Martin Monperrus, Benoit Baudry:
PROZE: Generating Parameterized Unit Tests Informed by Runtime Data. CoRR abs/2407.00768 (2024) - [i69]Frank Reyes, Benoit Baudry, Martin Monperrus:
Breaking-Good: Explaining Breaking Dependency Updates with Build Analysis. CoRR abs/2407.03880 (2024) - [i68]Federico Bono, Frank Reyes, Aman Sharma, Benoit Baudry, Martin Monperrus:
Java-Class-Hijack: Software Supply Chain Attack for Java based on Maven Dependency Resolution and Java Classloading. CoRR abs/2407.18760 (2024) - [i67]Javier Ron, Diogo Gaspar, Javier Cabrera-Arteaga, Benoit Baudry, Martin Monperrus:
Galapagos: Automated N-Version Programming with LLMs. CoRR abs/2408.09536 (2024) - [i66]Raphina Liu, Sofia Bobadilla, Benoit Baudry, Martin Monperrus:
Dirty-Waters: Detecting Software Supply Chain Smells. CoRR abs/2410.16049 (2024) - 2023
- [j71]Javier Cabrera-Arteaga, Martin Monperrus, Tim Toady, Benoit Baudry:
WebAssembly diversification for malware evasion. Comput. Secur. 131: 103296 (2023) - [j70]Long Zhang, Javier Ron, Benoit Baudry, Martin Monperrus:
Chaos Engineering of Ethereum Blockchain Clients. Distributed Ledger Technol. Res. Pract. 2(3): 1-18 (2023) - [j69]Musard Balliu, Benoit Baudry, Sofia Bobadilla, Mathias Ekstedt, Martin Monperrus, Javier Ron Arteaga, Aman Sharma, Gabriel Skoglund, César Soto-Valero, Martin Wittlinger:
Challenges of Producing Software Bill of Materials for Java. IEEE Secur. Priv. 21(6): 12-23 (2023) - [j68]César Soto-Valero, Thomas Durieux, Nicolas Harrand, Benoit Baudry:
Coverage-Based Debloating for Java Bytecode. ACM Trans. Softw. Eng. Methodol. 32(2): 38:1-38:34 (2023) - [j67]Simon Larsén, Jean-Rémy Falleri, Benoit Baudry, Martin Monperrus:
Spork: Structured Merge for Java With Formatting Preservation. IEEE Trans. Software Eng. 49(1): 64-83 (2023) - [j66]César Soto-Valero, Deepika Tiwari, Tim Toady, Benoit Baudry:
Automatic Specialization of Third-Party Java Dependencies. IEEE Trans. Software Eng. 49(11): 5027-5045 (2023) - [c149]Deepika Tiwari, Martin Monperrus, Benoit Baudry:
RICK: Generating Mocks from Production Data. ICST 2023: 464-466 - [c148]Musard Balliu, Benoit Baudry, Sofia Bobadilla, Mathias Ekstedt, Martin Monperrus, Javier Ron, Aman Sharma, Gabriel Skoglund, César Soto-Valero, Martin Wittlinger:
Software Bill of Materials in Java. SCORED@CCS 2023: 75-76 - [d5]César Soto-Valero, Deepika Tiwari, Tim Toady, Benoit Baudry:
Automatic Specialization of Third-Party Java Dependencies - Experimental Results. Zenodo, 2023 - [i65]Deepika Tiwari, Martin Monperrus, Benoit Baudry:
RICK: Generating Mocks from Production Data. CoRR abs/2302.04547 (2023) - [i64]César Soto-Valero, Deepika Tiwari, Tim Toady, Benoit Baudry:
Automatic Specialization of Third-Party Java Dependencies. CoRR abs/2302.08370 (2023) - [i63]Musard Balliu, Benoit Baudry, Sofia Bobadilla, Mathias Ekstedt, Martin Monperrus, Javier Ron, Aman Sharma, Gabriel Skoglund, César Soto-Valero, Martin Wittlinger:
Challenges of Producing Software Bill Of Materials for Java. CoRR abs/2303.11102 (2023) - [i62]Javier Ron, César Soto-Valero, Long Zhang, Benoit Baudry, Martin Monperrus:
Highly Available Blockchain Nodes With N-Version Design. CoRR abs/2303.14438 (2023) - [i61]Javier Cabrera-Arteaga, Nicholas FitzGerald, Martin Monperrus, Benoit Baudry:
WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly. CoRR abs/2309.07638 (2023) - [i60]Deepika Tiwari, Tim Toady, Martin Monperrus, Benoit Baudry:
With Great Humor Comes Great Developer Engagement. CoRR abs/2312.01680 (2023) - 2022
- [j65]César Soto-Valero, Martin Monperrus, Benoit Baudry:
The Multibillion Dollar Software Supply Chain of Ethereum. Computer 55(10): 26-34 (2022) - [j64]Nicolas Harrand, Amine Benelallam, César Soto-Valero, François Bettega, Olivier Barais, Benoit Baudry:
API beauty is in the eye of the clients: 2.2 million Maven dependencies reveal the spectrum of client-API usages. J. Syst. Softw. 184: 111134 (2022) - [j63]Benoit Baudry, Tim Toady, Martin Monperrus:
Long Live Software Easter Eggs! ACM Queue 20(2): 31-42 (2022) - [j62]Long Zhang, Brice Morin, Benoit Baudry, Martin Monperrus:
Maximizing Error Injection Realism for Chaos Engineering With System Calls. IEEE Trans. Dependable Secur. Comput. 19(4): 2695-2708 (2022) - [j61]Deepika Tiwari, Long Zhang, Martin Monperrus, Benoit Baudry:
Production Monitoring to Improve Test Suites. IEEE Trans. Reliab. 71(3): 1381-1397 (2022) - [c147]Javier Cabrera-Arteaga, Pierre Laperdrix, Martin Monperrus, Benoit Baudry:
Multi-variant Execution at the Edge. MTD@CCS 2022: 11-22 - [c146]Louise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry:
Harvesting Production GraphQL Queries to Detect Schema Faults. ICST 2022: 365-376 - [i59]Simon Larsén, Jean-Rémy Falleri, Benoit Baudry, Martin Monperrus:
Spork: Structured Merge for Java with Formatting Preservation. CoRR abs/2202.05329 (2022) - [i58]César Soto-Valero, Martin Monperrus, Benoit Baudry:
The Multi-Billion Dollar Software Supply Chain of Ethereum. CoRR abs/2202.07029 (2022) - [i57]Benoit Baudry, Martin Monperrus:
Exhaustive Survey of Rickrolling in Academic Literature. CoRR abs/2204.06826 (2022) - [i56]Deepika Tiwari, Martin Monperrus, Benoit Baudry:
Mimicking Production Behavior with Generated Mocks. CoRR abs/2208.01321 (2022) - [i55]Javier Cabrera-Arteaga, Martin Monperrus, Tim Toady, Benoit Baudry:
WebAssembly Diversification for Malware Evasion. CoRR abs/2212.08427 (2022) - 2021
- [j60]César Soto-Valero, Nicolas Harrand, Martin Monperrus, Benoit Baudry:
A comprehensive study of bloated dependencies in the Maven ecosystem. Empir. Softw. Eng. 26(3): 45 (2021) - [j59]Jesper Simonsson, Long Zhang, Brice Morin, Benoit Baudry, Martin Monperrus:
Observability and chaos engineering on system calls for containerized applications in Docker. Future Gener. Comput. Syst. 122: 117-129 (2021) - [j58]Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry:
Constraint-based Diversification of JOP Gadgets. J. Artif. Intell. Res. 72: 1471-1505 (2021) - [j57]Gustaf Halvardsson, Johanna Peterson, César Soto-Valero, Benoit Baudry:
Interpretation of Swedish Sign Language Using Convolutional Neural Networks and Transfer Learning. SN Comput. Sci. 2(3): 207 (2021) - [j56]Benoit Baudry, Zimin Chen, Khashayar Etemadi, Han Fu, Davide Ginelli, Steve Kommrusch, Matias Martinez, Martin Monperrus, Javier Ron Arteaga, He Ye, Zhongxing Yu:
A Software-Repair Robot Based on Continual Learning. IEEE Softw. 38(4): 28-35 (2021) - [j55]Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus:
A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM. IEEE Trans. Software Eng. 47(11): 2534-2548 (2021) - [c145]Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry:
The Behavioral Diversity of Java JSON Libraries. ISSRE 2021: 412-422 - [c144]Thomas Durieux, César Soto-Valero, Benoit Baudry:
Duets: A Dataset of Reproducible Pairs of Java Library-Clients. MSR 2021: 545-549 - [c143]Rodothea-Myrsini Tsoupidi, Musard Balliu, Benoit Baudry:
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly. SecDev 2021: 94-102 - [c142]César Soto-Valero, Thomas Durieux, Benoit Baudry:
A longitudinal analysis of bloated Java dependencies. ESEC/SIGSOFT FSE 2021: 1021-1031 - [d4]César Soto-Valero, Thomas Durieux, Benoit Baudry:
A Longitudinal Analysis of Bloated Java Dependencies. Zenodo, 2021 - [i54]Thomas Durieux, César Soto-Valero, Benoit Baudry:
DUETS: A Dataset of Reproducible Pairs ofJava Library-Clients. CoRR abs/2103.09672 (2021) - [i53]Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry:
The Behavioral Diversity of Java JSON Libraries. CoRR abs/2104.14323 (2021) - [i52]César Soto-Valero, Thomas Durieux, Benoit Baudry:
A Longitudinal Analysis of Bloated Java Dependencies. CoRR abs/2105.14226 (2021) - [i51]Javier Cabrera-Arteaga, Pierre Laperdrix, Martin Monperrus, Benoit Baudry:
Multi-Variant Execution at the Edge. CoRR abs/2108.08125 (2021) - [i50]Rodothea-Myrsini Tsoupidi, Musard Balliu, Benoit Baudry:
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly. CoRR abs/2109.01386 (2021) - [i49]Long Zhang, Javier Ron, Benoit Baudry, Martin Monperrus:
Chaos Engineering of Ethereum Blockchain Clients. CoRR abs/2111.00221 (2021) - [i48]Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry:
Automatic Diversity in the Software Supply Chain. CoRR abs/2111.03154 (2021) - [i47]Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry:
Constraint-based Diversification of JOP Gadgets. CoRR abs/2111.09934 (2021) - [i46]Louise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry:
Harvesting Production GraphQL Queries to Detect Schema Faults. CoRR abs/2112.08267 (2021) - 2020
- [j54]Benjamin Danglot, Martin Monperrus, Walter Rudametkin, Benoit Baudry:
An approach and benchmark to detect behavioral changes of commits in continuous integration. Empir. Softw. Eng. 25(4): 2379-2415 (2020) - [j53]Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry:
Java decompiler diversity and its application to meta-decompilation. J. Syst. Softw. 168: 110645 (2020) - [j52]Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry:
Leveraging metamorphic testing to automatically detect inconsistencies in code generator families. Softw. Test. Verification Reliab. 30(1) (2020) - [j51]Pierre Laperdrix, Nataliia Bielova, Benoit Baudry, Gildas Avoine:
Browser Fingerprinting: A Survey. ACM Trans. Web 14(2): 8:1-8:33 (2020) - [c141]Erik Natanael Gustafsson, Nadia Campo Woytuk, Benoit Baudry:
re|Traces of Search: Exploring Human-Software Entanglements Through the Search Engine. Conference on Designing Interactive Systems (Companion Volume) 2020: 457-460 - [c140]Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry:
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks. CP 2020: 791-808 - [c139]Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus:
Superoptimization of WebAssembly bytecode. Programming 2020: 36-40 - [c138]Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry:
Test them all, is it worth it?: assessing configuration sampling on the JHipster web development stack. SPLC (A) 2020: 12:1 - [d3]Nicolas Harrand, Amine Benelallam, César Soto-Valero, Benoit Baudry, Olivier Barais:
The Updated Maven Central Dependency Graph. Zenodo, 2020 - [d2]César Soto-Valero, Thomas Durieux, Nicolas Harrand, Benoit Baudry:
Trace-based Debloat for Java Bytecode, experiment results. Zenodo, 2020 - [i45]César Soto-Valero, Nicolas Harrand, Martin Monperrus, Benoit Baudry:
A Comprehensive Study of Bloated Dependencies in the Maven Ecosystem. CoRR abs/2001.07808 (2020) - [i44]Javier Cabrera-Arteaga, Shrinish Donde, Jian Gu, Orestis Floros, Lucas Satabin, Benoit Baudry, Martin Monperrus:
Superoptimization of WebAssembly Bytecode. CoRR abs/2002.10213 (2020) - [i43]Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry:
Java Decompiler Diversity and its Application to Meta-decompilation. CoRR abs/2005.11315 (2020) - [i42]Long Zhang, Brice Morin, Benoit Baudry, Martin Monperrus:
Realistic Error Injection for System Calls. CoRR abs/2006.04444 (2020) - [i41]Rodothea-Myrsini Tsoupidi, Roberto Castañeda Lozano, Benoit Baudry:
Constraint-Based Software Diversification for Efficient Mitigation of Code-Reuse Attacks. CoRR abs/2007.08955 (2020) - [i40]Javier Cabrera-Arteaga, Orestis Floros Malivitsis, Oscar Luis Vera-Pérez, Benoit Baudry, Martin Monperrus:
CROW: Code Diversification for WebAssembly. CoRR abs/2008.07185 (2020) - [i39]César Soto-Valero, Thomas Durieux, Nicolas Harrand, Benoit Baudry:
Trace-based Debloat for Java Bytecode. CoRR abs/2008.08401 (2020) - [i38]Gustaf Halvardsson, Johanna Peterson, César Soto-Valero, Benoit Baudry:
Interpretation of Swedish Sign Language using Convolutional Neural Networks and Transfer Learning. CoRR abs/2010.07827 (2020) - [i37]Deepika Tiwari, Long Zhang, Martin Monperrus, Benoit Baudry:
Production Monitoring to Improve Test Suites. CoRR abs/2012.01198 (2020) - [i36]Benoit Baudry, Zimin Chen, Khashayar Etemadi, Han Fu, Davide Ginelli, Steve Kommrusch, Matias Martinez, Martin Monperrus, Javier Ron, He Ye, Zhongxing Yu:
R-Hero: A Software Repair Bot based on Continual Learning. CoRR abs/2012.06824 (2020)
2010 – 2019
- 2019
- [j50]Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry:
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack. Empir. Softw. Eng. 24(2): 674-717 (2019) - [j49]Oscar Luis Vera-Pérez, Benjamin Danglot, Martin Monperrus, Benoit Baudry:
A comprehensive study of pseudo-tested methods. Empir. Softw. Eng. 24(3): 1195-1225 (2019) - [j48]Benjamin Danglot, Oscar Luis Vera-Pérez, Benoit Baudry, Martin Monperrus:
Automatic test improvement with DSpot: a study with ten mature open-source projects. Empir. Softw. Eng. 24(4): 2603-2635 (2019) - [j47]Nicolas Harrand, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus, Benoit Baudry:
A journey among Java neutral program variants. Genet. Program. Evolvable Mach. 20(4): 531-580 (2019) - [j46]Benjamin Danglot, Oscar Vera-Perez, Zhongxing Yu, Andy Zaidman, Martin Monperrus, Benoit Baudry:
A snowballing literature study on test amplification. J. Syst. Softw. 157 (2019) - [j45]Erwan Bousse, Tanja Mayerhofer, Benoît Combemale, Benoît Baudry:
Advanced and efficient execution trace management for executable domain-specific modeling languages. Softw. Syst. Model. 18(1): 385-421 (2019) - [j44]Mauricio Alférez, Mathieu Acher, José Angel Galindo, Benoit Baudry, David Benavides:
Modeling variability in the video domain: language and experience report. Softw. Qual. J. 27(1): 307-347 (2019) - [j43]Martin Monperrus, Simon Urli, Thomas Durieux, Matias Martinez, Benoit Baudry, Lionel Seinturier:
Repairnator patches programs automatically. Ubiquity 2019(July): 1-12 (2019) - [c137]Alejandro Gómez-Boix, Davide Frey, Yérom-David Bromberg, Benoit Baudry:
A Collaborative Strategy for Mitigating Tracking through Browser Fingerprinting. MTD@CCS 2019: 67-78 - [c136]Marcelino Rodriguez-Cancio, Benoît Combemale, Benoit Baudry:
Approximate loop unrolling. CF 2019: 94-105 - [c135]Pierre Laperdrix, Gildas Avoine, Benoit Baudry, Nick Nikiforakis:
Morellian Analysis for Browsers: Making Web Authentication Stronger with Canvas Fingerprinting. DIMVA 2019: 43-66 - [c134]César Soto-Valero, Amine Benelallam, Nicolas Harrand, Olivier Barais, Benoit Baudry:
The emergence of software diversity in maven central. MSR 2019: 333-343 - [c133]Amine Benelallam, Nicolas Harrand, César Soto-Valero, Benoit Baudry, Olivier Barais:
The maven dependency graph: a temporal graph-based representation of maven central. MSR 2019: 344-348 - [c132]Javier Cabrera-Arteaga, Martin Monperrus, Benoit Baudry:
Scalable comparison of JavaScript V8 bytecode traces. VMIL@SPLASH 2019: 22-31 - [c131]Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry:
The Strengths and Behavioral Quirks of Java Bytecode Decompilers. SCAM 2019: 92-102 - [i35]Nicolas Harrand, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus, Benoit Baudry:
A Journey Among Java Neutral Program Variants. CoRR abs/1901.02533 (2019) - [i34]Amine Benelallam, Nicolas Harrand, César Soto-Valero, Benoit Baudry, Olivier Barais:
The Maven Dependency Graph: a Temporal Graph-based Representation of Maven Central. CoRR abs/1901.05392 (2019) - [i33]Benjamin Danglot, Martin Monperrus, Walter Rudametkin, Benoit Baudry:
An Approach and Benchmark to Detect Behavioral Changes of Commits in Continuous Integration. CoRR abs/1902.08482 (2019) - [i32]César Soto-Valero, Amine Benelallam, Nicolas Harrand, Olivier Barais, Benoit Baudry:
The Emergence of Software Diversity in Maven Central. CoRR abs/1903.05394 (2019) - [i31]Pierre Laperdrix, Nataliia Bielova, Benoit Baudry, Gildas Avoine:
Browser Fingerprinting: A survey. CoRR abs/1905.01051 (2019) - [i30]Jesper Simonsson, Long Zhang, Brice Morin, Benoit Baudry, Martin Monperrus:
Observability and Chaos Engineering on System Calls for Containerized Applications in Docker. CoRR abs/1907.13039 (2019) - [i29]Nicolas Harrand, César Soto-Valero, Martin Monperrus, Benoit Baudry:
The Strengths and Behavioral Quirks of Java Bytecode Decompilers. CoRR abs/1908.06895 (2019) - [i28]Nicolas Harrand, Amine Benelallam, César Soto-Valero, Olivier Barais, Benoit Baudry:
Analyzing 2.3 Million Maven Dependencies to Reveal an Essential Core in APIs. CoRR abs/1908.09757 (2019) - [i27]Oscar Luis Vera-Pérez, Benjamin Danglot, Martin Monperrus, Benoit Baudry:
Suggestions on Test Suite Improvements with Automatic Infection and Propagation Analysis. CoRR abs/1909.04770 (2019) - [i26]Javier Cabrera-Arteaga, Martin Monperrus, Benoit Baudry:
Scalable Comparison of JavaScript V8 Bytecode Traces. CoRR abs/1910.03478 (2019) - [i25]Martin Monperrus, Simon Urli, Thomas Durieux, Matias Martinez, Benoit Baudry, Lionel Seinturier:
Repairnator patches programs automatically. CoRR abs/1910.06247 (2019) - [i24]Long Zhang, Deepika Tiwari, Brice Morin, Benoit Baudry, Martin Monperrus:
Automatic Observability for Dockerized Java Applications. CoRR abs/1912.06914 (2019) - 2018
- [j42]Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus:
Correctness attraction: a study of stability of software behavior under runtime perturbation. Empir. Softw. Eng. 23(4): 2086-2119 (2018) - [j41]Arnaud Blouin, Valéria Lelli, Benoit Baudry, Fabien Coulon:
User interface design smell: Automatic detection and refactoring of Blob listeners. Inf. Softw. Technol. 102: 49-64 (2018) - [j40]Erwan Bousse, Dorian Leroy, Benoît Combemale, Manuel Wimmer, Benoit Baudry:
Omniscient debugging for executable DSLs. J. Syst. Softw. 137: 261-288 (2018) - [c130]Marcelino Rodriguez-Cancio, Jules White, Benoit Baudry:
Images of code: lossy compression for native instructions. ICSE (NIER) 2018: 29-32 - [c129]Benoit Baudry, Nicolas Harrand, Eric M. Schulte, Chris Timperley, Shin Hwei Tan, Marija Selakovic, Emamurho Ugherughe:
A spoonful of DevOps helps the GI go down. GI@ICSE 2018: 35-36 - [c128]Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus:
Correctness attraction: a study of stability of software behavior under runtime perturbation. ICSE 2018: 481 - [c127]Thomas Durieux, Youssef Hamadi, Zhongxing Yu, Benoit Baudry, Martin Monperrus:
Exhaustive Exploration of the Failure-Oblivious Computing Search Space. ICST 2018: 139-149 - [c126]Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry:
Descartes: a PITest engine to detect pseudo-tested methods: tool demonstration. ASE 2018: 908-911 - [c125]Brice Morin, Jakob Høgenes, Hui Song, Nicolas Harrand, Benoît Baudry:
Engineering Software Diversity: a Model-Based Approach to Systematically Diversify Communications. MoDELS 2018: 155-165 - [c124]César Soto-Valero, Johann Bourcier, Benoit Baudry:
Detection and analysis of behavioral T-patterns in debugging activities. MSR 2018: 110-113 - [c123]David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoît Baudry:
Reverse engineering language product lines from existing DSL variants. SPLC 2018: 248 - [c122]Denez Thomas, Nicolas Harrand, Benoit Baudry, Bruno Bossis:
Code{strata} Sonifying Software Complexity. TEI 2018: 617-621 - [c121]Alejandro Gómez-Boix, Pierre Laperdrix, Benoit Baudry:
Hiding in the Crowd: an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale. WWW 2018: 309-318 - [d1]Amine Benelallam, Nicolas Harrand, César Soto-Valero, Benoit Baudry, Olivier Barais:
Maven central dependency graph. Zenodo, 2018 - [i23]Long Zhang, Brice Morin, Philipp Haller, Benoit Baudry, Martin Monperrus:
A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM. CoRR abs/1805.05246 (2018) - [i22]Oscar Luis Vera-Pérez, Benjamin Danglot, Martin Monperrus, Benoit Baudry:
A Comprehensive Study of Pseudo-tested Methods. CoRR abs/1807.05030 (2018) - [i21]Martin Monperrus, Simon Urli, Thomas Durieux, Matias Martinez, Benoit Baudry, Lionel Seinturier:
Human-competitive Patches in Automatic Program Repair with Repairnator. CoRR abs/1810.05806 (2018) - [i20]Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry:
Descartes: A PITest Engine to Detect Pseudo-Tested Methods - Tool Demonstration. CoRR abs/1811.03045 (2018) - [i19]Benjamin Danglot, Oscar Luis Vera-Pérez, Benoit Baudry, Martin Monperrus:
Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects. CoRR abs/1811.08330 (2018) - [i18]Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman, Gerald Schermann:
Automatic Quality Assurance and Release (Report from Dagstuhl Seminar 18122). CoRR abs/1812.08836 (2018) - [i17]Bram Adams, Benoit Baudry, Sigrid Eldh, Andy Zaidman:
Automatic Quality Assurance and Release (Dagstuhl Seminar 18122). Dagstuhl Reports 8(3): 94-127 (2018) - 2017
- [j39]Kwaku Yeboah-Antwi, Benoit Baudry:
Online Genetic Improvement on the java virtual machine with ECSELR. Genet. Program. Evolvable Mach. 18(1): 83-109 (2017) - [j38]Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, João Bosco Ferreira Filho, Nicolas Sannier, Benoit Baudry, Jean-Marc Davril:
Automated extraction of product comparison matrices from informal product descriptions. J. Syst. Softw. 124: 82-103 (2017) - [j37]David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry:
Reverse engineering language product lines from existing DSL variants. J. Syst. Softw. 133: 145-158 (2017) - [c120]Pierre Laperdrix, Benoit Baudry, Vikas Mishra:
FPRandom: Randomizing Core Browser Objects to Break Advanced Device Fingerprinting Techniques. ESSoS 2017: 97-114 - [i16]Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon, Olivier Beaudoux:
Automatic Detection of GUI Design Smells: The Case of Blob Listener. CoRR abs/1703.08803 (2017) - [i15]Valéria Lelli, Arnaud Blouin, Benoit Baudry:
Classifying and Qualifying GUI Defects. CoRR abs/1703.09567 (2017) - [i14]Arnaud Blouin, Valéria Lelli, Benoit Baudry, Fabien Coulon:
User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners. CoRR abs/1703.10674 (2017) - [i13]Benjamin Danglot, Oscar Vera-Perez, Zhongxing Yu, Martin Monperrus, Benoit Baudry:
The Emerging Field of Test Amplification: A Survey. CoRR abs/1705.10692 (2017) - [i12]Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry:
Test them all, is it worth it? A ground truth comparison of configuration sampling strategies. CoRR abs/1710.07980 (2017) - 2016
- [j36]David Méndez-Acuña, José Angel Galindo, Thomas Degueule, Benoît Combemale, Benoit Baudry:
Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review. Comput. Lang. Syst. Struct. 46: 206-235 (2016) - [j35]Guillaume Bécan, Mathieu Acher, Benoit Baudry, Sana Ben Nasr:
Breathing ontological knowledge into feature model synthesis: an empirical study. Empir. Softw. Eng. 21(4): 1794-1841 (2016) - [j34]Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry:
Practical minimization of pairwise-covering test configurations using constraint programming. Inf. Softw. Technol. 71: 129-146 (2016) - [j33]Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus:
B-Refactoring: Automatic test code refactoring to improve dynamic analysis. Inf. Softw. Technol. 76: 65-80 (2016) - [j32]Inti Y. Gonzalez-Herrera, Johann Bourcier, Erwan Daubert, Walter Rudametkin, Olivier Barais, François Fouquet, Jean-Marc Jézéquel, Benoit Baudry:
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems. J. Syst. Softw. 122: 398-415 (2016) - [c119]Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon, Olivier Beaudoux:
Automatic detection of GUI design smells: the case of Blob listener. EICS 2016: 263-274 - [c118]Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé:
Automatic non-functional testing of code generators families. GPCE 2016: 202-212 - [c117]David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic:
Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages. ICSR 2016: 368-383 - [c116]David Méndez-Acuña, José Angel Galindo, Benoît Combemale, Arnaud Blouin, Benoit Baudry:
Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs. ICSR 2016: 393-396 - [c115]Marcelino Rodriguez-Cancio, Benoît Combemale, Benoit Baudry:
Automatic microbenchmark generation to prevent dead code elimination and constant folding. ASE 2016: 132-143 - [c114]Abhinav, Mohit Mishra, Benoit Baudry:
libmask: Protecting browser JIT engines from the devil in the constants. PST 2016: 301-308 - [c113]Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé:
NOTICE: A Framework for Non-Functional Testing of Compilers. QRS 2016: 335-346 - [c112]Pierre Laperdrix, Walter Rudametkin, Benoit Baudry:
Beauty and the Beast: Diverting Modern Web Browsers to Build Unique Browser Fingerprints. IEEE Symposium on Security and Privacy 2016: 878-894 - [c111]José Angel Galindo, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, David Benavides:
Exploiting the enumeration of all feature model configurations: a new perspective with distributed computing. SPLC 2016: 74-78 - [e5]Benoit Baudry, Benoît Combemale:
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo, France, October 2-7, 2016. ACM 2016, ISBN 978-1-4503-4321-3 [contents] - [i11]Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus:
Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation. CoRR abs/1611.09187 (2016) - 2015
- [j31]Juan José Cadavid, Benoît Combemale, Benoit Baudry:
An analysis of metamodeling practices for MOF and OCL. Comput. Lang. Syst. Struct. 41: 42-65 (2015) - [j30]Benoit Baudry, Martin Monperrus:
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond. ACM Comput. Surv. 48(1): 16:1-16:26 (2015) - [j29]Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari A. Sahraoui, Jean-Marc Jézéquel:
Assessing the use of slicing-based visualizing techniques on the understanding of large metamodels. Inf. Softw. Technol. 62: 124-142 (2015) - [j28]Wuliang Sun, Benoît Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray:
Using Slicing to Improve the Performance of Model Invariant Checking. J. Object Technol. 14(4): 1:1-28 (2015) - [j27]Simon Allier, Olivier Barais, Benoit Baudry, Johann Bourcier, Erwan Daubert, Franck Fleurey, Martin Monperrus, Hui Song, Maxime Tricoire:
Multitier Diversification in Web-Based Software Applications. IEEE Softw. 32(1): 83-90 (2015) - [j26]Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux:
Kompren: modeling and generating model slicers. Softw. Syst. Model. 14(1): 321-337 (2015) - [j25]João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry:
Generating counterexamples of model-based software product lines. Int. J. Softw. Tools Technol. Transf. 17(5): 585-600 (2015) - [j24]Benoit Baudry, Alessandro Orso:
Special issue for the ICST 2013 conference. Softw. Test. Verification Reliab. 25(4): 333 (2015) - [j23]Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser:
Towards an automation of the mutation analysis dedicated to model transformation. Softw. Test. Verification Reliab. 25(5-7): 653-683 (2015) - [c110]Franck Fleurey, Benoit Baudry, Benoit Gauzens, André Elie, Kwaku Yeboah-Antwi:
Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach. ECAL 2015: 521-528 - [c109]Erwan Bousse, Tanja Mayerhofer, Benoît Combemale, Benoit Baudry:
A Generative Approach to Define Rich Domain-Specific Trace Metamodels. ECMFA 2015: 45-61 - [c108]Kwaku Yeboah-Antwi, Benoit Baudry:
Embedding Adaptivity in Software Systems using the ECSELR framework. GECCO (Companion) 2015: 839-844 - [c107]Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry:
A Novelty Search-based Test Data Generator for Object-oriented Programs. GECCO (Companion) 2015: 1359-1360 - [c106]Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry:
A Novelty Search Approach for Automatic Test Data Generation. SBST@ICSE 2015: 40-43 - [c105]Pierre Laperdrix, Walter Rudametkin, Benoit Baudry:
Mitigating Browser Fingerprint Tracking: Multi-level Reconfiguration and Diversification. SEAMS@ICSE 2015: 98-108 - [c104]Valéria Lelli, Arnaud Blouin, Benoit Baudry:
Classifying and Qualifying GUI Defects. ICST 2015: 1-10 - [c103]Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon:
On model-based testing advanced GUIs. ICST Workshops 2015: 1-10 - [c102]Jean-Marie Mottu, Sagar Sen, Juan José Cadavid, Benoit Baudry:
Discovering model transformation pre-conditions using automatically generated test models. ISSRE 2015: 88-99 - [c101]Mathieu Acher, Guillaume Bécan, Benoît Combemale, Benoit Baudry, Jean-Marc Jézéquel:
Product lines can jeopardize their trade secrets. ESEC/SIGSOFT FSE 2015: 930-933 - [c100]Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, João Bosco Ferreira Filho, Benoit Baudry, Nicolas Sannier, Jean-Marc Davril:
MatrixMiner: a red pill to architect informal product descriptions in the matrix. ESEC/SIGSOFT FSE 2015: 982-985 - [c99]Erwan Bousse, Jonathan Corley, Benoît Combemale, Jeffrey G. Gray, Benoit Baudry:
Supporting efficient and advanced omniscient debugging for xDSMLs. SLE 2015: 137-148 - [c98]João Bosco Ferreira Filho, Simon Allier, Olivier Barais, Mathieu Acher, Benoit Baudry:
Assessing product line derivation operators applied to Java source code: an empirical study. SPLC 2015: 36-45 - [e4]Benoit Baudry:
Proceedings of Doctoral Symposium co-located with 17th International Conference on Model Driven Engineering Languages and Systems (2014), Valencia, Spain, September 30, 2014. CEUR Workshop Proceedings 1321, CEUR-WS.org 2015 [contents] - [i10]Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus:
DSpot: Test Amplification for Automatic Assessment of Computational Diversity. CoRR abs/1503.05807 (2015) - [i9]Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus:
Dynamic Analysis can be Improved with Automatic Test Suite Refactoring. CoRR abs/1506.01883 (2015) - [i8]Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus:
Automatic Software Diversity in the Light of Test Suites. CoRR abs/1509.00144 (2015) - 2014
- [j22]Benoît Combemale, Julien DeAntoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray:
Globalizing Modeling Languages. Computer 47(6): 68-71 (2014) - [j21]Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel:
Model-based testing of global properties on large-scale distributed systems. Inf. Softw. Technol. 56(7): 749-762 (2014) - [c97]Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhán Clarke:
DIVERSIFY: Ecology-inspired software evolution for diversity emergence. CSMR-WCRE 2014: 395-398 - [c96]Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry:
Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study. ICECCS 2014: 77-80 - [c95]Marco Biazzini, Benoit Baudry:
"May the fork be with you": novel metrics to analyze collaboration on GitHub. WETSoM 2014: 37-43 - [c94]Marco Biazzini, Martin Monperrus, Benoit Baudry:
On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems. ICSME 2014: 261-270 - [c93]Benoit Baudry, Simon Allier, Martin Monperrus:
Tailored source code transformations to synthesize computationally diverse program variants. ISSTA 2014: 149-159 - [c92]José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides:
A variability-based testing approach for synthesizing video sequences. ISSTA 2014: 293-303 - [c91]Guillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, Benoit Baudry:
Automating the formalization of product comparison matrices. ASE 2014: 433-444 - [c90]Erwan Bousse, Benoît Combemale, Benoit Baudry:
Towards Scalable Multidimensional Execution Traces for xDSMLs. MoDeVVa@MoDELS 2014: 13-18 - [c89]Erwan Bousse, Benoît Combemale, Benoit Baudry:
Scalable Armies of Model Clones through Data Sharing. MoDELS 2014: 286-301 - [c88]Hamza Samih, Hélène Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry:
An Approach to Derive Usage Models Variants for Model-Based Testing. ICTSS 2014: 80-96 - [c87]Nicolas Sannier, Benoit Baudry:
INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis. REFSQ 2014: 135-151 - [c86]Guillaume Bécan, Sana Ben Nasr, Mathieu Acher, Benoit Baudry:
WebFML: synthesizing feature models everywhere. SPLC Workshops 2014: 112-116 - [c85]Mathieu Acher, Benoit Baudry, Olivier Barais, Jean-Marc Jézéquel:
Customization and 3D printing: a challenging playground for software product lines. SPLC 2014: 142-146 - [c84]Mathieu Acher, Mauricio Alférez, José Angel Galindo, Pierre Romenteau, Benoit Baudry:
ViViD: a variability-based tool for synthesizing video sequences. SPLC Workshops 2014: 143-147 - [c83]Sana Ben Nasr, Nicolas Sannier, Mathieu Acher, Benoit Baudry:
Moving toward product line engineering in a nuclear industry consortium. SPLC 2014: 294-303 - [c82]Nicolas Sannier, Guillaume Bécan, Mathieu Acher, Sana Ben Nasr, Benoit Baudry:
Comparing or configuring products: are we getting the right ones? VaMoS 2014: 9:1-9:7 - [c81]Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari A. Sahraoui:
Slicing-Based Techniques for Visualizing Large Metamodels. VISSOFT 2014: 25-29 - [p1]Francisco Moyano, M. Carmen Fernández Gago, Benoit Baudry, Javier López:
Engineering Trust-Awareness and Self-adaptability in Services and Systems. Engineering Secure Future Internet Services and Systems 2014: 180-209 - [e3]Yan Liu, Steffen Zschaler, Benoit Baudry, Sudipto Ghosh, Davide Di Ruscio, Ethan K. Jackson, Manuel Wimmer:
Joint Proceedings of MODELS'13 Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 4, 2013. CEUR Workshop Proceedings 1115, CEUR-WS.org 2014 [contents] - [i7]Benoit Baudry, Simon Allier, Martin Monperrus:
Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants. CoRR abs/1401.7635 (2014) - [i6]Benoit Baudry, Martin Monperrus:
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond. CoRR abs/1409.7324 (2014) - 2013
- [j20]Francis Palma, Mathieu Nayrolles, Naouel Moha, Yann-Gaël Guéhéneuc, Benoit Baudry, Jean-Marc Jézéquel:
Soa Antipatterns: an Approach for their Specification and Detection. Int. J. Cooperative Inf. Syst. 22(4) (2013) - [j19]Freddy Muñoz, Benoit Baudry, Romain Delamare, Yves Le Traon:
Usage and testability of AOP: An empirical study of AspectJ. Inf. Softw. Technol. 55(2): 252-266 (2013) - [j18]Yu Sun, Jeff Gray, Romain Delamare, Benoit Baudry, Jules White:
Automating the maintenance of nonfunctional system properties using demonstration-based model transformation. J. Softw. Evol. Process. 25(12): 1335-1356 (2013) - [j17]Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel:
Automated measurement of models of requirements. Softw. Qual. J. 21(1): 3-22 (2013) - [c80]Francisco Moyano, Benoit Baudry, Javier López:
Towards Trust-Aware and Self-adaptive Systems. IFIPTM 2013: 255-262 - [c79]Nicolas Sannier, Mathieu Acher, Benoit Baudry:
From comparison matrix to Variability Model: The Wikipedia case study. ASE 2013: 580-585 - [c78]Martin Faunes, Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui, Benoît Combemale:
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples. MoDELS 2013: 187-202 - [c77]Diego Mendez, Benoit Baudry, Martin Monperrus:
Empirical evidence of large-scale diversity in API usage of object-oriented software. SCAM 2013: 43-52 - [c76]Benoît Combemale, Julien De Antoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert B. France:
Reifying Concurrency for Executable Metamodeling. SLE 2013: 365-384 - [c75]João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Benoit Baudry, Jérôme Le Noir:
Generating counterexamples of model-based software product lines: an exploratory study. SPLC 2013: 72-81 - [c74]Mathieu Acher, Benoit Baudry, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut:
Support for reverse engineering and maintaining feature models. VaMoS 2013: 20:1-20:8 - [e2]Benoit Baudry, Jürgen Dingel, Levi Lucio, Hans Vangheluwe:
Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013. CEUR Workshop Proceedings 1077, CEUR-WS.org 2013 [contents] - [i5]Diego Mendez, Benoit Baudry, Martin Monperrus:
Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software. CoRR abs/1307.4062 (2013) - 2012
- [j16]Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel:
Reusable model transformations. Softw. Syst. Model. 11(1): 111-125 (2012) - [j15]Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoît Combemale:
Modeling modeling modeling. Softw. Syst. Model. 11(3): 347-359 (2012) - [j14]Gilles Perrouin, Sebastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon:
Pairwise testing for software product lines: comparison of two approaches. Softw. Qual. J. 20(3-4): 605-643 (2012) - [j13]Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoit Baudry:
Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués. Tech. Sci. Informatiques 31(6): 797-826 (2012) - [c73]João Bosco Ferreira Filho, Olivier Barais, Benoit Baudry, Jérôme Le Noir:
Leveraging variability modeling for multi-dimensional model-driven software product lines. PLEASE@ICSE 2012: 5-8 - [c72]Jonathan Y. Marchand, Benoît Combemale, Benoit Baudry:
A categorical model of model merging and weaving. MiSE 2012: 70-76 - [c71]Naouel Moha, Francis Palma, Mathieu Nayrolles, Benjamin Joyen Conseil, Yann-Gaël Guéhéneuc, Benoit Baudry, Jean-Marc Jézéquel:
Specification and Detection of SOA Antipatterns. ICSOC 2012: 1-16 - [c70]Juan José Cadavid, Benoit Baudry, Houari A. Sahraoui:
Searching the Boundaries of a Modeling Space to Test Metamodels. ICST 2012: 131-140 - [c69]Arnaud Gotlieb, Aymeric Hervieu, Benoit Baudry:
Minimum Pairwise Coverage Using Constraint Programming Techniques. ICST 2012: 773-774 - [c68]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry:
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222 - [c67]Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry:
Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. MDsec@MoDELS 2012: 1 - [c66]Ben David Olivier-Nathanaël, Benoit Baudry:
Toward a model-driven access-control enforcement mechanism for pervasive systems. MDsec@MoDELS 2012: 6 - [c65]Benoît Combemale, Xavier Thirioux, Benoit Baudry:
Formally Defining and Iterating Infinite Models. MoDELS 2012: 119-133 - [c64]Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb:
Managing Execution Environment Variability during Software Testing: An Industrial Experience. ICTSS 2012: 24-38 - [c63]Nicolas Sannier, Benoit Baudry:
Toward multilevel textual requirements traceability using model-driven engineering and information retrieval. MoDRE 2012: 29-38 - [c62]Nicolas Sannier, Benoit Baudry:
Defining and retrieving themes in nuclear regulations. RELAW 2012: 33-41 - [c61]Cédric Jeanneret, Martin Glinz, Benoit Baudry, Benoît Combemale:
Impact of footprinting on model quality: An experimental evaluation. MoDRE 2012: 77-86 - [c60]Benoît Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry:
Bridging the Chasm between Executable Metamodeling and Models of Computation. SLE 2012: 184-203 - [c59]João Bosco Ferreira Filho, Olivier Barais, Benoit Baudry, Windson Viana, Rossana M. C. Andrade:
An approach for semantic enrichment of software product lines. SPLC (2) 2012: 188-195 - [i4]Benoit Baudry, Martin Monperrus:
Towards Ecology-Inspired Software Engineering. CoRR abs/1205.1102 (2012) - [i3]Alexandre Bartel, Benoit Baudry, Freddy Muñoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon:
Model Driven Mutation Applied to Adaptative Systems Testing. CoRR abs/1205.5783 (2012) - 2011
- [j12]Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser:
Guest Editorial for Special Section on Mutation Testing. Inf. Softw. Technol. 53(10): 1097 (2011) - [j11]Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener:
Model-driven generative development of measurement software. Softw. Syst. Model. 10(4): 537-552 (2011) - [j10]Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon:
An approach for testing pointcut descriptors in AspectJ. Softw. Test. Verification Reliab. 21(3): 215-239 (2011) - [c58]Koen Yskout, Olivier-Nathanael Ben David, Riccardo Scandariato, Benoit Baudry:
Requirements-Driven Runtime Reconfiguration for Security. EternalS@FET 2011: 25-33 - [c57]Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard:
Pairwise testing of dynamic composite services. SEAMS 2011: 138-147 - [c56]Cédric Jeanneret, Martin Glinz, Benoit Baudry:
Estimating footprints of model operations. ICSE 2011: 601-610 - [c55]Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault:
Tailored Shielding and Bypass Testing of Web Applications. ICST 2011: 210-219 - [c54]Alexandre Bartel, Benoit Baudry, Freddy Muñoz, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon:
Model Driven Mutation Applied to Adaptative Systems Testing. ICST Workshops 2011: 408-413 - [c53]Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb:
PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. ISSRE 2011: 120-129 - [c52]Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux:
Modeling Model Slicers. MoDELS 2011: 62-76 - [c51]Juan José Cadavid, Benoit Baudry, Benoît Combemale:
Empirical Evaluation of the Conjunct Use of MOF and OCL. EESSMod@MoDELS 2011 - [c50]Nicolas Sannier, Benoit Baudry, Thuy Nguyen:
Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering. MoDRE 2011: 64-73 - 2010
- [b2]Benoit Baudry:
Question-learn-test-feedback pattern to test emerging software construction paradigms. European University of Brittany, Rennes, France, 2010 - [j9]Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu:
Barriers to systematic model transformation testing. Commun. ACM 53(6): 139-143 (2010) - [j8]Sagar Sen, Benoit Baudry, Hans Vangheluwe:
Towards Domain-specific Model Editors with Automatic Model Completion. Simul. 86(2): 109-126 (2010) - [j7]Jean-Marie Mottu, Benoit Baudry, Yves Le Traon:
Construction de tests qualifiés de transformations de modèles. Tech. Sci. Informatiques 29(4-5): 537-569 (2010) - [c49]Yves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry:
Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies. ICST Workshops 2010: 72-79 - [c48]Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon:
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. ICST 2010: 459-468 - [c47]Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard:
Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS 2010: 99-106 - [c46]Romain Delamare, Freddy Muñoz, Benoit Baudry, Yves Le Traon:
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. ICTSS 2010: 250-265 - [e1]Benoit Baudry, Eric Wohlstadter:
Software Composition - 9th International Conference, SC@TOOLS 2010, Malaga, Spain, July 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6144, Springer 2010, ISBN 978-3-642-14045-7 [contents]
2000 – 2009
- 2009
- [j6]Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon:
Qualifying input test data for model transformations. Softw. Syst. Model. 8(2): 185-203 (2009) - [c45]Sagar Sen, Benoit Baudry, Jean-Marie Mottu:
Automatic Model Generation Strategies for Model Transformation Testing. ICMT@TOOLS 2009: 148-164 - [c44]Freddy Muñoz, Benoit Baudry, Romain Delamare, Yves Le Traon:
Inquiring the usage of aspect-oriented programming: An empirical study. ICSM 2009: 137-146 - [c43]Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry:
Transforming and Selecting Functional Test Cases for Security Policy Testing. ICST 2009: 171-180 - [c42]Romain Delamare, Benoit Baudry, Yves Le Traon:
AjMutator: A Tool for the Mutation Analysis of AspectJ Pointcut Descriptors. ICST Workshops 2009: 200-204 - [c41]Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon:
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ. ICST 2009: 376-385 - [c40]Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry:
Modeling Modeling. MoDELS 2009: 2-16 - [c39]Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel:
Meta-model Pruning. MoDELS 2009: 32-46 - [c38]Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry:
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. MoDELS 2009: 438-452 - [c37]Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon:
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. REFSQ 2009: 89-103 - [c36]Freddy Muñoz, Benoit Baudry:
A Framework for Testing Model Composition Engines. SC@TOOLS 2009: 125-141 - [i2]Freddy Muñoz, Benoit Baudry:
Artificial table testing dynamically adaptive systems. CoRR abs/0903.0914 (2009) - 2008
- [c35]Cédric Jeanneret, Robert B. France, Benoit Baudry:
A reference process for model composition. AOM@AOSD 2008: 1-6 - [c34]Romain Delamare, Benoit Baudry, Yves Le Traon:
Regression test selection when evolving software with aspects. LATE@AOSD 2008: 7 - [c33]Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhán Clarke:
Composing Multi-view Aspect Models. ICCBSS 2008: 43-52 - [c32]Freddy Muñoz, Benoit Baudry, Olivier Barais:
Improving maintenance in AOP through an interaction specification framework. ICSM 2008: 77-86 - [c31]Jean-Marie Mottu, Benoit Baudry, Yves Le Traon:
Model transformation testing: oracle issue. ICST Workshops 2008: 105-112 - [c30]Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry:
Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247 - [c29]Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry:
A Generic Metamodel For Security Policies Mutation. ICST Workshops 2008: 278-286 - [c28]Sagar Sen, Benoit Baudry, Jean-Marie Mottu:
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. ICST 2008: 328-337 - [c27]Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon:
A Model-Based Framework for Security Policy Specification, Deployment and Testing. MoDELS 2008: 537-552 - [c26]Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon:
Mutating DAC and MAC Security Policies: A Generic Metamodel Based Approach. MODSEC@MoDELS 2008 - [i1]Freddy Muñoz, Benoit Baudry, Olivier Barais:
A classification of invasive patterns in AOP. CoRR abs/0804.1696 (2008) - 2007
- [c25]Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh:
Providing Support for Model Composition in Metamodels. EDOC 2007: 253-266 - [c24]Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas:
Producing a Global Requirement Model from Multiple Requirement Specifications. EDOC 2007: 390-404 - [c23]Benoit Baudry, Clémentine Nebut, Yves Le Traon:
Model-Driven Engineering for Requirements Analysis. EDOC 2007: 459-466 - [c22]Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry:
Testing Security Policies: Going Beyond Functional Testing. ISSRE 2007: 93-102 - [c21]Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh:
A Generic Approach for Automatic Model Composition. MoDELS (Workshops) 2007: 7-15 - [c20]Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner:
4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. MoDELS (Workshops) 2007: 145-150 - [c19]Sagar Sen, Benoit Baudry, Hans Vangheluwe:
Domain-Specific Model Editors with Model Completion. MoDELS (Workshops) 2007: 259-270 - [c18]Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel:
Model-Driven Engineering for Software Migration in a Large Industrial Context. MoDELS 2007: 482-497 - 2006
- [j5]Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel:
Design by Contract to Improve Software Vigilance. IEEE Trans. Software Eng. 32(8): 571-586 (2006) - [c17]Jean-Marie Mottu, Benoit Baudry, Yves Le Traon:
Mutation Analysis Testing for Model Transformations. ECMDA-FA 2006: 376-390 - [c16]Benoit Baudry, Franck Fleurey, Yves Le Traon:
Improving test suites for efficient fault localization. ICSE 2006: 82-91 - [c15]Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon:
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. ISSRE 2006: 85-94 - [c14]Yves Le Traon, Benoit Baudry:
Test d'intégration d'un système à objets - planification de l'ordre d'intégration. LMO 2006: 217-230 - [c13]Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß:
Report on the 3rd MoDeVa Workshop - Model Design and Validation. MoDELS (Workshops) 2006: 179-181 - [c12]Jean-Marie Mottu, Benoit Baudry, Yves Le Traon:
Reusable MDA Components: A Testing-for-Trust Approach. MoDELS 2006: 589-603 - 2005
- [j4]Benoit Baudry, Yves Le Traon:
Measuring design testability of a UML class diagram. Inf. Softw. Technol. 47(13): 859-879 (2005) - [j3]Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon:
Automatic Test Case Optimization: A Bacteriologic Algorithm. IEEE Softw. 22(2): 76-82 (2005) - [j2]Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon:
From genetic to bacteriological algorithms for mutation-based testing. Softw. Test. Verification Reliab. 15(2): 73-96 (2005) - [c11]Benoit Baudry, Christophe Gaston, Sudipto Ghosh:
Report on the 2nd Workshop on Model Development and Validation - MoDeVa. MoDELS (Satellite Events) 2005: 32-38 - 2004
- [c10]Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry:
A UML-Based Concept for High Concurrency: The Real-Time Object. ISORC 2004: 64-67 - [c9]Franck Fleurey, Yves Le Traon, Benoit Baudry:
From Testing to Diagnosis: An Automated Approach. ASE 2004: 306-309 - 2003
- [b1]Benoit Baudry:
Assemblage testable et validation de composants. (Testable assembly of components). University of Rennes 1, France, 2003 - [j1]Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry:
From diagnosis to diagnosability: axiomatization, measurement and application. J. Syst. Softw. 65(1): 31-50 (2003) - [c8]Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel:
Measuring and Improving Design Patterns Testability. IEEE METRICS 2003: 50- - 2002
- [c7]Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon:
Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment. ISSRE 2002: 195-206 - [c6]Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon:
Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component. ASE 2002: 253-256 - [c5]Benoit Baudry, Yves Le Traon, Gerson Sunyé:
Testability Analysis of a UML Class Diagram. IEEE METRICS 2002: 54- - 2001
- [c4]Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel:
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability. ISSRE 2001: 324-331 - [c3]Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel:
Robustness and Diagnosability of OO Systems Designed by Contracts. IEEE METRICS 2001: 272-284 - 2000
- [c2]Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon:
Building Trust into OO Components Using a Genetic Analogy. ISSRE 2000: 4-14 - [c1]Benoit Baudry, Vu Le Hanh, Yves Le Traon:
Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification. TOOLS (33) 2000: 108-119
Coauthor Index
aka: Javier Ron Arteaga
aka: Oscar Luis Vera-Pérez
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-16 23:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint