Publications de Frederic Dadeau

Load the BibTeX file

Articles de journaux

1. F. Dadeau, A. Haddad, T. Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. Technique et Science Informatiques, 28(4):533-563, 2009.

Conférences internationales

1. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 431-438, Luxembourg, 2013. download
2. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Model-based filtering of combinatorial test suites. In Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), LNCS, Volume 7212, Pages 439-454, Tallinn, Estonia, Mars 2012.
3. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Directed random reduction of combinatorial test suites. In RT '07: Proceedings of the 2nd international workshop on Random testing, Pages 18-25, New York, NY, USA, 2007. download
4. J.-F. Couchot, F. Dadeau. Guiding the Correction of Parameterized Specifications. In 7th Int. Conf. on Integrated Formal Methods (IFM'2007), J. Davies, J. Gibbons (eds.), Pages 176-194, Oxford, UK, Juillet 2007.
5. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Measuring a Java Test Suite Coverage using JML Specifications. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, Mars 2007.
6. Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti. A Case Study in Matching Test and Proof Coverage. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, Mars 2007.

Communications avec actes

1. 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. In Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Pages 179-180, Rennes, France, 2012.
2. Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose. Mastering combinatorial explosion with the tobias-2 test generator. In 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer (eds.), Pages 535-536, 2007.
3. F. Dadeau, A. Haddad, T. Moutet. Test fonctionnel de conformité vis-à-vis d'une politique de contrôle d'accès. In AFADL'07, Approches Formelles dans l'Assistance au Développement de Logiciels, Namur, Belgique, Juin 2007. download

Autres communications

1. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie du Bousquet, Taha Triki, German Eduardo Vega Baez, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. 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, pp. 198-198, Nancy, France, 2013.
2. Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. 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, pp. 241-241, Rennes, France, 2012.