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
    TSI (Technique et Science Informatiques) (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 : , 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