@phdthesis {, title = {Evolution, testing and configuration of variability intensive systems}, year = {2015}, school = {University of Seville/University of Rennes 1}, type = {Cotutele}, abstract = {One of the key characteristics of software is its ability to be adapted and configured to different scenarios. Recently, software variability has been stud- ied as a first-class concept in different domains ranging from software product lines to pervasive systems. Variability is the ability of a software product to vary depending on different circumstances. Variability intensive systems are those software products where variability management is a core engineering activity. The varying parts of those systems are commonly modeled by us- ing different variability model flavors, being feature modeling one of the most common ones. Feature models were first introduced by Kang et al. back in 1990 and are a compact representation of a set of configurations in a variability intensive system. The large number of configurations that a feature model can encode makes the manual analysis of feature models an error prone and costly task. Then, computer-aided mechanisms appeared as a solution to extract useful information from feature models. This process of extracting information from feature models is known as {\textquotedblleft}Automated Analysis of Feature models{\textquotedblright} that has been one of the main areas of research in the last years where more than thirty analysis operations have been proposed. In this dissertation, we looked for different tendencies in the automated analysis field and found several research opportunities. Driven by real-world scenarios such as smart phone or video{\textendash}surveillance domains, we contributed applying, adapting or extending automated analysis operations in variability intensive systems evolution, testing and configuration.}, author = {Jos{\'e} A. Galindo} }