Frédéric Dadeau

ORCID

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 12

Top Venues

ICST Workshops

ICST

Int. J. Softw. Tools Technol. Transf.

Softw. Test. Verification Reliab.

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies. Autom. Control. Comput. Sci. 56 (7) (2022)
Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau
Clustering of Usage Traces for Regression Test Cases Selection. ICST Workshops (2022)
Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
Automated Generation of Initial Configurations for Testing Component Systems. FACS (2021)
Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux
A Case-based Approach for introducing Testing Tools and Principles. ICST Workshops (2020)
Mark Utting, Bruno Legeard, Frédéric Dadeau, Frédéric Tamagnan, Fabrice Bouquet
Identifying and Generating Missing Tests using Machine Learning on Execution Traces. AITest (2020)
Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
Testing adaptation policies for software components. Softw. Qual. J. 28 (3) (2020)
Julien Botella, Jean-Francois Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle
Complementary test selection criteria for model-based testing of security components. Int. J. Softw. Tools Technol. Transf. 21 (4) (2019)
Frédéric Dadeau, Elizabeta Fourneret, Abir Bouchelaghem
Temporal property patterns for model-based testing from UML/OCL. Softw. Syst. Model. 18 (2) (2019)
Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet, Ivan Enderlin
Contract-based testing for PHP with Praspel. J. Syst. Softw. 136 (2018)
Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
A Model-Based Testing Approach for Security Protocols. CSE/EUC/DCABES (2016)
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
Model-based mutation testing from security protocols in HLPSL. Softw. Test. Verification Reliab. 25 (5-7) (2015)
Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso
A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects Comput. 27 (4) (2015)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
Coverage Criteria for Model-Based Testing using Property Patterns. MBT (2014)
Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, François Piat
Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. ICISS (2014)
Cristian Cadar, Frédéric Dadeau
Constraints in Software Testing, Verification and Analysis CSTVA'2013. ICST Workshops (2013)
Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. ICST (2013)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
A Compositional Automata-Based Semantics for Property Patterns. IFM (2013)
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet
Grammar-Based Testing Using Realistic Domains in PHP. ICST (2012)
Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot
Scenario-based testing using symbolic animation of B models. Softw. Test. Verification Reliab. 22 (6) (2012)
Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella
Model-Based Filtering of Combinatorial Test Suites. FASE (2012)
Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam
Mutation-Based Test Generation from Security Protocols in HLPSL. ICST (2011)
Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman
Praspel: A Specification Language for Contract-Based Testing in PHP. ICTSS (2011)
Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon
Selective Test Generation Method for Evolving Critical Systems. ICST Workshops (2011)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. Int. J. Softw. Tools Technol. Transf. 13 (5) (2011)
Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS (2011)
Frédéric Dadeau, Fabien Peureux
Grey-Box Testing and Verification of Java/JML. ICST Workshops (2011)
Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet
Building a Test-Ready Abstraction of a Behavioral Model Using CLP. TAP@TOOLS (2010)
Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam
Model-Based Testing Using Symbolic Animation and Machine Learning. ICST Workshops (2010)
Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet
Assessing the Quality of B Models. SEFM (2010)
Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau
Automated UML models merging for web services testing. Int. J. Web Grid Serv. 5 (2) (2009)
Frédéric Dadeau, Régis Tissot
jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Frédéric Dadeau, Abderrahmane Haddad, Thierry Moutet
Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. Tech. Sci. Informatiques 28 (4) (2009)
Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam
On the Use of Uniform Random Generation of Automata for Testing. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
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)
Frédéric Dadeau, Adrien De Kermadec, Régis Tissot
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. ABZ (2008)
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)
Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
Measuring a Java Test Suite Coverage Using JML Specifications. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti
Instantiation of Parameterized Data Structures for Model-Based Testing. B (2007)
Jean-François Couchot, Frédéric Dadeau
Guiding the Correction of Parameterized Specifications. IFM (2007)
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)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
JML2B: Checking JML Specifications with B Machines. B (2007)
Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
A Case Study in Matching Test and Proof Coverage. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
Automated Boundary Test Generation from JML Specifications. FM (2006)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
Safety Property Driven Test Generation from. FATES/RV (2006)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS (2005)
Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
Checking JML Specifications with B Machines. ZB (2005)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM (2005)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
Symbolic Animation of JML Specifications. FM (2005)
Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise
Proving and Debugging Set-Based Specifications. Electron. Notes Theor. Comput. Sci. 95 (2004)

Frédéric Dadeau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Dadeau