Conference proceedings

Refereed Conference Papers
2016
[83] libmask: Protecting Browser JIT Engines from the Devil in the Constants (Abhinav Jangda, Mohit Mishra, Benoit Baudry), In Proc. of the Privacy, Security and Trust Conference (PST), 2016. [bibtex] [pdf]
[82] Automatic Non-functional Testing of Code Generators Families (Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Gerson Sunyé), In Proc. of the Int. Conf. on Generative Programming: Concepts & Experiences (GPCE), 2016. [bibtex] [pdf]
[81] Exploiting the Enumeration of All Feature Model Configurations (José A. Galindo, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, David Benavides), In Software Product Line Conference, 2016. [bibtex] [pdf]
[80] Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding (Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry), In Proc. of the Int. Conf. on Automated Software Engineering (ASE 2016) , 2016. [bibtex] [pdf]
[79] NOTICE: A Framework for Non-functional Testing of Compilers (Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé), In Proc. of the Int. Conf. on Software Quality, Reliability & Security (QRS 2016), 2016. [bibtex] [pdf]
[78] Puzzle: A tool for analyzing and extracting specification clones in DSLs (David Méndez-Acuña, José A. Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry), In Proc. of the Int. Conf. on Software Reuse, 2016. [bibtex] [pdf]
[77] Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints (Pierre Laperdrix, Walter Rudametkin, Benoit Baudry), In Proc. of the Symp. on Security and Privacy (S&P), 2016. [bibtex] [pdf]
[76] Automatic Detection of GUI Design Smells: The Case of Blob Listener (Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon, Olivier Beaudoux), In Proc. of the Symp. on Engineering Interactive Computing Systems (EICS), 2016. [bibtex] [pdf]
2015
[75] Discovering Model Transformation Pre-conditions using Automatically Generated Test Models (Jean-Marie Mottu, Sagar Sen, Juan Cadavid, Benoit Baudry), In Proc. of the Int. Symp. on Sofware Reliability Engineering, 2015. [bibtex] [pdf]
[74] Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach (Franck Fleurey, Benoit Baudry, Benoit Gauzens, André Elie, Kwaku Yeboah-Antwi), In Proc. of the European Conference on Artificial Life (ECAL), 2015. [bibtex] [pdf]
[73] Assessing Product Line Derivation Operators Applied to Java Source Code: An Empirical Study (João Bosco Ferreira Filho, Simon Allier, Olivier Barais, Mathieu Acher, Benoit Baudry), In Proc. of the Int. Software Product Line Conference (SPLC), 2015. [bibtex] [pdf]
[72] Classifying and Qualifying GUI Defects (Valéria Lelli, Arnaud Blouin, Benoit Baudry), In Proc. of the Int. Conf. on Software Testing, Verification and Validation, 2015. [bibtex] [pdf]
[71] Mitigating browser fingerprint tracking: multi-level reconfiguration and diversification (Pierre Laperdrix, Walter Rudametkin, Benoit Baudry), In Proc. of the Int. Symp. on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2015. [bibtex] [pdf]
[70]A Generative Approach for Rich Omniscient Model Debugging (Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry), In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2015. [bibtex]
[69] A Generative Approach to Define Rich Domain-Specific Trace Metamodels (Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry), In Proc. of the Euro.. Conf. on Modeling Foundations and Applications (ECMFA), 2015. [bibtex] [pdf]
2014
[68] Slicing-based Techniques for Visualizing Large Metamodels (Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui), In Proc. of the Working Conf. on Software Visualization (VISSOFT), 2014. [bibtex] [pdf]
[67] Moving Toward Product Line Engineering in a Nuclear Industry Consortium (Sana Ben Nasr, Nicolas Sannier, Mathieu Acher, Benoit Baudry), In Proc. of the Int. Software Product Line Conference (SPLC'2014), 2014. [bibtex] [pdf]
[66] INCREMENT: A mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis (Nicolas Sannier, Benoit Baudry), In Proc. of the Int. Working Conf. on Requirements Engineering (REFSQ), 2014. [bibtex] [pdf]
[65] An Approach to Derive Usage Models Variants for Model-based Testing (Hamza Samih, Helene Le Guen, Ralf Bogusch, Mathieu Acher, Benoit Baudry), In Proc. of the Int. Conf. on Testing Software and Systems (ICTSS), 2014. [bibtex] [pdf]
[64] A Variability-based Testing Approach for Synthesizing Video Sequences (José Angel Galindo Duarte, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides), In Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA), 2014. [bibtex] [pdf]
[63] Scalable armies of clone models through data sharing (Erwan Bousse, Benoit Combemale, Benoit Baudry), In Proc. of the Int. Conf. on Model Driven Engineering Languages and Systems (MODELS), 2014. [bibtex] [pdf]
[62] On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems (Marco Biazzini, Martin Monperrus, Benoit Baudry), In Proc. of the Int. Conf. on Software Maintenance and Evolution (ICSME), 2014. [bibtex] [pdf]
[61] Automating the Formalization of Product Comparison Matrices (Guillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, Benoit Baudry), In Proc. of the Int. Conf. on Automated Software Engineering (ASE), 2014. [bibtex] [pdf]
[60] Tailored source code transformations to synthesize computationally diverse program variants (Benoit Baudry, Simon Allier, Martin Monperrus), In Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA), 2014. [bibtex] [pdf]
[59] DIVERSIFY: Ecology-Inspired Software Evolution for Diversity Emergence (Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhan Clarke), In Proc. of the Int. Conf. on Software Maintenance and Reengineering (CSMR), 2014. [bibtex] [pdf]
2013
[58] Towards Trust-Aware and Self-Adaptive Systems (Francisco Moyano, Benoit Baudry, Javier Lopez), In Proc. of IFIPTM, 2013. [bibtex] [pdf]
[57] From Comparison Matrix to Variability Model: The Wikipedia Case Study (Nicolas Sannier, Mathieu Acher, Benoit Baudry), In Int. Conf. on Automated Software Engineering (ASE), IEEE, 2013. (Projet MOTIV Projet CONNEXION) [bibtex] [pdf]
[56] Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software (Diego Mendez, Benoit Baudry, Martin Monperrus), In Proc. of the Int. Conf. on Source Code Analysis and Manipulation (SCAM), 2013. [bibtex] [pdf]
[55] Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study (Joao Bosco Ferreira Filho, Benoit Baudry, Olivier Barais, Jérôme Le Noir, Mathieu Acher), In Int. Software Product Line Conf. (SPLC), 2013. [bibtex] [pdf]
[54] Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale), In MODELS - ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Springer, 2013. [bibtex] [pdf]
[53] Reifying Concurrency for Executable Metamodeling (Benoit Combemale, Julien Deantoni, Matias Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert France), In Proc. of the Int. Conf. on Software Language Engineering (SLE), 2013. [bibtex] [pdf]
2012
[52] Specification and Detection of SOA Antipatterns (Naouel Moha, Francis Palma, Mathieu Nayrolles, Benjamin Joyen Conseil, Guéhéneuc Yann-Gael, Benoit Baudry, Jean-Marc Jézéquel), In Proccedings of the International Conference on Service Oriented Computing (ICSOC) (Heiko Ludwig Farouk Toumani Chengfei Liu, ed.), 2012. [bibtex] [pdf]
[51] A Vision for Behavioural Model-Driven Validation of Software Product Lines (Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry), In Proceedings of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2012. [bibtex] [pdf]
[50] Searching the boundaries of a modeling space to test metamodels (Juan Cadavid, Benoit Baudry, Houari Sahraoui), In Proceedings of the International Conference on Software Testing, verification and validation (ICST), 2012. [bibtex] [pdf]
[49] Managing Execution Environment Variability during Software Testing: an industrial experience (Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb), In Proceedings of the International Conference on Testing Software and Systems (ICTSS), 2012. [bibtex] [pdf]
[48] Formally Defining and Iterating Infinite Models (Benoit Combemale, Xavier Thirioux, Benoit Baudry), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2012. [bibtex] [pdf]
2011
[47] PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models (Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb), In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2011. [bibtex] [pdf]
[46] Modeling Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2011. [bibtex] [pdf]
[45] Pairwise Testing of Dynamic Composite Services (Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard), In Proceedings of the International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS), IEEE, 2011. [bibtex] [pdf]
[44] Estimating Footprints of Model Operations (Cédric Jeanneret, Martin Glinz, Benoit Baudry), In Proceedings of the International Conference on Software Engineering (ICSE), IEEE, 2011. [bibtex] [pdf]
[43] Tailored Shielding and Bypass Testing of Web Applications (Tejedinne Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), IEEE, 2011. [bibtex] [pdf]
2010
[42] Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases (Romain Delamare, Freddy Muñoz, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Testing Software and Systems (ICTSS), IFIP, 2010. [bibtex] [pdf]
[41] Variability Modeling and QoS Analysis of Web Services Orchestrations (Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard), In Proceedings of the International Conference on Web Services, IEEE, 2010. [bibtex] [pdf]
[40] Contribution à la formalisation de contextes et déxigences pour la validation formelle de logiciels embarqués (Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry "), In Approches Formelles dans l'Assistance de Développement Logiciel, 2010. [bibtex] [pdf]
[39] Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines (Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon), In Proc. of the International Conference on Software Testing (ICST), IEEE, 2010. [bibtex] [pdf]
2009
[38] Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009. (ACM best paper award) [bibtex] [pdf]
[37] Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009. [bibtex] [pdf]
[36] Meta-model Pruning (Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2009. [bibtex] [pdf]
[35] Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective (Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon), In Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009), Springer Lecture Notes in Computer Science (LNCS), 2009. [bibtex] [pdf]
[34] A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ (Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon), In Proceedings of the International Conference on Software Testing, Verification, and Validation (ICST), 2009. [bibtex] [pdf]
[33] Transforming and selecting functional test cases for security policy testing (Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2009. [bibtex] [pdf]
[32] Inquiring the usage of aspect-oriented programming: an empirical study (Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon), In Proceedings of the International Conference on Software Maintenance (ICSM'09), 2009. [bibtex] [pdf]
[31] A Framework for Testing Model Composition Engines (Freddy Munoz, Benoit Baudry), In Proceedings of the International Conference on Software Composition (SC), Springer-Verlag, 2009. [bibtex] [pdf]
[30] Automatic Model Generation Strategies for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proceedings of the International Conference on Model Transformations, 2009. [bibtex] [pdf]
2008
[29] A Model-Based Framework for Security Policy Specification, Deployment and Testing (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2008. [bibtex] [pdf]
[28] Improving Maintenance in AOP Through an Interaction Specification Framework (Freddy Munoz, Benoit Baudry, Olivier Barais), In Proceedings of the International conference on Software Maintentance (ICSM), IEEE Computer Society Press, 2008. [bibtex] [pdf]
[27] On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2008. [bibtex] [pdf]
[26] Composing Multi-View Aspect Models (Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhan Clarke), In Proceedings of the International Conference on Composition-Based Software Systems (ICCBSS), 2008. [bibtex] [pdf]
[25] Test-Driven Assessment of Access Control in Legacy Applications (Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry), In Proceedings of the International Conference on Software Testing, Verification and Validation (ICST), 2008. [bibtex] [pdf]
2007
[24] Partial Model Completion in Model Driven Engineering using Constraint Logic Programming (Sagar Sen, Benoit Baudry, Doina Precup), In Proceedings of the International Conference on the Applications of Declarative Programming, 2007. [bibtex] [pdf]
[23] Testing security policies: going beyond functional testing (Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry), In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE)), 2007. [bibtex] [pdf]
[22] Providing Support for Model Composition in Metamodels (Robert France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh), In Proceedings of the Entreprise Distributed Object Computing Conference (EDOC), 2007. [bibtex] [pdf]
[21] Model-Driven Engineering for Software Migration in a Large Industrial Context (Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2007. [bibtex] [pdf]
[20] Producing a Global Requirement Model from Multiple Requirement Specifications (Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas), In Proceedings of the Entreprise Distributed Object Computing Conference (EDOC), 2007. [bibtex] [pdf]
[19] Model-driven Engineering for Requirements Analysis (Benoit Baudry, Clémentine Nebut, Yves Le Traon), In Proceedings of the Entreprise Distributed Object Computing Conference (EDOC), 2007. [bibtex] [pdf]
2006
[18] Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool (Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon), In Proceedings of International Symposium on Software Reliability Engineering (ISSRE), 2006. [bibtex] [pdf]
[17] Reusable MDA Components: A Testing-for-Trust Approach (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), 2006. [bibtex] [pdf]
[16] Mutation Analysis Testing for Model Transformations (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Proceedings of the European Conference on Model Driven Architecture (ECMDA), 2006. [bibtex] [pdf]
[15] Improving Test Suites for Efficient Fault Localization (Benoit Baudry, Franck Fleurey, Yves Le Traon), In Proceedings of the International Conference on Software Engineering (ICSE), ACM, 2006. [bibtex] [pdf]
2005
[14] (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon, Erwan Brottier), In Proceedings of 1Ëre JournÈes sur l'IngÈnierie DirigÈe par les ModËles, Paris, 2005. [bibtex] [pdf]
2004
[13] Improving the Testability of UML Diagram (Benoit Baudry, Yves Le Traon, Gerson Sunyé), In Proceedings of the IWoTA at ISSRE'04, 2004. [bibtex] [pdf]
[12] From testing to diagnosis: An automated approach (Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proceedings of the International Conference on Automated Software Engineering (ASE), 2004. [bibtex] [pdf]
[11]A UML-Based Concept for High Concurrency: The Real-Time Object (Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry), In Proceedings of ISORC, 2004. [bibtex]
[10]Software Transformation Engineering (Benoit Baudry, Sébastien Gérard), In Proceedings of MDAFA'04, 2004. [bibtex]
2003
[9] Measuring and Improving Design Patterns Testability (Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel), In Proceedings of the Metrics Symposium, 2003. [bibtex] [pdf]
2002
[8] Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2002. [bibtex] [pdf]
[7] Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Components (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In Proceedings of the International Conference on Automated Software Engineering (ASE), 2002. [bibtex] [pdf]
[6] Testability Analysis of UML Class Diagram (Benoit Baudry, Yves Le Traon, Gerson Sunyé), In Proceedings of the Metrics Symposium, 2002. [bibtex] [pdf]
2001
[5] Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability (Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel), In Proceedings of International Symposium on Software Reliability Engineering (ISSRE), 2001. [bibtex] [pdf]
[4] Robustness and Diagnosability of OO Systems Designed by Contracts (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel), In Proceedings of the Metrics Symposium, 2001. [bibtex] [pdf]
2000
[3] Trustable Components: Yet Another Mutation-Based Approach (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel, Hanh Vu Le), In Proceedings of the Symposium on Mutation Testing, 2000. [bibtex] [pdf]
[2] Building Trust into OO Components using a Genetic Analogy (Benoit Baudry, Yves Le Traon, Hanh Vu Le, Jean-Marc Jézéquel), In Proceedings of the International Symposium on Software Reliability Engineering (ISSRE), 2000. [bibtex] [pdf]
[1] Testing-for-Trust: the Genetic Selection Model applied to Component Qualification (Benoit Baudry, Yves Le Traon, Hanh Vu Le), In Proceedings of TOOLS Europe, IEEE Computer Society, volume 33, 2000. [bibtex] [pdf]
Refereed Workshop Papers
2015
[34] Embedding Adaptivity in Software Systems using the ECSELR framework (Kwaku Yeboah-Antwi, Benoit Baudry), In Proc. of the Genetic Improvement workshop at GECCO, 2015. [bibtex] [pdf]
[33] A Novelty Search Approach for Automatic Test Data Generation (Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry), In Proc. of the Workshop on Search-Based Software Testing SBST@ICSE, 2015. [bibtex] [pdf]
[32] On Model-Based Testing Advanced GUIs (Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon), In Proc. of the Workshop on Advances in Model Based Testing (A-MOST 2015), 2015. [bibtex] [pdf]
2014
[31] Comparing or Configuring Products: Are We Getting the Right Ones? (Nicolas Sannier, Guillaume Bécan, Mathieu Acher, Sana Ben Nasr, Benoit Baudry), In 8th International Workshop on Variability Modelling of Software-intensive Systems (Andrzej Wasowski, Thorsten Weyer, eds.), ACM, 2014. [bibtex] [pdf] [doi]
2013
[30] Support for Reverse Engineering and Maintaining Feature Models (Mathieu Acher, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut, Benoit Baudry), In VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, ACM, 2013. [bibtex] [pdf]
2012
[29] Impact of Footprinting on Model Quality (Cédric Jeanneret, Martin Glinz, Benoit Baudry, Benoit Combemale), In Proceedings of the Model-Driven Requirements Engineering workshop (MoDRE'12) at RE'12, 2012. [bibtex] [pdf]
[28] Defining and Retrieving Themes in Nuclear Regulations (Nicolas Sannier, Benoit Baudry), In Proceedings of the Requirements Engineering and Law workshop (RELAW'12) at RE'12, 2012. [bibtex] [pdf]
[27] Toward Multilevel Textual Requirements Traceability Using Model-driven Engineering and Information Retrieval (Nicolas Sannier, Benoit Baudry), In Proceedings of the Model-Driven Requirements Engineering workshop (MoDRE'12) at RE'12, 2012. [bibtex] [pdf]
[26] A Categorical Model of Model Merging and Weaving (Jonathan Marchand, Benoit Combemale, Benoit Baudry), In Proceedings of the MiSE workshop at ICSE'12, 2012. [bibtex] [pdf]
2011
[25]Empirical evaluation of the conjunct use of MOF and OCL (Juan Cadavid, Benoit Baudry, Benoit Combemale), In Proceedings of EESSMOD workshop at MODELS'11, 2011. [bibtex]
[24]Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering (Nicolas Sannier, Benoit Baudry, Thuy Nguyen), In Proceedings of the Model-Driven Requirements Engineering workshop (MoDRE'11) at RE'11, 2011. [bibtex]
2009
[23] AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proceedings of the International Workshop on Mutation Analysis at ICST'09, 2009. [bibtex] [pdf]
2008
[22] Validation challenges in model composition: The case of adaptive systems (Freddy Munoz, Benoit Baudry), In Proceedings of ChaMDE 2000 Workshop at MODELS'08, 2008. [bibtex] [pdf]
[21] Regression Test Selection when Evolving Software with Aspects (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proceedings of the LATE workshop at AOSD'08, 2008. [bibtex] [pdf]
[20] A Generic Metamodel For Security Policies Mutation (Tejeddine Mouelhi, Benoit Baudry, Franck Fleurey), In Proceedings of the Security Testing workshop at ICST'08, 2008. [bibtex] [pdf]
[19] Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proceedings of the Modeling Security Workshop at MODELS '08, 2008. [bibtex] [pdf]
2007
[18] Domain-specific Model Editors with Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In Proceedings of MPM Workshop at MoDELS'07, 2007. [bibtex] [pdf]
[17] A Generic Approach For Automatic Model Composition (Franck Fleurey, Benoit Baudry, Robert France, Sudipto Ghosh), In Proceedings of the AOM Workshop at MODELS'07, 2007. [bibtex] [pdf]
[16] Vigilant usage of Aspects (Freddy Munoz, Olivier Barais, Benoit Baudry), In Proceedings of the ADI Workshop at ECOOP 2007, 2007. [bibtex] [pdf]
[15] Mutation analysis for security tests qualification (Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry), In Proceedings of the workshop on mutation analysis at TAIC-Part 2007, 2007. [bibtex] [pdf]
2006
[14] Mutation-based Model Synthesis in Model Driven Engineering (Sagar Sen, Benoit Baudry), In Proceedings of the mutation'06 workshop at ISSRE'06, 2006. [bibtex] [pdf]
[13] Report on the 3rd MoDeVa Workshop - Model Design and Validation (Benoit Baudry, David Hearnden, Nicolas Rapin, Jˆrn Guy Suss), In Proceedings of the workshops and Symposia at MoDELS'06, LNCS, 2006. [bibtex] [pdf]
[12] Testing Executable Themes (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In Proceedings of the MDSD workshop at ECOOP 06, 2006. [bibtex] [pdf]
[11] Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proceedings of the workshop on Object-Oriented Reengineering at ECOOP 06, 2006. [bibtex] [pdf]
[10] Model Transformation Testing Challenges (Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, Yves Le Traon), In Proceedings of the IMDDMDT workshop at ECMDA'06, 2006. [bibtex] [pdf]
[9] Multi-Language Support for Model-Driven Requirement Analysis and Test Generation (Clémentine Nebut, Benoit Baudry, Souha Kamoun, Waqas Ahmed Saeed), In Proceedings of the IMDDMDT workshop at ECMDA'06., 2006. [bibtex] [pdf]
[8] KerTheme: Testing Aspect Oriented Models (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In Proceedings of the IMDDMDT workshop at ECMDA'06., 2006. [bibtex] [pdf]
2005
[7] Exploring the Relationship between Model Composition and Model Transformation (Benoit Baudry, Franck Fleurey, Robert France, Raghu Reddy), In Proceedings of the AOM Workshop at MODELS'05, 2005. [bibtex] [pdf]
[6] Report on the 2nd Workshop on Model Development and Validation: MoDeVa. (Benoit Baudry, Christophe Gaston, Sudipto Ghosh), In Proceedings of the Satellite Events at the MoDELS'05 (Jean-Michel Bruel, ed.), Springer-Verlag, 2005. [bibtex] [pdf]
[5]Model Composition - A Signature-Based Approach (Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, Benoit Baudry), In Proceedings of the AOM Workshop at MODELS'05, 2005. [bibtex]
[4] A Taxonomy of Faults for UML Designs (Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, Franck Fleurey), In Proceedings of the MoDeVa Workshop at MODELS'05, 2005. [bibtex] [pdf]
2004
[3] MDE and Validation: Testing Model Transformations (Franck Fleurey, Jim Steel, Benoit Baudry), In Proceedings of the Modeva workshop at ISSRE'04, 2004. [bibtex] [pdf]
[2]Optimal Allocation of Testing Resources (Yves Le Traon, Benoit Baudry), In Proceedings of the Modeva workshop at ISSRE'04, 2004. [bibtex]
2002
[1] Computational Intelligence for Testing .NET Components (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In Proceedings of Microsoft Summer Research Workshop, 2002. [bibtex] [pdf]