Exploring the OFIm framework to support the test of programs with GUIs
Rafael Alves Paes de Oliveira Márcio Eduardo Delamaro; Fatima de Lourdes dos Santos Nunes Marques; Brazilian Workshop on Systematic and Automated Software Testing - SAST (4. 2010 Natal, RN); International Conference on Testing Software and Systems -ICTSS (22. 2010 Natal, RN); Brazilian Symposium on Formal Methods - SBMF (13. 2010 Natal, RN)
Anais Porto alegre : SBC, 2010Porto Alegre SBC 2010
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2135030 ) e outros locais(Acessar)