J. Ouriques, E. Cartaxo, P. Machado, F. O. Neto, and A. Coutinho.
" On the Use of Fault Abstractions for Assessing System Test Case Prioritization Techniques", in <em>Anais do I Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, Maringá/PR, 2016, pp. 58-67.