Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Frédéric Dadeau

Informatique

DISC
Equipe : VESONTIO
UFC - UFR ST

Enseignant-Chercheur

Je suis maître de conférences dans l'équipe VESONTIO, où je contribue à l'axe "Test", en proposant des approches de génération de test à partir de modèles basées sur des scénarios symboliques, des propriétés ou de mutations.

Parallèlement, je suis rattaché au département des enseignements informatique de l'UFR Sciences et Techniques. Depuis septembre 2011, j'ai la responsabilité de la Licence Informatique où j'effectue la majorité de mes enseignements. Depuis septembre 2014, j'assure également le responsabilité du Cursus Master en Ingénierie, mention Informatique, qui s'appuie sur cette Licence.

Pour plus d'informations, consultez ma page personnelle.

Sites projet/contrat auxquels je participe

Sites événementiels auxquels je participe

Vous trouverez ici la liste de mes publications. Si vous êtes intéressés par l'une d'entre elles, et ne pouvez pas en obtenir une copie, n'hésitez pas à me contacter

Listes des publications :

Category article
2015
  • A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns
    Formal Aspects of Computing (Volume 27, Issue (4), dec 2015, Pages :641-664)
    Taha, Safouan | Julliand, Jacques | Dadeau, Frédéric | Cabrera Castillos, Kalou | Kanso, Bilal
    doi | bibtex
2014
  • Model-Based Mutation Testing from Security Protocols in HLPSL
    Software Testing, Verification and Reliability (Volume 25, Issue (5-7), apr 2014, Pages :684--711)
    Dadeau, Frédéric | Heam, Pierre-Cyrille | Kheddam, Rafik | Maatoug, Ghazi | Rusinowitch, Michael
    doi | bibtex
2012
  • Scenario-Based Testing using Symbolic Animation of B Models
    Software Testing, Verification and Reliability (Volume 22, Issue (6), sep 2012, Pages :407--434)
    Dadeau, Frédéric | Cabrera Castillos, Kalou | Tissot, Régis
    pdf | doi | bibtex
2011
  • Scenario-Based Testing from UML/OCL Behavioral Models -- Application to POSIX Compliance
    International Journal on Software Tools for Technology Transfer (STTT) (Volume 13, Issue (5), oct 2011, Pages :431 - 448)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques
    doi | bibtex
2009
  • Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès
    Technique et Science Informatiques (TSI) (Volume 28, Issue (4), apr 2009, Pages :533 - 563)
    Dadeau, Frédéric | Haddad, Amal | Moutet, T.
    doi | bibtex
  • Automated UML models merging for web services testing
    International Journal of Web and Grid Services (IJWGS) (Volume 5, Issue (2), 2009, Pages :107 - 129)
    Pretre, Vincent | De Kermadec, Adrien | Bouquet, Fabrice | Lang, Christophe | Dadeau, Frédéric
    pdf | doi | bibtex
Category incollection
2011
  • Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press / , Volume , Issue , Edition : , Series , Chapter , 2011, Pages 195--218, )
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex
Category inproceedings
2016
  • MBeeTle - un outil pour la génération de tests à-la-volée à l'aide de modèles
    Actes des Huitièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (2016, Pages pages 253 - 256)
    Lorrain, Julien | Fourneret, Elizabeta | Dadeau, Frédéric | Legeard, Bruno
    pdf | bibtex
2015
  • Projet MBT_Sec – Model-Based Testing for Security Components
    AFADL'15, 14èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels / Bordeaux, France (2015, Pages pages 46 - 50)
    Botella, Julien | Dadeau, Frédéric | Fourneret, Elizabeta | Legeard, Bruno | Lorrain, Julien | Sibre, Romain
    pdf | bibtex
  • Experience report on Model-Based Testing of Security Components
    UCAAT 2015, 3rd User Conference on Advanced Automated Testing / Sophia Antipolis, France (Publisher : ETSI, 2015)
    Dadeau, Frédéric | Fourneret, Elizabeta
    bibtex
2014
  • Coverage Criteria for Model-Based Testing using Property Patterns
    MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014 / Grenoble, France (Volume 141, 2014, Pages pages 29--43)
    Dadeau, Frédéric | Cabrera Castillos, Kalou | Julliand, Jacques
    doi | bibtex
  • Model-Based Vulnerability Testing of Payment Protocol Implementations
    HotSpot'2014, 2nd Workshop on Hot Issues in Security Principles and Trust, affiliated with ETAPS 2014 / Grenoble, France (2014)
    Maatoug, Ghazi | Dadeau, Frédéric | Rusinowitch, Michael
    pdf | bibtex
  • Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
    ICISS'14, 10-th Int. Conf. on Information Systems Security / Hyderabad, India (Publisher : Springer, Volume 8080, 2014, Pages pages 358-377)
    Vernotte, Alexandre | Dadeau, Frédéric | Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Piat, François
    doi | bibtex
  • Les défis du Test Logiciel -- Bilan et Perspectives
    Journées du GDR Génie de la Programmation du Logiciel 2014 / Paris, France (2014, Pages pages 177--182)
    Dadeau, Frédéric | Waeselynck, Hélène
    bibtex
