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, 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. Jean-Francois Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise
   Proving and Debugging Set-Based Specifications. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:189-208 [Journal]
   
10. Jean-Francois Couchot, Frédéric Dadeau
    Guiding the Correction of Parameterized Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:176-194 [Conf]
    
11. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
    Measuring a Java Test Suite Coverage Using JML Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:21-32 [Journal]
    
12. Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
    A Case Study in Matching Test and Proof Coverage. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:73-84 [Journal]
    
13. 
    Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. [Citation Graph (, )][DBLP]
    
    
14. 
    A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. [Citation Graph (, )][DBLP]
    
    
15. 
    Mastering combinatorial explosion with the tobias-2 test generator. [Citation Graph (, )][DBLP]
    
    
16. 
    A B Formal Framework for Security Developments in the Domain of Smart Card Applications. [Citation Graph (, )][DBLP]
    
    
17. 
    Building a Test-Ready Abstraction of a Behavioral Model Using CLP. [Citation Graph (, )][DBLP]
    
    
18. 
    jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. [Citation Graph (, )][DBLP]
    
    
19. 
    On the Use of Uniform Random Generation of Automata for Testing. [Citation Graph (, )][DBLP]