Buscar
Mostrando ítems 1-6 de 6
Artículo
Automated analysis of feature models: Quo vadis?
(Springer, 2018)
Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a family of software systems. In 2010, a systematic literature review was published summarizing the advances ...
Artículo
Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress
(IEEE Computer Society, 2019)
In software products line (SPL), there may be features which can be implemented by different components, which means there are several implementations for the same feature. In this context, the selection of the best ...
Artículo
A Monte Carlo tree search conceptual framework for feature model analyses
(ElSevier, 2023-01)
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 of those systems’ variability has often ...
Artículo
DirectDebug: Automated Testing and Debugging of Feature Models
(Cornell University, 2021)
Variability models (e.g., feature models) are a common way for the representation of variabilities and commonalities of software artifacts. Such models can be translated to a logical representation and thus allow different ...
Ponencia
Monte Carlo Tree Search for Feature Model Analyses: a General Framework for Decision-Making
(Association for Computing Machinery (ACM), 2021)
The colossal solution spaces of most configurable systems make intractable their exhaustive exploration. Accordingly, relevant anal-yses remain open research problems. There exist analyses alterna-tives such as SAT ...
Artículo
DirectDebug: A software package for the automated testing and debugging of feature models
(Elsevier, 2021)
Complex and large-scale feature models can become faulty, i.e., do not represent the expected variability properties of the underlying software artifact. In this paper, we propose the DirectDebug algorithm that supports ...