Benoit Baudry Vis

*	2009
43	EE	Sagar Sen, Benoit Baudry, Jean-Marie Mottu: Automatic Model Generation Strategies for Model Transformation Testing. ICMT 2009: 148-164
42	EE	Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry: Modeling Modeling. MoDELS 2009: 2-16
41	EE	Sagar Sen, Naouel Moha, Benoit Baudry, Jean-Marc Jézéquel: Meta-model Pruning. MoDELS 2009: 32-46
40	EE	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	EE	Gilles Perrouin, Erwan Brottier, Benoit Baudry, Yves Le Traon: Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective. REFSQ 2009: 89-103
38	EE	Freddy Munoz, Benoit Baudry: A Framework for Testing Model Composition Engines. Software Composition 2009: 125-141
37	EE	Freddy Munoz, Benoit Baudry: Artificial table testing dynamically adaptive systems CoRR abs/0903.0914: (2009)
36	EE	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	EE	Olivier Barais, Jacques Klein, Benoit Baudry, Andrew Jackson, Siobhán Clarke: Composing Multi-view Aspect Models. ICCBSS 2008: 43-52
34	EE	Freddy Munoz, Benoit Baudry, Olivier Barais: Improving maintenance in AOP through an interaction specification framework. ICSM 2008: 77-86
33	EE	Yves Le Traon, Tejeddine Mouelhi, Alexander Pretschner, Benoit Baudry: Test-Driven Assessment of Access Control in Legacy Applications. ICST 2008: 238-247
32	EE	Sagar Sen, Benoit Baudry, Jean-Marie Mottu: On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. ICST 2008: 328-337
31	EE	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	EE	Freddy Munoz, Benoit Baudry, Olivier Barais: A classification of invasive patterns in AOP CoRR abs/0804.1696: (2008)
	2007
29	EE	Robert B. France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh: Providing Support for Model Composition in Metamodels. EDOC 2007: 253-266
28	EE	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	EE	Benoit Baudry, Clémentine Nebut, Yves Le Traon: Model-Driven Engineering for Requirements Analysis. EDOC 2007: 459-466
26	EE	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	EE	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	EE	Sagar Sen, Benoit Baudry, Hans Vangheluwe: Domain-Specific Model Editors with Model Completion. MoDELS Workshops 2007: 259-270
23	EE	Franck Fleurey, Benoit Baudry, Robert B. France, Sudipto Ghosh: A Generic Approach for Automatic Model Composition. MoDELS Workshops 2007: 7-15
	2006
22	EE	Jean-Marie Mottu, Benoit Baudry, Yves Le Traon: Mutation Analysis Testing for Model Transformations. ECMDA-FA 2006: 376-390
21	EE	Benoit Baudry, Franck Fleurey, Yves Le Traon: Improving test suites for efficient fault localization. ICSE 2006: 82-91
20	EE	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	EE	Jean-Marie Mottu, Benoit Baudry, Yves Le Traon: Reusable MDA Components: A Testing-for-Trust Approach. MoDELS 2006: 589-603
17	EE	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	EE	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	EE	Benoit Baudry, Christophe Gaston, Sudipto Ghosh: Report on the 2nd Workshop on Model Development and Validation - MoDeVa. MoDELS Satellite Events 2005: 32-38
14	EE	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	EE	Benoit Baudry, Yves Le Traon: Measuring design testability of a UML class diagram. Information & Software Technology 47(13): 859-879 (2005)
12	EE	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	EE	Franck Fleurey, Yves Le Traon, Benoit Baudry: From Testing to Diagnosis: An Automated Approach. ASE 2004: 306-309
10	EE	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	EE	Benoit Baudry, Yves Le Traon, Gerson Sunyé, Jean-Marc Jézéquel: Measuring and Improving Design Patterns Testability. IEEE METRICS 2003: 50-
8	EE	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	EE	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	EE	Benoit Baudry, Yves Le Traon, Gerson Sunyé: Testability Analysis of a UML Class Diagram. IEEE METRICS 2002: 54-
5	EE	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	EE	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	EE	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	EE	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	EE	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	Philippe Dhaussy	[40]
7	Alain Faivre	[25]
8	Franck Fleurey	[5] [7] [11] [12] [14] [20] [21] [23] [26] [29] [31] [36]
9	Frédéric Fondement	[42]
10	Robert B. France	[23] [29]
11	Christophe Gaston	[15]
12	Sébastien Gérard (Sebastien Gerard)	[10]
13	Sudipto Ghosh	[15] [23] [25] [29]
14	Vu Le Hanh	[1] [2]
15	David Hearnden	[17]
16	Andrew Jackson	[35]
17	Jean-Marc Jézéquel	[2] [3] [4] [5] [7] [9] [12] [14] [16] [26] [41]
18	Jacques Klein	[35]
19	Naouel Moha	[41]
20	Jean-Marie Mottu	[18] [22] [32] [43]
21	Tejeddine Mouelhi	[31] [33]
22	Chokri Mraidha	[10]
23	Pierre-Alain Muller	[36] [42]
24	Freddy Munoz	[30] [34] [37] [38]
25	Clémentine Nebut	[27]
26	Alain Nicolas	[26]
27	Bertrand Nicolas	[28]
28	Farid Ouabdesselam	[8]
29	Gilles Perrouin	[39]
30	Pierre Yves Pillain	[40]
31	Alexander Pretschner	[25] [33]
32	Amine Raji	[40]
33	Nicolas Rapin	[17]
34	Raghu Reddy (Raghu Y. Reddy)	[29]
35	Chantal Robach	[8]
36	Sagar Sen	[24] [32] [41] [43]
37	Jim Steel	[20]
38	Gerson Sunyé	[3] [6] [9]
39	Jörn Guy Süß	[17]
40	François Terrier	[10]
41	David Touzet	[28]
42	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	Hans Vangheluwe	[24]