Hugging Peers

Frédéric Dadeau

☆ Save

32 papers 2005–2022

Symbolic Animation of JML Specifications

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
2005-01 FM

Automated Boundary Test Generation from JML Specifications

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

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

Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet
2010-01 TAP@TOOLS

Assessing the Quality of B Models

Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet
2010-01 SEFM

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

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

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

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

How Symbolic Animation Can Help Designing an Efficient Formal Model

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

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-01 SEC

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities

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

Model-Based Filtering of Combinatorial Test Suites

Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella
2012-01 FASE

Mastering combinatorial explosion with the tobias-2 test generator

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

A Model-Based Testing Approach for Security Protocols

Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
2016-01 CSE/EUC/DCABES

Clustering of Usage Traces for Regression Test Cases Selection

Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau
2022-01 ICST Workshops

Model-Based Testing Using Symbolic Animation and Machine Learning

Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam
2010-01 ICST Workshops

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
+1 more show fewer
Safouan Taha
2013-01 ICST

Constraints in Software Testing, Verification and Analysis CSTVA'2013

Cristian Cadar, Frédéric Dadeau
2013-01 ICST Workshops

Grey-Box Testing and Verification of Java/JML

Frédéric Dadeau, Fabien Peureux
2011-01 ICST Workshops

Selective Test Generation Method for Evolving Critical Systems

Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon
2011-01 ICST Workshops