E-LIB Suche - Ergebnisse für: Dadeau, Frédéric - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

Clustering of Usage Traces for Regression Test Cases Select..:

, In: 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Dorcis, Vahana ; Bouquet, Fabrice ; Dadeau, Frederic - p. 138-145 , 2022

Link: https://doi.org/10.1109/..

2

Automated Generation of Initial Configurations for Testing ..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Dadeau, Frédéric ; Gros, Jean-Philippe ; Kouchnarenko, Olga - p. 134-152 , 2021

Link: https://doi.org/10.1007/..

3

A Case-based Approach for introducing Testing Tools and Pri..:

, In: 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Dadeau, Frederic ; Gros, Jean-Philippe ; Peureux, Fabien - p. 429-436 , 2020

Link: https://doi.org/10.1109/..

4

Testing adaptation policies for software components:

Dadeau, Frédéric ; Gros, Jean-Philippe ; Kouchnarenko, Olga
Software Quality Journal. 28 (2020) 3 - p. 1347-1378 , 2020

Link: https://doi.org/10.1007/..

5

Identifying and Generating Missing Tests using Machine Lear..:

, In: 2020 IEEE International Conference On Artificial Intelligence Testing (AITest),

Utting, Mark ; Legeard, Bruno ; Dadeau, Frederic.. - p. 83-90 , 2020

Link: https://doi.org/10.1109/..

6

Complementary test selection criteria for model-based testi..:

Botella, Julien ; Capuron, Jean-François ; Dadeau, Frédéric...
International Journal on Software Tools for Technology Transfer. 21 (2018) 4 - p. 425-448 , 2018

Link: https://doi.org/10.1007/..

7

Contract-based testing for PHP with Praspel:

Dadeau, Frederic ; Giorgetti, Alain ; Bouquet, Fabrice.
Journal of Systems and Software. 136 (2018) - p. 209-222 , 2018

Link: https://doi.org/10.1016/..

8

Temporal property patterns for model-based testing from UML..:

Dadeau, Frédéric ; Fourneret, Elizabeta ; Bouchelaghem, Abir
Software & Systems Modeling. 18 (2017) 2 - p. 865-888 , 2017

Link: https://doi.org/10.1007/..

9

EWET: Data collection and interface for the genetic analysi..:

Knapp, Jenny ; Damy, Sylvie ; Brillaud, Jonathan...
PLOS ONE. 12 (2017) 10 - p. e0183849 , 2017

Link: https://doi.org/10.1371/..

10

A compositional automata-based semantics and preserving tra..:

Taha, Safouan ; Julliand, Jacques ; Dadeau, Frédéric..
Formal Aspects of Computing. 27 (2015) 4 - p. 641-664 , 2015

Link: https://doi.org/10.1007/..

11

Model‐based mutation testing from security protocols in HLP..:

Dadeau, Frédéric ; Héam, Pierre‐Cyrille ; Kheddam, Rafik..
Software Testing, Verification and Reliability. 25 (2014) 5-7 - p. 684-711 , 2014

Link: https://doi.org/10.1002/..

12

Scenario‐based testing using symbolic animation of B models:

Dadeau, Frédéric ; Castillos, Kalou Cabrera ; Tissot, Régis
Software Testing, Verification and Reliability. 22 (2012) 6 - p. 407-434 , 2012

Link: https://doi.org/10.1002/..

13

Scenario-based testing from UML/OCL behavioral models: Appl..:

Castillos, Kalou Cabrera ; Dadeau, Frédéric ; Julliand, Jacques
International Journal on Software Tools for Technology Transfer. 13 (2011) 5 - p. 431-448 , 2011

Link: https://doi.org/10.1007/..

14

jSynoPSys – A Scenario-Based Testing Tool based on the Symb..:

Dadeau, Frédéric ; Tissot, Régis
Electronic Notes in Theoretical Computer Science. 253 (2009) 2 - p. 117-132 , 2009

Link: https://doi.org/10.1016/..

15

On the Use of Uniform Random Generation of Automata for Tes..:

Dadeau, Frédéric ; Levrey, Jocelyn ; Héam, Pierre-Cyrille
Electronic Notes in Theoretical Computer Science. 253 (2009) 2 - p. 37-51 , 2009

Link: https://doi.org/10.1016/..

1-15