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)} }