dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Benoit Baudry Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSagar 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
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan José Cadavid, Benoit Baudry, Benoît Combemale: Empirical Evaluation of the Conjunct Use of MOF and OCL. EESSMod 2011
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCédric Jeanneret, Martin Glinz, Benoit Baudry: Estimating footprints of model operations. ICSE 2011: 601-610
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTejeddine Mouelhi, Yves Le Traon, Erwan Abgrall, Benoit Baudry, Sylvain Gombault: Tailored Shielding and Bypass Testing of Web Applications. ICST 2011: 210-219
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAymeric Hervieu, Benoit Baudry, Arnaud Gotlieb: PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models. ISSRE 2011: 120-129
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArnaud Blouin, Benoît Combemale, Benoit Baudry, Olivier Beaudoux: Modeling Model Slicers. MoDELS 2011: 62-76
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard: Pairwise testing of dynamic composite services. SEAMS 2011: 138-147
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Jeremy S. Bradbury, Gordon Fraser: Guest Editorial for Special Section on Mutation Testing. Information & Software Technology 53(10): 1097 (2011)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRomain 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Eric Wohlstadter: Software Composition, 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings Springer 2010
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles 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
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRomain Delamare, Freddy Munoz, Benoit Baudry, Yves Le Traon: Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases. ICTSS 2010: 250-265
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAjay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard: Variability Modeling and QoS Analysis of Web Services Orchestrations. ICWS 2010: 99-106
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSagar Sen, Benoit Baudry, Hans Vangheluwe: Towards Domain-specific Model Editors with Automatic Model Completion. Simulation 86(2): 109-126 (2010)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSagar Sen, Benoit Baudry, Jean-Marie Mottu: Automatic Model Generation Strategies for Model Transformation Testing. ICMT 2009: 148-164
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFreddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon: Inquiring the usage of aspect-oriented programming: An empirical study. ICSM 2009: 137-146
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTejeddine Mouelhi, Yves Le Traon, Benoit Baudry: Transforming and Selecting Functional Test Cases for Security Policy Testing. ICST 2009: 171-180
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRomain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon: A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ. ICST 2009: 376-385
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Alain Muller, Frédéric Fondement, Benoit Baudry: Modeling Modeling. MoDELS 2009: 2-16
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel: Meta-model Pruning. MoDELS 2009: 32-46
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhilippe 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon: Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. REFSQ 2009: 89-103
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFreddy Munoz, Benoit Baudry: A Framework for Testing Model Composition Engines. Software Composition 2009: 125-141
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFreddy Munoz, Benoit Baudry: Artificial table testing dynamically adaptive systems CoRR abs/0903.0914: (2009)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhán Clarke: Composing Multi-view Aspect Models. ICCBSS 2008: 43-52
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFreddy Munoz, Benoit Baudry, Olivier Barais: Improving maintenance in AOP through an interaction specification framework. ICSM 2008: 77-86
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry: Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSagar Sen, Benoit Baudry, Jean-Marie Mottu: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. ICST 2008: 328-337
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon: A Model-Based Framework for Security Policy Specification, Deployment and Testing. MoDELS 2008: 537-552
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFreddy Munoz, Benoit Baudry, Olivier Barais: A classification of invasive patterns in AOP CoRR abs/0804.1696: (2008)
2007
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh: Providing Support for Model Composition in Metamodels. EDOC 2007: 253-266
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas: Producing a Global Requirement Model from Multiple Requirement Specifications. EDOC 2007: 390-404
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Clémentine Nebut, Yves Le Traon: Model-Driven Engineering for Requirements Analysis. EDOC 2007: 459-466
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Le Traon, Tejeddine Mouelhi, Benoit Baudry: Testing Security Policies: Going Beyond Functional Testing. ISSRE 2007: 93-102
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSagar Sen, Benoit Baudry, Hans Vangheluwe: Domain-Specific Model Editors with Model Completion. MoDELS Workshops 2007: 259-270
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh: A Generic Approach for Automatic Model Composition. MoDELS Workshops 2007: 7-15
2006
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Marie Mottu, Benoit Baudry, Yves Le Traon: Mutation Analysis Testing for Model Transformations. ECMDA-FA 2006: 376-390
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Franck Fleurey, Yves Le Traon: Improving test suites for efficient fault localization. ICSE 2006: 82-91
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLErwan 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves Le Traon, Benoit Baudry: Test d'intégration d'un système à objets - planification de l'ordre d'intégration. LMO 2006: 217-230
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean-Marie Mottu, Benoit Baudry, Yves Le Traon: Reusable MDA Components: A Testing-for-Trust Approach. MoDELS 2006: 589-603
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, David Hearnden, Nicolas Rapin, Jörn Guy Süß: Report on the 3rd MoDeVa Workshop - Model Design and Validation. MoDELS Workshops 2006: 179-181
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Christophe Gaston, Sudipto Ghosh: Report on the 2nd Workshop on Model Development and Validation - MoDeVa. MoDELS Satellite Events 2005: 32-38
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Yves Le Traon: Measuring design testability of a UML class diagram. Information & Software Technology 47(13): 859-879 (2005)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFranck Fleurey, Yves Le Traon, Benoit Baudry: From Testing to Diagnosis: An Automated Approach. ASE 2004: 306-309
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSé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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel: Measuring and Improving Design Patterns Testability. IEEE METRICS 2003: 50-
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Yves Le Traon, Gerson Sunyé: Testability Analysis of a UML Class Diagram. IEEE METRICS 2002: 54-
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Yves Le Traon, Jean-Marc Jézéquel: Robustness and Diagnosability of OO Systems Designed by Contracts. IEEE METRICS 2001: 272-284
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Vu Le Hanh, Yves Le Traon: Testing-for-Trust: The Genetic Selection Model Applied to Component Qualification. TOOLS (33) 2000: 108-119

