Frédéric Dadeau

51 papers A* 1A 4B 6C 5Misc 2Journal 11Unranked 20

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	Clustering of Usage Traces for Regression Test Cases Selection. ICST Workshops Vahana Dorcis, Fabrice Bouquet, Frédéric Dadeau
2022	J	`jnl`	Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies. Autom. Control. Comput. Sci. Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
2021	—	`conf`	Automated Generation of Initial Configurations for Testing Component Systems. FACS Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
2020	—	`conf`	A Case-based Approach for introducing Testing Tools and Principles. ICST Workshops Frédéric Dadeau, Jean-Philippe Gros, Fabien Peureux
2020	—	`conf`	Identifying and Generating Missing Tests using Machine Learning on Execution Traces. AITest Mark Utting, Bruno Legeard, Frédéric Dadeau, Frédéric Tamagnan, Fabrice Bouquet
2020	J	`jnl`	Testing adaptation policies for software components. Softw. Qual. J. Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
2019	J	`jnl`	Complementary test selection criteria for model-based testing of security components. Int. J. Softw. Tools Technol. Transf. Julien Botella, Jean-Francois Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle
2019	J	`jnl`	Temporal property patterns for model-based testing from UML/OCL. Softw. Syst. Model. Frédéric Dadeau, Elizabeta Fourneret, Abir Bouchelaghem
2018	J	`jnl`	Contract-based testing for PHP with Praspel. J. Syst. Softw. Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet, Ivan Enderlin
2016	—	`conf`	A Model-Based Testing Approach for Security Protocols. CSE/EUC/DCABES Pierre-Cyrille Héam, Frédéric Dadeau, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
2015	J	`jnl`	A compositional automata-based semantics and preserving transformation rules for testing property patterns. Formal Aspects Comput. Safouan Taha, Jacques Julliand, Frédéric Dadeau, Kalou Cabrera Castillos, Bilal Kanso
2015	J	`jnl`	Model-based mutation testing from security protocols in HLPSL. Softw. Test. Verification Reliab. Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch
2014	—	`conf`	Coverage Criteria for Model-Based Testing using Property Patterns. MBT Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
2014	Misc	`conf`	Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. ICISS Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, François Piat
2013	B	`conf`	A Compositional Automata-Based Semantics for Property Patterns. IFM Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Bilal Kanso, Safouan Taha
2013	—	`conf`	Constraints in Software Testing, Verification and Analysis CSTVA'2013. ICST Workshops Cristian Cadar, Frédéric Dadeau
2013	A	`conf`	Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. ICST Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha
2012	A	`conf`	Grammar-Based Testing Using Realistic Domains in PHP. ICST Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Fabrice Bouquet
2012	B	`conf`	Model-Based Filtering of Combinatorial Test Suites. FASE Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella
2012	J	`jnl`	Scenario-based testing using symbolic animation of B models. Softw. Test. Verification Reliab. Frédéric Dadeau, Kalou Cabrera Castillos, Régis Tissot
2011	—	`conf`	Grey-Box Testing and Verification of Java/JML. ICST Workshops Frédéric Dadeau, Fabien Peureux
2011	C	`conf`	Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. ICTSS Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha
2011	A	`conf`	Mutation-Based Test Generation from Security Protocols in HLPSL. ICST Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam
2011	C	`conf`	Praspel: A Specification Language for Contract-Based Testing in PHP. ICTSS Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman
2011	J	`jnl`	Scenario-based testing from UML/OCL behavioral models - Application to POSIX compliance. Int. J. Softw. Tools Technol. Transf. Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand
2011	—	`conf`	Selective Test Generation Method for Evolving Critical Systems. ICST Workshops Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, Stephane Debricon
2011	—	`ch.`	Test Generation Using Symbolic Animation of Models. Model-Based Testing for Embedded Systems Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet
2010	B	`conf`	Assessing the Quality of B Models. SEFM Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet
2010	—	`conf`	Building a Test-Ready Abstraction of a Behavioral Model Using CLP. TAP@TOOLS Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet
2010	—	`conf`	Model-Based Testing Using Symbolic Animation and Machine Learning. ICST Workshops Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam
2009	J	`jnl`	Automated UML models merging for web services testing. Int. J. Web Grid Serv. Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau
2009	—	`conf`	On the Use of Uniform Random Generation of Automata for Testing. MBT@ETAPS Frédéric Dadeau, Jocelyn Levrey, Pierre-Cyrille Héam
2009	J	`jnl`	Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. Tech. Sci. Informatiques Frédéric Dadeau, Abderrahmane Haddad, Thierry Moutet
2009	—	`conf`	jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. MBT@ETAPS Frédéric Dadeau, Régis Tissot
2008	Misc	`conf`	A B Formal Framework for Security Developments in the Domain of Smart Card Applications. SEC Frédéric Dadeau, Marie-Laure Potet, Régis Tissot
2008	C	`conf`	A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. ABZ Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet
2008	C	`conf`	Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. ABZ Frédéric Dadeau, Adrien De Kermadec, Régis Tissot
2007	—	`conf`	A Case Study in Matching Test and Proof Coverage. MBT Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti
2007	B	`conf`	Guiding the Correction of Parameterized Specifications. IFM Jean-François Couchot, Frédéric Dadeau
2007	—	`conf`	Instantiation of Parameterized Data Structures for Model-Based Testing. B Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, Alain Giorgetti
2007	—	`conf`	JML2B: Checking JML Specifications with B Machines. B Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
2007	A*	`conf`	Mastering combinatorial explosion with the tobias-2 test generator. ASE Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose
2007	—	`conf`	Measuring a Java Test Suite Coverage Using JML Specifications. MBT Frédéric Dadeau, Yves Ledru, Lydie du Bousquet
2006	B	`conf`	Automated Boundary Test Generation from JML Specifications. FM Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
2006	—	`—`	Evaluation Symbolique à Contraintes pour la Validation - Application à Java/JML. (Constrained Symbolic Evaluation for Validation - Application to Java/JML). Frédéric Dadeau
2006	—	`conf`	Safety Property Driven Test Generation from. FATES/RV Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand
2005	—	`conf`	Checking JML Specifications with B Machines. ZB Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert
2005	C	`conf`	How Symbolic Animation Can Help Designing an Efficient Formal Model. ICFEM Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard
2005	A	`conf`	JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
2005	B	`conf`	Symbolic Animation of JML Specifications. FM Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
2003	—	`conf`	Proving and Debugging Set-Based Specifications. WMF Jean-François Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise