trench crew research teaching contact

Conference publications

V. Andersson, B. Baudry, S. Bobadilla, L. Christensen, S. Cofano, K. Etemadi, R. Liu, M. Monperrus, F. Reyes, J. Ron, A. Sharma, D. Tiwari, and T. Toady,
“UPPERCASE IS ALL YOU NEED,” in Proceedings of SIGBOVIK, 2025. https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-287271
Y. Gamage, N. Gonzalez, M. Monperrus, and B. Baudry,
“Software bills of materials in maven central,” in Proceedings of IEEE/ACM MSR, 2025. https://arxiv.org/pdf/2501.13832
B. Baudry, E. N. Gustafsson, R. Kaufman, and M. Euler,
“Myriad people open source software for new media arts,” in Proceedings of IEEE/ACM MSR, 2025. https://arxiv.org/pdf/2501.13644
D. Tiwari, Y. Gamage, M. Monperrus, and B. Baudry,
“PROZE: Generating parameterized unit tests informed by runtime data,” in Proceedings of IEEE SCAM, 2024. https://arxiv.org/pdf/2407.00768
F. Reyes, B. Baudry, and M. Monperrus,
“Breaking-good: Explaining breaking dependency updates with build analysis,” in Proceedings of SCAM, 2024. https://arxiv.org/pdf/2407.03880
F. Reyes, Y. Gamage, G. Skoglund, B. Baudry, and M. Monperrus,
“BUMP: A benchmark of reproducible breaking dependency updates,” in Proceedings of SANER, 2024, pp. 159–170. https://arxiv.org/pdf/2401.09906
D. Tiwari, T. Toady, M. Monperrus, and B. Baudry,
“With great humor comes great developer engagement,” in Proceedings of ICSE (SEIS track), 2024, pp. 1–11. doi: https://dl.acm.org/doi/10.1145/3639475.3640099.
J. Cabrera-Arteaga, P. Laperdrix, B. Baudry, and M. Monperrus,
“Multi-variant execution at the edge,” in Proc. Of MTD’22, 2022. doi: doi.acm.org?doi=3560828.3564007.
B. Baudry and M. Monperrus,
“Exhaustive survey of rickrolling in academic literature,” in Proc. Of SIGBOVIK’22, 2022. doi: 10.48550/ARXIV.2204.06826.
L. Zetterlund, D. Tiwari, M. Monperrus, and B. Baudry,
“Harvesting production GraphQL queries to detect schema faults,” in Proc. Of ICST, 2022, pp. 365–376. doi: 10.1109/ICST53961.2022.00014.
N. Harrand, T. Durieux, D. Broman, and B. Baudry,
“The behavioral diversity of java JSON libraries,” in Proc. Of the int. Symp. On software reliability (ISSRE), 2021, pp. 412–422. doi: 10.1109/ISSRE52982.2021.00050.
R.-M. Tsoupidi, M. Baliu, and B. Baudry,
“Vivienne: Relational verification of cryptographic implementations in WebAssembly,” in Proc. Of SecDev, 2021, pp. 94–102. doi: 10.1109/SecDev51306.2021.00029.
C. Soto-Valero, T. Durieux, and B. Baudry,
“A longitudinal analysis of bloated java dependencies,” in Proc. Of the europ. Software engineering conf. And symp. On the foundations of software engineering (ESEC/FSE), 2021, pp. 1021–1031. doi: 10.1145/3468264.3468589.
T. Durieux, C. Soto-Valero, and B. Baudry,
“DUETS: A dataset of reproducible pairs of java library-clients,” in Proc. Of mining software repositories (MSR), 2021. doi: 10.1109/MSR52588.2021.00071.
J. Cabrera-Arteaga, O. F. Malivitsis, O. L. V. Pérez, B. Baudry, and M. Monperrus,
“CROW: Code diversification for WebAssembly,” in Proc. Of MadWeb workshop at NDSS’21, 2021. doi: 10.14722/madweb.2021.23004.
J. Cabrera-Arteaga, S. Donde, J. Gu, O. Floros, L. Satabin, B. Baudry, and M. Monperrus,
“Superoptimization of WebAssembly bytecode,” in Companion proc. Of programming’20, 2020, pp. 36–40. doi: 10.1145/3397537.3397567.
R.-M. Tsoupidi, R. C. Lozano, and B. Baudry,
“Constraint-based software diversification for efficient mitigation of code-reuse attacks,” in Proc. Of the int. Conf. On principles and practice of constraint programming (CP), 2020, pp. 791–808. doi: 10.1007/978-3-030-58475-7\_46.
E. N. Gustafsson, N. C. Woytuk, and B. Baudry,
“Re|traces of search: Exploring human-software entanglements through the search engine,” in Proc. Of the ACM designing interactive systems conference (DIS), 2020, pp. 457–460. doi: 10.1145/3393914.3395839.
N. Harrand, C. Soto-Valero, M. Monperrus, and B. Baudry,
“The strengths and behavioral quirks of java bytecode decompilers,” in Proc. Of the int. Working conference on source code analysis and manipulation (SCAM), 2019, pp. 92–102. doi: 10.1109/SCAM.2019.00019.
J. Cabrera-Arteaga, M. Monperrus, and B. Baudry,
“Scalable comparison of JavaScript V8 bytecode traces,” in Proc. Of workshop on VMIL, Athens, Greece, 2019, pp. 22–31. doi: 10.1145/3358504.3361228.
C. Soto-Valero, A. Benelallam, N. Harrand, O. Barais, and B. Baudry,
“The emergence of software diversity in maven central,” in Proc. Of mining software repositories (MSR), 2019, pp. 333–343. doi: 10.1109/MSR.2019.00059.
A. Benelallam, N. Harrand, C. Soto-Valero, B. Baudry, and O. Barais,
“The maven dependency graph: A temporal graph-based representation of maven central,” in Proc. Of mining software repositories (MSR), 2019, pp. 344–348. doi: 10.1109/MSR.2019.00060.
P. Laperdrix, G. Avoine, B. Baudry, and N. Nikiforakis,
“Morellian analysis for browsers: Making web authentication stronger with canvas fingerprinting,” in Proc. Of the conference on detection of intrusions and malware, and vulnerability assessment (DIMVA), 2019, pp. 43–66. doi: 10.1007/978-3-030-22038-9\_3.
O. Vera-Perez, M. Monperrus, and B. Baudry,
“Descartes: A PITest engine to detect pseudo-tested methods: Tool demonstration,” in Proc. Of automated software engineering conf. (ASE), 2018, pp. 908–911. doi: 10.1145/3238147.3240474.
B. Baudry, N. Harrand, E. Schulte, C. Timperley, S. H. Tan, M. Selakovic, and E. Ugherughe,
“A spoonful of DevOps helps the GI go down,” in Proc. Of genetic improvement workshop (GI), Gothenburg, Sweden, May 2018. doi: 10.1145/3194810.3194818.
B. Morin, J. Høgenes, H. Song, N. Harrand, and B. Baudry,
“Engineering software diversity: A model-based approach to systematically diversify communications,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2018, pp. 155–165. doi: 10.1145/3239372.3239393.
M. Rodriguez-Cancio, B. Combemale, and B. Baudry,
“Approximate loop unrolling,” in Proc. Of the int. Conference on computing frontiers (CF), ACM, 2019, pp. 94–105. doi: 10.1145/3310273.3323841.
C. Soto-Valero, J. Bourcier, and B. Baudry,
“Detection and Analysis of Behavioral T-patterns in Debugging Activities,” in Proc. of Mining Software Repositories (MSR), 2018. doi: 10.1145/3196398.3196452.
M. Rodriguez-Cancio, B. Baudry, and J. White,
“Images of Code: Lossy Compression for Native Instructions,” in Proc. of the NIER track at ICSE, May 2018, pp. 29–32. doi: 10.1145/3183399.3183409.
D. Thomas, N. Harrand, B. Bossis, and B. Baudry,
“Code{strata} Sonifying Software Complexity,” in Proc. of the Int. Conf. on Tangible, Embedded and Embodied Interactions (TEI), 2018, pp. 617–621. doi: 10.1145/3173225.3173317.
A. Gomez-Boix, P. Laperdrix, and B. Baudry,
“Hiding in the crowd: an analysis of the effectiveness of browser fingerprinting at large scale,” in Proc. of the Web conference (WWW), 2018, pp. 309–318. doi: 10.1145/3178876.3186097.
T. Durieux, Y. Hamadi, Z. Yu, B. Baudry, and M. Monperrus,
“Exhaustive Exploration of the Failure-oblivious Computing Search Space,” in Proc. of the Int. Conf. on Sotware Testing and Verification (ICST), 2018, pp. 139–149. https://arxiv.org/pdf/1710.09722.pdf
N. Harrand and B. Baudry,
“Software diversification as an obfuscation technique,” in International workshop on obfuscation: Science, technology, and theory, 2017, pp. 31–34. http://www.obfuscationworkshop.io/wp-content/uploads/2017/10/obfuscation-workshop-report.pdf
P. Laperdrix, B. Baudry, and V. Mishra,
“FPRandom: Randomizing core browser objects to break advanced device fingerprinting techniques,” in Proc. of the Symposium on Engineering Secure Software and Systems (ESSOS), 2017, pp. 97–114. doi: 10.1007/978-3-319-62105-0\_7.
A. Jangda, M. Mishra, and B. Baudry,
“libmask: Protecting Browser JIT Engines from the Devil in the Constants,” in Proc. of the Privacy, Security and Trust Conference (PST), 2016, pp. 301–308. https://hal.inria.fr/hal-01382971/file/PID4513621.pdf
M. Boussaa, O. Barais, B. Baudry, and G. G. Sunyé,
“Automatic Non-functional Testing of Code Generators Families,” in Proc. of the Int. Conf. on Generative Programming: Concepts and Experiences (GPCE), 2016, pp. 202–212. https://hal.inria.fr/hal-01356849
J. A. Galindo, M. Acher, J. M. Tirado, C. Vidal, B. Baudry, and D. Benavides,
“Exploiting the Enumeration of All Feature Model Configurations,” in Proc. of the Software Product Line Conference (SPLC), 2016, pp. 74–78. https://hal.archives-ouvertes.fr/hal-01334851
M. Boussaa, O. Barais, B. Baudry, and G. Sunyé,
“NOTICE: A Framework for Non-functional Testing of Compilers,” in Proc. of the Int. Conf. on Software Quality, Reliability & Security (QRS), Aug. 2016, pp. 335–346. https://hal.archives-ouvertes.fr/hal-01344835/file/QRS2016.pdf
M. Rodriguez-Cancio, B. Combemale, and B. Baudry,
“Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding,” in Proc. of the Automated Software Engineering Conference (ASE), Sep. 2016, pp. 132–143. https://hal.inria.fr/hal-01343818/file/technical-paper-main.pdf
P. Laperdrix, W. Rudametkin, and B. Baudry,
“Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints,” in Proc. Of the symp. On security and privacy (s&p), May 2016, pp. 878–894. doi: 10.1109/SP.2016.57.
V. Lelli, A. Blouin, B. Baudry, F. Coulon, and O. Beaudoux,
“Automatic Detection of GUI Design Smells: The Case of Blob Listener,” in Proc. Of the symp. On engineering interactive computing systems (EICS), 2016, pp. 263–274. https://hal.inria.fr/hal-01308625/file/main.pdf
D. Méndez-Acuña, J. A. Galindo, B. Combemale, A. Blouin, and B. Baudry,
“Puzzle: A tool for analyzing and extracting specification clones in DSLs,” in Proc. of the Int. Conf. on Software Reuse, in Proc. Of the 15th international conference on software reuse. Jun. 2016, pp. 393–396. https://hal.archives-ouvertes.fr/hal-01284822/file/icrs-main.pdf
F. Fleurey, B. Baudry, B. Gauzens, A. Elie, and K. Yeboah-Antwi,
“Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach,” in Proc. of the European Conference on Artificial Life (ECAL), Jul. 2015, pp. 521–528. https://hal.inria.fr/hal-01159131
J.-M. Mottu, S. Sen, J. Cadavid, and B. Baudry,
“Discovering Model Transformation Pre-conditions using Automatically Generated Test Models,” in Proc. of the Int. Symp. on Software Reliability Engineering (ISSRE), Nov. 2015, pp. 88–99. https://hal.inria.fr/hal-01228715/document
V. Lelli, A. Blouin, and B. Baudry,
“Classifying and Qualifying GUI Defects,” in Proc. of the Int. Conf. on Software Testing, Verification and Validation (ICST), 2015, pp. 1–10. https://hal.inria.fr/hal-01114724
V. Lelli, A. Blouin, B. Baudry, and F. Coulon,
“On Model-Based Testing Advanced GUIs,” in Proc. of the Workshop on Advances in Model Based Testing (A-MOST 2015), Graz, Austria, Apr. 2015, pp. 1–10. https://hal.inria.fr/hal-01123647
M. Boussaa, O. Barais, G. Sunyé, and B. Baudry,
“A Novelty Search Approach for Automatic Test Data Generation,” in Proc. of the Workshop on Search-Based Software Testing SBST@ICSE, Firenze, Italy, May 2015, pp. 40–43. https://hal.archives-ouvertes.fr/hal-01121228
K. Yeboah-Antwi and B. Baudry,
“Embedding Adaptivity in Software Systems using the ECSELR framework ,” in Proc. of the Genetic Improvement workshop at GECCO, 2015, pp. 839–844. https://hal.inria.fr/hal-01159118
J. B. Ferreira Filho, S. Allier, O. Barais, M. Acher, and B. Baudry,
“Assessing Product Line Derivation Operators Applied to Java Source Code: An Empirical Study,” in Proc. of the Int. Software Product Line Conference (SPLC), Jul. 2015, pp. 36–45. https://hal.inria.fr/hal-01163423
E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry,
“A generative approach to define rich domain-specific trace metamodels,” in Proc. Of the euro.. Conf. On modeling foundations and applications (ECMFA), 2015, pp. 45–61. https://hal.inria.fr/hal-01154225
E. Bousse, J. Corley, B. Combemale, J. Gray, and B. Baudry,
“Supporting efficient and advanced omniscient debugging for xDSMLs,” in Proc. Of the int. Conf. On software language engineering (SLE), 2015, pp. 137–148. doi: 10.1145/2814251.2814262.
P. Laperdrix, W. Rudametkin, and B. Baudry,
“Mitigating browser fingerprint tracking: Multi-level reconfiguration and diversification,” in Proc. Of the int. Symp. On software engineering for adaptive and self-managing systems (SEAMS), 2015, pp. 98–108. http://diversify-project.eu/papers/laperdrix15.pdf
S. B. Nasr, G. Bécan, M. Acher, J. B. F. Filho, B. Baudry, N. Sannier, and J.-M. Davril,
“MatrixMiner: A red pill to architect informal product descriptions in the matrix,” in Proc. Of the joint european software engineering conference and symposium on the foundations of software engineering (ESEC/FSE), 2015, pp. 982–985. doi: 10.1145/2786805.2803180.
G. Bécan, N. Sannier, M. Acher, O. Barais, A. Blouin, and B. Baudry,
“Automating the Formalization of Product Comparison Matrices,” in Proc. of the Automated Software Engineering Conference (ASE), 2014, pp. 433–444. https://hal.inria.fr/hal-01058440/document
A. Blouin, N. Moha, B. Baudry, and H. Sahraoui,
“Slicing-based Techniques for Visualizing Large Metamodels,” in Proc. of the Working Conf. on Software Visualization (VISSOFT), Victoria, Canada, Sep. 2014, pp. 25–29. https://hal.inria.fr/hal-01056217
E. Bousse, B. Combemale, and B. Baudry,
“Scalable armies of clone models through data sharing,” in Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2014, pp. 286–301. http://hal.inria.fr/docs/01/02/36/81/pdf/modelcloning-final2.pdf
M. Biazzini, M. Monperrus, and B. Baudry,
“On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems,” in Proc. of the Int. Conf. on Software Maintenance and Evolution (ICSME), 2014, pp. 261–270. https://hal.inria.fr/hal-01063789/document
H. Samih, H. Le Guen, R. Bogusch, M. Acher, and B. Baudry,
“An Approach to Derive Usage Models Variants for Model-based Testing,” in Proc. of the Int. Conf. on Testing Software and Systems (ICTSS), 2014, pp. 80–96. https://hal.inria.fr/hal-01025124/document
J. A. Galindo Duarte, M. Alférez, M. Acher, B. Baudry, and D. Benavides,
“A Variability-based Testing Approach for Synthesizing Video Sequences,” in Proc. of Int. Symp. on Software Testing and Analaysis (ISSTA), 2014, pp. 293–303. doi: 10.1145/2610384.2610411.
B. Baudry, S. Allier, and M. Monperrus,
“Tailored source code transformations to synthesize computationally diverse program variants,” in Proc. of Int. Symp. on Software Testing and Analaysis (ISSTA), 2014, pp. 149–159. doi: 10.1145/2610384.2610415.
N. Sannier and B. Baudry,
“INCREMENT: A mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis,” in Proc. of the Conf. on Requirement Engineering: Foundation for Software Quality (REFSQ), 2014, pp. 135–151. http://hal.inria.fr/docs/00/98/20/65/pdf/REFSQ2014-increment.pdf
S. Ben Nasr, N. Sannier, M. Acher, and B. Baudry,
“Moving Toward Product Line Engineering in a Nuclear Industry Consortium,” in Proc. of the Int. Software Product Line Conference (SPLC), Florence, Italy, 2014, pp. 294–303. https://hal.inria.fr/hal-01019537
N. Sannier, G. Bécan, M. Acher, S. Ben Nasr, and B. Baudry,
“Comparing or Configuring Products: Are We Getting the Right Ones?” in 8th Int. Workshop on Variability Modelling of Software-intensive Systems (VAMOS), ACM, 2014, pp. 1–7. doi: 10.1145/2556624.2556636.
M. Faunes, J. Cadavid, B. Baudry, H. Sahraoui, and B. Combemale,
“Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples,” in Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2013, pp. 187–202. http://hal.inria.fr/hal-00923789
B. Baudry, M. Monperrus, C. Mony, F. Chauvel, F. Fleurey, and S. Clarke,
“DIVERSIFY: Ecology-Inspired Software Evolution for Diversity Emergence,” in Proc. of the Int. Conf. on Software Maintenance and Reengineering (CSMR), Belgium, 2014, pp. 444–447. http://hal.inria.fr/docs/00/91/62/81/pdf/csmr14-diversify.pdf
F. Moyano, B. Baudry, and J. Lopez,
“Towards Trust-Aware and Self-Adaptive Systems,” in Proc. of IFIPTM, Malaga, Espagne, Jun. 2013. http://hal.inria.fr/docs/00/91/62/80/pdf/Moyano-IFIPTM.pdf
M. Acher, B. Baudry, O. Barais, and J.-M. Jézéquel,
“Customization and 3D printing: A challenging playground for software product lines,” in Proc. Of SPLC, 2014, pp. 142–146.
D. Mendez, B. Baudry, and M. Monperrus,
“Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software,” in Proc. of the Int. Conf. on Source Code Analysis and Manipulation (SCAM), Netherlands, 2013, pp. 43–52. http://hal.archives-ouvertes.fr/hal-00844753/pdf/article.pdf
M. Acher, P. Heymans, A. Cleve, J.-L. Hainaut, and B. Baudry,
“Support for Reverse Engineering and Maintaining Feature Models,” in Proc. of the International Workshop on Variability Modelling of Software-Intensive Systems, Jan. 2013. http://hal.inria.fr/hal-00766786
B. Combemale, J. Deantoni, M. Vara Larsen, F. Mallet, O. Barais, B. Baudry, and R. France,
“Reifying Concurrency for Executable Metamodeling,” in Proc. of the Int. Conf. on Software Language Engineering (SLE), 2013, pp. 365–384. http://hal.inria.fr/hal-00850770/pdf/sle13-eventdrivenmetamodeling-cameraready-v1.1.pdf
N. Sannier, M. Acher, and B. Baudry,
“From Comparison Matrix to Variability Model: The Wikipedia Case Study,” in Proc. of the Conf. on Automated Software Engineering (ASE), 2013, pp. 580–585. http://hal.inria.fr/hal-00858491
J. B. Ferreira Filho, B. Baudry, O. Barais, J. Le Noir, and M. Acher,
“Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study,” in Proc. of the Int. Software Product Line Conf. (SPLC), 2013, pp. 72–81. http://hal.inria.fr/hal-00837523/pdf/SPLC2013.pdf
X. Devroey, M. Cordy, G. Perrouin, E.-Y. Kang, P.-Y. Schobbens, P. Heymans, A. Legay, and B. Baudry,
“A Vision for Behavioural Model-Driven Validation of Software Product Lines,” in Proc of ISOLA, 2012, pp. 208–222. http://hal.inria.fr/hal-00726121/pdf/isola2012-root.pdf
B. Combemale, C. Hardebolle, C. Jacquet, F. Boulanger, and B. Baudry,
“Bridging the chasm between executable metamodeling and models of computation,” in Proc. of the Int. Conf. on Software Language Engineering (SLE), 2012, pp. 184–203.
A. Hervieu, B. Baudry, and A. Gotlieb,
“Managing execution environment variability during software testing: An industrial experience,” in Proc. Of the international conference on testing software and systems (ICTSS), 2012, pp. 24–38. https://hal.inria.fr/hal-00726137/document
B. Combemale, X. Thirioux, and B. Baudry,
“Formally Defining and Iterating Infinite Models,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2012, pp. 119–133. http://hal.inria.fr/hal-00716623/pdf/models12-infinitemodel.pdf
J. Marchand, B. Combemale, and B. Baudry,
“A Categorical Model of Model Merging and Weaving,” in Proc. Of the MiSE workshop at ICSE’12, May 2012, pp. 70–76. http://hal.inria.fr/hal-00714373/pdf/sc12.pdf
N. Moha, F. Palma, M. Nayrolles, B. Joyen Conseil, G. Yann-Gael, B. Baudry, and J.-M. Jézéquel,
“Specification and Detection of SOA Antipatterns,” in Proc. Of the int. Conf. On service oriented computing (ICSOC), Nov. 2012, pp. 1–16. http://hal.inria.fr/docs/00/72/24/72/pdf/Moha12.pdf
N. Sannier and B. Baudry,
“Toward multilevel textual requirements traceability using model-driven engineering and information retrieval,” in Proc. Of the model-driven requirements engineering workshop (MoDRE’12) at RE’12, Sep. 2012, p. –. http://hal.inria.fr/docs/00/72/18/06/pdf/MoDRE2012_Sannier_Baudry_Multilevel_Requirements_Traceability_Using_MDE_and_IR-cr3.pdf
N. Sannier and B. Baudry,
“Defining and retrieving themes in nuclear regulations,” in Proc. Of the requirements engineering and law workshop (RELAW’12) at RE’12, Sep. 2012, p. –. http://hal.inria.fr/docs/00/72/18/26/pdf/RELAW2012_Sannier_Baudry-cr.pdf
C. Jeanneret, M. Glinz, B. Baudry, and B. Combemale,
“Impact of footprinting on model quality,” in Proc. Of the model-driven requirements engineering workshop (MoDRE’12) at RE’12, Sep. 2012, pp. 77–86. http://hal.inria.fr/hal-00722036/pdf/rews12modre-id14-p-11124-submitted.pdf
J. Cadavid, B. Baudry, and H. Sahraoui,
“Searching the boundaries of a modeling space to test metamodels,” in Proc. Of the int. Conf. On software testing, validation and verification (ICST), 2012, pp. 131–140. http://hal.inria.fr/hal-00665866/pdf/main.pdf
A. Hervieu, B. Baudry, and A. Gotlieb,
“PACOGEN : Automatic generation of pairwise test configurations from feature models,” in Proc. Of the int. Symp. On software reliability engineering (ISSRE), 2011, pp. 120–129. doi: 10.1109/ISSRE.2011.31.
A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux,
“Modeling model slicers,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2011, pp. 62–76. http://hal.inria.fr/inria-00609072/pdf/BLO11b.pdf
J. Cadavid, B. Baudry, and B. Combemale,
“Empirical evaluation of the conjunct use of MOF and OCL,” in Proc. Of EESSMOD workshop at MODELS’11, 2011.
N. Sannier, B. Baudry, and T. Nguyen,
“Formalizing standards and regulations variability in longlife projects. A challenge for model-driven engineering,” in Proc. Of the model-driven requirements engineering workshop (MoDRE’11) at RE’11, 2011, pp. 64–73.
A. Kattepur, S. Sen, B. Baudry, A. Benveniste, and C. Jard,
“Pairwise testing of dynamic composite services,” in Proc. Of the symp. On software engineering for adaptive and self-managing systems (SEAMS), 2011, pp. 138–147. https://hal.inria.fr/hal-00641340/document
T. Mouelhi, Y. Le Traon, E. Abgrall, B. Baudry, and S. Gombault,
“Tailored shielding and bypass testing of web applications,” in Proc. Of the int. Conf. On testing, validations and verification (ICST), 2011, pp. 210–219. https://hal.inria.fr/hal-00646424/pdf/ICST2011-Mouelhi-Shielding-Bypass-Final.pdf
C. Jeanneret, M. Glinz, and B. Baudry,
“Estimating footprints of model operations,” in Proc. Of the int. Conf. On software engineering (ICSE), 2011, pp. 601–610. http://hal.inria.fr/docs/00/64/10/91/pdf/icse2011-final.pdf
P. Dhaussy, P.-Y. Pillain, S. Creff, A. Raji, Y. L. Traon, and B. B.,
“Contribution à la formalisation de contextes et déxigences pour la validation formelle de logiciels embarqués,” in Approches formelles dans l’assistance de développement logiciel, 2010. http://www.irisa.fr/triskell/publis/2010/Dhaussy2010.pdf
R. Delamare, F. Muñoz, B. Baudry, and Y. L. Traon,
“Vidock: A tool for impact analysis of aspect weaving on test cases,” in Proc. Of the international conference on testing software and systems (ICTSS), 2010, pp. 250–265. http://www.irisa.fr/triskell/publis/2010/Delamare2010n1.pdf
A. Kattepur, S. Sen, B. Baudry, A. Benveniste, and C. Jard,
“Variability modeling and QoS analysis of web services orchestrations,” in Proc. Of the international conference on web services (ICWE), IEEE, 2010, pp. 99–106. http://www.irisa.fr/triskell/publis/2010/Kattepur2010.pdf
G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. Le Traon,
“Automated and scalable t-wise test case generation strategies for software product lines,” in Proc. Of the int. Conf. On software testing, validation and verification (ICST), 2010, pp. 459–468. doi: 10.1109/ICST.2010.43.
S. Sen, B. Baudry, and J.-M. Mottu,
“Automatic model generation strategies for model transformation testing,” in Proc. Of the international conference on model transformations (ICMT), 2009, pp. 148–164. http://www.irisa.fr/triskell/publis/2009/Sen09a.pdf
R. Delamare, B. Baudry, S. Ghosh, and Y. Le Traon,
“A test-driven approach to developing pointcut descriptors in AspectJ,” in Proc. Of the int. Conference on software testing, validation and verification (ICST), 2009, pp. 376–385. http://www.irisa.fr/triskell/publis/2009/Delamare09a.pdf
R. Delamare, B. Baudry, and Y. Le Traon,
“AjMutator: A tool for the mutation analysis of AspectJ pointcut descriptors,” in Proc. Of the international workshop on mutation analysis at ICST, 2009, pp. 200–204. http://www.irisa.fr/triskell/publis/2009/Delamare09b.pdf
P. Dhaussy, P. Y. Pillain, S. Creff, A. Raji, Y. L. Traon, and B. Baudry,
“Evaluating context descriptions and property definition patterns for software formal validation,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2009, pp. 438–452. http://www.irisa.fr/triskell/publis/2009/dhaussy09.pdf
T. Mouelhi, Y. Le Traon, and B. Baudry,
“Transforming and selecting functional test cases for security policy testing,” in Proc. Of the int. Conf. On software testing, verification and validation (ICST), 2009, pp. 171–180. http://www.irisa.fr/triskell/publis/2009/mouelhi09.pdf
P.-A. Muller, F. Fondement, and B. Baudry,
“Modeling modeling,” in Proc. Of the the int. Conf. On model driven engineering languages and systems (MODELS), 2009, pp. 2–16. http://www.irisa.fr/triskell/publis/2009/muller09.pdf
F. Munoz, B. Baudry, R. Delamare, and Y. Le Traon,
“Inquiring the usage of aspect-oriented programming: an empirical study,” in Proc. Of the international conference on software maintenance (ICSM), 2009, pp. 137–146. http://www.irisa.fr/triskell/publis/2009/munoz09a.pdf
F. Munoz and B. Baudry,
“A framework for testing model composition engines,” in Proc. Of the international conference on software composition (SC), 2009, pp. 125–141. http://www.irisa.fr/triskell/publis/2009/munoz09b.pdf
G. Perrouin, E. Brottier, B. Baudry, and Y. Le Traon,
“Composing models for detecting inconsistencies: A requirements engineering perspective,” in Proc. Of the international working conference on requirements engineering: Foundation for software quality (REFSQ), 2009, pp. 89–103. http://www.irisa.fr/triskell/publis/2009/Perrouin09a.pdf
S. Sen, N. Moha, B. Baudry, and J.-M. Jézéquel,
“Meta-model Pruning,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2009, pp. 32–46. http://www.irisa.fr/triskell/publis/2009/Sen09b.pdf
O. Barais, J. Klein, B. Baudry, A. Jackson, and S. Clarke,
“Composing multi-view aspect models,” in Proc. Of the international conference on composition-based software systems (ICCBSS), 2008, pp. 43–52. http://www.irisa.fr/triskell/publis/2008/Barais08a.pdf
R. Delamare, B. Baudry, and Y. Le Traon,
“Regression test selection when evolving software with aspects,” in Proc. Of the LATE workshop at AOSD’08, Apr. 2008. http://www.irisa.fr/triskell/publis/2008/Delamare08.pdf
T. Mouelhi, F. Fleurey, B. Baudry, and Y. Le Traon,
“Mutating DAC and MAC security policies: A generic metamodel based approach,” in Proc. Of the modeling security workshop at MODELS ’08, 2008. http://www.irisa.fr/triskell/publis/2008/mouelhi08b.pdf
Y. Le Traon, T. Mouelhi, A. Pretschner, and B. Baudry,
“Test-driven assessment of access control in legacy applications,” in Proc. Of the int. Conf. On software testing, verification and validation (ICST), 2008, pp. 238–247. http://www.irisa.fr/triskell/publis/2008/mouelhi08c.pdf
T. Mouelhi, B. Baudry, and F. Fleurey,
“A generic metamodel for security policies mutation,” in Proc. Of the security testing workshop at ICST, 2008, pp. 278–286. http://www.irisa.fr/triskell/publis/2008/mouelhi08e.pdf
T. Mouelhi, F. Fleurey, B. Baudry, and Y. Le Traon,
“A model-based framework for security policy specification, deployment and testing,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2008, pp. 537–552. http://www.irisa.fr/triskell/publis/2008/Mouelhi08f
F. Munoz, B. Baudry, and O. Barais,
“Improving maintenance in AOP through an interaction specification framework,” in Proc. Of the int. Conf. On software maintentance (ICSM), 2008, pp. 77–86. https://hal.inria.fr/inria-00456504/pdf/munoz2008b.pdf
F. Munoz and B. Baudry,
“Validation challenges in model composition: The case of adaptive systems,” in Proc. Of ChaMDE 2000 workshop at MODELS’08, 2008. http://www.irisa.fr/triskell/publis/2008/munoz2008c.pdf
S. Sen, B. Baudry, and J.-M. Mottu,
“On combining multi-formalism knowledge to select models for model transformation testing,” in Proc. Of the int. Conf. On software testing, verification and validation (ICST), 2008, pp. 328–337. http://www.irisa.fr/triskell/publis/2008/Sen08a.pdf
B. Baudry, C. Nebut, and Y. Le Traon,
“Model-driven engineering for requirements analysis,” in Proc. Of the entreprise distributed object computing conference (EDOC), 2007, pp. 459–466. http://www.irisa.fr/triskell/publis/2007/baudry07a.pdf
E. Brottier, B. Baudry, Y. Le Traon, D. Touzet, and B. Nicolas,
“Producing a global requirement model from multiple requirement specifications,” in Proc. Of the entreprise distributed object computing conference (EDOC), 2007, pp. 390–404. http://www.irisa.fr/triskell/publis/2007/brottier07a.pdf
F. Fleurey, E. Breton, B. Baudry, A. Nicolas, and J.-M. Jézéquel,
“Model-driven engineering for software migration in a large industrial context,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2007, pp. 482–497. http://www.irisa.fr/triskell/publis/2007/fleurey07a.pdf
F. Fleurey, B. Baudry, R. France, and S. Ghosh,
“A generic approach for automatic model composition,” in Proc. Of the AOM workshop at MODELS’07, Nashville, USA, 2007, pp. 7–15. http://www.irisa.fr/triskell/publis/2007/Fleurey07c.pdf
R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh,
“Providing support for model composition in metamodels,” in Proc. Of the entreprise distributed object computing conference (EDOC), 2007, pp. 253–266. http://www.irisa.fr/triskell/publis/2007/france07a.pdf
T. Mouelhi, Y. Le Traon, and B. Baudry,
“Mutation analysis for security tests qualification,” in Proc. Of the workshop on mutation analysis at TAIC-part 2007, 2007. http://www.irisa.fr/triskell/publis/2007/mouelhi07a.pdf
Y. Le Traon, T. Mouelhi, and B. Baudry,
“Testing security policies: Going beyond functional testing,” in Proc. Of the int. Symp. On software reliability engineering (ISSRE)), 2007, pp. 93–102. http://www.irisa.fr/triskell/publis/2007/letraon07.pdf
F. Munoz, O. Barais, and B. Baudry,
“Vigilant usage of aspects,” in Proc. Of the ADI workshop at ECOOP 2007, 2007. http://www.irisa.fr/triskell/publis/2007/Munoz07a.pdf
S. Sen, B. Baudry, and H. Vangheluwe,
“Domain-specific model editors with model completion,” in Proc. Of MPM workshop at MoDELS’07, 2007. http://www.irisa.fr/triskell/publis/2007/Sen07a.pdf
S. Sen, B. Baudry, and D. Precup,
“Partial model completion in model driven engineering using constraint logic programming,” in Proc. Of the international conference on the applications of declarative programming (INAP), 2007, pp. 59–69.
B. Baudry, F. Fleurey, and Y. Le Traon,
“Improving test suites for efficient fault localization,” in Proc. Of the int. Conf. On software engineering (ICSE), 2006, pp. 82–91. https://hal.inria.fr/inria-00542783/pdf/baudry06a.pdf
B. Baudry, T. Dinh-Trong, J.-M. Mottu, D. Simmonds, R. France, S. Ghosh, F. Fleurey, and Y. Le Traon,
“Model transformation testing challenges,” in Proc. Of the IMDDMDT workshop at ECMDA’06, 2006. http://www.irisa.fr/triskell/publis/2006/baudry06b.pdf
B. Baudry, D. Hearnden, N. Rapin, and J. G. Suss,
“Report on the 3rd MoDeVa workshop - model design and validation,” in Proc. Of the workshops and symposia at MoDELS’06, LNCS, Oct. 2006, pp. 179–181. http://www.irisa.fr/triskell/publis/2006/baudry06c.pdf
E. Brottier, F. Fleurey, J. Steel, B. Baudry, and Y. Le Traon,
“Metamodel-based test generation for model transformations: An algorithm and a tool,” in Proc. Of int. Symp. On software reliability engineering (ISSRE), 2006, pp. 85–94. http://www.irisa.fr/triskell/publis/2006/Brottier06a.pdf
R. Delamare, B. Baudry, and Y. Le Traon,
“Reverse-engineering of UML 2.0 sequence diagrams from execution traces,” in Proc. Of the workshop on object-oriented reengineering at ECOOP 06, Jul. 2006. http://www.irisa.fr/triskell/publis/2006/Delamare06.pdf
A. Jackson, J. Klein, B. Baudry, and S. Clarke,
“Testing executable themes,” in Proc. Of the MDSD workshop at ECOOP 06, Nantes, France, Jul. 2006. http://www.irisa.fr/triskell/publis/2006/Jackson06a.pdf
A. Jackson, J. Klein, B. Baudry, and S. Clarke,
“KerTheme: Testing aspect oriented models,” in Proc. Of the IMDDMDT workshop at ECMDA’06., Bilbao, Spain, Jul. 2006. http://www.irisa.fr/triskell/publis/2006/Jackson06b.pdf
J.-M. Mottu, B. Baudry, and Y. Le Traon,
“Mutation analysis testing for model transformations,” in Proc. Of the european conference on model driven architecture (ECMDA), 2006, pp. 376–390. http://www.irisa.fr/triskell/publis/2006/Mottu06a.pdf
J.-M. Mottu, B. Baudry, and Y. Le Traon,
“Reusable MDA components: A testing-for-trust approach,” in Proc. Of the int. Conf. On model driven engineering languages and systems (MODELS), 2006, pp. 589–603. http://pagesperso.ls2n.fr/~mottu-jm/publications/Mottu06b.pdf
C. Nebut, B. Baudry, S. Kamoun, and W. Ahmed Saeed,
“Multi-language support for model-driven requirement analysis and test generation,” in Proc. Of the IMDDMDT workshop at ECMDA’06., 2006. http://www.irisa.fr/triskell/publis/2006/Nebut06c.pdf
S. Sen and B. Baudry,
“Mutation-based model synthesis in model driven engineering,” in Proc. Of the mutation’06 workshop at ISSRE’06, 2006. http://www.irisa.fr/triskell/perso_pro/bbaudry/publis/sen06.pdf
B. Baudry, F. Fleurey, R. France, and R. Reddy,
“Exploring the relationship between model composition and model transformation,” in Proc. Of the AOM workshop at MODELS’05, Oct. 2005. http://www.irisa.fr/triskell/publis/2005/Baudry05e.pdf
B. Baudry, C. Gaston, and S. Ghosh,
“Report on the 2nd workshop on model development and validation: MoDeVa.” in Proc. Of the satellite events at the MoDELS’05, Oct. 2005, pp. 32–38. http://www.irisa.fr/triskell/perso_pro/bbaudry/publis/baudry05.pdf
T. Dinh-Trong, S. Ghosh, R. France, B. Baudry, and F. Fleurey,
“A taxonomy of faults for UML designs,” in Proc. Of the MoDeVa workshop at MODELS’05, 2005. http://www.irisa.fr/triskell/perso_pro/bbaudry/publis/Trung05.pdf
R. Reddy, R. France, S. Ghosh, F. Fleurey, and B. Baudry,
“Model composition - a signature-based approach,” in Proc. Of the AOM workshop at MODELS’05, Oct. 2005.
B. Baudry, Y. Le Traon, and G. Sunyé,
“Improving the testability of UML diagram,” in Proc. Of the IWoTA at ISSRE’04, Nov. 2004, pp. 70–80. http://www.irisa.fr/triskell/perso_pro/bbaudry/publis/iwota-final.pdf
S. Gérard, C. Mraidha, F. Terrier, and B. Baudry,
“A UML-based concept for high concurrency: The real-time object,” in Proc. Of ISORC, 2004, pp. 64–67.
F. Fleurey, B. Baudry, and Y. Le Traon,
“From testing to diagnosis: An automated approach,” in Proc of the conf. On automated software engineering (ASE), 2004, pp. 306–309. http://www.irisa.fr/triskell/publis/2004/Fleurey04a.pdf
F. Fleurey, J. Steel, and B. Baudry,
“MDE and validation: Testing model transformations,” in Proc. Of the modeva workshop at ISSRE’04, Rennes, France, Nov. 2004. http://www.irisa.fr/triskell/publis/2004/Fleurey04b.pdf
Y. Le Traon and B. Baudry,
“Optimal allocation of testing resources,” in Proc. Of the modeva workshop at ISSRE’04, Rennes, France, Nov. 2004.
B. Baudry and S. Gérard,
“Software transformation engineering,” in Proc. Of MDAFA’04, Linkoping, Sweden, 2004, p. 254.
B. Baudry, Y. Le Traon, G. Sunyé, and J.-M. Jézéquel,
“Measuring and improving design patterns testability,” in Proc. Of the metrics symposium (metrics), 2003, pp. 50–59. http://www.irisa.fr/triskell/publis/2003/Baudry03a.pdf
B. Baudry, Y. Le Traon, and G. Sunyé,
“Testability analysis of UML class diagram,” in Proc. Of the metrics symposium (metrics), 2002, pp. 54–63. http://www.irisa.fr/triskell/publis/2002/Baudry02a.pdf
B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon,
“Genes and bacteria for automatic test cases optimization in the .NET environment,” in Proc. Of the int. Symp. On software reliability engineering (ISSRE), 2002, pp. 195–206. http://www.irisa.fr/triskell/publis/2002/Baudry02b.pdf
B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon,
“Computational intelligence for testing .NET components,” in Proc. Of microsoft summer research workshop, 2002. http://www.irisa.fr/triskell/publis/2002/Baudry02c.pdf
B. Baudry, F. Fleurey, J.-M. Jézéquel, and Y. Le Traon,
“Automatic test cases optimization using a bacteriological adaptation model: Application to .NET components,” in Proc. Of the conf. On automated software engineering (ASE), 2002, pp. 253–256. http://www.irisa.fr/triskell/publis/2002/Baudry02d.pdf
B. Baudry, Y. Le Traon, and J.-M. Jézéquel,
“Robustness and diagnosability of OO systems designed by contracts,” in Proc. Of the metrics symposium (metrics), 2001, pp. 272–284. http://www.irisa.fr/triskell/publis/2001/Baudry01a.pdf
B. Baudry, Y. Le Traon, G. Sunyé, and J.-M. Jézéquel,
“Towards a ’safe’ use of design patterns to improve OO software testability,” in Proc. Of int. Symp. On software reliability engineering (ISSRE), 2001, pp. 324–331. http://www.irisa.fr/triskell/publis/2001/Baudry01b.pdf
B. Baudry, Y. Le Traon, and H. Vu Le,
“Testing-for-trust: The genetic selection model applied to component qualification,” in Proc. Of TOOLS europe, 2000, pp. 108–119. http://www.irisa.fr/triskell/publis/2000/Baudry00a.pdf
B. Baudry, Y. Le Traon, H. Vu Le, and J.-M. Jézéquel,
“Building trust into OO components using a genetic analogy,” in Proc. Of the int. Symp. On software reliability engineering (ISSRE), 2000, pp. 4–14. http://www.irisa.fr/triskell/publis/2000/Baudry00b.pdf
B. Baudry, Y. Le Traon, J.-M. Jézéquel, and H. Vu Le,
“Trustable components: Yet another mutation-based approach,” in Proc. Of the symposium on mutation testing, San Jose, CA, Oct. 2000, pp. 69–76. http://www.irisa.fr/triskell/publis/2000/Baudry00c.pdf