2013
  • Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool
    ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track / Luxemburg, Luxemburg (Publisher : IEEE, 2013, Pages pages 431 - 438)
    Dadeau, Frédéric | Cabrera Castillos, Kalou | Ledru, Yves | Triki, Taha | Vega, German | Botella, Julien | Taha, Safouan
    doi | bibtex
  • A Compositional Automata-based Semantics for Property Patterns
    iFM 2013, 10th International Conference on integrated Formal Methods / Turku, Finland (Publisher : Springer, Volume 7940, 2013, Pages pages 316 - 330)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques | Kanso, Bilal | Taha, Safouan
    pdf | doi | bibtex
2012
  • Model-Based Filtering of Combinatorial Test Suites
    FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering / Tallinn, Estonia (Volume 7212, 2012, Pages pages 439 - 454)
    Triki, Taha | Ledru, Yves | du Bousquet, Lydie | Dadeau, Frédéric | Botella, Julien
    doi | bibtex
  • Grammar-Based Testing using Realistic Domains in PHP
    A-MOST 2012, 8th Workshop on Advances in Model Based Testing, joint to the ICST'12 IEEE Int. Conf. on Software Testing, Verification and Validation / Los Alamitos, CA, United States (Publisher : IEEE, 2012, Pages pages 509--518)
    Enderlin, Ivan | Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice
    pdf | doi | bibtex
2011
  • Selective Test Generation Method for Evolving Critical Systems
    REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011 / Berlin, Germany (2011, Pages pages 125--134)
    Fourneret, Elizabeta | Bouquet, Fabrice | Dadeau, Frédéric | Debricon, Stéphane
    doi | bibtex
  • Mutation-Based Test Generation from Security Protocols in HLPSL
    ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation / Berlin, Germany (2011, Pages pages 240--248)
    Dadeau, Frédéric | Heam, Pierre-Cyrille | Kheddam, Rafik
    doi | bibtex
  • Grey-box Testing and Verification of Java/JML
    CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011 / Berlin, Germany (2011, Pages pages 298--303)
    Dadeau, Frédéric | Peureux, Fabien
    pdf | doi | bibtex
  • Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests
    ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems / Paris, France (Volume 7019, 2011, Pages pages 32--47)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques | Taha, Safouan
    bibtex
  • Praspel: A Specification Language for Contract-Based Testing in PHP
    ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems / Paris, France (Publisher : Springer, Volume 7019, 2011, Pages pages 64--79)
    Enderlin, Ivan | Dadeau, Frédéric | Giorgetti, Alain | Ben Othman, Abdallah
    bibtex
2010
  • Building a Test-ready Abstraction of a Behavioral Model using CLP
    TAP'10, 4-th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, 2010, Pages pages 167--182)
    Bué, Pierre-Christophe | Dadeau, Frédéric | De Kermadec, Adrien | Bouquet, Fabrice
    bibtex
  • Model-Based Testing using Symbolic Animation and Machine Learning
    CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010 / Paris, France (2010, Pages pages 355--360)
    Bué, Pierre-Christophe | Dadeau, Frédéric | Heam, Pierre-Cyrille
    doi | bibtex
  • Assessing the Quality of B Models
    SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods / Pisa, Italy (2010, Pages pages 83--90)
    De Kermadec, Adrien | Dadeau, Frédéric | Bouquet, Fabrice
    doi | bibtex
2009
  • Constraint-Based Software Testing
    Journées du GDR Génie de la Programmation du Logiciel 2009 / Toulouse, France (2009, Pages pages 204--208)
    Dadeau, Frédéric | Bardin, S. | Botella, Bernard | Charreteur, F. | Gotlieb, A. | Marre, B. | Michel, C. | Rueher, M. | Williams, N.
    bibtex
  • jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
    MBT'09 proceedings / York, United Kingdom (Volume 253-2, 2009, Pages pages 117--132)
    Dadeau, Frédéric | Tissot, Régis
    doi | bibtex
  • On the Use of Uniform Random Generation of Automata for Testing
    MBT'09 proceedings / York, United Kingdom (Volume 253-2, 2009, Pages pages 37--51)
    Dadeau, Frédéric | Heam, Pierre-Cyrille | Levrey, J.
    bibtex
  • Génération automatique de tests à partir de patrons de propriétés
    AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels / Toulouse, France (2009, Pages pages 177--191)
    Dadeau, Frédéric
    bibtex
