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.
2019In 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Peer reviewed
 

Files


Full Text
Uniform_Sampling_of_SAT_Solutions_for_Configurable_Systems__Are_We_There_Yet____footnotesize_textsuperscript__ (3).pdf
Author preprint (510.96 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
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)
External co-authors :
yes
Language :
English
Title :
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Publication date :
2019
Event name :
12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Event date :
from 22-04-2019 to 27-04-2019
Audience :
International
Main work title :
12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Pages :
240-251
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 24 January 2020

Statistics


Number of views
53 (2 by Unilu)
Number of downloads
1 (1 by Unilu)

Scopus citations®
 
46
Scopus citations®
without self-citations
31
WoS citations
 
29

Bibliography


Similar publications



Contact ORBilu