João Ouriques, Emanuela Cartaxo, Patrícia Machado, Francisco O. Neto, and Ana Coutinho. 2016. On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques. In Anais do I Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, setembro 19, 2016, Maringá/PR, Brasil. SBC, Porto Alegre, Brasil, 58-67.