Bruno Legeard

Mark Utting, Alexander Pretschner, Bruno Legeard: A taxonomy of model-based testing approaches. Softw. Test., Verif. Reliab. 22(5): 297-312 (2012)

Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux: SysML to UML model transformation for test generation purpose. ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011)

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux: A Test Generation Solution to Automate Software Testing. AST 2008: 45-48

Mark Utting, Bruno Legeard: Practical Model-Based Testing - A Tools Approach. Morgan Kaufmann 2007, isbn 978-0-12-372501-1, pp. I-XIX, 1-433

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting: A subset of precise UML for model-based testing. A-MOST 2007: 95-104

Eddie Jaffuel, Bruno Legeard: LEIRIOS Test Generator: Automated Test Generation from B Models. B 2007: 277-280

Eddy Bernard, Bruno Legeard: Requirements traceability in the model-based testing process. Software Engineering (Workshops) 2007: 45-54

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)

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: Automated Boundary Test Generation from JML Specifications. FM 2006: 428-443

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

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)

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

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: Symbolic Animation of JML Specifications. FM 2005: 75-90

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM 2005: 96-110

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

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)

Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A constraint solver to animate a B specification. STTT 6(2): 143-157 (2004)

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)

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)

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre: Mastering Test Generation from Smart Card Software Formal Models. CASSIS 2004: 70-85

Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet: Faster Analysis of Formal Specifications. ICFEM 2004: 239-258

Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting: Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE 2004: 139-150

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)

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)

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

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

Fabrice Ambert, Sébastien Chemin, Bruno Legeard: Intégration de domaines à variables dans un solveur de contraintes ensemblistes. JFPLC 2003: 217-220

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)

Bruno Legeard, Fabien Peureux, Mark Utting: Automated Boundary Testing from Z and B. FME 2002: 21-40

Fabrice Bouquet, Bruno Legeard, Fabien Peureux: CLPS-B - A Constraint Solver for B. TACAS 2002: 188-204

Bruno Legeard, Fabien Peureux, Mark Utting: A Comparison of the BTT and TTF Test-Generation Methods. ZB 2002: 309-329

Bruno Legeard, Fabien Peureux: Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. ASE 2001: 377-381

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

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

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-

Lotfi Berkaoui, Bruno Legeard: Représentation de séquences définies sur des ensembles non instanciés par arbre PQR patiel. JFPLC 1998: 251-

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)

Eric Boucher, Bruno Legeard: Procédure exacte d'optimisation dans le paradigme de la programmation logique avec contraintes ensemblistes. JFPLC 1997: 179-194

Eric Boucher, Bruno Legeard: Fonctions de voisinage progressives et admissibles pour des méthodes d'optimisation en PLC sur séquences. JFPLC 1996: 255-

Fabrice Ambert, Bruno Legeard, Hamza Zidoum: CLPS : un langage de PLC ensembliste. JFPLC 1995: 337-340

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

Pierre Baptiste, Bruno Legeard, Hamza Zidoum: Sequences Constraint Solving in Constraints Logic Programming. ICTAI 1994: 804-807

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

M. Hibti, Henri Lombardi, Bruno Legeard: Deciding in HFS-Theory via Linear Integer Programming. LPAR 1993: 170-181

Bruno Legeard, Emmanuel Legros: Tests de satisfiabilité dans le langage de programmation en logique avec contraintes ensemblistes: CLPS. JFPL 1992: 18-34

Jean-Jacques Chabrier, Claudine Pradelles, Bruno Legeard: Applications of Constraints Logic Programming Languages. ICLP 1991: 944

Bruno Legeard, Emmanuel Legros: Short Overview of the CLPS System. PLILP 1991: 431-433

Michel Rueher, Didier Ladret, Bruno Legeard: Capturing software processes through the generated objects. ISPW 1988: 148-152