EWET: Data collection and interface for the genetic analysis of Echinococcus multilocularis based on EmsB microsatellite.

Autor: Jenny Knapp, Sylvie Damy, Jonathan Brillaud, Jean-Daniel Tissot, Jérémy Navion, Raphael Mélior, Eve Afonso, Vanessa Hormaz, Bruno Gottstein, Gérald Umhang, Adriano Casulli, Frédéric Dadeau, Laurence Millon, Francis Raoul

Publikováno v: PLoS ONE, Vol 12, Iss 10, p e0183849 (2017)

Evolution and dispersion history on Earth of organisms can best be studied through biological markers in molecular epidemiological studies. The biological diversity of the cestode Echinococcus multilocularis was investigated in different cladistic ap

Externí odkaz: https://doaj.org/article/066d2876b4104b22a4e762f402f65e4e

Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies

Autor: Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko

Publikováno v: Modelirovanie i Analiz Informacionnyh Sistem, Vol 28, Iss 1, Pp 52-73 (2021)
Modeling and Analysis of Information Systems
Modeling and Analysis of Information Systems, 2021, 28 (1), pp.52-73

International audience; Self-adaptation of complex systems is a very active domain of research with numerous application domains. Component systems are designed as sets of components that may reconfigure themselves according to adaptation policies, w

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f79a8a7214c4cb05631a2273e17b729
https://www.mais-journal.ru/jour/article/view/1472

A Case-based Approach for introducing Testing Tools and Principles

Autor: Frédéric Dadeau, Fabien Peureux, Jean-Philippe Gros

Publikováno v: International Conference on Software Testing, Verification and Validation Workshops 2020
International Conference on Software Testing, Verification and Validation Workshops
International Conference on Software Testing, Verification and Validation Workshops, Oct 2020, Porto, Portugal
ICST Workshops

International audience; We present, in this paper, teaching material and experience report on teaching software testing to 3rd year bachelor's degree students. Our approach covers a wide range of techniques from unit testing, to functional testing, t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec745180da6c9d5ed2cd487494a2ec39
https://hal.archives-ouvertes.fr/hal-03221897

Testing adaptation policies for software components

Autor: Jean-Philippe Gros, Frédéric Dadeau, Olga Kouchnarenko

Publikováno v: Software Quality Journal
Software Quality Journal, 2020, 28 (3), pp.1347-1378

International audience; Self-adaptive systems have to implement adaptation policies described by sets of rules that express how the components are reconfigured within the system, the priority of a given reconfiguration to happen, when a given (sequen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c9dbed66bd23f52bc3cc884d570296d
https://hal.archives-ouvertes.fr/hal-03186604/document

Temporal property patterns for model-based testing from UML/OCL

Autor: Elizabeta Fourneret, Frédéric Dadeau, Abir Bouchelaghem

Publikováno v: Software & Systems Modeling
Software & Systems Modeling, 2019, 18 (2), pp.865-888

International audience; This article describes a new property- and model-based testing approach using UML/OCL models, driven by temporal property patterns and a tool for assisting the temporal properties formalization. The patterns are expressed in t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe729c6818221f9d3d9e93b32f547c39
https://doi.org/10.1007/s10270-017-0635-4