Coauthor Index

1Erwan Abgrall [62]
2Olivier Barais [31] [35] [36] [65]
3Olivier Beaudoux [60]
4Albert Benveniste [51] [59]
5Arnaud Blouin [60]
6Jeremy S. Bradbury [58]
7Erwan Breton [26]
8Erwan Brottier [20] [29] [40]
9Juan José Cadavid [64]
10Joël Champeau [56]
11Siobhán Clarke [36]
12Benoît Combemale [60] [64]
13Stephen Creff [41]
14Romain Delamare [44] [46] [52] [57]
15Philippe Dhaussy [41]
16Alain Faivre [25]
17Franck Fleurey [5] [7] [11] [12] [14] [20] [21] [23] [26] [30] [32] [37] [50] [53]
18Frédéric Fondement [43]
19Robert B. France [23] [30] [50]
20Gordon Fraser [58]
21Christophe Gaston [15]
22Sébastien Gérard (Sebastien Gerard) [10]
23Sudipto Ghosh [15] [23] [25] [30] [44] [50] [57]
24Martin Glinz [63]
25Sylvain Gombault [62]
26Arnaud Gotlieb [61]
27Shashank Gupta [57]
28Vu Le Hanh [1] [2]
29David Hearnden [17]
30Aymeric Hervieu [61]
31Brigitte Hoeltzener [56]
32Andrew Jackson [36]
33Claude Jard [51] [59]
34Cédric Jeanneret [63]
35Jean-Marc Jézéquel [2] [3] [4] [5] [7] [9] [12] [14] [16] [26] [42] [56] [65]
36Ajay Kattepur [51] [59]
37Jacques Klein [36] [54]
38Vincent Mahé [65]
39Naouel Moha [42] [65]
40Martin Monperrus [56]
41Jean-Marie Mottu [18] [22] [33] [47] [48] [50]
42Tejeddine Mouelhi [27] [32] [34] [45] [53] [62]
43Chokri Mraidha [10]
44Pierre-Alain Muller [37] [43]
45Freddy Munoz [31] [35] [38] [39] [46] [52]
46Clémentine Nebut [28]
47Alain Nicolas [26]
48Bertrand Nicolas [29]
49Farid Ouabdesselam [8]
50Gilles Perrouin [40] [54]
51Pierre Yves Pillain [41]
52Alexander Pretschner [25] [34]
53Amine Raji [41]
54Nicolas Rapin [17]
55Raghu Reddy (Raghu Y. Reddy) [30]
56Chantal Robach [8]
57Sagar Sen [24] [33] [42] [47] [49] [51] [54] [59] [65]
58Jim Steel [20]
59Gerson Sunyé [3] [6] [9]
60Jörn Guy Süß [17]
61François Terrier [10]
62David Touzet [29]
63Yves Le Traon [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [16] [18] [19] [20] [21] [22] [27] [28] [29] [32] [34] [37] [40] [41] [44] [45] [46] [48] [50] [52] [53] [54] [57] [62]
64Hans Vangheluwe [24] [49]
65Eric Wohlstadter [55]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page