Bruno Legeard

2007
43	EE	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
42	EE	Eddie Jaffuel, Bruno Legeard: LEIRIOS Test Generator: Automated Test Generation from B Models. B 2007: 277-280
41		Eddy Bernard, Bruno Legeard: Requirements traceability in the model-based testing process. Software Engineering (Workshops) 2007: 45-54
2006
40	EE	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: Automated Boundary Test Generation from JML Specifications. FM 2006: 428-443
39		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
2005
38	EE	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	EE	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: Symbolic Animation of JML Specifications. FM 2005: 75-90
36	EE	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM 2005: 96-110
35	EE	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	EE	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	EE	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre: Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85
32	EE	Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet: Faster Analysis of Formal Specifications. ICFEM 2004: 239-258
31	EE	Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting: Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE 2004: 139-150
30	EE	Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A constraint solver to animate a B specification. STTT 6(2): 143-157 (2004)
29	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Bruno Legeard, Fabien Peureux, Mark Utting: Automated Boundary Testing from Z and B. FME 2002: 21-40
20	EE	Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204
19	EE	Bruno Legeard, Fabien Peureux, Mark Utting: A Comparison of the BTT and TTF Test-Generation Methods. ZB 2002: 309-329
18	EE	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	EE	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	EE	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] [39] [41]
5	Eric Boucher	[10] [12]
6	Fabrice Bouquet	[16] [20] [23] [25] [26] [30] [32] [33] [34] [35] [36] [37] [38] [39] [40] [43]
7	Jean-Jacques Chabrier	[3]
8	Amandine Charbonnier	[39]
9	Sébastien Chemin	[22] [24]
10	Séverine Colin	[28]
11	Frédéric Dadeau	[35] [36] [37] [40]
12	C. Grandpierre	[43]
13	M. Hibti	[5] [11]
14	Isabelle Jacques	[13]
15	Eddie Jaffuel	[34] [38] [42]
16	Jacques Julliand	[15]
17	Nikolai Kosmatov	[31]
18	Didier Ladret	[1]
19	Emmanuel Legros	[2] [4]
20	Henri Lombardi	[5] [11]
21	Xavier Luck	[27]
22	Thierry Machicoane	[15]
23	Benoit Parreaux	[15]
24	Fabien Peureux	[16] [17] [18] [19] [20] [21] [27] [28] [29] [30] [31] [33] [34] [38] [39] [43]
25	Claudine Pradelles	[3]
26	Laurent Py	[13] [16]
27	Michel Rueher	[1]
28	Bruno Tatibouët	[15]
29	Eric Torreborre	[33] [39]
30	Mark Utting	[19] [21] [29] [31] [32] [34] [35] [37] [38] [39] [43]
31	Nicolas Vacelet	[23] [25] [32] [43]
32	Christophe Varnier	[6] [8]
33	Hamza Zidoum	[7] [9]

Colors in the list of coauthors