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>Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing</em>, (pp. 58-67). Porto Alegre: SBC.