The institute

FEMTO-ST

Directory

You are here

• Home
• Frédéric Dadeau

Frédéric Dadeau

DISC department
VESONTIO team

UFC - UFR ST

E-mail:

fdadeau [at] femto-st.fr

03.81.66.64.52

Address:

DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Frédéric Dadeau's publications

View all publications (65)2022 (1)2021 (2)2020 (3)2019 (2)2018 (1)2017 (1)2016 (3)2015 (3)2014 (5)2013 (2)2012 (3)2011 (7)2010 (4)2009 (6)2008 (6)2007 (9)2006 (6)2003 (1)

2022 (1)

• article - Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies
  Automatic Control and Computer Sciences (Volume 56, Issue (7), dec 2022, Pages :606 - 622)
  Dadeau, Frédéric | Gros, Jean Philippe | Kouchnarenko, Olga
  
  pdf | doi

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@inproceedings{758b46f4-afb6-4bf6-b6ff-7f1a70d3ffc2, title = {Automated Generation of Initial Configurations for Testing Component Systems}, author = {Dadeau, Fr\'ed\'eric and Gros, Jean Philippe and Kouchnarenko, Olga}, year = {2021}, address = {Grenoble (Online), France}, booktitle = {17th International Conference on Formal Aspects of Component Software (FACS 2021)}, month = {oct}, pages = {134 -152}, url = {https://publiweb.femto-st.fr/tntnet/entries/18148/documents/author/data}, volume = {13077}, doi = {10.1007/978-3-030-90636-8_8}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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
  
  pdf | doi

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@inproceedings{9774fdeb-dc34-4d9e-bb63-a4acd0b554da, title = {A Case-based Approach for introducing Testing Tools and Principles}, author = {Dadeau, Fr\'ed\'eric and Gros, Jean Philippe and Peureux, Fabien}, year = {2020}, address = {Porto, Portugal}, booktitle = {IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020)}, editor = {9774fdeb-dc34-4d9e-bb63-a4acd0b554da-editor.pdf}, month = {oct}, pages = {429 - 436}, url = {https://publiweb.femto-st.fr/tntnet/entries/16439/documents/author/data}, doi = {10.1109/ICSTW50294.2020.00077} }
• 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
  
  pdf | doi
• 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@inproceedings{58a5c38d-9650-478d-adf9-3803592da86c, title = {Identifying and Generating Missing Tests using Machine Learning on Execution Traces }, author = {Utting, Mark and Legeard, Bruno and Dadeau, Fr\'ed\'eric and Tamagnan, Fr\'ed\'eric and Bouquet, Fabrice}, year = {2020}, address = {Oxford, United Kingdom}, booktitle = {2\`eme IEEE International Conference on Artificial Intelligence Testing (IEEE AiTest 2020)}, editor = {58a5c38d-9650-478d-adf9-3803592da86c-editor.pdf}, month = {jul}, pages = {83 - 90}, url = {https://publiweb.femto-st.fr/tntnet/entries/16470/documents/author/data}, doi = {10.1109/AITEST49225.2020.00020} }

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
  
  pdf | doi
• 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
  
  pdf | doi

2018 (1)

• article - Contract-based testing for PHP with Praspel
  Journal of Systems and Software (Volume 136, feb 2018, Pages :209 - 222)
  Dadeau, Frédéric | Giorgetti, Alain | Bouquet, Fabrice | Enderlin, Ivan
  
  doi

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@inproceedings{250e04fb-b6e4-4887-918e-436a549be2fa, title = {Apprentissage de la programmation en cycle 2 avec un jeu vid\'eo collaboratif}, author = {Reffay, Christophe and Dadeau, Fr\'ed\'eric and Follet-Locatelli, Bruno and Michaud, Paul-Armand and Greffier, Fran\c{c}oise}, year = {2017}, address = {Strasbourg, France}, booktitle = {8\`eme Conf\'erence sur les Environnements Informatiques pour l'Apprentissage Humain (EIAH 2017)}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/14456/documents/author/data} }

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
  
  pdf
• 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@inproceedings{74e4d7ff-c594-4394-acf5-d1ee7db28eb5, title = {MBeeTle - un outil pour la g\'en\'eration de tests \`a-la-vol\'ee \`a l'aide de mod\`eles}, author = {Lorrain, Julien and Fourneret, Elizabeta and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2016}, address = {Besan\c{c}on, France}, booktitle = {Actes des Huiti\`emes journ\'ees nationales du Groupement De Recherche CNRS du G\'enie de la Programmation et du Logiciel}, month = {jun}, pages = {253 - 256}, url = {https://publiweb.femto-st.fr/tntnet/entries/13234/documents/author/data} }
• 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@proceedings{4f05293e-abf2-4157-a783-337b0f54a8c4, title = {Actes des Huiti\`emes journ\'ees nationales du Groupement De Recherche CNRS du G\'enie de la Programmation et du Logiciel}, author = {Dadeau, Fr\'ed\'eric and Moreau, Pierre-Etienne}, year = {2016}, month = {jun}, url = {https://publiweb.femto-st.fr/tntnet/entries/13232/documents/author/data}, organization = {CNRS - Centre national de la recherche scientifique}, publisher = {Universit\'e de Franche-Comt\'e} }

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
  
  doi
• 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{df15:oip, title = {Experience report on Model-Based Testing of Security Components}, author = {Dadeau, Fr\'ed\'eric and Fourneret, Elizabeta}, year = {2015}, address = {Sophia Antipolis, France}, booktitle = {3rd User Conference on Advanced Automated Testing (UCAAT 2015)}, month = {oct}, url = {https://publiweb.femto-st.fr/tntnet/entries/12059/documents/author/data}, publisher = {ETSI} }
• 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@inproceedings{bdfl+15:np, title = {Projet MBT_Sec -- Model-Based Testing for Security Components}, author = {Botella, Julien and Dadeau, Fr\'ed\'eric and Fourneret, Elizabeta and Legeard, Bruno and Lorrain, Julien and Sibre, Romain}, year = {2015}, address = {Bordeaux, France}, booktitle = {14\`emes Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2015)}, month = {jun}, pages = {46 - 50}, url = {https://publiweb.femto-st.fr/tntnet/entries/11860/documents/author/data} }

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{vdll+14:ip, title = {Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities}, author = {Vernotte, Alexandre and Dadeau, Fr\'ed\'eric and Lebeau, Franck and Legeard, Bruno and Peureux, Fabien and Piat, Fran\c{c}ois}, year = {2014}, address = {Hyderabad, India}, booktitle = {ICISS'14, 10-th Int. Conf. on Information Systems Security}, month = {dec}, pages = {358-377}, url = {https://publiweb.femto-st.fr/tntnet/entries/8581/documents/author/data}, volume = {8080}, doi = {10.1007/978-3-319-13841-1_20}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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@inproceedings{dw14:onp, title = {Les défis du Test Logiciel -- Bilan et Perspectives}, author = {Dadeau, Fr\'ed\'eric and Waeselynck, H\'el\`ene}, year = {2014}, address = {Paris, France}, booktitle = {Journées du GDR Génie de la Programmation du Logiciel 2014}, editor = {Dubois, Catherine and Duchien, Laurence and Levy, Nicole}, month = {jun}, pages = {177--182} }
• 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
  
  doi
• 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{dccj14:ip, title = {Coverage Criteria for Model-Based Testing using Property Patterns}, author = {Dadeau, Fr\'ed\'eric and Cabrera Castillos, Kalou and Julliand, Jacques}, year = {2014}, address = {Grenoble, France}, booktitle = {MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014}, editor = {Petrenko, A.K. and Schlingloff, H.}, month = {apr}, pages = {29--43}, volume = {141}, doi = {10.4204/EPTCS.141.3}, series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)} }
• 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@inproceedings{mdr14:ip, title = {Model-Based Vulnerability Testing of Payment Protocol Implementations}, author = {Maatoug, Ghazi and Dadeau, Fr\'ed\'eric and Rusinowitch, Michael}, year = {2014}, address = {Grenoble, France}, booktitle = {HotSpot'2014, 2nd Workshop on Hot Issues in Security Principles and Trust, affiliated with ETAPS 2014}, month = {apr}, url = {https://publiweb.femto-st.fr/tntnet/entries/7151/documents/author/data} }

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{ccdjk+13:ip, title = {A Compositional Automata-based Semantics for Property Patterns}, author = {Cabrera Castillos, Kalou and Dadeau, Fr\'ed\'eric and Julliand, Jacques and Kanso, Bilal and Taha, Safouan}, year = {2013}, address = {Turku, Finland}, booktitle = {iFM 2013, 10th International Conference on integrated Formal Methods}, editor = {Johnsen, E.B. and Petre, L.}, month = {jun}, pages = {316 - 330}, url = {https://publiweb.femto-st.fr/tntnet/entries/5951/documents/author/data}, volume = {7940}, doi = {10.1007/978-3-642-38613-8_22}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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@inproceedings{dcclt+13:ip, title = {Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool}, author = {Dadeau, Fr\'ed\'eric and Cabrera Castillos, Kalou and Ledru, Yves and Triki, Taha and Vega, German and Botella, Julien and Taha, Safouan}, year = {2013}, address = {Luxemburg, Luxemburg}, booktitle = {ICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track}, editor = {Baudry, B. and Orso, A.}, month = {mar}, pages = {431 - 438}, url = {https://publiweb.femto-st.fr/tntnet/entries/5947/documents/author/data}, doi = {10.1109/ICST.2013.60}, publisher = {IEEE} }

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
  
  pdf | doi
• 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{edgb12:ip, title = {Grammar-Based Testing using Realistic Domains in PHP}, author = {Enderlin, Ivan and Dadeau, Fr\'ed\'eric and Giorgetti, Alain and Bouquet, Fabrice}, year = {2012}, address = {Los Alamitos, CA, United States}, booktitle = {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}, month = {apr}, pages = {509--518}, url = {https://publiweb.femto-st.fr/tntnet/entries/692/documents/author/data}, doi = {10.1109/ICST.2012.136}, publisher = {IEEE} }
• 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@inproceedings{tldbd+12:ip, title = {Model-Based Filtering of Combinatorial Test Suites}, author = {Triki, Taha and Ledru, Yves and du Bousquet, Lydie and Dadeau, Fr\'ed\'eric and Botella, Julien}, year = {2012}, address = {Tallinn, Estonia}, booktitle = {FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering}, editor = {de Lara, J. and Zisman, A.}, month = {mar}, pages = {439 - 454}, url = {https://publiweb.femto-st.fr/tntnet/entries/326/documents/author/data}, volume = {7212}, doi = {10.1007/978-3-642-28872-2_30}, series = {Lecture Notes in Computer Science (LNCS)} }

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{edgbo11:ip, title = {Praspel: A Specification Language for Contract-Based Testing in PHP}, author = {Enderlin, Ivan and Dadeau, Fr\'ed\'eric and Giorgetti, Alain and Ben Othman, Abdallah}, year = {2011}, address = {Paris, France}, booktitle = {ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems}, editor = {Wolff, B. and Zaidi, F.}, month = {nov}, pages = {64--79}, volume = {7019}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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@inproceedings{ccdjt11:ip, title = {Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests}, author = {Cabrera Castillos, Kalou and Dadeau, Fr\'ed\'eric and Julliand, Jacques and Taha, Safouan}, year = {2011}, address = {Paris, France}, booktitle = {ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems}, editor = {Wolff, B. and Zaidi, F.}, month = {nov}, pages = {32--47}, volume = {7019}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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
  
  pdf | doi
• 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{fbdd11:ip, title = {Selective Test Generation Method for Evolving Critical Systems}, author = {Fourneret, Elizabeta and Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Debricon, St\'ephane}, year = {2011}, address = {Berlin, Germany}, booktitle = {REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011}, month = {mar}, pages = {125--134}, url = {http://dx.doi.org/10.1109/ICSTW.2011.95}, doi = {10.1109/ICSTW.2011.95} }
• 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{dhk11:ip, title = {Mutation-Based Test Generation from Security Protocols in HLPSL}, author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Kheddam, Rafik}, year = {2011}, address = {Berlin, Germany}, booktitle = {ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation}, editor = {Harman, M. and Korel, B.}, month = {mar}, pages = {240--248}, url = {http://dx.doi.org/10.1109/ICST.2011.42}, doi = {10.1109/ICST.2011.42} }
• 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@inproceedings{dp11:ip, title = {Grey-box Testing and Verification of Java/JML}, author = {Dadeau, Fr\'ed\'eric and Peureux, Fabien}, year = {2011}, address = {Berlin, Germany}, booktitle = {CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011}, month = {mar}, pages = {298--303}, url = {https://publiweb.femto-st.fr/tntnet/entries/298/documents/author/data}, doi = {10.1109/ICSTW.2011.30} }
• 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@incollection{dplt+10:bc, title = {Test Generation using Symbolic Animation of Models}, author = {Dadeau, Fr\'ed\'eric and Peureux, Fabien and Legeard, Bruno and Tissot, R\'egis and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice}, year = {2011}, booktitle = {Model-Based Testing for Embedded Systems}, pages = {195--218}, url = {https://publiweb.femto-st.fr/tntnet/entries/797/documents/author/data}, publisher = {CRC Press}, series = {Series on Computational Analysis, Synthesis, and Design of Dynamic Systems} }

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@inproceedings{dkdb10:ip, title = {Assessing the Quality of B Models}, author = {de Kermadec, Adrien and Dadeau, Fr\'ed\'eric and Bouquet, Fabrice}, year = {2010}, address = {Pisa, Italy}, booktitle = {SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods}, month = {sep}, pages = {83--90}, url = {http://dx.doi.org/10.1109/SEFM.2010.17}, doi = {10.1109/SEFM.2010.17} }
• techreport - Realistic Domains for Unit Tests Generation
  (sep 2010, Research Report)
  Enderlin, Ivan | Ben Othman, Abdallah | Dadeau, Frédéric | Giorgetti, Alain
  
  bibtex@techreport{ebdg10:ir, title = {Realistic Domains for Unit Tests Generation}, author = {Enderlin, Ivan and Ben Othman, Abdallah and Dadeau, Fr\'ed\'eric and Giorgetti, Alain}, year = {2010}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/119/documents/author/data} }
• 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{bddkb10:ip, title = {Building a Test-ready Abstraction of a Behavioral Model using CLP}, author = {Bu\'e, Pierre-Christophe and Dadeau, Fr\'ed\'eric and de Kermadec, Adrien and Bouquet, Fabrice}, year = {2010}, address = {Malaga, Spain}, booktitle = {TAP'10, 4-th Int. Conf. on Tests and Proofs}, editor = {Fraser, G. and Gargantini, A.}, month = {jul}, pages = {167--182}, volume = {6143}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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@inproceedings{bdh10:ip, title = {Model-Based Testing using Symbolic Animation and Machine Learning}, author = {Bu\'e, Pierre-Christophe and Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille}, year = {2010}, address = {Paris, France}, booktitle = {CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010}, month = {apr}, pages = {355--360}, url = {http://dx.doi.org/10.1109/ICSTW.2010.43}, doi = {10.1109/ICSTW.2010.43} }

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{dt09:ip, title = {jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines}, author = {Dadeau, Fr\'ed\'eric and Tissot, R\'egis}, year = {2009}, address = {York, United Kingdom}, booktitle = {MBT'09 proceedings}, editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.}, month = {oct}, pages = {117--132}, url = {http://dx.doi.org/10.1016/j.entcs.2009.09.055}, volume = {253-2}, doi = {10.1016/j.entcs.2009.09.055}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }
• inproceedings - Model-Based Testing from Behavioural Models using Constraint Logic Programming
  (2009)
  Dadeau, Frédéric
  
  pdf | bibtex@inproceedings{dadeau09:it, title = {Model-Based Testing from Behavioural Models using Constraint Logic Programming}, author = {Dadeau, Fr\'ed\'eric}, year = {2009}, month = {jul}, url = {https://publiweb.femto-st.fr/tntnet/entries/374/documents/author/data} }
• 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{dhl09:ip, title = {On the Use of Uniform Random Generation of Automata for Testing}, author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Levrey, J.}, year = {2009}, address = {York, United Kingdom}, booktitle = {MBT'09 proceedings}, editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.}, month = {mar}, pages = {37--51}, volume = {253-2}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }
• 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{bbdc+09:onp, title = {Constraint-Based Software Testing}, author = {Dadeau, Fr\'ed\'eric and Bardin, S. and Botella, Bernard and Charreteur, F. and Gotlieb, A. and Marre, B. and Michel, Christian and Rueher, M. and Williams, N.}, year = {2009}, address = {Toulouse, France}, booktitle = {Journ\'ees du GDR G\'enie de la Programmation du Logiciel 2009}, month = {jan}, pages = {204--208}, url = {https://publiweb.femto-st.fr/tntnet/entries/24/documents/author/data} }
• 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@inproceedings{dadeau09:np, title = {G\'en\'eration automatique de tests \`a partir de patrons de propri\'et\'es}, author = {Dadeau, Fr\'ed\'eric}, year = {2009}, address = {Toulouse, France}, booktitle = {AFADL'09, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jan}, pages = {177--191}, url = {https://publiweb.femto-st.fr/tntnet/entries/418/documents/author/data} }
• 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
  
  pdf | doi

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@techreport{dhj08:ir, title = {A Combination of Model-Based Testing and Random Testing Approaches using Automata}, author = {Dadeau, Fr\'ed\'eric and H\'eam, Pierre-Cyrille and Levrey, J.}, year = {2008}, month = {oct}, url = {https://publiweb.femto-st.fr/tntnet/entries/103/documents/author/data} }
• 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{ddkt08:ip, title = {Combining Scenario and Model-Based Testing to ensure POSIX Compliance}, author = {Dadeau, Fr\'ed\'eric and de Kermadec, Adrien and Tissot, R\'egis}, year = {2008}, address = {London, United Kingdom}, booktitle = {ABZ'2008, Int. Conf. on ASM, B and Z}, editor = {Borger, E. and Bowen, J. and Butler, M.}, month = {sep}, pages = {153--166}, url = {http://www.springerlink.com/content/c252x55m2040n882/}, volume = {5238}, doi = {10.1007/978-3-540-87603-8_13}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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{dlmp08:ip, title = {A Verifiable Conformance Relationship between Smart Card Applets and B Models}, author = {Dadeau, Fr\'ed\'eric and Lamboley, J. and Moutet, T. and Potet, Marie-Laure}, year = {2008}, address = {London, United Kingdom}, booktitle = {ABZ'2008, International Conference on ASM, B and Z}, editor = {Borger, E. and Bowen, J. and Butler, M.}, month = {sep}, pages = {237--250}, url = {http://www.springerlink.com/content/p6n6u55934555216/}, volume = {5238}, doi = {10.1007/978-3-540-87603-8_19}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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{dpt08:ip, title = {A B Formal Framework for Security Developments in the Domain of Smart Card Applications}, author = {Dadeau, Fr\'ed\'eric and Potet, Marie-Laure and Tissot, R\'egis}, year = {2008}, address = {Milano, Italy}, booktitle = {SEC'2008, 23rd int. Information Security Conference}, editor = {Jajodia, S. and Samarati, P.}, month = {sep}, pages = {141--155}, volume = {278}, series = {IFIP} }
• 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{djt08:oip, title = {Leirios Test Generator: from Research to Teaching, through Industry}, author = {Dadeau, Fr\'ed\'eric and Tissot, R\'egis and Julliand, Jacques}, year = {2008}, address = {Nantes, France}, booktitle = {Int. Workshop on the B Method: from Research to Teaching}, editor = {Attiogb\'e, C. and Habrias, E.}, month = {jun}, pages = {1--16}, url = {https://publiweb.femto-st.fr/tntnet/entries/624/documents/author/data} }
• 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@inproceedings{dt08:ip, title = {Teaching Model-Based Testing with Leirios Test Generator}, author = {Dadeau, Fr\'ed\'eric and Tissot, R\'egis}, year = {2008}, address = {Budapest, Hungary}, booktitle = {FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008)}, editor = {Istenes, Z.}, month = {mar}, pages = {129--138}, url = {https://publiweb.femto-st.fr/tntnet/entries/194/documents/author/data} }

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{dldb07b:bl, title = {Directed Random Reduction of Combinatorial Test Suites}, author = {Dadeau, Fr\'ed\'eric and Ledru, Yves and du Bousquet, Lydie}, year = {2007}, address = {Atlanta, USA}, booktitle = {RT'07, 2nd Int. Workshop on Random Testing, co-located with ASE'07, the 22nd IEEE/ACM Int. Conf. on Automated Software Engineering}, month = {nov}, pages = {18--25} }
• 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{lddbv+07:bl, title = {Mastering Combinatorial Explosion with the Tobias-2 Test Generator}, author = {Ledru, Yves and Dadeau, Fr\'ed\'eric and du Bousquet, Lydie and Ville, S. and Rose, E.}, year = {2007}, address = {Atlanta, USA}, booktitle = {ASE'07, 22nd IEEE/ACM Int. Conf. on Automated Software Engineering, Tool Session}, month = {nov}, pages = {535--536} }
• 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{cd07:bl, title = {Guiding the Correction of Parameterized Specifications}, author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric}, year = {2007}, address = {Oxford, UK}, booktitle = {IFM'07, 6th Int. Conf. on Integrated Formal Methods}, month = {jul}, pages = {176--194}, url = {http://dx.doi.org/10.1007/978-3-540-73210-5_10}, volume = {4591}, doi = {10.1007/978-3-540-73210-5_10}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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{dhm07:bl, title = {Test fonctionnel de conformit\'e vis-\`a-vis d'une politique de contr\^ole d'acc\`es}, author = {Dadeau, Fr\'ed\'eric and Haddad, Amal and Moutet, T.}, year = {2007}, address = {Namur, Belgique}, booktitle = {AFADL'07, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun} }
• 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{lvrdb+07:bl, title = {Tobias-2, un outil pour la ma\^itrise de tests combinatoires}, author = {Ledru, Yves and Ville, S. and Rose, E. and du Bousquet, Lydie and Dadeau, Fr\'ed\'eric}, year = {2007}, address = {Namur, Belgium}, booktitle = {AFADL'07, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels, Session outils}, month = {jun} }
• 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{dldb07a:bl, title = {Measuring the Coverage of a Java Test Suite using JML Specifications}, author = {Dadeau, Fr\'ed\'eric and Ledru, Yves and du Bousquet, Lydie}, year = {2007}, address = {Braga, Portugal}, booktitle = {MBT'07, 3rd Int. Workshop on Model-Based Testing, co-located with ETAPS'2007)}, editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.}, month = {apr}, pages = {21--32}, volume = {190}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }
• 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{ldbda07:bl, title = {A Case Study in Matching Test and Proof Coverage}, author = {Ledru, Yves and du Bousquet, Lydie and Dadeau, Fr\'ed\'eric and Allouti, F.}, year = {2007}, address = {Braga, Portugal}, booktitle = {MBT'07, 3rd Int. Workshop on Model-Based Testing, co-located with ETAPS'2007)}, editor = {Finkbeiner, B. and Gurevich, Y. and Petrenko, A.K.}, month = {apr}, pages = {73--84}, volume = {190}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }
• 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{bcdg07:ip, title = {Instantiation of Parameterized Data Structures for Model-Based Testing}, author = {Bouquet, Fabrice and Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and Giorgetti, Alain}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {96--110}, url = {https://publiweb.femto-st.fr/tntnet/entries/167/documents/author/data}, volume = {4355}, doi = {10.1007/11955757_10}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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@inproceedings{bdg07:oip, title = {JML2B: Checking JML specifications with B machines}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien}, year = {2007}, address = {Besancon, France}, booktitle = {B'2007, the 7th Int. B Conference - Tool Session}, editor = {Julliand, Jacques and Kouchnarenko, Olga}, month = {jan}, pages = {285--288}, volume = {4355}, series = {Lecture Notes in Computer Science (LNCS)} }

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{dadeau06:onp, title = {Animation de mod\`eles JML et g\'en\'eration de tests fonctionnels}, author = {Dadeau, Fr\'ed\'eric}, year = {2006}, address = {Lorient, France}, booktitle = {MAJECSTIC'06, MAnifestation de JEunes Chercheurs STIC}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/526/documents/author/data} }
• 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{bdl06:ip, title = {Automated Boundary Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, address = {Hamilton, Canada}, booktitle = {FM'06, 14th Int. Conf. on Formal Methods}, editor = {Nipkow, T. and Misra, J.}, month = {aug}, pages = {428--443}, volume = {4085}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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{bdgj06:ip, title = {Safety Property Driven Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien and Julliand, Jacques}, year = {2006}, address = {Seatte, United States}, booktitle = {1st International Workshops Formal Approaches to Software Testing and International Conference on Runtime Verification (FATES/RV 2006)}, month = {aug}, pages = {225 - 239}, url = {https://publiweb.femto-st.fr/tntnet/entries/151/documents/author/data}, volume = {4262}, doi = {10.1007/11940197_15}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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@inproceedings{bdl06:onp, title = {JML-Testing-Tools, un Animateur Symbolique de Sp\'ecifications JML}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, address = {Paris, France}, booktitle = {AFADL'06, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/522/documents/author/data} }
• 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@techreport{bdl06:ir, title = {Automated Boundary Test Generation from JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2006}, month = {mar}, url = {https://publiweb.femto-st.fr/tntnet/entries/686/documents/author/data}, institution = {LIFC - Laboratoire d'Informatique de l'Universit\'e de Franche-Comt\'e} }
• misc - JML2B - A Tool for Checking JML Specification with B Machines
  ( 2006)
  Dadeau, Frédéric | Bouquet, Fabrice | Groslambert, Julien
  
  bibtex@misc{gdb06:soft, title = {JML2B - A Tool for Checking JML Specification with B Machines}, author = {Dadeau, Fr\'ed\'eric and Bouquet, Fabrice and Groslambert, Julien}, year = {2006}, url = {http://lifc.univ-fcomte.fr/ groslambert/JML2B} }

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@inproceedings{cddg+04:ip, title = {Proving and Debugging Set-Based Specifications}, author = {Couchot, Jean-Fran\c{c}ois and Dadeau, Fr\'ed\'eric and D\'eharbe, D. and Giorgetti, Alain and Ranise, S.}, year = {2003}, address = {Campina Grande, Brazil}, booktitle = {Brazilian Workshop on Formal Methods (WMF 2003)}, editor = {cddg+04:ip-editor.pdf}, month = {oct}, pages = {189 - 208}, url = {http://dx.doi.org/10.1016/j.entcs.2004.04.012}, volume = {95}, doi = {10.1016/j.entcs.2004.04.012}, journal = {Electronic Notes in Theoretical Computer Science (ENTCS)} }