Bruno Legeard

	2007
44		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
43		Eddie Jaffuel, Bruno Legeard: LEIRIOS Test Generator: Automated Test Generation from B Models. B 2007: 277-280
42		Eddy Bernard, Bruno Legeard: Requirements traceability in the model-based testing process. Software Engineering (Workshops) 2007: 45-54
	2006
41		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: Automated Boundary Test Generation from JML Specifications. FM 2006: 428-443
40		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
39		Séverine Colin, Franck Lebeau, Bruno Legeard: Génération de tests à partir de statecharts fondée sur le calcul de comportements. Technique et Science Informatiques 25(1): 103-132 (2006)
	2005
38		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
37		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: Symbolic Animation of JML Specifications. FM 2005: 75-90
36		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM 2005: 96-110
35		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
34		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
33		Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre: Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85
32		Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet: Faster Analysis of Formal Specifications. ICFEM 2004: 239-258
31		Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting: Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE 2004: 139-150
30		Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A constraint solver to animate a B specification. STTT 6(2): 143-157 (2004)
29		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)
28		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)
27		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)
	2003
26		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
25		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
24		Fabrice Ambert, Sébastien Chemin, Bruno Legeard: Intégration de domaines à variables dans un solveur de contraintes ensemblistes. JFPLC 2003: 217-220
23		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)
22		Fabrice Ambert, Sébastien Chemin, Bruno Legeard: Intégration de domaines à variables dans un solveur de contraintes ensemblistes. Technique et Science Informatiques 22(1): 217-220 (2003)
	2002
21		Bruno Legeard, Fabien Peureux, Mark Utting: Automated Boundary Testing from Z and B. FME 2002: 21-40
20		Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204
19		Bruno Legeard, Fabien Peureux, Mark Utting: A Comparison of the BTT and TTF Test-Generation Methods. ZB 2002: 309-329
18		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
17		Bruno Legeard, Fabien Peureux: Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. ASE 2001: 377-381
	2000
16		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
	1998
15		Jacques Julliand, Bruno Legeard, Thierry Machicoane, Benoit Parreaux, Bruno Tatibouët: Specification of an Integrated Circuit Card Protocol Application Using the B Method and Linear Temporal Logic. B 1998: 273-292
14		Lotfi Berkaoui, Bruno Legeard: Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel. JFPLC 1998: 251-
13		Isabelle Jacques, Bruno Legeard, Laurent Py: Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. JFPLC 1998: 95-
	1997
12		Eric Boucher, Bruno Legeard: Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. JFPLC 1997: 179-194
11		M. Hibti, Bruno Legeard, Henri Lombardi: Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. ITA 31(3): 205-236 (1997)
	1996
10		Eric Boucher, Bruno Legeard: Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. JFPLC 1996: 255-
	1995
9		Fabrice Ambert, Bruno Legeard, Hamza Zidoum: CLPS : un langage de PLC ensembliste. JFPLC 1995: 337-340
8		Christophe Varnier, Pierre Baptiste, Bruno Legeard: Outil d'aide à l'élaboration d'ordonnancement cyclique pour les lignes de traitement de surface. JFPLC 1995: 365-368
	1994
7		Pierre Baptiste, Bruno Legeard, Hamza Zidoum: Sequences Constraint Solving in Constraints Logic Programming. ICTAI 1994: 804-807
	1993
6		Christophe Varnier, Pierre Baptiste, Bruno Legeard: Le traitement des contraintes disjonctives dans un problème d'ordonnancement : exemple du «Hoist Scheduling Problem». JFPL 1993: 343-363
5		M. Hibti, Henri Lombardi, Bruno Legeard: Deciding in HFS-Theory via Linear Integer Programming. LPAR 1993: 170-181
	1992
4		Bruno Legeard, Emmanuel Legros: Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. JFPL 1992: 18-34
	1991
3		Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard: Applications of Constraints Logic Programming Languages. ICLP 1991: 944
2		Bruno Legeard, Emmanuel Legros: Short Overview of the CLPS System. PLILP 1991: 431-433
	1988
1		Michel Rueher, Didier Ladret, Bruno Legeard: Capturing software processes through the generated objects. ISPW 1988: 148-152

Coauthor Index

1	Fabrice Ambert	[9] [22] [24]
2	Pierre Baptiste	[6] [7] [8]
3	Lotfi Berkaoui	[14]
4	Eddy Bernard	[27] [40] [42]
5	Eric Boucher	[10] [12]
6	Fabrice Bouquet	[16] [20] [23] [25] [26] [30] [32] [33] [34] [35] [36] [37] [38] [40] [41] [44]
7	Jean-Jacques Chabrier	[3]
8	Amandine Charbonnier	[40]
9	Sébastien Chemin	[22] [24]
10	Séverine Colin	[28] [39]
11	Frédéric Dadeau	[35] [36] [37] [41]
12	C. Grandpierre	[44]
13	M. Hibti	[5] [11]
14	Isabelle Jacques	[13]
15	Eddie Jaffuel	[34] [38] [43]
16	Jacques Julliand	[15]
17	Nikolai Kosmatov	[31]
18	Didier Ladret	[1]
19	Franck Lebeau	[39]
20	Emmanuel Legros	[2] [4]
21	Henri Lombardi	[5] [11]
22	Xavier Luck	[27]
23	Thierry Machicoane	[15]
24	Benoit Parreaux	[15]
25	Fabien Peureux	[16] [17] [18] [19] [20] [21] [27] [28] [29] [30] [31] [33] [34] [38] [40] [44]
26	Claudine Pradelles	[3]
27	Laurent Py	[13] [16]
28	Michel Rueher	[1]
29	Bruno Tatibouët	[15]
30	Eric Torreborre	[33] [40]
31	Mark Utting	[19] [21] [29] [31] [32] [34] [35] [37] [38] [40] [44]
32	Nicolas Vacelet	[23] [25] [32] [44]
33	Christophe Varnier	[6] [8]
34	Hamza Zidoum	[7] [9]

Colors in the list of coauthors