• Publications
  • Influence
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines
TLDR
This paper proposes (a) a search-based approach capable of generating product configurations for large SPLs, forming a scalable alternative to current techniques and (b) prioritization algorithms for any set of product configurations. Expand
  • 150
  • 29
  • PDF
Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines
TLDR
We propose a scalable toolset using Alloy to automatically generate test cases satisfying T-wise from SPL models. Expand
  • 218
  • 15
  • PDF
On extracting feature models from product descriptions
TLDR
In product line engineering, domain analysis is the process of analyzing related products to identify their common and variable features. Expand
  • 135
  • 12
  • PDF
Multi-objective test generation for software product lines
TLDR
The present paper proposes a genetic algorithm to handle multiple conflicting objectives in test generation for SPLs. Expand
  • 95
  • 12
  • PDF
Pairwise testing for software product lines: comparison of two approaches
TLDR
In this paper, we report our experience on applying pairwise and t-wise techniques for SPL with two independent toolsets developed by the authors. Expand
  • 114
  • 8
  • PDF
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing
TLDR
We present a mutation analysis approach for software product lines based on feature models. Expand
  • 69
  • 7
  • PDF
Simulation-based abstractions for software product-line model checking
TLDR
We extend well-known simulation preservation properties to FTS and thus lay the theoretical foundations for abstraction-based model checking of SPLs. Expand
  • 66
  • 5
  • PDF
Search-based Similarity-driven Behavioural SPL Testing
TLDR
We extend dissimilarity to behavioural SPL models (FTS) in a search-based approach, and evaluate its effectiveness in terms of product and fault coverage. Expand
  • 20
  • 5
  • PDF
Reconciling Automation and Flexibility in Product Derivation
TLDR
We propose an integrated product derivation approach reconciling the two views to offer both flexibility and automation. Expand
  • 101
  • 4
  • PDF
Weaving variability into domain metamodels
TLDR
We argue that aspect-oriented modeling techniques enabling flexible metamodel composition and results obtained by the software product line community to manage and resolve variability form the pillars for integrating variability into DSMLs. Expand
  • 61
  • 4
  • PDF