Follow
Frederic Dadeau
Frederic Dadeau
Assistant professor of Computer Science, University of Franche-Comte
Verified email at univ-fcomte.fr
Title
Cited by
Cited by
Year
Mutation-based test generation from security protocols in HLPSL
F Dadeau, PC Héam, R Kheddam
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
542011
Symbolic animation of JML specifications
F Bouquet, F Dadeau, B Legeard, M Utting
International Symposium on Formal Methods, 75-90, 2005
442005
Automated boundary test generation from JML specifications
F Bouquet, F Dadeau, B Legeard
International Symposium on Formal Methods, 428-443, 2006
382006
Selective test generation method for evolving critical systems
E Fourneret, F Bouquet, F Dadeau, S Debricon
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
292011
JML-testing-tools: A symbolic animator for JML specifications using CLP
F Bouquet, F Dadeau, B Legeard, M Utting
Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005
262005
Checking JML specifications with B machines
F Bouquet, F Dadeau, J Groslambert
ZB 2005: Formal Specification and Development in Z and B: 4th International …, 2005
252005
EWET: Data collection and interface for the genetic analysis of Echinococcus multilocularis based on EmsB microsatellite
J Knapp, S Damy, J Brillaud, JD Tissot, J Navion, R Mélior, E Afonso, ...
PLoS One 12 (10), e0183849, 2017
242017
Model‐based mutation testing from security protocols in HLPSL
F Dadeau, PC Héam, R Kheddam, G Maatoug, M Rusinowitch
Software Testing, Verification and Reliability 25 (5-7), 684-711, 2015
232015
Mastering combinatorial explosion with the tobias-2 test generator
Y Ledru, F Dadeau, L du Bousquet, S Ville, E Rose
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007
232007
A compositional automata-based semantics for property patterns
KC Castillos, F Dadeau, J Julliand, B Kanso, S Taha
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku …, 2013
212013
jSynoPSys–a scenario-based testing tool based on the symbolic animation of B machines
F Dadeau, R Tissot
Electronic Notes in Theoretical Computer Science 253 (2), 117-132, 2009
212009
Proving and debugging set-based specifications
JF Couchot, F Dadeau, D Déharbe, A Giorgetti, S Ranise
Electronic Notes in Theoretical Computer Science 95, 189-208, 2004
212004
Safety Property Driven Test Generation from JML Specifications
F Bouquet, F Dadeau, J Groslambert, J Julliand
Formal Approaches to Software Testing and Runtime Verification: First …, 2006
172006
Identifying and generating missing tests using machine learning on execution traces
M Utting, B Legeard, F Dadeau, F Tamagnan, F Bouquet
2020 IEEE International Conference On Artificial Intelligence Testing …, 2020
162020
Combining scenario-and model-based testing to ensure posix compliance
F Dadeau, A De Kermadec, R Tissot
Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008
162008
Efficient detection of multi-step cross-site scripting vulnerabilities
A Vernotte, F Dadeau, F Lebeau, B Legeard, F Peureux, F Piat
Information Systems Security: 10th International Conference, ICISS 2014 …, 2014
152014
Praspel: A specification language for contract-based testing in php
I Enderlin, F Dadeau, A Giorgetti, A Ben Othman
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference …, 2011
152011
Directed random reduction of combinatorial test suites
F Dadeau, Y Ledru, L Du Bousquet
Proceedings of the 2nd international workshop on Random testing: co-located …, 2007
142007
A compositional automata-based semantics and preserving transformation rules for testing property patterns
S Taha, J Julliand, F Dadeau, KC Castillos, B Kanso
Formal Aspects of Computing 27, 641-664, 2015
132015
Measuring test properties coverage for evaluating UML/OCL model-based tests
K Cabrera Castillos, F Dadeau, J Julliand, S Taha
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference …, 2011
132011
The system can't perform the operation now. Try again later.
Articles 1–20