Fabien Peureux

	2007
19		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
	2006
18		Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: An attempt to combine UML and formal methods to model airport security. CAiSE Forum 2006
17		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
16		Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice 11(5): 487-503 (2006)
	2005
15		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
14		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
13		Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre: Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85
12		Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting: Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE 2004: 139-150
11		Machiel van der Bijl, Fabien Peureux: I/O-automata Based Testing. Model-Based Testing of Reactive Systems 2004: 173-200
10		Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A constraint solver to animate a B specification. STTT 6(2): 143-157 (2004)
9		Bruno Legeard, Fabien Peureux, Mark Utting: Controlling test case explosion in test generation from B formal models. Softw. Test., Verif. Reliab. 14(2): 81-103 (2004)
8		Séverine Colin, Bruno Legeard, Fabien Peureux: Preamble computation in automated test case generation using constraint logic programming. Softw. Test., Verif. Reliab. 14(3): 213-235 (2004)
7		Eddy Bernard, Bruno Legeard, Xavier Luck, Fabien Peureux: Generation of test sequences from formal specifications: GSM 11-11 standard case study. Softw., Pract. Exper. 34(10): 915-948 (2004)
	2002
6		Bruno Legeard, Fabien Peureux, Mark Utting: Automated Boundary Testing from Z and B. FME 2002: 21-40
5		Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204
4		Bruno Legeard, Fabien Peureux, Mark Utting: A Comparison of the BTT and TTF Test-Generation Methods. ZB 2002: 309-329
3		Bruno Legeard, Fabien Peureux: B-Testing-Tools : génération de tests aux limites à partir de spécifications B. Technique et Science Informatiques 21(9): 1189-1218 (2002)
	2001
2		Bruno Legeard, Fabien Peureux: Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. ASE 2001: 377-381
	2000
1		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

Coauthor Index

1	Eddy Bernard	[7] [17]
2	Didier Bert	[16] [18]
3	Machiel van der Bijl	[11]
4	Fabrice Bouquet	[1] [5] [10] [13] [14] [15] [17] [19]
5	Amandine Charbonnier	[17]
6	Séverine Colin	[8]
7	Véronique Donzeau-Gouge	[16] [18]
8	Catherine Dubois	[16] [18]
9	C. Grandpierre	[19]
10	Eddie Jaffuel	[14] [15]
11	Nikolai Kosmatov	[12]
12	Régine Laleau (Regine Laleau)	[16] [18]
13	Yves Ledru	[16] [18]
14	Bruno Legeard	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [15] [17] [19]
15	Michel Lemoine	[16] [18]
16	Xavier Luck	[7]
17	Laurent Py	[1]
18	Eric Torreborre	[13] [17]
19	Mark Utting	[4] [6] [9] [12] [14] [15] [17] [19]
20	Nicolas Vacelet	[19]
21	Sylvie Vignes	[16] [18]

Colors in the list of coauthors