08:00-08:10 | Opening |
08:10-10:00
|
Session 1: Test Generation and Execution for Specific Domains
|
08:10-08:30
Plinio Fernandes, Tania Basso, Regina Moraes and Mario Jino.
Attack Trees Modeling for Security Tests in Web Applications
|
08:30-08:50
Rafael A. P. Oliveira, Márcio E. Delamaro and Fátima L. S. Nunes.
Exploring the OFIm framework to Support the Test of Programs with GUIs
|
08:50-09:10
Everton Alves, Augusto Macedo, Wilkerson Andrade, Patricia Machado and Franklin Ramalho
Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS
|
09:10-09:30
André V. Buzzo, Eliane Martins and Fabiano L. Sousa.
Uso do algoritmo GEOreal para abordar a geração automática de dados de teste
|
09:30-10:00
Discussão
|
10:00-10:30
|
Coffee Break
|
10:30-12:00
|
Session 2: Testing and Industry
|
10:30 - 10:50
Camila Socolowski, Mario Jino and Marcelo Fantinato.
Seleção de Teste de Regressão com Dados Históricos
|
10:50 - 11:10
Thiago Santos, Eliane Loiola, Saulo Araújo and Silvio Ferreira.
Central de Requisitos e Testes - De Testes de Integração a Testes de Aceitação
|
11:10 - 11:30
Breno Miranda, Juliano Iyoda and Sílvio Meira.
Test Case Recommender: um sistema de recomendação para alocação automática de testes baseada no perfil do testador.
|
11:30 - 12:00
Discussão
|
12:00-14:00
|
Lunch
|
14:00-15:30
|
Session 3: Comparative Analysis
|
14:00 - 14:20
Joao Felipe Silva Ouriques, Emanuela Cartaxo and Patrícia Duarte Lima Machado.
Comparando Técnicas de Priorização de Casos de Teste no Contexto de Teste baseado em Modelos
|
14:20 - 14:40
Everton Guimaraes, Renato Lavôr and Roberta Coelho.
Test First vs Test Last: Uma Análise Comparativa de Abordagens Teste na Construção de Sistemas
|
14:40 - 15:00
André Takeshi Endo and Adenilso Simão.
A Systematic Review on Formal Testing Approaches for Web Services
|
15:00 - 15:30
Discussion
|
15:30-16:00
|
Coffee Break
|
16:00-17:30
|
Session 4: Formal Methods and Testing
|
16:00 - 16:20
Samuel Barrocas, Roberta Coelho and Marcel Oliveira.
JCSPUnit: A JUnit extension for testing JCSP programs
|
16:20 - 16:40
Edilson Mendes, Denis Silveira and Maria Lencastre.
TESTIMONIUM: Um Método para Geração de Casos de Teste a partir de Regras de Negócio Expressas em OCL
|
16:40 - 17:00
Herbert O. Rocha, Lucas Cordeiro, Raimundo Barreto and José Netto.
Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs
|
17:00 - 17:30
Discussion
|
17:30
|
Closing
|