Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Reference : Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/42033

Title :	Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
Language :	English
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) > >]
Publication date :	2019
Main document title :	12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019
Pages :	240-251
Peer reviewed :	Yes
Audience :	International
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
Permalink :	http://hdl.handle.net/10993/42033

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Limited access	Uniform_Sampling_of_SAT_Solutions_for_Configurable_Systems__Are_We_There_Yet____footnotesize_textsuperscript__ (3).pdf		Author preprint	498.98 kB	Request a copy

All documents in ORBi^lu are protected by a user license.