Search the dblp DataBase

Publications of Author

1. Fabrice Bouquet, Jean-Francois Couchot, Frédéric Dadeau, Alain Giorgetti
   Instantiation of Parameterized Data Structures for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:94-108 [Conf]
   
2. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
   JML2B: Checking JML Specifications with B Machines. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:285-288 [Conf]
   
3. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre
   Mastering Test Generation from Smart Card Software Formal Models. [Citation Graph (0, 0)][DBLP]
   CASSIS, 2004, pp:70-85 [Conf]
   
4. Fabrice Bouquet, Philippe Jégou
   Solving Over-Constrained CSPs Using Weighted OBDDs. [Citation Graph (0, 0)][DBLP]
   Over-Constrained Systems, 1995, pp:293-308 [Conf]
   
5. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
   Safety Property Driven Test Generation from. [Citation Graph (0, 0)][DBLP]
   FATES/RV, 2006, pp:225-239 [Conf]
   
6. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
   Automated Boundary Test Generation from JML Specifications. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:428-443 [Conf]
   
7. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
   Symbolic Animation of JML Specifications. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:75-90 [Conf]
   
8. Fabrice Bouquet, Bruno Legeard
   Reification of Executable Test Scripts in Formal Specicifation-Based Test Generation: The Java Card Transaction Mechanism Case Study. [Citation Graph (0, 0)][DBLP]
   FME, 2003, pp:778-795 [Conf]
   
9. Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre
   Model-Based Testing from UML Models. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (2), 2006, pp:223-230 [Conf]
   
10. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
    How Symbolic Animation Can Help Designing an Efficient Formal Model. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:96-110 [Conf]
    
11. Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet
    Faster Analysis of Formal Specifications. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:239-258 [Conf]
    
12. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py
    Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:125-144 [Conf]
    
13. Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet
    Un format fédérateur pour l'évaluation de spécifications formelles en programmation logique avec contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2003, pp:203-216 [Conf]
    
14. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
    JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:551-556 [Conf]
    
15. Fabrice Bouquet, Bruno Legeard, Fabien Peureux
    CLPS-B - A Constraint Solver for B. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:188-204 [Conf]
    
16. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
    Checking JML Specifications with B Machines. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:434-453 [Conf]
    
17. 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. [Citation Graph (0, 0)][DBLP]
    RCIS, 2007, pp:61-72 [Conf]
    
18. Fabrice Bouquet, Philippe Jégou
    Using OBDDs to Handle Dynamic Constraints. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1997, v:62, n:3, pp:111-120 [Journal]
    
19. Fabrice Bouquet, Bruno Legeard, Fabien Peureux
    CLPS-B - A constraint solver to animate a B specification. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:143-157 [Journal]
    
20. Fabrice Bouquet, Bruno Legeard, Nicolas Vacelet
    Un format fédérateur pour l'évaluation de spécifications formelles en Programmation Logique avec Contraintes. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:1, pp:203-216 [Journal]
    
21. 
    Validation of Regulation Documents by Automated Analysis of Formal Models. [Citation Graph (, )][DBLP]
    
    
22. 
    A Test Generation Solution to Automate Software Testing. [Citation Graph (, )][DBLP]
    
    
23. 
    Automating UML models merge for web services testing. [Citation Graph (, )][DBLP]
    
    
24. 
    Building a Test-Ready Abstraction of a Behavioral Model Using CLP. [Citation Graph (, )][DBLP]
    
    
25. 
    Requirements traceability in automated test generation: application to smart card software validation. [Citation Graph (, )][DBLP]
    
    
26. 
    A subset of precise UML for model-based testing. [Citation Graph (, )][DBLP]