|
Search the dblp DataBase
Frédéric Dadeau:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Jean-Francois Couchot, Frédéric Dadeau
Guiding the Correction of Parameterized Specifications. [Citation Graph (0, 0)][DBLP] IFM, 2007, pp:176-194 [Conf]
- 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]
- 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]
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. [Citation Graph (, )][DBLP]
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. [Citation Graph (, )][DBLP]
Mastering combinatorial explosion with the tobias-2 test generator. [Citation Graph (, )][DBLP]
A B Formal Framework for Security Developments in the Domain of Smart Card Applications. [Citation Graph (, )][DBLP]
Building a Test-Ready Abstraction of a Behavioral Model Using CLP. [Citation Graph (, )][DBLP]
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. [Citation Graph (, )][DBLP]
On the Use of Uniform Random Generation of Automata for Testing. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|