Publications in the area of MDE

Book Chapters
2009
[1] Testing Model Transformations: A case for Test Generation from Input Domain Models (Benoit Baudry), Chapter in Model Driven Engineering for Distributed Real-time Embedded Systems, Hermes, 2009. [bibtex] [pdf]
Refereed Articles
2015
[12] Using Slicing to Improve the Performance of Model Invariant Checking (Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray), In Journal of Object Technology, 2015. [bibtex] [pdf]
[11] Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels (Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui, Jean-Marc Jézéquel), In Information and Software Technology, Elsevier, volume 62, 2015. [bibtex] [pdf] [doi]
2013
[10] Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation (Yu Sun, Jeff Gray, Romain Delamare, Benoit Baudry, Jules White), In Journal of Software Maintenance and Evolution: Research and Practice, Wiley, 2013. [bibtex] [pdf]
[9] Automated Measurement of Models of Requirements (Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener), In Software Quality Journal, Springer, volume 21, 2013. [bibtex] [pdf]
2012
[8] Kompren: Modeling and Generating Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Software and Systems Modeling, Springer, 2012. [bibtex] [pdf]
[7] Reusable model transformations (Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel), In Journal of Software and Systems Modeling (SoSyM), Springer, volume 11, 2012. [bibtex] [pdf] [doi]
[6] Modeling Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale), In Journal of Software and Systems Modeling (SoSyM), Springer-Verlag, volume 11, 2012. [bibtex] [pdf]
2011
[5] Model-driven Generative Development of Measurement Software (Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener), In Software and Systems Modeling (SoSyM), Springer, volume 10, 2011. [bibtex] [pdf]
2010
[4] Towards Domain-specific Model Editors with Automatic Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In SIMULATION, volume 86, 2010. [bibtex] [pdf] [doi]
[3] Construction de tests qualifiés de transformation de modèles (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In Technique et Science Informatiques, Numéro Spécial Ingénierie dirigée par les modèles, Hermes, volume 29, 2010. [bibtex] [pdf]
[2] Barriers to Systematic Model Transformation Testing (Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, Jean-Marie Mottu), In Communications of the ACM, ACM, volume 53, 2010. [bibtex] [pdf]
2009
[1] Towards Dependable Model Transformations: Qualifying Input Test Data (Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon), In Journal of Software and Systems Modeling (SoSyM), volume 8, 2009. [bibtex] [pdf]
Refereed Conference Papers
2016
[37] 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]
2015
[36] 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]
[35]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]
[34] 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
[33] 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]
[32] 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]
[31] 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]
[30] 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]
2013
[29] Towards Trust-Aware and Self-Adaptive Systems (Francisco Moyano, Benoit Baudry, Javier Lopez), In Proc. of IFIPTM, 2013. [bibtex] [pdf]
[28] 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]
[27] 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]
[26] 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
[25] 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]
[24] 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
[23] 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]
[22] 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]
2010
[21] 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]
2009
[20] 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]
[19] 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]
[18] 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]
[17] 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]
[16] 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]
[15] 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
[14] 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]
[13] 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]
[12] 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]
2007
[11] 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]
[10] 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]
[9] 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]
[8] 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]
[7] 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
[6] 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]
[5] 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]
[4] 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]
2005
[3] (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
[2]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]
[1]Software Transformation Engineering (Benoit Baudry, Sébastien Gérard), In Proceedings of MDAFA'04, 2004. [bibtex]
Refereed Workshop Papers
2015
[19] 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]
2012
[18] 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]
[17] 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]
[16] 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]
[15] 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
[14]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]
[13]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]
2008
[12] 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]
2007
[11] Domain-specific Model Editors with Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In Proceedings of MPM Workshop at MoDELS'07, 2007. [bibtex] [pdf]
[10] 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]
2006
[9] 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]
[8] 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]
[7] 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]
[6] Testing Executable Themes (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In Proceedings of the MDSD workshop at ECOOP 06, 2006. [bibtex] [pdf]
2005
[5] 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]
[4] 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]
[3]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]
[2] 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
[1] MDE and Validation: Testing Model Transformations (Franck Fleurey, Jim Steel, Benoit Baudry), In Proceedings of the Modeva workshop at ISSRE'04, 2004. [bibtex] [pdf]
Other Publications
2010
[2] Question-learn-test-feedback pattern to test emerging software construction paradigms (Benoit Baudry), PhD thesis, Université Européenne de Bretagne, 2010. [bibtex] [pdf]
2008
[1] Generating regression tests for software migration (Franck Fleurey, Benoit Baudry, Alain Nicolas, Erwan Breton, Jean-Marc Jézéquel), Technical report, , 2008. [bibtex] [pdf]