Spectrum-based fault localization in software product lines | Publicación