Publications

2022 (1)

2021 (2)

  • inproceedings - Automated Generation of Initial Configurations for Testing Component Systems
    17th International Conference on Formal Aspects of Component Software (FACS 2021) / Grenoble (Online), France (Volume 13077, Series Lecture Notes in Computer Science (LNCS), 2021, Pages pages 134 -152)
    Dadeau, Frédéric | Gros, Jean Philippe | Kouchnarenko, Olga
    pdf | doi | bibtex
  • article - Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies
    Modeling and Analysis of Information Systems (Volume 28, Issue (1), 2021, Pages :52 -73)
    Dadeau, Frédéric | Gros, Jean Philippe | Kouchnarenko, Olga

2020 (3)

  • inproceedings - A Case-based Approach for introducing Testing Tools and Principles
    IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 429 - 436)
    Dadeau, Frédéric | Gros, Jean Philippe | Peureux, Fabien
    pdf | doi | bibtex
  • article - Testing adaptation policies for software components
    Software Quality Journal (Volume 28, Issue (3), sep 2020, Pages :1347 - 1378)
    Dadeau, Frédéric | Gros, Jean Philippe | Kouchnarenko, Olga
  • inproceedings - Identifying and Generating Missing Tests using Machine Learning on Execution Traces
    2ème IEEE International Conference on Artificial Intelligence Testing (IEEE AiTest 2020) / Oxford, United Kingdom (2020, Pages pages 83 - 90)
    Utting, Mark | Legeard, Bruno | Dadeau, Frédéric | Tamagnan, Frédéric | Bouquet, Fabrice
    pdf | doi | bibtex

2019 (2)

  • article - Complementary test selection criteria for model-based testing of security components
    International Journal on Software Tools for Technology Transfer (STTT) (Volume 21, Issue (4), aug 2019, Pages :425 - 448)
    Botella, Julien | Capuron, Jean-François | Dadeau, Frédéric | Fourneret, Elizabeta | Legeard, Bruno | Schadle, Florence
  • article - Temporal property patterns for model-based testing from UML/OCL
    Software & Systems Modeling (Volume 18, Issue (2), apr 2019, Pages :865 - 888)
    Dadeau, Frédéric | Fourneret, Elizabeta | Bouchelaghem, Abir

2018 (1)

2017 (1)

  • inproceedings - Apprentissage de la programmation en cycle 2 avec un jeu vidéo collaboratif
    8ème Conférence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2017) / Strasbourg, France (2017)
    Reffay, Christophe | Dadeau, Frédéric | Follet-Locatelli, Bruno | Michaud, Paul-Armand | Greffier, Françoise
    pdf | bibtex

2016 (3)

  • article - Introduction du code informatique à l'école primaire - retour d'expériences
    1024 : Bulletin de la Société Informatique de France (Volume 9, nov 2016, Pages :9 - 19)
    Alavoine, Aude | Dadeau, Frédéric
  • inproceedings - 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 / Besançon, France (2016, Pages pages 253 - 256)
    Lorrain, Julien | Fourneret, Elizabeta | Dadeau, Frédéric | Legeard, Bruno
    pdf | bibtex
  • proceedings - 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é (jun 2016)
    Dadeau, Frédéric | Moreau, Pierre-Etienne
    pdf | bibtex

2015 (3)

  • article - 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
  • inproceedings - Experience report on Model-Based Testing of Security Components
    3rd User Conference on Advanced Automated Testing (UCAAT 2015) / Sophia Antipolis, France (Publisher : ETSI, 2015)
    Dadeau, Frédéric | Fourneret, Elizabeta
    pdf | bibtex
  • inproceedings - Projet MBT_Sec – Model-Based Testing for Security Components
    14èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2015) / Bordeaux, France (2015, Pages pages 46 - 50)
    Botella, Julien | Dadeau, Frédéric | Fourneret, Elizabeta | Legeard, Bruno | Lorrain, Julien | Sibre, Romain
    pdf | bibtex

2014 (5)

  • inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 358-377)
    Vernotte, Alexandre | Dadeau, Frédéric | Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Piat, François
    pdf | doi | bibtex
  • inproceedings - 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
  • article - 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
  • inproceedings - 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, Series Electronic Proceedings in Theoretical Computer Science (EPTCS), 2014, Pages pages 29--43)
    Dadeau, Frédéric | Cabrera Castillos, Kalou | Julliand, Jacques
    doi | bibtex
  • inproceedings - 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

2013 (2)

  • inproceedings - A Compositional Automata-based Semantics for Property Patterns
    iFM 2013, 10th International Conference on integrated Formal Methods / Turku, Finland (Publisher : Springer, Volume 7940, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 316 - 330)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques | Kanso, Bilal | Taha, Safouan
    pdf | doi | bibtex
  • inproceedings - 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
    pdf | doi | bibtex

2012 (3)

  • article - 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
  • inproceedings - 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
  • inproceedings - Model-Based Filtering of Combinatorial Test Suites
    FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering / Tallinn, Estonia (Volume 7212, Series Lecture Notes in Computer Science (LNCS), 2012, Pages pages 439 - 454)
    Triki, Taha | Ledru, Yves | du Bousquet, Lydie | Dadeau, Frédéric | Botella, Julien
    pdf | doi | bibtex

2011 (7)

  • inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 64--79)
    Enderlin, Ivan | Dadeau, Frédéric | Giorgetti, Alain | Ben Othman, Abdallah
    bibtex
  • inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 32--47)
    Cabrera Castillos, Kalou | Dadeau, Frédéric | Julliand, Jacques | Taha, Safouan
    bibtex
  • article - 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
  • inproceedings - 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
    pdf | doi | bibtex
  • inproceedings - 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
    pdf | doi | bibtex
  • inproceedings - 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
  • incollection - Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press, Series Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, 2011, Pages 195--218)
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex

2010 (4)

  • inproceedings - 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
    pdf | doi | bibtex
  • techreport - Realistic Domains for Unit Tests Generation
    (sep 2010, Research Report)
    Enderlin, Ivan | Ben Othman, Abdallah | Dadeau, Frédéric | Giorgetti, Alain
    bibtex
  • inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2010, Pages pages 167--182)
    Bue, Pierre-Christophe | Dadeau, Frédéric | De Kermadec, Adrien | Bouquet, Fabrice
    bibtex
  • inproceedings - 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)
    Bue, Pierre-Christophe | Dadeau, Frédéric | Heam, Pierre-Cyrille
    pdf | doi | bibtex

2009 (6)

  • inproceedings - jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines
    MBT'09 proceedings / York, United Kingdom (Volume 253-2, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2009, Pages pages 117--132)
    Dadeau, Frédéric | Tissot, Régis
    pdf | doi | bibtex
  • inproceedings - Model-Based Testing from Behavioural Models using Constraint Logic Programming
    (2009)
    Dadeau, Frédéric
    pdf | bibtex
  • inproceedings - On the Use of Uniform Random Generation of Automata for Testing
    MBT'09 proceedings / York, United Kingdom (Volume 253-2, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2009, Pages pages 37--51)
    Dadeau, Frédéric | Heam, Pierre-Cyrille | Levrey, J.
    bibtex
  • inproceedings - 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, Claude | Rueher, M. | Williams, N.
    pdf | bibtex
  • inproceedings - 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
    pdf | bibtex
  • article - 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

2008 (6)

  • techreport - A Combination of Model-Based Testing and Random Testing Approaches using Automata
    (oct 2008, Research Report)
    Dadeau, Frédéric | Heam, Pierre-Cyrille | Levrey, J.
    bibtex
  • inproceedings - Combining Scenario and Model-Based Testing to ensure POSIX Compliance
    ABZ'2008, Int. Conf. on ASM, B and Z / London, United Kingdom (Volume 5238, Series Lecture Notes in Computer Science (LNCS), 2008, Pages pages 153--166)
    Dadeau, Frédéric | Tissot, Régis | De Kermadec, Adrien
    pdf | doi | bibtex
  • inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2008, Pages pages 237--250)
    Dadeau, Frédéric | Moutet, T. | Potet, Marie-Laure | Lamboley, J.
    pdf | doi | bibtex
  • inproceedings - 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, Series IFIP, 2008, Pages pages 141--155)
    Dadeau, Frédéric | Tissot, Régis | Potet, Marie-Laure
    bibtex
  • inproceedings - 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
  • inproceedings - 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
    pdf | bibtex

2007 (9)

  • inproceedings - 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
  • inproceedings - 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
  • inproceedings - Guiding the Correction of Parameterized Specifications
    IFM'07, 6th Int. Conf. on Integrated Formal Methods / Oxford, UK (Volume 4591, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 176--194)
    Couchot, Jean-François | Dadeau, Frédéric
    pdf | doi | bibtex
  • inproceedings - 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
  • inproceedings - 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
  • inproceedings - 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, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2007, Pages pages 21--32)
    Dadeau, Frédéric | Ledru, Yves | du Bousquet, Lydie
    bibtex
  • inproceedings - 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, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2007, Pages pages 73--84)
    Dadeau, Frédéric | Ledru, Yves | Allouti, F. | du Bousquet, Lydie
    bibtex
  • inproceedings - Instantiation of Parameterized Data Structures for Model-Based Testing
    B'2007, the 7th Int. B Conference / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 96--110)
    Couchot, Jean-François | Dadeau, Frédéric | Bouquet, Fabrice | Giorgetti, Alain
    pdf | doi | bibtex
  • inproceedings - JML2B: Checking JML specifications with B machines
    B'2007, the 7th Int. B Conference - Tool Session / Besancon, France (Volume 4355, Series Lecture Notes in Computer Science (LNCS), 2007, Pages pages 285--288)
    Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
    bibtex

2006 (6)

  • inproceedings - 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
    pdf | bibtex
  • inproceedings - Automated Boundary Test Generation from JML Specifications
    FM'06, 14th Int. Conf. on Formal Methods / Hamilton, Canada (Volume 4085, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 428--443)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • inproceedings - Safety Property Driven Test Generation from JML Specifications
    1st International Workshops Formal Approaches to Software Testing and International Conference on Runtime Verification (FATES/RV 2006) / Seatte, United States (Volume 4262, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 225 - 239)
    Bouquet, Fabrice | Dadeau, Frédéric | Groslambert, Julien | Julliand, Jacques
    pdf | doi | bibtex
  • inproceedings - 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
    pdf | bibtex
  • techreport - Automated Boundary Test Generation from JML Specifications
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (mar 2006, Research Report)
    Dadeau, Frédéric | Legeard, Bruno | Bouquet, Fabrice
    bibtex
  • misc - JML2B - A Tool for Checking JML Specification with B Machines
    ( 2006)
    Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
    bibtex

2003 (1)

  • inproceedings - Proving and Debugging Set-Based Specifications
    Brazilian Workshop on Formal Methods (WMF 2003) / Campina Grande, Brazil (Volume 95, 2003, Pages pages 189 - 208)
    Couchot, Jean-François | Dadeau, Frédéric | Déharbe, D. | Giorgetti, Alain | Ranise, S.
    pdf | doi | bibtex