The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Frédéric Dadeau: [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, 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]


Search in 0.003secs, Finished in 0.004secs
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