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
462011
Symbolic animation of JML specifications
F Bouquet, F Dadeau, B Legeard, M Utting
International Symposium on Formal Methods, 75-90, 2005
432005
Automated boundary test generation from JML specifications
F Bouquet, F Dadeau, B Legeard
International Symposium on Formal Methods, 428-443, 2006
372006
Checking JML specifications with B machines
F Bouquet, F Dadeau, J Groslambert
International Conference of B and Z Users, 434-453, 2005
252005
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
242011
Mastering combinatorial explosion with the tobias-2 test generator
Y Ledru, F Dadeau, L du Bousquet, S Ville, E Rose
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
232007
JML-testing-tools: A symbolic animator for JML specifications using CLP
F Bouquet, F Dadeau, B Legeard, M Utting
International Conference on Tools and Algorithms for the Construction and …, 2005
232005
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
202004
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
192009
A compositional automata-based semantics for property patterns
KC Castillos, F Dadeau, J Julliand, B Kanso, S Taha
International Conference on Integrated Formal Methods, 316-330, 2013
172013
Safety Property Driven Test Generation from JML Specifications
F Bouquet, F Dadeau, J Groslambert, J Julliand
Formal Approaches to Software Testing and Runtime Verification, 225-239, 2006
172006
Praspel: A specification language for contract-based testing in php
I Enderlin, F Dadeau, A Giorgetti, AB Othman
IFIP International Conference on Testing Software and Systems, 64-79, 2011
152011
Combining scenario-and model-based testing to ensure posix compliance
F Dadeau, A De Kermadec, R Tissot
International Conference on Abstract State Machines, B and Z, 153-166, 2008
142008
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
132017
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
132015
Measuring test properties coverage for evaluating UML/OCL model-based tests
KC Castillos, F Dadeau, J Julliand, S Taha
IFIP International Conference on Testing Software and Systems, 32-47, 2011
132011
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
132007
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 (4), 641-664, 2015
122015
Constraint-based software testing
S Bardin, B Botella, F Dadeau, F Charreteur, A Gotlieb, B Marre, C Michel, ...
Journée du GDR-GPL 9, 1, 2009
122009
Efficient detection of multi-step cross-site scripting vulnerabilities
A Vernotte, F Dadeau, F Lebeau, B Legeard, F Peureux, F Piat
International Conference on Information Systems Security, 358-377, 2014
112014
The system can't perform the operation now. Try again later.
Articles 1–20