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

Abstract

Publication
ICST 2019 - 12th IEEE International Conference on Software Testing, Verification, and Validation, IEEE
Date