2008 |
25 | EE | Vincent Pretre,
Fabrice Bouquet,
Christophe Lang:
Automating UML models merge for web services testing.
iiWAS 2008: 55-62 |
2007 |
24 | 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 |
23 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert:
JML2B: Checking JML Specifications with B Machines.
B 2007: 285-288 |
22 | EE | Fabrice Bouquet,
Jean-Francois Couchot,
Frédéric Dadeau,
Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing.
B 2007: 94-108 |
21 | | Régine Laleau,
Yves Ledru,
Didier Bert,
Fabrice Bouquet,
Michel Lemoine,
Catherine Dubois,
Véronique Donzeau-Gouge,
Sylvie Vignes:
Using Computer Science Modeling Techniques for Airport Security Certification.
RCIS 2007: 61-72 |
2006 |
20 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert,
Jacques Julliand:
Safety Property Driven Test Generation from.
FATES/RV 2006: 225-239 |
19 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Bruno Legeard:
Automated Boundary Test Generation from JML Specifications.
FM 2006: 428-443 |
18 | | 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 |
17 | EE | Didier Bert,
Fabrice Bouquet,
Yves Ledru,
Sylvie Vignes:
Validation of Regulation Documents by Automated Analysis of Formal Models.
ReMo2V 2006 |
2005 |
16 | 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 |
15 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Bruno Legeard,
Mark Utting:
Symbolic Animation of JML Specifications.
FM 2005: 75-90 |
14 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Bruno Legeard:
How Symbolic Animation Can Help Designing an Efficient Formal Model.
ICFEM 2005: 96-110 |
13 | 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 |
12 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert:
Checking JML Specifications with B Machines.
ZB 2005: 434-453 |
11 | 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 |
10 | EE | Fabrice Bouquet,
Bruno Legeard,
Fabien Peureux,
Eric Torreborre:
Mastering Test Generation from Smart Card Software Formal Models.
CASSIS 2004: 70-85 |
9 | EE | Fabrice Bouquet,
Bruno Legeard,
Mark Utting,
Nicolas Vacelet:
Faster Analysis of Formal Specifications.
ICFEM 2004: 239-258 |
8 | EE | Fabrice Bouquet,
Bruno Legeard,
Fabien Peureux:
CLPS-B - A constraint solver to animate a B specification.
STTT 6(2): 143-157 (2004) |
2003 |
7 | 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 |
6 | | 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 |
5 | 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) |
2002 |
4 | EE | Fabrice Bouquet,
Bruno Legeard,
Fabien Peureux:
CLPS-B - A Constraint Solver for B.
TACAS 2002: 188-204 |
2000 |
3 | | 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 |
1997 |
2 | EE | Fabrice Bouquet,
Philippe Jégou:
Using OBDDs to Handle Dynamic Constraints.
Inf. Process. Lett. 62(3): 111-120 (1997) |
1995 |
1 | | Fabrice Bouquet,
Philippe Jégou:
Solving Over-Constrained CSPs Using Weighted OBDDs.
Over-Constrained Systems 1995: 293-308 |