Testing variability-intensive systems using automated analysis: an application to Android | Publicación