Uniform and scalable sampling of highly configurable systems
Many analyses on configurable software systems are intractable when confronted with
colossal and highly-constrained configuration spaces. These analyses could instead use …
colossal and highly-constrained configuration spaces. These analyses could instead use …
Sampling effect on performance prediction of configurable systems: A case study
Numerous software systems are highly configurable and provide a myriad of configuration
options that users can tune to fit their functional and performance requirements (eg …
options that users can tune to fit their functional and performance requirements (eg …
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces
Product lines are widely used to manage families of products that share a common base of
features. Typically, not every combination (configuration) of features is valid. Feature models …
features. Typically, not every combination (configuration) of features is valid. Feature models …
Applications of# SAT solvers on feature models
Product lines are ubiquitous for managing variable systems. The variability of a product line
is typically described in terms of a feature model. Analyzing a feature model gives insight …
is typically described in terms of a feature model. Analyzing a feature model gives insight …
Exploiting d-dnnfs for repetitive counting queries on feature models
Feature models are commonly used to specify the valid configurations of a product line. In
industry, feature models are often complex due to a large number of features and …
industry, feature models are often complex due to a large number of features and …
Uniform and scalable SAT-sampling for configurable systems
Several relevant analyses on configurable software systems remain intractable because
they require examining vast and highly-constrained configuration spaces. Those analyses …
they require examining vast and highly-constrained configuration spaces. Those analyses …
A Monte Carlo tree search conceptual framework for feature model analyses
Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0
expose highly variable systems with colossal configuration spaces. The automated analysis …
expose highly variable systems with colossal configuration spaces. The automated analysis …
FM fact label a configurable and interactive visualization of feature model characterizations
Recognizing specific characteristics of feature models (FM) can be challenging due to the
different nature and domains of the models. There are several metrics to characterize FMs …
different nature and domains of the models. There are several metrics to characterize FMs …
Monte Carlo tree search for feature model analyses: a general framework for decision-making
The colossal solution spaces of most configurable systems make intractable their exhaustive
exploration. Accordingly, relevant analyses remain open research problems. There exist …
exploration. Accordingly, relevant analyses remain open research problems. There exist …
Variability in data visualization: a software product line approach
Data visualization aims to effectively communicate quantitative information by understanding
which techniques and displays work better for different circumstances and why. There are a …
which techniques and displays work better for different circumstances and why. There are a …