| 2008 |
|---|
| 16 | EE | Frédéric Dadeau,
Adrien De Kermadec,
Régis Tissot:
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance.
ABZ 2008: 153-166 |
| 15 | EE | Frédéric Dadeau,
Julien Lamboley,
Thierry Moutet,
Marie-Laure Potet:
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.
ABZ 2008: 237-250 |
| 14 | EE | Frédéric Dadeau,
Marie-Laure Potet,
Régis Tissot:
A B Formal Framework for Security Developments in the Domain of Smart Card Applications.
SEC 2008: 141-155 |
| 2007 |
|---|
| 13 | EE | Yves Ledru,
Frédéric Dadeau,
Lydie du Bousquet,
Sébastien Ville,
Elodie Rose:
Mastering combinatorial explosion with the tobias-2 test generator.
ASE 2007: 535-536 |
| 12 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert:
JML2B: Checking JML Specifications with B Machines.
B 2007: 285-288 |
| 11 | EE | Fabrice Bouquet,
Jean-Francois Couchot,
Frédéric Dadeau,
Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing.
B 2007: 94-108 |
| 10 | EE | Jean-Francois Couchot,
Frédéric Dadeau:
Guiding the Correction of Parameterized Specifications.
IFM 2007: 176-194 |
| 9 | EE | Frédéric Dadeau,
Yves Ledru,
Lydie du Bousquet:
Measuring a Java Test Suite Coverage Using JML Specifications.
Electr. Notes Theor. Comput. Sci. 190(2): 21-32 (2007) |
| 8 | EE | Yves Ledru,
Lydie du Bousquet,
Frédéric Dadeau,
F. Allouti:
A Case Study in Matching Test and Proof Coverage.
Electr. Notes Theor. Comput. Sci. 190(2): 73-84 (2007) |
| 2006 |
|---|
| 7 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert,
Jacques Julliand:
Safety Property Driven Test Generation from.
FATES/RV 2006: 225-239 |
| 6 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Bruno Legeard:
Automated Boundary Test Generation from JML Specifications.
FM 2006: 428-443 |
| 2005 |
|---|
| 5 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Bruno Legeard,
Mark Utting:
Symbolic Animation of JML Specifications.
FM 2005: 75-90 |
| 4 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Bruno Legeard:
How Symbolic Animation Can Help Designing an Efficient Formal Model.
ICFEM 2005: 96-110 |
| 3 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Bruno Legeard,
Mark Utting:
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.
TACAS 2005: 551-556 |
| 2 | EE | Fabrice Bouquet,
Frédéric Dadeau,
Julien Groslambert:
Checking JML Specifications with B Machines.
ZB 2005: 434-453 |
| 2004 |
|---|
| 1 | EE | Jean-Francois Couchot,
Frédéric Dadeau,
David Déharbe,
Alain Giorgetti,
Silvio Ranise:
Proving and Debugging Set-Based Specifications.
Electr. Notes Theor. Comput. Sci. 95: 189-208 (2004) |
