2007 | ||
---|---|---|
44 | 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 |
43 | EE | 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 | EE | 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 | EE | 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 | 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 |