Benoit Baudry

	2009
44		Sagar Sen, Benoit Baudry, Jean-Marie Mottu: Automatic Model Generation Strategies for Model Transformation Testing. ICMT 2009: 148-164
43		Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon: Inquiring the usage of aspect-oriented programming: An empirical study. ICSM 2009: 137-146
42		Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry: Modeling Modeling. MoDELS 2009: 2-16
41		Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel: Meta-model Pruning. MoDELS 2009: 32-46
40		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
39		Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon: Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. REFSQ 2009: 89-103
38		Freddy Munoz, Benoit Baudry: A Framework for Testing Model Composition Engines. Software Composition 2009: 125-141
37		Freddy Munoz, Benoit Baudry: Artificial table testing dynamically adaptive systems CoRR abs/0903.0914: (2009)
36		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
35		Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhán Clarke: Composing Multi-view Aspect Models. ICCBSS 2008: 43-52
34		Freddy Munoz, Benoit Baudry, Olivier Barais: Improving maintenance in AOP through an interaction specification framework. ICSM 2008: 77-86
33		Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry: Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247
32		Sagar Sen, Benoit Baudry, Jean-Marie Mottu: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. ICST 2008: 328-337
31		Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon: A Model-Based Framework for Security Policy Specification, Deployment and Testing. MoDELS 2008: 537-552
30		Freddy Munoz, Benoit Baudry, Olivier Barais: A classification of invasive patterns in AOP CoRR abs/0804.1696: (2008)
	2007
29		Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh: Providing Support for Model Composition in Metamodels. EDOC 2007: 253-266
28		Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas: Producing a Global Requirement Model from Multiple Requirement Specifications. EDOC 2007: 390-404
27		Benoit Baudry, Clémentine Nebut, Yves Le Traon: Model-Driven Engineering for Requirements Analysis. EDOC 2007: 459-466
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

Coauthor Index

1	Olivier Barais	[30] [34] [35]
2	Erwan Breton	[26]
3	Erwan Brottier	[20] [28] [39]
4	Siobhán Clarke	[35]
5	Stephen Creff	[40]
6	Romain Delamare	[43]
7	Philippe Dhaussy	[40]
8	Alain Faivre	[25]
9	Franck Fleurey	[5] [7] [11] [12] [14] [20] [21] [23] [26] [29] [31] [36]
10	Frédéric Fondement	[42]
11	Robert B. France	[23] [29]
12	Christophe Gaston	[15]
13	Sébastien Gérard (Sebastien Gerard)	[10]
14	Sudipto Ghosh	[15] [23] [25] [29]
15	Vu Le Hanh	[1] [2]
16	David Hearnden	[17]
17	Andrew Jackson	[35]
18	Jean-Marc Jézéquel	[2] [3] [4] [5] [7] [9] [12] [14] [16] [26] [41]
19	Jacques Klein	[35]
20	Naouel Moha	[41]
21	Jean-Marie Mottu	[18] [22] [32] [44]
22	Tejeddine Mouelhi	[31] [33]
23	Chokri Mraidha	[10]
24	Pierre-Alain Muller	[36] [42]
25	Freddy Munoz	[30] [34] [37] [38] [43]
26	Clémentine Nebut	[27]
27	Alain Nicolas	[26]
28	Bertrand Nicolas	[28]
29	Farid Ouabdesselam	[8]
30	Gilles Perrouin	[39]
31	Pierre Yves Pillain	[40]
32	Alexander Pretschner	[25] [33]
33	Amine Raji	[40]
34	Nicolas Rapin	[17]
35	Raghu Reddy (Raghu Y. Reddy)	[29]
36	Chantal Robach	[8]
37	Sagar Sen	[24] [32] [41] [44]
38	Jim Steel	[20]
39	Gerson Sunyé	[3] [6] [9]
40	Jörn Guy Süß	[17]
41	François Terrier	[10]
42	David Touzet	[28]
43	Yves Le Traon	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [16] [18] [19] [20] [21] [22] [27] [28] [31] [33] [36] [39] [40] [43]
44	Hans Vangheluwe	[24]