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