Fabrice Bouquet

	2008
25		Vincent Pretre, Fabrice Bouquet, Christophe Lang: Automating UML models merge for web services testing. iiWAS 2008: 55-62
	2007
24		Fabrice Bouquet, C. Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting: A subset of precise UML for model-based testing. A-MOST 2007: 95-104
23		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: JML2B: Checking JML Specifications with B Machines. B 2007: 285-288
22		Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti: Instantiation of Parameterized Data Structures for Model-Based Testing. B 2007: 94-108
21		Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes: Using Computer Science Modeling Techniques for Airport Security Certification. RCIS 2007: 61-72
	2006
20		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239
19		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: Automated Boundary Test Generation from JML Specifications. FM 2006: 428-443
18		Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre: Model-Based Testing from UML Models. GI Jahrestagung (2) 2006: 223-230
17		Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes: Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006
	2005
16		Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting: Requirements traceability in automated test generation: application to smart card software validation. A-MOST 2005
15		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: Symbolic Animation of JML Specifications. FM 2005: 75-90
14		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM 2005: 96-110
13		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS 2005: 551-556
12		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: Checking JML Specifications with B Machines. ZB 2005: 434-453
11		Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting: Requirements traceability in automated test generation: application to smart card software validation. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
	2004
10		Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre: Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85
9		Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet: Faster Analysis of Formal Specifications. ICFEM 2004: 239-258
8		Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A constraint solver to animate a B specification. STTT 6(2): 143-157 (2004)
	2003
7		Fabrice Bouquet, Bruno Legeard: Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. FME 2003: 778-795
6		Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet: Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. JFPLC 2003: 203-216
5		Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet: Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. Technique et Science Informatiques 22(1): 203-216 (2003)
	2002
4		Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204
	2000
3		Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py: Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. JFPLC 2000: 125-144
	1997
2		Fabrice Bouquet, Philippe Jégou: Using OBDDs to Handle Dynamic Constraints. Inf. Process. Lett. 62(3): 111-120 (1997)
	1995
1		Fabrice Bouquet, Philippe Jégou: Solving Over-Constrained CSPs Using Weighted OBDDs. Over-Constrained Systems 1995: 293-308

Coauthor Index

1	Eddy Bernard	[18]
2	Didier Bert	[17] [21]
3	Amandine Charbonnier	[18]
4	Jean-François Couchot	[22]
5	Frédéric Dadeau	[12] [13] [14] [15] [19] [20] [22] [23]
6	Véronique Donzeau-Gouge	[21]
7	Catherine Dubois	[21]
8	Alain Giorgetti	[22]
9	C. Grandpierre	[24]
10	Julien Groslambert	[12] [20] [23]
11	Eddie Jaffuel	[11] [16]
12	Philippe Jégou	[1] [2]
13	Jacques Julliand	[20]
14	Régine Laleau (Regine Laleau)	[21]
15	Christophe Lang	[25]
16	Yves Ledru	[17] [21]
17	Bruno Legeard	[3] [4] [5] [6] [7] [8] [9] [10] [11] [13] [14] [15] [16] [18] [19] [24]
18	Michel Lemoine	[21]
19	Fabien Peureux	[3] [4] [8] [10] [11] [16] [18] [24]
20	Vincent Pretre	[25]
21	Laurent Py	[3]
22	Eric Torreborre	[10] [18]
23	Mark Utting	[9] [11] [13] [15] [16] [18] [24]
24	Nicolas Vacelet	[5] [6] [9] [24]
25	Sylvie Vignes	[17] [21]

Colors in the list of coauthors