2008
  • Teaching Model-Based Testing with Leirios Test Generator
    FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008) / Budapest, Hungary (2008, Pages pages 129--138)
    Dadeau, Frédéric | Tissot, Régis
    bibtex
  • Combining Scenario and Model-Based Testing to ensure POSIX Compliance
    ABZ'2008, Int. Conf. on ASM, B and Z / London, United Kingdom (Volume 5238, 2008, Pages pages 153--166)
    Dadeau, Frédéric | Tissot, Régis | De Kermadec, Adrien
    doi | bibtex
  • A Verifiable Conformance Relationship between Smart Card Applets and B Models
    ABZ'2008, International Conference on ASM, B and Z / London, United Kingdom (Volume 5238, 2008, Pages pages 237--250)
    Dadeau, Frédéric | Moutet, T. | Potet, Marie-Laure | Lamboley, J.
    doi | bibtex
  • Leirios Test Generator: from Research to Teaching, through Industry
    Int. Workshop on the B Method: from Research to Teaching / Nantes, France (2008, Pages pages 1--16)
    Dadeau, Frédéric | Tissot, Régis | Julliand, Jacques
    pdf | bibtex
  • A B Formal Framework for Security Developments in the Domain of Smart Card Applications
    SEC'2008, 23rd int. Information Security Conference / Milano, Italy (Volume 278, 2008, Pages pages 141--155)
    Dadeau, Frédéric | Tissot, Régis | Potet, Marie-Laure
    bibtex
2007
  • Guiding the Correction of Parameterized Specifications
    IFM'07, 6th Int. Conf. on Integrated Formal Methods / Oxford, UK (Volume 4591, 2007, Pages pages 176--194)
    Couchot, Jean-François | Dadeau, Frédéric
    doi | bibtex
  • Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès
    AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels / Namur, Belgique (2007)
    Dadeau, Frédéric | Haddad, Amal | Moutet, T.
    bibtex
  • Tobias-2, un outil pour la ma\^itrise de tests combinatoires
    AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels, Session outils / Namur, Belgium (2007)
    Dadeau, Frédéric | Ledru, Yves | Ville, S. | Rose, E. | du Bousquet, Lydie
    bibtex
  • Instantiation of Parameterized Data Structures for Model-Based Testing
    B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, 2007, Pages pages 96--110)
    Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
    doi | bibtex
  • Measuring the Coverage of a Java Test Suite using JML Specifications
    MBT'07, 3rd Int. Workshop on Model-Based Testing, co-located with ETAPS'2007) / Braga, Portugal (Volume 190, 2007, Pages pages 21--32)
    Dadeau, Frédéric | Ledru, Yves | du Bousquet, Lydie
    bibtex
  • Directed Random Reduction of Combinatorial Test Suites
    RT'07, 2nd Int. Workshop on Random Testing, co-located with ASE'07, the 22nd IEEE/ACM Int. Conf. on Automated Software Engineering / Atlanta, USA (2007, Pages pages 18--25)
    Dadeau, Frédéric | Ledru, Yves | du Bousquet, Lydie
    bibtex
  • A Case Study in Matching Test and Proof Coverage
    MBT'07, 3rd Int. Workshop on Model-Based Testing, co-located with ETAPS'2007) / Braga, Portugal (Volume 190, 2007, Pages pages 73--84)
    Dadeau, Frédéric | Ledru, Yves | Allouti, F. | du Bousquet, Lydie
    bibtex
  • Mastering Combinatorial Explosion with the Tobias-2 Test Generator
    ASE'07, 22nd IEEE/ACM Int. Conf. on Automated Software Engineering, Tool Session / Atlanta, USA (2007, Pages pages 535--536)
    Dadeau, Frédéric | Ledru, Yves | Ville, S. | Rose, E. | du Bousquet, Lydie
    bibtex
  • JML2B: Checking JML specifications with B machines
    B'2007, the 7th Int. B Conference - Tool Session / Besancon, France (Volume 4355, 2007, Pages pages 285--288)
    Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
    bibtex
