SBRC 2008 WTF: Technical Program (Raul Ceretta Nunes)


WTF 2008
IX Workshop de Testes e Tolerância a Falhas


Em conjunto com o
XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos(SBRC 2008)

Terça-Feira, 27 de maio de 2008, Rio de Janeiro, Brasil

ST 01 - Automação de Testes
Chair: Taisy Weber (UFRGS)
Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos
André Figueiredo, UFCG, Brasil
Patricia Machado, UFCG, Brasil
Emanuela Cartaxo, UFCG, Brasil
Jorge César Abrantes de Figueiredo, UFCG, Brasil
Paulo Barbosa, UFCG, Brasil
Aplicação de algoritmos evolutivos na geração automática de dados de teste de conformidade
Thaise Yano, UNICAMP, Brasil
Eliane Martins, UNICAMP, Brasil
Fabiano Sousa, INPE, Brasil
Palestra Nacional
Chair: Fabíola Greve (UFBA)
Caracterização de Falhas Relacionadas a Aplicações de Live Streaming na Internet
Ingrid Jansch-Pôrto, UFRGS, Brasil.

Coffe Break

ST02 - Injeção de Falhas
Chair: Raimundo Macêdo (UFBA)

Teste por injeção de falhas da implementação do protocolo de comunicação SCTP

Sérgio Luis Cechin, UFRGS, Brasil
 Werner Nedel, UFRGS, Brasil
Taisy Weber, UFRGS, Brasil

Modelo de um Ambiente para Descrição de Cenários Detalhados de Falhas

Ruthiano Munaretti, UFRGS, Brasil
Taisy Weber, UFRGS, Brasil

ST03 - Ferramentas de Teste
Chair: Taisy Weber (UFRGS)

XTool: Uma Ferramenta de Teste Baseado em Defeitos para Esquemas de Dados

Igor Nazar, UFPR, Brasil
Maria Claudia Emer, UNICAMP, Brasil
Silvia Vergilio, UFPR, Brasil
Mario Jino, UNICAMP, Brasil.

Security Assessment and Testing Tools Information Repository

Naaliel Mendes, Universidade de Coimbra, Portugal
João Durães, Universidade de Coimbra, Portugal
Marco Vieira, Universidade de Coimbra, Portugal
Henrique Madeira, Universidade de Coimbra, Portugal

Almoço

ST04 - Algoritmos Distribuídos I
Chair: Ingrid Jancsh-Pôrto (UFRGS)

Simulação de um Algoritmo de Diagnóstico Distribuído para Redes Particionáveis de Topologia Arbitrária

Andréa Weber, UTFPR e UFPR, Brasil
Aline Santos, UFPR, Brasil
Elias P. Duarte Jr., UFPR, Brasil
Keiko Fonseca, UTFPR, Brasil.

Detectores Perfeitos em Sistemas Distribuídos Não Síncronos

Raimundo José de Araújo Macêdo, UFBA, Brasil.
Sérgio Gorender, UFBA, Brasil.

ST05 - Protocolos de Comunicação
Chair: Elias Procópio Duarte (UFPR)

Abordagem para Desviar Pacotes na Presença de Falha em Backbones IP com OSPF

Fernando Barreto, UTFPR, Brasil.
Emilio Wille, UTFPR, Brasil.
Luiz Nacamura Júnior, UTFPR, Brasil.

Protocolo de Transporte Colaborativo para Redes de Sensores sem Fio

Eugenia Giancoli, UFRJ e CEFET-MG, Brasil.
Filippe Jabour Neto, UFRJ e CEFET-MG, Brasil
Aloysio de Castro Pinto Pedroza, UFRJ, Brasil.

Coffe Break

ST06 - Algoritmos Distribuídos II
Chair: Orlando Loques (UFF)

Consenso Bizantino entre Participantes Desconhecidos

Eduardo Alchieri, UFSC, Brasil
Alysson Bessani, Universidade de Lisboa, Portugal
Joni da Silva Fraga, UFSC, Brasil.
Fabíola Greve, UFBA, Brasil.

Avaliação de Replicação de Dados Estruturados Mutáveis em Sistemas Peer-to-Peer

Alexandre Nodari, PUCPR, Brasil
Alcides Calsavara, PUCPR, Brasil
Luiz Lima Jr., PUCPR, Brasil.

ST07 - Reconfiguração em Middlewares
Chair
: Alcides Calsavara (PUCPR)

Reconfiguração Dinâmica de Componentes em Sistemas Distribuídos de Controle e Supervisão, com Aplicação a Tolerância a Falhas

Neima Santos, UFBA, Brasil.
Raimundo José de Araújo Macêdo, UFBA, Brasil.
Luciano Porto Barreto, UFBA, Brasil.

Uma Proposta para Reconfiguração Consistente no Nível Arquitetural

Jonivan Lisboa, UFF, Brasil
Orlando Loques, UFF, Brasil.