Frédéric Dadeau

According to our database, Frédéric Dadeau authored at least 51 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies.

Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko

Autom. Control. Comput. Sci., December, 2022

Clustering of Usage Traces for Regression Test Cases Selection.

Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021

Automated Generation of Initial Configurations for Testing Component Systems.

Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

2020

Testing adaptation policies for software components.

Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko

Softw. Qual. J., 2020

A Case-based Approach for introducing Testing Tools and Principles.

Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Identifying and Generating Missing Tests using Machine Learning on Execution Traces.

Mark Utting, Bruno Legeard, Frédéric Dadeau, Frédéric Tamagnan, Fabrice Bouquet

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Complementary test selection criteria for model-based testing of security components.

Julien Botella, Jean-Francois Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle

Int. J. Softw. Tools Technol. Transf., 2019

Temporal property patterns for model-based testing from UML/OCL.

Frédéric Dadeau, Elizabeta Fourneret, Abir Bouchelaghem

Softw. Syst. Model., 2019

2018

Contract-based testing for PHP with Praspel.

Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet, Ivan Enderlin

J. Syst. Softw., 2018

2016

A Model-Based Testing Approach for Security Protocols.

Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

Model-based mutation testing from security protocols in HLPSL.

Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch

Softw. Test. Verification Reliab., 2015

A compositional automata-based semantics and preserving transformation rules for testing property patterns.

Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso

Formal Aspects Comput., 2015

2014

Coverage Criteria for Model-Based Testing using Property Patterns.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand

Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities.

Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, François Piat

Proceedings of the Information Systems Security - 10th International Conference, 2014

2013

A Compositional Automata-Based Semantics for Property Patterns.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool.

Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Constraints in Software Testing, Verification and Analysis CSTVA'2013.

Cristian Cadar, Frédéric Dadeau

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Scenario-based testing using symbolic animation of B models.

Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot

Softw. Test. Verification Reliab., 2012

Grammar-Based Testing Using Realistic Domains in PHP.

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Model-Based Filtering of Combinatorial Test Suites.

Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand

Int. J. Softw. Tools Technol. Transf., 2011

Praspel: A Specification Language for Contract-Based Testing in PHP.

Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman

Proceedings of the Testing Software and Systems, 2011

Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests.

Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha

Proceedings of the Testing Software and Systems, 2011

Selective Test Generation Method for Evolving Critical Systems.

Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Grey-Box Testing and Verification of Java/JML.

Frédéric Dadeau, Fabien Peureux

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Mutation-Based Test Generation from Security Protocols in HLPSL.

Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Test Generation Using Symbolic Animation of Models.

Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Building a Test-Ready Abstraction of a Behavioral Model Using CLP.

Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Assessing the Quality of B Models.

Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Model-Based Testing Using Symbolic Animation and Machine Learning.

Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam

Proceedings of the Third International Conference on Software Testing, 2010

2009

Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès.

Frédéric Dadeau, Abderrahmane Haddad, Thierry Moutet

Tech. Sci. Informatiques, 2009

Automated UML models merging for web services testing.

Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau

Int. J. Web Grid Serv., 2009

jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines.

Frédéric Dadeau, Régis Tissot

Proceedings of Fifth Workshop on Model Based Testing, 2009

On the Use of Uniform Random Generation of Automata for Testing.

Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam

Proceedings of Fifth Workshop on Model Based Testing, 2009

2008

A B Formal Framework for Security Developments in the Domain of Smart Card Applications.

Frédéric Dadeau, Marie-Laure Potet, Régis Tissot

Proceedings of The IFIP TC-11 23rd International Information Security Conference, 2008

A Verifiable Conformance Relationship between Smart Card Applets and B Security Models.

Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance.

Frédéric Dadeau, Adrien De Kermadec, Régis Tissot

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

A Case Study in Matching Test and Proof Coverage.

Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti

Proceedings of the Third Workshop on Model Based Testing, 2007

Measuring a Java Test Suite Coverage Using JML Specifications.

Frédéric Dadeau, Yves Ledru, Lydie du Bousquet

Proceedings of the Third Workshop on Model Based Testing, 2007

Mastering combinatorial explosion with the tobias-2 test generator.

Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Guiding the Correction of Parameterized Specifications.

Jean-François Couchot, Frédéric Dadeau

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

JML2B: Checking JML Specifications with B Machines.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert

Proceedings of the B 2007: Formal Specification and Development in B, 2007

Instantiation of Parameterized Data Structures for Model-Based Testing.

Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Evaluation Symbolique à Contraintes pour la Validation - Application à Java/JML. (Constrained Symbolic Evaluation for Validation - Application to Java/JML).

Frédéric Dadeau

PhD thesis, 2006

Automated Boundary Test Generation from JML Specifications.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard

Proceedings of the FM 2006: Formal Methods, 2006

Safety Property Driven Test Generation from.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

Checking JML Specifications with B Machines.

Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

How Symbolic Animation Can Help Designing an Efficient Formal Model.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard

Proceedings of the Formal Methods and Software Engineering, 2005

Symbolic Animation of JML Specifications.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting

Proceedings of the FM 2005: Formal Methods, 2005

2003

Proving and Debugging Set-Based Specifications.

Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003