The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fabrice Bouquet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.020secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002