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." Anais do VIII Workshop de Testes e Tolerância a Falhas, Belém/PA, 2007. SBC, 2007, pp.129-142.