Buscar
Mostrando ítems 1-3 de 3
Artículo
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations was identified as the most relevant challenge in the field. This formalization could provide ...
Artículo
An assessment of search-based techniques for reverse engineering feature models
(Elsevier, 2015)
Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and to cater to their similar and different requirements. Nowadays it is a common practice to offer a ...
Artículo
Automated metamorphic testing of variability analysis tools
(Wiley, 2015)
Variability determines the capability of software applications to be configured and customized. A common need during the development of variability–intensive systems is the automated analysis of their underlying variability ...