Frédéric Dadeau

	2012
28		Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella: Model-Based Filtering of Combinatorial Test Suites. FASE 2012: 439-454
	2011
27		Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam: Mutation-Based Test Generation from Security Protocols in HLPSL. ICST 2011: 240-248
26		Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha: Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS 2011: 32-47
25		Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman: Praspel: A Specification Language for Contract-Based Testing in PHP. ICTSS 2011: 64-79
24		Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand: Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. STTT 13(5): 431-448 (2011)
	2010
23		Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam: Model-Based Testing Using Symbolic Animation and Machine Learning. ICST Workshops 2010: 355-360
22		Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet: Assessing the Quality of B Models. SEFM 2010: 83-90
21		Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet: Building a Test-Ready Abstraction of a Behavioral Model Using CLP. TAP 2010: 167-182
	2009
20		Frédéric Dadeau, Régis Tissot: jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. Electr. Notes Theor. Comput. Sci. 253(2): 117-132 (2009)
19		Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam: On the Use of Uniform Random Generation of Automata for Testing. Electr. Notes Theor. Comput. Sci. 253(2): 37-51 (2009)
18		Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau: Automated UML models merging for web services testing. IJWGS 5(2): 107-129 (2009)
17		Frédéric Dadeau, A. Haddad, Thierry Moutet: Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. Technique et Science Informatiques 28(4): 533-563 (2009)
	2008
16		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		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		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		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		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: JML2B: Checking JML Specifications with B Machines. B 2007: 285-288
11		Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti: Instantiation of Parameterized Data Structures for Model-Based Testing. B 2007: 94-108
10		Jean-François Couchot, Frédéric Dadeau: Guiding the Correction of Parameterized Specifications. IFM 2007: 176-194
9		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		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		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand: Safety Property Driven Test Generation from. FATES/RV 2006: 225-239
6		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: Automated Boundary Test Generation from JML Specifications. FM 2006: 428-443
	2005
5		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: Symbolic Animation of JML Specifications. FM 2005: 75-90
4		Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard: How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM 2005: 96-110
3		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		Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert: Checking JML Specifications with B Machines. ZB 2005: 434-453
	2004
1		Jean-François 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)

Coauthor Index

1	F. Allouti	[8]
2	Julien Botella	[28]
3	Fabrice Bouquet	[2] [3] [4] [5] [6] [7] [11] [12] [18] [21] [22]
4	Lydie du Bousquet	[8] [9] [13] [28]
5	Pierre-Christophe Bué	[21] [23]
6	Kalou Cabrera Castillos	[24] [26]
7	Jean-François Couchot	[1] [10] [11]
8	David Déharbe (David Boris Paul Déharbe)	[1]
9	Ivan Enderlin	[25]
10	Alain Giorgetti	[1] [11] [25]
11	Julien Groslambert	[2] [7] [12]
12	A. Haddad	[17]
13	Pierre-Cyrille Héam	[19] [23] [27]
14	Jacques Julliand	[7] [24] [26]
15	Adrien De Kermadec	[16] [18] [21] [22]
16	Rafik Kheddam	[27]
17	Julien Lamboley	[15]
18	Christophe Lang	[18]
19	Yves Ledru	[8] [9] [13] [28]
20	Bruno Legeard	[3] [4] [5] [6]
21	Jocelyn Levrey	[19]
22	Thierry Moutet	[15] [17]
23	Abdallah Ben Othman	[25]
24	Marie-Laure Potet	[14] [15]
25	Vincent Pretre	[18]
26	Silvio Ranise	[1]
27	Elodie Rose	[13]
28	Safouan Taha	[26]
29	Régis Tissot	[14] [16] [20]
30	Taha Triki	[28]
31	Mark Utting	[3] [5]
32	Sébastien Ville	[13]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page