Program

 9:00
Abertura

9:15  - 10:30 
Palestra Convidada: Do we test our mobile applications as well as we use them?
Palestrante: Arilo Claudio Dias-Neto (UFAM)

10:30 - 11:00
Coffee break 

11:00 - 12:30
Sessão técnica 1 - Chair: Adenilso Simão

Uma Análise da Eficácia de Assertivas Executáveis como Indicadoras de Falhas em Software
Fischer Jonatas (PUC-Rio), Arndt von Staa (PUC-Rio), Eduardo Figueiredo (UFMG)

Um Estudo Exploratório sobre a Aplicação de Operadores de Mutação Java em Aplicações Android
Jonathas dos Santos (UFAM), Auri Marcelo Rizzo Vincenzi (UFSCar), Arilo Dias Neto (UFAM)

Aplicação de Propriedades de Weyuker, Parrish e Zweben a Critérios de Adequação
Diogo de Freitas (UFG), Plínio Leitão-Júnior (UFG), Auri Marcelo Rizzo Vincenzi (UFSCar)


12:30 - 14:30
Almoço 

14:30 - 16:00
Sessão técnica 2 - Chair:  Arilo Claudio Dias-Neto

Uma ferramenta interativa para visualização de código fonte no apoio à construção de casos de teste unitário
Heleno Campos (IF Sudeste MGl), Luís Rogério Martins Filho (IF Sudeste MG), Marco Antônio Araújo (UFJF / IF Sudeste MG)

Teste Estrutural Aplicado à Linguagem Funcional Erlang
Alexandre P. Oliveira (ICMC/USP), Paulo Sergio Souza (ICMC/USP), Simone Souza (ICMC-USP), Júlio Estrella (ICMC/USP), Sarita Bruschi (ICMC/USP)

Challenges in Testing Context Aware Software Systems
Santiago Matalonga (Universidad ORT Uruguay), Felyppe Rodrigues (PESC/COPPE UFRJ), Guilherme Travassos (COPPE/UFRJ)

16:00 - 16:30
Coffee break 

16:30 - 17:30
Sessão técnica 3 - Chair: Auri Vincenzi

An empirical study of test generation with BETA
João Souza Neto (UFRN), Ernesto Matos  (UFRN), Anamaria Martins Moreira (UFRJ)

InRob-UML: an Approach for Model-based Interoperability and Robustness Testing of Embedded Systems
Anderson Weller (IFES), Eliane Martins (UNICAMP), Fatima Mattiello-Francisco (INPE)


17:30 - 18:00
Encerramento e premiação