Session 1: (09:00 – 10:30)
[09:00 - 10:10] Invited Talk: What do we know about Software Testing Automation? Patrícia Machado (DSC/UFCG).
[10:10 - 10:30] Technical Paper: Coverage Criteria for Logical Specifications. Maximiliano Cristiá (CIFASIS and UNR, Argentina), Joaquin Cuenca (CIFASIS and UNR, Argentina), Claudia Frydman (LSIS/CIFASIS, Argentina).
Session 2: (11:00 – 12:30)
[11:00 - 11:20] Technical Paper: Uma Revisão Sistemática em Teste de Segurança Baseado em Modelos. Carlos Damasceno (USP), Marcio Delamaro (USP), Adenilso Simao (ICMC/USP).
[11:20 - 11:40] Technical Paper: A Systematic Mapping on Model Based Testing applied to Web Systems. Silvia Meireles (UFAM), Arilo Dias Neto (UFAM).
[11:40 - 12:00] Technical Paper: RTS Quality: Ferramenta de Análise Automatizada de Técnicas de Seleção de Testes de Regressão Baseada em Mineração de Repositórios de Software. João Maria da Cruz Júnior (UFRN), Uirá Kulesza (UFRN), Roberta Coelho (UFRN), Eduardo Guerra (INPE), Lyrene Silva (UFRN), Felipe Alves (UFRN).
[12:00 - 12:20] Technical Paper: Towards the Establishment of a Sufficient Set of Mutation Operators for AspectJ Programs. Jesus Lacerda (UFSCar), Fabiano Ferrari (UFSCar).
[12:20 - 12:30] Experience Report: Integrando Teste Baseado em Modelos no Desenvolvimento de uma Aplicação Industrial: Benefícios e Desafios. Dalton Jorge (UFCG), Patricia Machado (UFCG), Francisco Oliveira Neto (UFCG), Ana Emília Victor Barbosa Coutinho (UFCG), João Felipe Ouriques (UFCG).
Session 3: (14:30 – 16:00)
[14:30 - 15:40] Invited Talk: The case for formal specifications. Maximiliano Cristiá (CIFASIS and UNR, Argentina).
[15:40 - 16:00] Technical Paper: LoTuS-TCG: Uma ferramenta para geração e seleção de casos de teste funcionais e estatísticos. Laryssa Muniz (UECE), Ubiratan Netto (UFC), Paulo Henrique Maia (UECE).
Session 4: (16:30 – 18:00)
[16:30 - 16:50] Technical Paper: Geração Automática de Dados de Teste para Programas Concorrentes com uso de Meta-heurísticas. José Silva (ICMC/USP), Simone Souza (ICMC/USP), Paulo Lopes de Souza (ICMC/USP).
[16:50 - 17:10] Technical Paper: Heurísticas para seleção da população inicial de algoritmos de teste baseado em busca para software controlador de veículos autônomos. Vânia Neves (ICMC/USP), Marcio Delamaro (ICMC/USP), Paulo Masiero (ICMC/USP).
[17:10 - 17:30] Technical Paper: Uma Investigação Inicial Sobre a Correlação entre Defeitos de Software Simulados por Mutantes e Avisos Relatados por Uma Ferramenta de Análise Estática. Cláudio Araújo (UFG), Marcio Delamaro (ICMC/USP), João Carlos Silva (UFG), Auri Marcelo Rizzo Vincenzi (UFG).
[17:30 - 17:40] Experience Report: Automatização de testes funcionais em dispositivos móveis utilizando a técnica BDD - Relato de Experiência. Rafael Chiavegatto (FPF Tech), Lidiane Silva (FPF Tech), Maryane Pinheiro (FPF Tech), Auri Marcelo Rizzo Vincenzi (UFG).
[17:40 - 17:50] Experience Report: The Role of Software Testing on Modernizing a Balloon Ground Station. atima Mattiello-Francisco (INPE), Mariam Gomez (INPE), William Ariyoshi (BetaTelecom), Marcelo Essado Morais (INPE), Fernando Aranha (BetaTelecom).
[17:50 - 18:00] Closing: Best paper award, remarks and discussion for SAST 2015.
