Nombre de documents

59

CV de Frédéric Dadeau


Communication dans un congrès47 documents

  • Frédéric Dadeau, Elizabeta Fourneret. Experience report on Model-Based Testing of Security Components. UCAAT 2015, 3rd User Conference on Advanced Automated Testing, Oct 2015, Sophia-Antipolis, France. 2015, <http://ucaat.etsi.org/2015/>. <hal-01244769>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Jacques Julliand. Coverage Criteria for Model-Based Testing using Property Patterns. Alexander K. Petrenko; Bernd-Holger Schlingloff. MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. 141, pp.15, 2014, EPTCS, Electronic Proceedings in Theoretical Computer Science. <10.4204/EPTCS.141.3>. <hal-01089687>
  • Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, et al.. Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. ICISS'14, 10th Int. Conf. on Information Systems Security, Dec 2014, Hyderabad, India. Springer, LNCS 8880, 2014. <hal-01089702>
  • Ghazi Maatoug, Frédéric Dadeau, Michael Rusinowitch. Model-Based Vulnerability Testing of Payment Protocol Implementations. HotSpot'14 - 2nd Workshop on Hot Issues in Security Principles and Trust, affiliated with ETAPS 2014, Apr 2014, Grenoble, France. 2014. <hal-01089682>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, et al.. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations -- The TASCCC Testing Tool. Benoit Baudry and Alessandro Orso. ICST'2013 - IEEE Sixth International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. pp.431-438, 2013, <10.1109/ICST.2013.60>. <hal-00912639>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, et al.. 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, Jan 2013, Luxembourg. pp.431 - 438, 2013. <hal-00931649>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, et al.. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. ICST2013, Mar 2013, Luxembourg, Luxembourg. pp.NC, 2013. <hal-00831534>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha. A Compositional Automata-Based Semantics for Property Patterns. 10th International Conference on integrated Formal Methods - IFM 2013, Jun 2013, Turku, Finland. Springer, 7940, pp.316-330, 2013, LNCS. <10.1007/978-3-642-38613-8_22>. <hal-00831526>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha, Bilal Kanso. A Compositional Automata-based Semantics for Property Patterns. E.B. Johnsen and L. Petre. iFM'2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. Springer, 7940, pp.316-330, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-38613-8_22>. <hal-00912628>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha. A Compositional Automata-based Semantics for Property Patterns. iFM 2013, 10th International Conference on integrated Formal Methods, Jan 2013, France. pp.316 - 330, 2013. <hal-00931093>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie Bousquet, Taha Triki, et al.. TASCCC - Project and Testing Tool (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.198, 2013. <hal-00974765>
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites. Juan de Lara, Andrea Zisman. FASE 2012 - Fundamental Aspects of Software Engineering, Mar 2012, Tallinn, Estonia. Springer, 7212, pp.439-454, 2012, Lecture Notes in Computer Science; Fundamental Approaches to Software Engineering - 15th International Conference, FASE 2012. <http://link.springer.com/chapter/10.1007%2F978-3-642-28872-2_30>. <10.1007/978-3-642-28872-2_30>. <hal-00760013>
  • Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. 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, Jan 2012, Canada. pp.509--518, 2013. <hal-00931662>
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites. FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454, 2012. <hal-00935067>
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Model-Based Filtering of Combinatorial Test Suites. FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454, 2012. <hal-00935068>
  • Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle. Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180, 2012. <hal-00953273>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie Du Bousquet, Taha Triki, et al.. TASCCC - Project and Testing Tool (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241, 2012. <hal-00953275>
  • Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet. Grammar-Based Testing using Realistic Domains in PHP. IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012, Apr 2012, Montreal, Canada. IEEE Computer Society, pp.509-518, 2012, IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), 2012. <10.1109/ICST.2012.136>. <hal-00751321>
  • Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam. Mutation-Based Test Generation from Security Protocols in HLPSL. Harman, Mark and Korel, Bodgan. 4th International Conference on Software Testing Verification and Validation (ICST'2011), Mar 2011, Berlin, Germany. IEEE Computer Society Press, 2011, ICST 2011, 4th Int. Conf. on Software Testing, Verification and Validation. <10.1109/ICST.2011.42>. <inria-00559850>
  • Frédéric Dadeau, Fabien Peureux. 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, 2011, Berlin, Germany. pp.298--303, 2011. <hal-01223785>
  • Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stéphane Debricon. Selective Test Generation Method for Evolving Critical Systems. Per Runeson and Shin Yoo. 1st International Workshop on Regression Testing, Mar 2011, Berlin, Germany. IEEE Computer Society Press, pp.125 - 134, 2011, Software Testing, Verification and Validation Workshops (ICSTW). <10.1109/ICSTW.2011.95>. <hal-00640384>
  • Frédéric Dadeau, Fabien Peureux. Grey-Box Testing and Verification of Java/JML. Arnaud Gotlieb and Gordon Fraser. 3rd International Workshop on Constraints in Software Testing Verification and Analysis, Mar 2011, Berlin, Germany. IEEE Computer Society Press, pp.298-303, 2011, Software Testing, Verification and Validation Workshops (ICSTW). <10.1109/ICSTW.2011.30>. <hal-00640381>
  • Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman. Praspel: A Specification Language for Contract-Based Testing in PHP. Burkhartt Wolff and Fatiha Zaidi. 23rd IFIP International Conference on Testing Software and Systems (ICTSS'11), Nov 2011, Paris, France. Springer-Verlag, 7019, pp.64--79, 2011, Lecture Notes in Computer Science; Testing Software and Systems. <10.1007/978-3-642-24580-0_6>. <hal-00640279>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha. Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests. Burkhartt Wolff and Fatiha Zaidi. 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. Springer-Verlag, 7019, pp.32-47, 2011, Lecture Notes in Computer Science; Testing Software and Systems. <10.1007/978-3-642-24580-0_4>. <hal-00640312>
  • Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet. Assessing the Quality of {B} Models. SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods, 2010, Italy. pp.83--90, 2010. <hal-00662917>
  • Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam. 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, 2010, France. pp.355--360, 2010. <hal-00662918>
  • Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet. Building a Test-ready Abstraction of a Behavioral Model using {CLP}. TAP'10, 4-th Int. Conf. on Tests and Proofs, 2010, Spain. pp.167--182, 2010. <hal-00662919>
  • Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet. Assessing the Quality of B Models. Maggiolo-Schettini, Andrea and Fiadeiro, José Luis and Gnesi, Stefania. SEFM'10 - 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. 2010, IEEE computer society; Proceedings Software Engineering and Formal Methods - SEFM 2010. <10.1109/SEFM.2010.17>. <inria-00532974>
  • Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam. Model-Based Testing using Symbolic Animation and Machine Learning. Fraser, Gordon and Gotlieb, Arnaud and Michel, Claude and Pretschner, Alexander. 2nd Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA'2010, Apr 2010, Paris, France. IEEE Press, 2010, Software Testing, Verification, and Validation Workshops (ICSTW), 2010 Third International Conference on Software Testing, Verification, and Validation. <10.1109/ICSTW.2010.43>. <inria-00532977>
  • Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet. Building a Test-ready Abstraction of a Behavioral Model using CLP. Fraser, Gordon and Gargantini, Angelo. 4th International Conference on Tests and Proofs - TAP 2010, Jul 2010, Malaga, Spain. Springer-Verlag, 6143, pp.167-182, 2010, Lecture Notes in Computer Science; Tests and Proofs. <10.1007/978-3-642-13977-2_14>. <inria-00532608>
  • Frédéric Dadeau, Régis Tissot. {jSynoPSys} -- A Scenario-Based Testing Tool based on the Symbolic Animation of {B} Machines. MBT'09 proceedings, 2009, United Kingdom. pp.117--132, 2009. <hal-00662911>
  • Frédéric Dadeau. 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, Jan 2009, Toulouse, France. pp.177--191, 2009. <hal-00563327>
  • Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet. A Verifiable Conformance Relationship between Smart Card Applets and B security Models. Egon Börger, Michael Butler, Jonathan P. Bowen and Paul Boca. First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. Springer Berlin / Heidelberg, 5238, pp.237-250, 2008, Lecture Notes in Computer Science; Abstract State Machines, B and Z. <10.1007/978-3-540-87603-8>. <inria-00329966>
  • Frédéric Dadeau, Adrien De Kermadec, Régis Tissot. Combining Scenario- and Model-Based Testing to ensure POSIX Compliance. Egon Börger, Michael Butler, Jonathan P. Bowen and Paul Boca. First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. Springer Berlin / Heidelberg, 5238, pp.153-166, 2008, Lecture Notes in Computer Science; Abstract State Machines, B and Z. <10.1007/978-3-540-87603-8>. <inria-00329965>
  • Frédéric Dadeau, Régis Tissot, Marie-Laure Potet. A B Formal Framework for Security Developments in the Domain of Smart Card Applications. 23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. Springer, 278, pp.141-155, 2008, IFIP. <10.1007/978-0-387-09699-5>. <inria-00329973>
  • Frédéric Dadeau, Régis Tissot. Teaching Model-Based Testing with {L}eirios {T}est {G}enerator. FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138, 2008. <hal-00563286>
  • Jean-François Couchot, Frédéric Dadeau. Guiding the Correction of Parameterized Specifications. 6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom. 4591, 2007, LNCS. <inria-00329977>
  • Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing. Jacques Julliand et Olga Kouchnarenko. 7th International Formal Specification and Development in B Conference, B 2007, Jan 2007, Besançon, France. Springer-Verlag, 4355, pp.96--110, 2007, Lecture Notes in Computer Science. <10.1007/11955757>. <hal-00563282>
  • Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard. Automated Boundary Test Generation from JML Specifications. Jayadev Misra, Tobias Nipkow and Emil Sekerinski. 14th international symposium on Formal Methods - FM'06, Aug 2006, Hamilton, Canada. Springer Berlin / Heidelberg, 4085, pp.428-443, 2006, Lecture Notes in Computer Science; FM 2006: Formal Methods. <10.1007/11813040>. <inria-00329979>
  • Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard. Automated Boundary Test Generation from {JML} Specifications. FM'06, 14th Int. Conf. on Formal Methods, 2006, Canada. pp.428--443, 2006. <hal-00662884>
  • Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand. Safety Property Driven Test Generation from {JML} Specifications. Klaus Havelund and Manuel Núñez and Grigore Rosu and Burkhart Wolff. FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification, 2006, Seattle, United States. Springer-Verlag, 4262, pp.225--239, 2006, Lecture Notes in Computer Science. <10.1007/11940197>. <hal-00563280>
  • Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert. Checking JML Specifications with B Machines. Helen Treharne, Steve King, Martin Henson and Steve Schneider. International Conference on Formal Specification and Development in Z and B - ZB'05, Apr 2005, Guildford, United Kingdom. Springer Berlin / Heidelberg, 3455, pp.434-453, 2005, Lecture Notes in Computer Science; ZB 2005: Formal Specification and Development in Z and B. <10.1007/b135596>. <inria-00329986>
  • Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Marc Utting. JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP. Nicolas Halbwachs and Lenore D. Zuck. International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'05, Apr 2005, Edinburgh, United Kingdom. Springer Berlin / Heidelberg, 3440, pp.551-556, 2005, Lecture Notes in Computer Science. <10.1007/b107194>. <inria-00329995>
  • Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Marc Utting. Symbolic Animation of JML Specifications. John Fitzgerald, Ian J. Hayes and Andrzej Tarlecki. International Conference on Formal Methods - FM'05, Jul 2005, Newcastle upon Tyne, United Kingdom. Springer Berlin / Heidelberg, 3582, pp.75-90, 2005, Lecture Notes in Computer Science; FM 2005: Formal Methods. <10.1007/b27882>. <inria-00329983>
  • Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard. How Symbolic Animation can help designing an Efficient Formal Model. Kung-Kiu Lau and Richard Banach. 7th International Conference on Formal Engineering Methods - ICFEM 2005, Nov 2005, Manchester, France. Springer Berlin / Heidelberg, 3785, pp.96-110, 2007, Lecture Notes in Computer Science; Formal Methods and Software Engineering. <10.1007/11576280>. <inria-00329938>
  • Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard. Using Constraint Logic Programming for the Symbolic Animation of Formal Models. J. Marques-Silva and M. Velev. Proceedings of the International Workshop on Constraints in Formal Verification - CFV'05, Jul 2005, Tallinn, Estonia. pp.32-46, 2005. <inria-00329989>
  • Jean-François Couchot, Frédéric Dadeau, David Déharbe, Silvio Ranise. Proving and Debugging Set-Based Specifications. 6th Brazilian Workshop on Formal Methods, May 2004, Campina Grande, Brazil. 95, pp.189-208, 2004, Electronic Notes in Theoretical Computer Science - ENTCS. <10.1016/j.entcs.2004.04.012>. <inria-00329994>

Direction d'ouvrage, Proceedings1 document

  • Frédéric Dadeau, Pascale Le Gall. Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels. Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. pp.88, 2015, <http://events.femto-st.fr/afadl-2015>. <hal-01155626>

Article dans une revue8 documents

  • Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Castillos, Bilal Kanso. A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns. FAC, Formal Aspects of Computing, 2015, 27 (4), pp.641-664. <hal-01228335>
  • Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch. Model-based mutation testing from security protocols in HLPSL. Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2015, pp.30. <10.1002/stvr.1531>. <hal-01090881>
  • Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot. Scenario-Based Testing using Symbolic Animation of B Models. Software Testing, Verification and Reliability, Wiley, 2012, 6 (22), pp.407-434. <10.1002/stvr.1467>. <hal-00760020>
  • Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand. Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2011, VSTTE 2009, 13 (5), pp.431-448. <10.1007/s10009-011-0189-7>. <hal-00640379>
  • Frédéric Dadeau, Pierre-Cyrille Héam, Jocelyn Levrey. On the Use of Uniform Random Generation of Automata for Testing. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.37-51. <10.1016/j.entcs.2009.09.050>. <inria-00429236>
  • Frédéric Dadeau, Régis Tissot. jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.117-132. <10.1016/j.entcs.2009.09.055>. <inria-00429234>
  • Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau. Automated UML models merging for web services testing. International Journal of Web and Grid Services, Inderscience, 2009, 5 (2), pp.107--129. <10.1504/IJWGS.2009.027569>. <hal-00560822>
  • Frédéric Dadeau, Amal Haddad, Thierry Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contôle d'accès. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2009, Supervision et sécurité dans les grands réseaux, 28 (4), pp.533-563. <10.3166/tsi.28.533-563>. <inria-00429230>

Rapport1 document

  • Ivan Enderlin, Fabrice Bouquet, Frédéric Dadeau, Alain Giorgetti. Praspel: Contract-Driven Testing for PHP using Realistic Domains. [Research Report] RR-8592, INRIA. 2014, pp.39. <hal-01061900>

Thèse1 document

  • Frédéric Dadeau. Evaluation Symbolique à Contraintes pour la Validation - Application à Java/JML. Génie logiciel [cs.SE]. Université de Franche-Comté, 2006. Français. <tel-00329891>

Chapitre d'ouvrage1 document

  • Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, et al.. Test Generation using Symbolic Animation of Models. Zander, Justyna and Schieferdecker, Ina and Mosterman, Pieter J. Model-Based Testing for Embedded Systems, CRC Press, 2011, Series on Computational Analysis, Synthesis, Design of Dynamic Systems, 978-1-4398184-5-9. <inria-00532604>