Andrade, Wilkerson, Francisco G. O. Neto, and Patricia D. L. Machado. " Geração de Casos de Teste de Interrupção para Aplicações de Celulares." Proceedings of the 8th Workshop on Testing and Fault Tolerance, Belém/PA, 2007. SBC, 2007, pp.129-142.