Frédéric Dadeau

@inproceedings{7b52869d-870a-443c-bb81-68675dd23e81, title = {Clustering of Usage Traces for Regression Test Cases Selection}, author = {Dorcis, Vahana and Bouquet, Fabrice and Dadeau, Fr\'ed\'eric}, year = {2022}, address = {Valencia, Spain}, booktitle = {15th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2022)}, editor = {7b52869d-870a-443c-bb81-68675dd23e81-editor.pdf}, month = {apr}, pages = {138 - 145}, doi = {https://doi.org/10.1109/ICSTW55395.2022.00036} }

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

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

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

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

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

@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{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} }

@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{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} }

@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{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} }

@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{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} }

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

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

@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{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{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{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} }

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

@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{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} }

@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{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{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{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{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} }

@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{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{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{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{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} }

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

@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{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{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{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} }

@inproceedings{c0177dff-357a-486a-8f76-0b079084dadd, title = {How Symbolic Animation can help designing an Efficient Formal Model}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2005}, address = {Manchester, United Kingdom}, booktitle = {Procs of the 7th Int. Conf. on Formal Engineering Methods (ICFEM'05)}, editor = {}, month = {nov}, pages = {96--110}, volume = {3785}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{3f546fdb-472c-4dc2-9897-ef6cbaa2fa4c, title = {Symbolic Animation of JML Specifications}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno and Utting, Mark}, year = {2005}, address = {Newcastle Upon Tyne, United Kingdom}, booktitle = {Procs of the Int. Conf. on Formal Methods (FM'2005)}, editor = {}, month = {jul}, pages = {75--90}, volume = {3582}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{ea2d260f-2958-454d-87be-74f683d1feb2, title = {Using Constraint Logic Programming for the Symbolic Animation of Formal Models}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno}, year = {2005}, address = {Tallinn, Estonia}, booktitle = {Procs of the Int. Workshop on Constraints in Formal Verification (CFV'05) -- Co-located with the Int. Conf. on Automated Deduction (CADE'05)}, editor = {}, month = {jul}, pages = {32--46} }

@inproceedings{674f66e3-5069-42fe-b852-94e2446b8167, title = {JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Legeard, Bruno and Utting, Mark}, year = {2005}, address = {Edinburgh, United Kingdom}, booktitle = {Procs of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Tool session (TACAS'05)}, editor = {}, month = {apr}, pages = {551--556}, volume = {3440}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

@inproceedings{cf428396-271a-4595-8cbf-f036e1e47ce2, title = {Checking JML Specifications with B Machines}, author = {Bouquet, Fabrice and Dadeau, Fr\'ed\'eric and Groslambert, Julien}, year = {2005}, address = {Guildford, United Kingdom}, booktitle = {Procs of the Int. Conf. on Formal Specification and Development in Z and B, (ZB'05)}, editor = {}, month = {apr}, pages = {435--454}, volume = {3455}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

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