 |
Journal articles
Freeing Testers from Polluting Test Objectives
Michaël Marcozzi
1
Sébastien Bardin
1
Nikolai Kosmatov
1
Mike Papadakis
2
Virgile Prévosto
1
Lo\"ıc Correnson
1
LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
2
SERVAL - Security Design and Validation Research Group
SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
Michaël Marcozzi 1
Author
Sébastien Bardin 1
Author
Nikolai Kosmatov 1
Author
Mike Papadakis 2
Author
Virgile Prévosto 1
Author IdHAL : virgile-prevosto arXiv : https://arxiv.org/a/vprevosto ORCID : https://orcid.org/0000-0002-7203-0968
Lo\"ıc Correnson
Author
1
LSL - Laboratoire Sûreté des Logiciels (Laboratoire Sûreté des Logiciels /
Software Safety and Security Laboratory - France)
- DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- CEA - Commissariat à l'énergie atomique et aux énergies alternatives : DRT (Centre de Saclay Centre de Grenoble Centre de Cadarache etc - France)
- Université Paris-Saclay (Espace Technologique, Bat. Discovery - RD 128 - 2e ét., 91190 Saint-Aubin - France)
- DRT (CEA) - Direction de Recherche Technologique (CEA) : DRT/LIST (France)
- LIST - Laboratoire d'Intégration des Systèmes et des Technologies : DRT/LIST (DRT/LIST
Nano-INNOV
Avenue de la Vauve
91120 Palaiseau
- France)
2
SERVAL - Security Design and Validation Research Group (Luxembourg)
- SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg] (6, rue Richard Couhenhove-Kalergi L-1359 Luxembourg - Luxembourg)
- Uni.lu - Université du Luxembourg (6 rue Richard Coudenhove-Kalergi - L-1359 Luxembourg - Luxembourg)
Document type :
Journal articles
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01809012
Contributor : Loïc Correnson <>
Submitted on : Wednesday, June 6, 2018 - 12:16:17 PM
Last modification on : Wednesday, April 14, 2021 - 3:38:31 AM
Contributor : Loïc Correnson <>
Submitted on : Wednesday, June 6, 2018 - 12:16:17 PM
Last modification on : Wednesday, April 14, 2021 - 3:38:31 AM
Links full text
Identifiers
- HAL Id : cea-01809012, version 1
- DOI : 10.1145/3180155.3180191
Collections
CEA | CEA-UPSAY | DRT | LIST | GS-ENGINEERING
Citation
Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prévosto, et al.. Freeing Testers from Polluting Test Objectives. CoRR, 2017, abs/1708.08765, ⟨10.1145/3180155.3180191⟩. ⟨cea-01809012⟩
Metrics
Record views