Buscar
Mostrando ítems 1-3 de 3
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 ...