Ouriques, João, Emanuela G. Cartaxo, Patrícia D. L. Machado, Francisco G. O. Neto, and Ana E. V. B. Coutinho. " On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques." Anais do I Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, Maringá/PR, 2016. SBC, 2016, pp.58-67.