Co-located with SBMF/SBLP 2009
Gramado, RS, Brazil
August 19th, 2009

  

Software testing is a central activity in the validation and verification process of software systems. It has been largely applied in industry with the purpose of detecting defects and also composing the systems certification. Research in this area has steadily increased in the last years. Notable academic progress has already been achieved in the area. Also, industry has continuously improved test processes. Systematic approaches have proven to be more effective than ad-hoc testing as well as automation of strenuous and repetitive activities. Moreover, successful cases have been reported.

The main goal of SAST is to be a forum that brings together the research community and industry in software testing in Brazil, promoting advance in the research and practice in the area by aiding the establishment of collaborations and joint projects.

1. Uma Técnica MDT para a Geração Automática de Casos de Teste Usando Padrões de Teste
    Camila Maciel (Universidade Federal de Campina Grande),
    Patricia Machado (Universidade Federal de Campina Grande),
    Franklin Ramalho (Universidade Federal de Campina Grande)

2. Geração de Sentenças para Testes a partir de Descrições de Linguagens   
    Cleverton Hentz (Universidade Federal do Rio Grande do Norte),
    Anamaria Martins Moreira (Universidade Federal do Rio Grande do Norte)

3. Análise de Mutantes Aplicadas a Critérios de Cobertura de Teste a partir de MEFs
    Flávio Dusse (USP),
    José Maldonado (SSC/ICMC-USP/ São Carlos),
    Adenilso Simao (ICMC-USP)

4. Geração de Dados de Teste a Partir de Modelos de Sistemas Embarcados: Uma Revisão Sistemática
    Rodrigo Fraxino Araujo (ICMC/USP),
    Vinícius Humberto Durelli (Universidade de São Paulo),
    Marcio Delamaro (Universidade de São Paulo),
    José Maldonado (SSC/ICMC-USP/ São Carlos)

5. Geração de Seqüências de Verificação baseado em Algoritmos Genéticos
    Paulo Henrique Ribeiro (Universidade de São Paulo),
    Jorge Francisco Cutigi (Universidade de São Paulo),
    Adenilso Simao (ICMC-USP)

6. Oráculos de Teste para Domínios GUI: Uma Revisão Sistemática   
    Rafael Oliveira (Universidade de Sao Paulo),
    Marcio Delamaro (Universidade de São Paulo),
    Fatima Nunes (EACH-USP)

7. Análise de Fluxo de Controle e Dados a partir do Diagrama de Atividades da UML 2.0
    Jeferson Ferreira (Universidade Estadual de Campinas),
    Eliane Martins (UNICAMP)

Experience Report:

8. Test Case Selector: Uma Ferramenta para Seleção de Testes
    Juliana Mafra (Universidade Federal de Pernambuco),
    Breno Miranda (Universidade de Pernambuco),
    Juliano Iyoda (Universidade Federal de Pernambuco),
    Augusto Sampaio (Universidade Federal de Pernambuco)

Back to Top

 

Workshop Organizers

• Silvia Regina Vergílio, DInf/UFPR
• Simone do Rocio Senger de Souza, SSC/ICMC-USP