SAST 2010 ACCEPTED PAPERS

Accepted Papers

    ACCEPTED PAPERS

      Research Papers:

    • 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

    • André V. Buzzo, Eliane Martins and Fabiano L. Sousa.
      Uso do algoritmo GEOreal para abordar a geração automática de dados de teste

    • Everton Alves, Augusto Macedo, Wilkerson Andrade, Patricia Machado and Franklin Ramalho.
      Mapeando Modelos de Teste em UTP para a plataforma FreeRTOS

    • 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

    • 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

    • Herbert O. Rocha, Lucas Cordeiro, Raimundo Barreto and José Netto.
      Exploiting Safety Properties in Bounded Model Checking for Test Cases Generation of C Programs

    • André Takeshi Endo and Adenilso Simão.
      A Systematic Review on Formal Testing Approaches for Web Services

    • Samuel Barrocas, Roberta Coelho and Marcel Oliveira.
      JCSPUnit: A JUnit extension for testing JCSP programs

    • 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

    • 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

    • Plinio Fernandes, Tania Basso, Regina Moraes and Mario Jino.
      Attack Trees Modeling for Security Tests in Web Applications

    • Experience Reports:

    • Camila Socolowski, Mario Jino and Marcelo Fantinato.
      Seleção de Teste de Regressão com Dados Históricos

    • 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