2006
  • Automated Boundary Test Generation from JML Specifications
    FM'06, 14th Int. Conf. on Formal Methods / Hamilton, Canada (Volume 4085, 2006, Pages pages 428--443)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • Safety Property Driven Test Generation from JML Specifications
    FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification / Seattle, WA, United States (Volume 4262, 2006, Pages pages 225--239)
    Dadeau, Frédéric | Bouquet, Fabrice | Julliand, Jacques | Groslambert, Julien
    bibtex
  • JML-Testing-Tools, un Animateur Symbolique de Spécifications JML
    AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels / Paris, France (2006)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • Animation de modèles JML et génération de tests fonctionnels
    MAJECSTIC'06, MAnifestation de JEunes Chercheurs STIC / Lorient, France (2006)
    Dadeau, Frédéric
    bibtex
2005
  • JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP
    Procs of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Tool session (TACAS'05) / Edinburgh, United Kingdom (Publisher : Springer, Volume 3440, 2005, Pages pages 551--556)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno | Utting, Mark
    bibtex
  • Checking JML Specifications with B Machines
    Procs of the Int. Conf. on Formal Specification and Development in Z and B, (ZB'05) / Guildford, United Kingdom (Publisher : Springer, Volume 3455, 2005, Pages pages 435--454)
    Bouquet, Fabrice | Dadeau, Frédéric | Groslambert, Julien
    bibtex
  • Symbolic Animation of JML Specifications
    Procs of the Int. Conf. on Formal Methods (FM'2005) / Newcastle Upon Tyne, United Kingdom (Publisher : Springer, Volume 3582, 2005, Pages pages 75--90)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno | Utting, Mark
    bibtex
  • How Symbolic Animation can help designing an Efficient Formal Model
    Procs of the 7th Int. Conf. on Formal Engineering Methods (ICFEM'05) / Manchester, United Kingdom (Publisher : Springer, Volume 3785, 2005, Pages pages 96--110)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno
    bibtex
  • Using Constraint Logic Programming for the Symbolic Animation of Formal Models
    Procs of the Int. Workshop on Constraints in Formal Verification (CFV'05) -- Co-located with the Int. Conf. on Automated Deduction (CADE'05) / Tallinn, Estonia (2005, Pages pages 32--46)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno
    bibtex
2004
  • Proving and Debugging Set-Based Specifications
    WMF'03 proceedings / Campina Grande, Brazil (Volume 95, 2004, Pages pages 189--208)
    Couchot, Jean-François | Dadeau, Frédéric | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    bibtex
Category misc
2009
  • Model-Based Testing from Behavioural Models using Constraint Logic Programming
    École d'été TAROT'2009, Training And Research On Testing (jul 2009)
    Dadeau, Frédéric
    bibtex
2006
  • JML2B - A Tool for Checking JML Specification with B Machines
    ( 2006)
    Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
    bibtex
2004
  • Animateur JML-Testing-Tools
    ( 2004)
    Dadeau, Frédéric | Bouquet, Fabrice | Legeard, Bruno
    bibtex
Category phdthesis
2006
  • Évaluation symbolique à contraintes pour la validation - Application à Java/JML
    (jul 2006, Thèse de {D}octorat)
    Dadeau, Frédéric
    pdf | bibtex
Category proceedings
2016
  • Actes des Huitièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel
    CNRS - Centre national de la recherche scientifique, Université de Franche-Comté / (Editor : Dadeau, Frédéric and Moreau, Pierre-Etienne, jun 2016)
    Dadeau, Frédéric | Moreau, Pierre-Etienne
    pdf | bibtex
Category techreport
2010
  • Realistic Domains for Unit Tests Generation
    (sep 2010, Research Report, Number RR2010-01)
    Enderlin, Ivan | Ben Othman, Abdallah | Dadeau, Frédéric | Giorgetti, Alain
    bibtex
2008
  • A Combination of Model-Based Testing and Random Testing Approaches using Automata
    (oct 2008, Research Report, Number RR2008-10)
    Dadeau, Frédéric | Heam, Pierre-Cyrille | Levrey, J.
    bibtex
2006
  • Automated Boundary Test Generation from JML Specifications
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (mar 2006, Research Report, Number RR2006-03)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
2004
  • JML-Testing-Tools - A symbolic animator for JML specifications
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (nov 2004, Technical Report, Number RT2004-05)
    Bouquet, Fabrice | Dadeau, Frédéric | Legeard, Bruno
    bibtex
  • Checking JML specifications with B machines
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (nov 2004, Research Report, Number RR2004-12)
    Bouquet, Fabrice | Dadeau, Frédéric | Groslambert, Julien
    bibtex
2003
  • Vérification de machines abstraites B en logique monadique du second ordre
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (oct 2003, Rapport de Recherche, Number RR2003-01)
    Dadeau, Frédéric | Giorgetti, Alain
    bibtex