Ouriques, J., 		Cartaxo, E., 		Machado, P., 		O. Neto, F., & 		Coutinho, A.
(2016).
 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>, (pp. 58-67). Porto Alegre: SBC.