Communication publiée dans un ouvrage (Colloques, congrès, conférences scientifiques et actes)Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Plazar, Quentin; Acher, Mathieu; Perrouin, Gilless et al.
2019 • In 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Peer reviewed Plazar, Quentin; Inria Rennes
Acher, Mathieu; University of Rennes 1
Perrouin, Gilless; Facultés Universitaires Notre-Dame de la Paix - Namur - FUNDP
Devroey, Xavier; TU Delft
CORDY, Maxime ;
University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) Nom de la manifestation :
12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Titre de l'ouvrage principal :
12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Nombre de vues
87 (dont 2 Unilu)
Nombre de téléchargements
1 (dont 1 Unilu)
citations Scopus®
sans auto-citations
49
