SAST 2013 Program

Detailed Program
 
Keynote 1: (09:00 - 10:00) Invited Talk:  Testing Based on Finite State Machines: Past, Present and Future. Adenilso Simão (ICMC-USP)
 
Experience Report (10:15 - 10:30): Estimativa de Teste de Software: A Análise de Ponto de Teste Aplicado em um Sistema de Processamento de Transações Financeiras. Nelson de Carvalho (EMSISTI).
 
Technical Session 1: (11:00-12:30) Fault injection, localization, and classification:
  • [11:00-11:20] Technical Paper: Validation of GPON Networks using a Fault-Injection Based Approach. Aline Fadel (Unicamp), Regina Moraes (Unicamp), Paulo Pedro (Unicamp).
  • [11:25-11:45] Technical Paper: Avaliação de Heurísticas para Localização de Defeitos. Lucas de Oliveira (USP), Higor Souza (USP), Danilo Mutti (USP), Marcos Chaim (USP).
  • [11:50-12:10] Technical Paper: Classificação de Defeitos para Programas MapReduce: Resultados de um Estudo Empírico. Luiz Camargo (UFPR), Silvia Vergilio (UFPR).
  • [12:10-12:30] Technical Paper: Categorizing Nonconformances Between Programs and Their Specifications. Alysson Milanez (UFCG), Tiago Massoni (UFCG), Rohit Gheyi (UFCG).
 
Technical Session 2: (14:30-16:00) Test case reduction, prioritization, generation:
  • [14:30-14:45] Technical Paper: Test Suite Reduction based on Similarity of Test Cases. Ana Coutinho (UFCG), Emanuela Cartaxo (UFCG), Patricia Machado (UFCG).
  • [14:50-15:10] Technical Paper: Test Case Prioritization Using PriorJ. Everton Alves (UFCG), Samuel Santos (UFCG), Patricia Machado (UFCG), Tiago Massoni (UFCG).
  • [15:15-15:35] Technical Paper: Geração de Bases de Dados de Teste pela Aplicação de Programação Evolucionária. Filipe Almeida (UFG), Plínio Leitão-Júnior (UFG), Auri Vincenzi (UFG), Flávio Lucena (UFG).
 
Technical Session 3: (15:40-16:00; 16:30-16:50) Model-based testing and product line testing:
  • [15:40-16:00]  Model-Based Testing of RESTful Web Services Using UML Protocol State Machines. Pedro Pinheiro (USP), Andre Endo (USP), Adenilso Simao (USP).
  • [16:30-16:50]  Application of a Syntax-based Testing Method and Tool to Software Product Lines. Viviane Ramalho (UFRN), Anamaria Moreira (UFRN), Cleverton Hentz (UFRN).
 
Keynote 2: (17:00 – 18:00) Invited Talk: Pragmatic, not Dogmatic TDD: Rethinking How We Test. Joe Yoder (The Refactory, Inc.)