UbiTester: um Framework para Geração de Planos de Teste para Computação Ubíqua. - Thiago M. Martins; Raquel A. F. Mini; Humberto T. Marques-Neto (SBQS, 2013)