Frédéric Dadeau

发表

Selective Test Generation Method for Evolving Critical Systems

Fabrice Bouquet, Elizabeta Fourneret, Frédéric Dadeau, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Model-Based Filtering of Combinatorial Test Suites

Julien Botella, Frédéric Dadeau, Lydie du Bousquet, 2012, FASE.

Combining approaches for the security of infinite state systems

Fabrice Bouquet, Bruno Legeard, Calogero G. Zarba, 2005 .

Scenario‐based testing using symbolic animation of B models

Frédéric Dadeau, Régis Tissot, Kalou Cabrera Castillos, 2012, Softw. Test. Verification Reliab..

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

Abderrahmane Haddad, Frédéric Dadeau, Thierry Moutet, 2009, Tech. Sci. Informatiques.

Guiding the Correction of Parameterized Specifications

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

Model‐based mutation testing from security protocols in HLPSL

Michaël Rusinowitch, Rafik Kheddam, Frédéric Dadeau, 2015, Softw. Test. Verification Reliab..

On the Use of Uniform Random Generation of Automata for Testing

Frédéric Dadeau, Pierre-Cyrille Héam, Jocelyn Levrey, 2009, Electron. Notes Theor. Comput. Sci..

TASCCC - Project and Testing Tool (poster and demo)

Julien Botella, Bruno Legeard, Frédéric Dadeau, 2012 .

Proving and Debugging Set-Based Specifications

Jean-François Couchot, Alain Giorgetti, Frédéric Dadeau, 2004, WMF.

New Software and Platforms - Testing Tools

Fabrice Bouquet, Elizabeta Fourneret, Frédéric Dadeau, 2015 .

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

Jacques Julliand, Frédéric Dadeau, Safouan Taha, 2011, ICTSS.

Model-Based Testing Using Symbolic Animation and Machine Learning

Frédéric Dadeau, Pierre-Cyrille Héam, Pierre-Christophe Bué, 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

Automated UML models merging for web services testing

Fabrice Bouquet, Christophe Lang, Frédéric Dadeau, 2009, Int. J. Web Grid Serv..

Mastering combinatorial explosion with the tobias-2 test generator

Frédéric Dadeau, Lydie du Bousquet, Yves Ledru, 2007, ASE '07.

Mutation-Based Test Generation from Security Protocols in HLPSL

Rafik Kheddam, Frédéric Dadeau, Pierre-Cyrille Héam, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

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

Julien Botella, Bruno Legeard, Florence Schadle, 2018, International Journal on Software Tools for Technology Transfer.

A Case Study in Matching Test and Proof Coverage

Frédéric Dadeau, Lydie du Bousquet, Yves Ledru, 2007, MBT.

Teaching Model-Based Testing with the Leirios Test Generator

Frédéric Dadeau, Régis Tissot, 2008 .

Automated Boundary Test Generation from JML Specifications

Fabrice Bouquet, Bruno Legeard, Frédéric Dadeau, 2006, FM.

JML2B: Checking JML Specifications with B Machines

Fabrice Bouquet, Julien Groslambert, Frédéric Dadeau, 2007, B.

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

Alain Giorgetti, Frédéric Dadeau, Ivan Enderlin, 2011, ICTSS.

Grey-Box Testing and Verification of Java/JML

Frédéric Dadeau, Fabien Peureux, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

Constraint-Based Software Testing

Arnaud Gotlieb, Frédéric Dadeau, Bruno Marre, 2008 .

How Symbolic Animation Can Help Designing an Efficient Formal Model

Fabrice Bouquet, Bruno Legeard, Frédéric Dadeau, 2005, ICFEM.

Test Generation Using Symbolic Animation of Models

Fabrice Bouquet, Bruno Legeard, Jacques Julliand, 2011, Model-Based Testing for Embedded Systems.

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

Fabrice Bouquet, Frédéric Dadeau, Pierre-Christophe Bué, 2010, TAP@TOOLS.

A Model-Based Testing Approach for Security Protocols

Michaël Rusinowitch, Rafik Kheddam, Frédéric Dadeau, 2016, 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES).

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

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

Measuring a Java Test Suite Coverage Using JML Specifications

Frédéric Dadeau, Lydie du Bousquet, Yves Ledru, 2007, Electron. Notes Theor. Comput. Sci..

Model-Based Vulnerability Testing of Payment Protocol Implementations

Frédéric Dadeau, Michaël Rusinowitch, Ghazi Maatoug, 2014 .

Grammar-Based Testing Using Realistic Domains in PHP

Fabrice Bouquet, Alain Giorgetti, Frédéric Dadeau, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

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

Frédéric Dadeau, 2006 .

Assessing the Quality of B Models

Fabrice Bouquet, Frédéric Dadeau, Adrien De Kermadec, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

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

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

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities

Franck Lebeau, Bruno Legeard, Alexandre Vernotte, 2014, ICISS.

Constraints in Software Testing, Verification and Analysis CSTVA'2013

Frédéric Dadeau, Cristian Cadar, Cristian Cadar, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

New Results - Model-based Verification and Testing

Fabrice Bouquet, Jean-François Couchot, Alain Giorgetti, 2007 .

Safety Property Driven Test Generation from

Fabrice Bouquet, Jacques Julliand, Julien Groslambert, 2006, FATES/RV.

Symbolic Animation of JML Specifications

Fabrice Bouquet, Bruno Legeard, Frédéric Dadeau, 2005, FM.

A Compositional Automata-Based Semantics for Property Patterns

Jacques Julliand, Frédéric Dadeau, Safouan Taha, 2013, IFM.

Instantiation of Parameterized Data Structures for Model-Based Testing

Fabrice Bouquet, Jean-François Couchot, Alain Giorgetti, 2007, B.

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

Frédéric Dadeau, Marie-Laure Potet, Thierry Moutet, 2008, ABZ.