Paper published in a book (Scientific congresses, symposiums and conference proceedings)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)
Event name :
12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Main work title :
12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Scopus citations®
without self-citations
31