Search - Archive ouverte HAL Access content directly

Filter your results

60 Results

Guiding the Correction of Parameterized Specifications

Jean-François Couchot , Frédéric Dadeau
6th international conference on integrated Formal Methods (iFM'07), Jul 2007, Oxford, United Kingdom
Conference papers inria-00329977v1
Image document

A Compositional Automata-based Semantics for Property Patterns

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand , Bilal Kanso , Safouan Taha
iFM 2013, 10th International Conference on integrated Formal Methods, Jan 2013, France. pp.316 - 330
Conference papers hal-00931093v1

TASCCC - Project and Testing Tool (poster)

Frédéric Dadeau , Kalou Cabrera Castillos , Yves Ledru , Lydie Du Bousquet , Taha Triki , et al.
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
Conference papers hal-00974765v1

Grey-Box Testing and Verification of Java/JML

Frédéric Dadeau , Fabien Peureux
3rd International Workshop on Constraints in Software Testing Verification and Analysis, Mar 2011, Berlin, Germany. pp.298-303, ⟨10.1109/ICSTW.2011.30⟩
Conference papers hal-00640381v1

Mutation-Based Test Generation from Security Protocols in HLPSL

Frédéric Dadeau , Pierre-Cyrille Héam , Rafik Kheddam
4th International Conference on Software Testing Verification and Validation (ICST'2011), Mar 2011, Berlin, Germany. ⟨10.1109/ICST.2011.42⟩
Conference papers inria-00559850v1

Using Constraint Logic Programming for the Symbolic Animation of Formal Models

Fabrice Bouquet , Frédéric Dadeau , Bruno Legeard
Proceedings of the International Workshop on Constraints in Formal Verification - CFV'05, Jul 2005, Tallinn, Estonia. pp.32-46
Conference papers inria-00329989v1

Automated Boundary Test Generation from {JML} Specifications

Fabrice Bouquet , Frédéric Dadeau , Bruno Legeard
FM'06, 14th Int. Conf. on Formal Methods, 2006, Canada. pp.428--443
Conference papers hal-00662884v1

Assessing the Quality of {B} Models

Adrien de Kermadec , Frédéric Dadeau , Fabrice Bouquet
SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods, 2010, Italy. pp.83--90
Conference papers hal-00662917v1
Image document

Praspel: Contract-Driven Testing for PHP using Realistic Domains

Ivan Enderlin , Fabrice Bouquet , Frédéric Dadeau , Alain Giorgetti
[Research Report] RR-8592, INRIA. 2014, pp.39
Reports hal-01061900v1

Test Generation using Symbolic Animation of Models

Frédéric Dadeau , Fabien Peureux , Bruno Legeard , Régis Tissot , Jacques Julliand , et al.
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
Book sections inria-00532604v1

Symbolic Animation of JML Specifications

Fabrice Bouquet , Frédéric Dadeau , Bruno Legeard , Marc Utting
International Conference on Formal Methods - FM'05, Jul 2005, Newcastle upon Tyne, United Kingdom. pp.75-90, ⟨10.1007/b27882⟩
Conference papers inria-00329983v1

Assessing the Quality of B Models

Adrien de Kermadec , Frédéric Dadeau , Fabrice Bouquet
SEFM'10 - 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. ⟨10.1109/SEFM.2010.17⟩
Conference papers inria-00532974v1
Image document

Les défis du Test Logiciel - Bilan et Perspectives

Frédéric Dadeau , Hélène Waeselynck
Journées Nationales du GDR GPL, Jun 2014, Paris, France
Conference papers hal-01953503v1

Combining Scenario- and Model-Based Testing to ensure POSIX Compliance

Frédéric Dadeau , Adrien de Kermadec , Régis Tissot
First International Conference on ASM, B and Z - ABZ'08, Sep 2008, London, United Kingdom. pp.153-166, ⟨10.1007/978-3-540-87603-8⟩
Conference papers inria-00329965v1

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities

Alexandre Vernotte , Frédéric Dadeau , Franck Lebeau , Bruno Legeard , Fabien Peureux , et al.
ICISS'14, 10th Int. Conf. on Information Systems Security, Dec 2014, Hyderabad, India
Conference papers hal-01089702v1

TASCCC - Project and Testing Tool (poster and demo)

Kalou Cabrera Castillos , Frédéric Dadeau , Yves Ledru , Lydie Du Bousquet , Taha Triki , et al.
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
Conference papers hal-00953275v1

Model-based mutation testing from security protocols in HLPSL

Frédéric Dadeau , Pierre-Cyrille Héam , Rafik Kheddam , Ghazi Maatoug , Michaël Rusinowitch
Journal of Software Testing, Verification and Reliability, 2015, pp.30. ⟨10.1002/stvr.1531⟩
Journal articles istex hal-01090881v1

Selective Test Generation Method for Evolving Critical Systems

Elizabeta Fourneret , Fabrice Bouquet , Frédéric Dadeau , Stéphane Debricon
1st International Workshop on Regression Testing, Mar 2011, Berlin, Germany. pp.125 - 134, ⟨10.1109/ICSTW.2011.95⟩
Conference papers hal-00640384v1

JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP

Fabrice Bouquet , Frédéric Dadeau , Bruno Legeard , Marc Utting
International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'05, Apr 2005, Edinburgh, United Kingdom. pp.551-556, ⟨10.1007/b107194⟩
Conference papers inria-00329995v1

Model-Based Testing using Symbolic Animation and Machine Learning

Pierre-Christophe Bué , Frédéric Dadeau , Pierre-Cyrille Héam
CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France. pp.355--360
Conference papers hal-00662918v1

Building a Test-ready Abstraction of a Behavioral Model using {CLP}

Pierre-Christophe Bué , Frédéric Dadeau , Adrien de Kermadec , Fabrice Bouquet
TAP'10, 4-th Int. Conf. on Tests and Proofs, 2010, Spain. pp.167--182
Conference papers hal-00662919v1
Image document

Model-Based Filtering of Combinatorial Test Suites

Taha Triki , Yves Ledru , Lydie Du Bousquet , Frédéric Dadeau , Julien Botella
FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Conference papers hal-00935067v1

A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property Patterns

Safouan Taha , Jacques Julliand , Frédéric Dadeau , Kalou Castillos , Bilal Kanso
Formal Aspects of Computing, 2015, 27 (4), pp.641-664. ⟨10.1007/s00165-014-0328-5⟩
Journal articles hal-01228335v1

A B Formal Framework for Security Developments in the Domain of Smart Card Applications

Frédéric Dadeau , Régis Tissot , Marie-Laure Potet
23rd International Information Security Conference - SEC'08, Sep 2008, Milano, Italy. pp.141-155, ⟨10.1007/978-0-387-09699-5⟩
Conference papers inria-00329973v1
Image document

Teaching Model-Based Testing with {L}eirios {T}est {G}enerator

Frédéric Dadeau , Régis Tissot
FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138
Conference papers hal-00563286v1

Coverage Criteria for Model-Based Testing using Property Patterns

Frédéric Dadeau , Kalou Cabrera Castillos , Jacques Julliand
MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. pp.15, ⟨10.4204/EPTCS.141.3⟩
Conference papers hal-01089687v1

Scenario-based testing from UML/OCL behavioral models Application to POSIX compliance

Kalou Cabrera Castillos , Frédéric Dadeau , Jacques Julliand
International Journal on Software Tools for Technology Transfer, 2011, VSTTE 2009, 13 (5), pp.431-448. ⟨10.1007/s10009-011-0189-7⟩
Journal articles istex hal-00640379v1

Apprentissage de la programmation en primaire : comment évaluer un jeu collaboratif ?

Christophe Reffay , Frédéric Dadeau , Françoise Greffier
IHM pour l'éducation, Aug 2017, Poitiers, France
Conference papers hal-03167539v1

Model-Based Filtering of Combinatorial Test Suites

Taha Triki , Yves Ledru , Lydie Du Bousquet , Frédéric Dadeau , Julien Botella
FASE'2012, 15th Int. Conf. on Fundamental Approaches to Software Engineering, Jan 2012, Estonia. pp.439 - 454
Conference papers hal-00935068v1
Image document

Grey-box Testing and Verification of Java/JML

Frédéric Dadeau , Fabien Peureux
CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011, 2011, Berlin, Germany. pp.298--303
Conference papers hal-01223785v1