Machado, Ivan, and Eduardo Santana de Almeida.
"Fault model-based variability testing." <em>Anais do XIV Simpósio Brasileiro de Qualidade de Software,
Manaus, 2015</em>. SBC, 2015,  
pp.278-292.