Benoit Baudry - Publications

Year: All|2011|2010|2009|2008|2007|2006|2005|2004|2003|2002|2001|2000

Publications of Baudry [rss]

[2010]	Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development (Mario Sudholt, Uwe Hohenstein, Jean-Marc Jézéquel, Benoit Baudry), ACM, 2010. [bib] [pdf]
[2010]	Software Composition, 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings (Benoit Baudry, Eric Wohlstadter), Springer, volume 6144, 2010. [bib]

[2011]	An Approach for Testing Pointcut Descriptors in AspectJ (Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon), In Software, Testing, Verification & Reliability journal (STVR), 2011. [bib] [pdf]
[2011]	Pairwise Testing for Software Product Lines: A Comparison of Two Approaches (Gilles Perrouin, Sebastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon), In Software Quality Journal, Springer, volume tba, 2011. [bib]
[2011]	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 tba, 2011. [bib]
[2011]	Guest Editorial for Special Section on Mutation Testing (Benoit Baudry, Jeremy Bradbury, Gordon Fraser), In Information & Software Technology, volume 53, 2011. [bib]
[2010]	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 tba, 2010. [bib] [pdf] [doi]
[2010]	Towards Domain-specific Model Editors with Automatic Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In SIMULATION, volume 86, 2010. [bib] [pdf] [doi]
[2010]	Modeling Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale), In Journal of Software and Systems Modeling (SoSyM), Springer-Verlag, 2010. [bib] [pdf]
[2010]	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 tba, 2010. [bib] [pdf]
[2010]	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. [bib] [pdf]
[2009]	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. [bib] [pdf]
[2006]	Design by Contract to improve Software Vigilance (Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel), In IEEE Transactions on Software Engineering, IEEE, volume 32, 2006. [bib] [pdf]
[2005]	Automatic Test Cases Optimization: a Bacteriologic Algorithm (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon), In IEEE Software, volume 22, 2005. [bib] [pdf]
[2005]	From Genetic to Bacteriological Algorithms for Mutation-Based Testing (Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Le Traon Yves), In Software, Testing, Verification & Reliability journal (STVR), volume 15, 2005. [bib] [pdf]
[2004]	Measuring Design Testability of a UML Class Diagram (Benoit Baudry, Yves Le Traon), In Information & Software Technology (IST), 2004. [bib] [pdf]
[2002]	From diagnosis to diagnosability: axiomatization, measurement and application (Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry), In Journal of Systems and Software, 2002. [bib] [pdf]

[2009]

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. [bib] [pdf]

