![]() | ![]() |
| 2012 | ||
|---|---|---|
| 65 | Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel: Reusable model transformations. Software and System Modeling 11(1): 111-125 (2012) | |
| 2011 | ||
| 64 | Juan José Cadavid, Benoit Baudry, Benoît Combemale: Empirical Evaluation of the Conjunct Use of MOF and OCL. EESSMod 2011 | |
| 63 | Cédric Jeanneret, Martin Glinz, Benoit Baudry: Estimating footprints of model operations. ICSE 2011: 601-610 | |
| 62 | Tejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault: Tailored Shielding and Bypass Testing of Web Applications. ICST 2011: 210-219 | |
| 61 | Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb: PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. ISSRE 2011: 120-129 | |
| 60 | Arnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux: Modeling Model Slicers. MoDELS 2011: 62-76 | |
| 59 | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard: Pairwise testing of dynamic composite services. SEAMS 2011: 138-147 | |
| 58 | Benoit Baudry, Jeremy S. Bradbury, Gordon Fraser: Guest Editorial for Special Section on Mutation Testing. Information & Software Technology 53(10): 1097 (2011) | |
| 57 | Romain Delamare, Benoit Baudry, Sudipto Ghosh, Shashank Gupta, Yves Le Traon: An approach for testing pointcut descriptors in AspectJ. Softw. Test., Verif. Reliab. 21(3): 215-239 (2011) | |
| 56 | Martin Monperrus, Jean-Marc Jézéquel, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener: Model-driven generative development of measurement software. Software and System Modeling 10(4): 537-552 (2011) | |
| 2010 | ||
| 55 | Benoit Baudry, Eric Wohlstadter: Software Composition, 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings Springer 2010 | |
| 54 | Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon: Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines. ICST 2010: 459-468 | |
| 53 | Yves Le Traon, Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry: Language-Specific vs. Language-Independent Approaches: Embedding Semantics on a Metamodel for Testing and Verifying Access Control Policies. ICST Workshops 2010: 72-79 | |
| 52 | Romain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon: Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. ICTSS 2010: 250-265 | |
| 51 | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard: Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS 2010: 99-106 | |
| 50 | Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu: Barriers to systematic model transformation testing. Commun. ACM 53(6): 139-143 (2010) | |
| 49 | Sagar Sen, Benoit Baudry, Hans Vangheluwe: Towards Domain-specific Model Editors with Automatic Model Completion. Simulation 86(2): 109-126 (2010) | |
| 48 | Jean-Marie Mottu, Benoit Baudry, Yves Le Traon: Construction de tests qualifiés de transformations de modèles. Technique et Science Informatiques 29(4-5): 537-569 (2010) | |
| 2009 | ||
| 47 | Sagar Sen, Benoit Baudry, Jean-Marie Mottu: Automatic Model Generation Strategies for Model Transformation Testing. ICMT 2009: 148-164 | |
| 46 | Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon: Inquiring the usage of aspect-oriented programming: An empirical study. ICSM 2009: 137-146 | |
| 45 | Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry: Transforming and Selecting Functional Test Cases for Security Policy Testing. ICST 2009: 171-180 | |
| 44 | Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon: A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ. ICST 2009: 376-385 | |
| 43 | Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry: Modeling Modeling. MoDELS 2009: 2-16 | |
| 42 | Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel: Meta-model Pruning. MoDELS 2009: 32-46 | |
| 41 | Philippe Dhaussy, Pierre Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, Benoit Baudry: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation. MoDELS 2009: 438-452 | |
| 40 | Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon: Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. REFSQ 2009: 89-103 | |
| 39 | Freddy Munoz, Benoit Baudry: A Framework for Testing Model Composition Engines. Software Composition 2009: 125-141 | |
| 38 | Freddy Munoz, Benoit Baudry: Artificial table testing dynamically adaptive systems CoRR abs/0903.0914: (2009) | |
| 37 | Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon: Qualifying input test data for model transformations. Software and System Modeling 8(2): 185-203 (2009) | |
| 2008 | ||
| 36 | Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhán Clarke: Composing Multi-view Aspect Models. ICCBSS 2008: 43-52 | |
| 35 | Freddy Munoz, Benoit Baudry, Olivier Barais: Improving maintenance in AOP through an interaction specification framework. ICSM 2008: 77-86 | |
| 34 | Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry: Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247 | |
| 33 | Sagar Sen, Benoit Baudry, Jean-Marie Mottu: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. ICST 2008: 328-337 | |
| 32 | Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon: A Model-Based Framework for Security Policy Specification, Deployment and Testing. MoDELS 2008: 537-552 | |
| 31 | Freddy Munoz, Benoit Baudry, Olivier Barais: A classification of invasive patterns in AOP CoRR abs/0804.1696: (2008) | |
| 2007 | ||
| 30 | Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh: Providing Support for Model Composition in Metamodels. EDOC 2007: 253-266 | |
| 29 | Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas: Producing a Global Requirement Model from Multiple Requirement Specifications. EDOC 2007: 390-404 | |
| 28 | Benoit Baudry, Clémentine Nebut, Yves Le Traon: Model-Driven Engineering for Requirements Analysis. EDOC 2007: 459-466 | |
| 27 | Yves Le Traon, Tejeddine Mouelhi, Benoit Baudry: Testing Security Policies: Going Beyond Functional Testing. ISSRE 2007: 93-102 | |
| 26 | Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, Jean-Marc Jézéquel: Model-Driven Engineering for Software Migration in a Large Industrial Context. MoDELS 2007: 482-497 | |
| 25 | Benoit Baudry, Alain Faivre, Sudipto Ghosh, Alexander Pretschner: 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. MoDELS Workshops 2007: 145-150 | |
| 24 | Sagar Sen, Benoit Baudry, Hans Vangheluwe: Domain-Specific Model Editors with Model Completion. MoDELS Workshops 2007: 259-270 | |
| 23 | Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh: A Generic Approach for Automatic Model Composition. MoDELS Workshops 2007: 7-15 | |
| 2006 | ||
| 22 | Jean-Marie Mottu, Benoit Baudry, Yves Le Traon: Mutation Analysis Testing for Model Transformations. ECMDA-FA 2006: 376-390 | |
| 21 | Benoit Baudry, Franck Fleurey, Yves Le Traon: Improving test suites for efficient fault localization. ICSE 2006: 82-91 | |
| 20 | Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon: Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool. ISSRE 2006: 85-94 | |
| 19 | Yves Le Traon, Benoit Baudry: Test d'intégration d'un système à objets - planification de l'ordre d'intégration. LMO 2006: 217-230 | |
| 18 | Jean-Marie Mottu, Benoit Baudry, Yves Le Traon: Reusable MDA Components: A Testing-for-Trust Approach. MoDELS 2006: 589-603 | |
| 17 | Benoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß: Report on the 3rd MoDeVa Workshop - Model Design and Validation. MoDELS Workshops 2006: 179-181 | |
| 16 | Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel: Design by Contract to Improve Software Vigilance. IEEE Trans. Software Eng. 32(8): 571-586 (2006) | |
| 2005 | ||
| 15 | Benoit Baudry, Christophe Gaston, Sudipto Ghosh: Report on the 2nd Workshop on Model Development and Validation - MoDeVa. MoDELS Satellite Events 2005: 32-38 | |
| 14 | Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon: Automatic Test Case Optimization: A Bacteriologic Algorithm. IEEE Software 22(2): 76-82 (2005) | |
| 13 | Benoit Baudry, Yves Le Traon: Measuring design testability of a UML class diagram. Information & Software Technology 47(13): 859-879 (2005) | |
| 12 | Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon: From genetic to bacteriological algorithms for mutation-based testing. Softw. Test., Verif. Reliab. 15(2): 73-96 (2005) | |
| 2004 | ||
| 11 | Franck Fleurey, Yves Le Traon, Benoit Baudry: From Testing to Diagnosis: An Automated Approach. ASE 2004: 306-309 | |
| 10 | Sébastien Gérard, Chokri Mraidha, François Terrier, Benoit Baudry: A UML-Based Concept for High Concurrency: The Real-Time Object. ISORC 2004: 64-67 | |
| 2003 | ||
| 9 | Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel: Measuring and Improving Design Patterns Testability. IEEE METRICS 2003: 50- | |
| 8 | Yves Le Traon, Farid Ouabdesselam, Chantal Robach, Benoit Baudry: From diagnosis to diagnosability: axiomatization, measurement and application. Journal of Systems and Software 65(1): 31-50 (2003) | |
| 2002 | ||
| 7 | Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon: Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component. ASE 2002: 253-256 | |
| 6 | Benoit Baudry, Yves Le Traon, Gerson Sunyé: Testability Analysis of a UML Class Diagram. IEEE METRICS 2002: 54- | |
| 5 | Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon: Genes and Bacteria for Automatic Test Cases Optimization in the .NET Environment. ISSRE 2002: 195-206 | |
| 2001 | ||
| 4 | Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel: Robustness and Diagnosability of OO Systems Designed by Contracts. IEEE METRICS 2001: 272-284 | |
| 3 | Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel: Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability. ISSRE 2001: 324-331 | |
| 2000 | ||
| 2 | Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon: Building Trust into OO Components Using a Genetic Analogy. ISSRE 2000: 4-14 | |
| 1 | Benoit Baudry, Vu Le Hanh, Yves Le Traon: Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification. TOOLS (33) 2000: 108-119 | |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page