Frédéric Dadeau

Publications

136

Citations

H-Index

2007

Active since

Affiliations

Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies(Current)

Institut national de recherche en sciences et technologies du numérique

Université de franche-comté

Frédéric Dadeau is an author at Franche-Comté Électronique Mécanique Thermique et Optique - Sciences et Technologies specializing in engineering, software analysis, and software testing.

ORCID

Top concepts

EngineeringComputer ScienceSoftware TestingSoftware AnalysisProgram AnalysisTest AutomationFormal VerificationComputer EngineeringSoftware EngineeringVerification

Publications per year

2007–2020

Publications

Mutation-Based Test Generation from Security Protocols in HLPSL

Frédéric Dadeau, Pierre‐Cyrille Héam, Rafik Kheddam · 2011 · 37 citations

Engineering, Information Security, Verification +24

EWET: Data collection and interface for the genetic analysis of Echinococcus multilocularis based on EmsB microsatellite

Jenny Knapp, Sylvie Damy, Jonathan Brillaud et al. · PLoS ONE · 2017 · 22 citations · Full text

Parasitic Disease, Dispersion History, Engineering +22

Selective Test Generation Method for Evolving Critical Systems

Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau et al. · 2011 · 21 citations · Full text

Software Maintenance, Engineering, Model-based Testing Technique +22

Identifying and Generating Missing Tests using Machine Learning on Execution Traces

Mark Utting, Bruno Legeard, Frédéric Dadeau et al. · 2020 · 17 citations

Software Maintenance, Engineering, Machine Learning +19

Model‐based mutation testing from security protocols in HLPSL

Frédéric Dadeau, Pierre‐Cyrille Héam, Rafik Kheddam et al. · Software Testing Verification and Reliability · 2014 · 16 citations

Engineering, Information Security, Verification +21

Rows per page

1–5 of 7