[2011]	Tailored Shielding and Bypass Testing of Web Applications (Tejedinne Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault), In International Conference on Software Testing, Verification and Validation (ICST'11), IEEE, 2011. [bib] [pdf]
[2011]	Pairwise Testing of Dynamic Composite Services (Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard), In International Symposium on Software Engineering for Adaptive and Self Managing Systems (SEAMS), IEEE, 2011. [bib] [pdf]
[2011]	Estimating Footprints of Model Operations (Cédric Jeanneret, Martin Glinz, Benoit Baudry), In International Conference on Software Engineering (ICSE'11), IEEE, 2011. [bib] [pdf]
[2011]	PACOGEN : Automatic Generation of Pairwise Test Configurations from Feature Models (Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb), In Proceedings of ISSRE'11 (International Symposium on Software Reliability Engineering), 2011. [bib]
[2011]	Modeling Model Slicers (Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux), In Proceedings of MODELS'11, 2011. [bib]
[2010]	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 International Conference on Software Testing (ICST), IEEE, 2010. [bib] [pdf]
[2010]	Variability Modeling and QoS Analysis of Web Services Orchestrations (Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard), In International Conference on Web Services, IEEE, 2010. [bib] [pdf]
[2010]	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. [bib] [pdf]
[2010]	Vidock: a Tool for Impact Analysis of Aspect Weaving on Test Cases (Romain Delamare, Freddy Muñoz, Benoit Baudry, Yves Le Traon), In International Conference on Testing Software and Systems, IFIP, 2010. [bib] [pdf]
[2009]	A Framework for Testing Model Composition Engines (Freddy Munoz, Benoit Baudry), In SC '09: Proceedings of the 8th International Conference on Software Composition, Springer-Verlag, 2009. [bib] [pdf] [doi]
[2009]	Inquiring the usage of aspect-oriented programming: an empirical study (Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon), In 25th IEEE International Conference on Software Maintenance (ICSM'09), 2009. [bib] [pdf]
[2009]	Modeling Modeling (Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry), In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009. (ACM best paper award) [bib] [pdf]
[2009]	Transforming and selecting functional test cases for security policy testing (Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry), In ICST, 2009. [bib] [pdf]
[2009]	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 ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009. [bib] [pdf]
[2009]	Meta-model Pruning (Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel), In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009. [bib] [pdf]
[2009]	Automatic Model Generation Strategies for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In ICMT, 2009. [bib] [pdf]
[2009]	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. [bib] [pdf]
[2009]	A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ (Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon), In ICST '09: Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation, 2009. [bib] [pdf]
[2008]	Improving Maintenance in AOP Through an Interaction Specification Framework (Freddy Munoz, Benoit Baudry, Olivier Barais), In ICSM08, 24th International conference on Software Maintentance, IEEE Computer Society Press, 2008. [bib] [pdf]
[2008]	Test-Driven Assessment of Access Control in Legacy Applications (Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry), In ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation (ICST), April 9-11, Lillehammer, Norway, 2008. [bib] [pdf]
[2008]	On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing (Sagar Sen, Benoit Baudry, Jean-Marie Mottu), In International Conference on Software Testing, Verification, and Validation, ICST'08., 2008. [bib] [pdf]
[2008]	A Model-Based Framework for Security Policy Specification, Deployment and Testing (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008. [bib] [pdf]
[2008]	Composing Multi-View Aspect Models (Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhan Clarke), In 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), 2008. [bib] [pdf]
[2007]	Partial Model Completion in Model Driven Engineering using Constraint Logic Programming (Sagar Sen, Benoit Baudry, Doina Precup), In International Conference on the Applications of Declarative Programming, 2007. [bib] [pdf]
[2007]	Testing security policies: going beyond functional testing (Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry), In ISSRE'07 (Int. Symposium on Software Reliability Engineering), 2007. [bib] [pdf]
[2007]	Providing Support for Model Composition in Metamodels (Robert France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh), In EDOC'07 (Entreprise Distributed Object Computing Conference), 2007. [bib] [pdf]
[2007]	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 MoDELS'07, 2007. [bib] [pdf]
[2007]	Producing a Global Requirement Model from Multiple Requirement Specifications (Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas), In EDOC'07 (Entreprise Distributed Object Computing Conference), 2007. [bib] [pdf]
[2007]	Model-driven Engineering for Requirements Analysis (Benoit Baudry, Clémentine Nebut, Yves Le Traon), In EDOC'07 (Entreprise Distributed Object Computing Conference), 2007. [bib] [pdf]
[2006]	Improving Test Suites for Efficient Fault Localization (Benoit Baudry, Franck Fleurey, Yves Le Traon), In 28th International Conference on Software Engineering (ICSE 06), ACM, 2006. (selection : 9\%) [bib] [pdf]
[2006]	Reusable MDA Components: A Testing-for-Trust Approach (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon), In proceedings of the MoDELS/UML 2006, 2006. [bib] [pdf]
[2006]	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 06), 2006. [bib] [pdf]
[2006]	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 ISSRE'06, 2006. [bib] [pdf]
[2005]	GÈnÈration Automatique de Test pour les Transformations de ModËles (Jean-Marie Mottu, Benoit Baudry, Yves Le Traon, Erwan Brottier), In 1Ëre JournÈes sur l'IngÈnierie DirigÈe par les ModËles, Paris, 2005. [bib] [pdf]
[2004]	From testing to diagnosis: An automated approach (Franck Fleurey, Benoit Baudry, Yves Le Traon), In Proc. 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004. [bib] [pdf]
[2004]	Software Transformation Engineering (Benoit Baudry, Sébastien Gérard), In MDAFA'04, 2004. [bib]
[2003]	Measuring and Improving Design Patterns Testability (Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel), In Proceedings of Metrics Symposium 2003, 2003. [bib] [pdf]
[2002]	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 ASE02 (Automated Software Engineering), 2002. [bib] [pdf]
[2002]	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 ISSRE02 (International Symposium on Software Reliability Engineering), 2002. [bib] [pdf]
[2002]	Testability Analysis of UML Class Diagram (Benoit Baudry, Yves Le Traon, Gerson Sunyé), In Proceedings of Metrics02, 2002. [bib] [pdf]
[2001]	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 ISSRE 2001, 2001. [bib] [pdf]
[2001]	Robustness and Diagnosability of OO Systems Designed by Contracts (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel), In Proceedings of Metrics'01, 2001. [bib] [pdf]
[2000]	Trustable Components: Yet Another Mutation-Based Approach (Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel, Hanh Vu Le), In Proceedings of the 1st Symposium on Mutation Testing (Mutation'2000), 2000. [bib] [pdf]
[2000]	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 ISSRE'2000 (International Symposium on Software Reliability Engineering 2000), 2000. [bib] [pdf]
[2000]	Testing-for-Trust: the Genetic Selection Model applied to Component Qualification (Benoit Baudry, Yves Le Traon, Hanh Vu Le), In Proceedings of TOOLS Europe (Technology of object-oriented languages and systems), IEEE Computer Society, volume 33, 2000. [bib] [pdf]

[2011]	Formalizing standards and regulations variability in longlife projects. A challenge for Model-driven engineering (Nicolas Sannier, Benoit Baudry, Thuy Nguyen), In Proceedings of MODRE workshop in conjunction with RE'11, 2011. [bib]
[2011]	Empirical evaluation of the conjunct use of MOF and OCL (Juan Cadavid, Benoit Baudry, Benoit Combemale), In Proceedings of EESSMOD workshop in conjunction with MODELS'11, 2011. [bib]
[2009]	AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors (Romain Delamare, Benoit Baudry, Yves Le Traon), In Mutation'09: Proceedings of the 4th International Workshop on Mutation Analysis, 2009. [bib] [pdf]
[2008]	Validation challenges in model composition: The case of adaptive systems (Freddy Munoz, Benoit Baudry), In In Proceedings of ChaMDE 2000 - Workshop on Challenges in Model Driven Engineering in conjounction with MODELS'08, 2008. [bib] [pdf]
[2008]	A Generic Metamodel For Security Policies Mutation (Tejeddine Mouelhi, Benoit Baudry, Franck Fleurey), In SecTest 08: 1st International ICST workshop on Security Testing, April 9, Lillehammer, Norway, 2008. [bib] [pdf]
[2008]	Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach (Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon), In Modeling Security Workshop In Association with MODELS '08, 28th September, Toulouse, France, 2008. [bib] [pdf]
[2008]	Regression Test Selection when Evolving Software with Aspects (Romain Delamare, Benoit Baudry, Yves Le Traon), In Proceedings of LATE workshop in conjunction with AOSD'08, 2008. [bib] [pdf]
[2007]	Mutation analysis for security tests qualification (Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry), In Mutation'07 : third workshop on mutation analysis in conjuction with TAIC-Part, September 10-11, 2007. [bib] [pdf]
[2007]	Domain-specific Model Editors with Model Completion (Sagar Sen, Benoit Baudry, Hans Vangheluwe), In In Proceedings of MPM Workshop associated to MoDELS'07, 2007. [bib] [pdf]
[2007]	Vigilant usage of Aspects (Freddy Munoz, Olivier Barais, Benoit Baudry), In in Proceedings of ADI 2007 - Workshop on Aspects, Dependencies, and Interactions at ECOOP 2007, 2007. [bib] [pdf]
[2007]	A Generic Approach For Automatic Model Composition (Franck Fleurey, Benoit Baudry, Robert France, Sudipto Ghosh), In Aspect Oriented Modeling (AOM) Workshop, 2007. [bib] [pdf]
[2006]	Mutation-based Model Synthesis in Model Driven Engineering (Sagar Sen, Benoit Baudry), In Mutation'06 workshop associtaed to ISSRE'06, 2006. [bib] [pdf]
[2006]	Report on the 3rd MoDeVa Workshop - Model Design and Validation (Benoit Baudry, David Hearnden, Nicolas Rapin, Jˆrn Guy Suss), In Workshops and Symposia at MoDELS'06, LNCS, 2006. [bib] [pdf]
[2006]	Model Transformation Testing Challenges (Benoit Baudry, Trung Dinh-Trong, Jean-Marie Mottu, Devon Simmonds, Robert France, Sudipto Ghosh, Franck Fleurey, Yves Le Traon), In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006. [bib] [pdf]
[2006]	Multi-Language Support for Model-Driven Requirement Analysis and Test Generation (Clémentine Nebut, Benoit Baudry, Souha Kamoun, Waqas Ahmed Saeed), In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006. [bib] [pdf]
[2006]	KerTheme: Testing Aspect Oriented Models (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006. [bib] [pdf]
[2006]	Testing Executable Themes (Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke), In In Second Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 06, 2006. [bib] [pdf]
[2006]	Reverse-engineering of UML 2.0 Sequence Diagrams from Execution Traces (Romain Delamare, Benoit Baudry, Yves Le Traon), In Workshop on Object-Oriented Reengineering at ECOOP 06, 2006. [bib] [pdf]
[2005]	Model Composition - A Signature-Based Approach (Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, Benoit Baudry), In Aspect Oriented Modeling (AOM) Workshop, 2005. [bib]
[2005]	A Taxonomy of Faults for UML Designs (Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, Franck Fleurey), In Model Design and Validation (MoDeVa) Workshop, 2005. [bib] [pdf]
[2005]	Report on the 2nd Workshop on Model Development and Validation: MoDeVa. (Benoit Baudry, Christophe Gaston, Sudipto Ghosh), In Satellite Events at the MoDELS'05 (Jean-Michel Bruel, ed.), Springer-Verlag, 2005. [bib] [pdf]
[2005]	Exploring the Relationship between Model Composition and Model Transformation (Benoit Baudry, Franck Fleurey, Robert France, Raghu Reddy), In Aspect Oriented Modeling (AOM) Workshop, 2005. [bib] [pdf]
[2004]	Optimal Allocation of Testing Resources (Yves Le Traon, Benoit Baudry), In Proc. of the SIVOES-Modeva workshop, SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), 2004. [bib]
[2004]	MDE and Validation: Testing Model Transformations (Franck Fleurey, Jim Steel, Benoit Baudry), In Proc. of the SIVOES-Modeva workshop, SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), 2004. [bib] [pdf]
[2004]	Improving the Testability of UML Diagram (Benoit Baudry, Yves Le Traon, Gerson Sunyé), In Proc. of the 1st IEEE Int. Workshop on Testability Assesment (IWoTA 2004), 2004. [bib] [pdf]
[2002]	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. [bib] [pdf]

[2010]

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 tba, 2010. [bib] [pdf]

[2003]	Assemblage testable et validation de composants (Benoit Baudry), PhD thesis, Université de Rennes 1, 2003. [bib] [pdf]
[2000]	Génération, sélection et optimisation génétique de tests (Benoit Baudry), Master's thesis, Université de Rennes 1, 2000. [bib] [pdf]