O XIII Workshop de Testes e Tolerância a Falhas (WTF 2012) foi realizado em 30 de abril de 2012 na cidade de Ouro Preto/MG, em conjunto com o XXX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2012).
A coordenação foi da Professora Fabíola Gonçalves Pereira Greve (UFBA).
Nesta edição, os anais incluem 10 artigos completos (arquivo completo).
Palestra
Replicação na Cloud (of Clouds)
Alysson Bessani, Universidade de Lisboa
ST01 – Injection Flaws and Attack Assessment
Aplicando Modelos de Markov para Injeção de Perdas de Pacotes no Sistema Android
Alexandre Gindri, Taisy Weber (UFRGS) e Sérgio Luis Cechin (UFRGS)
Emulação de Ataques do Tipo XPath Injection para Testes de Web Services usando Injeção de Falhas
Marcelo Palma e Eliane Martins (UNICAMP)
Análise do Impacto de Ataques de Poluição Combinado com Whitewashing em Sistemas P2P de Live Streaming
Ana Paula Couto Silva e Alex Borges Vieira (UFJF)
ST02 – Distributed Protocols and Assessment Models
Exclusão Mútua Distribuída e Robusta para k Recursos Compartilhados
Luiz Antonio Rodrigues (UNIOESTE/UFPR), Elias P. Duarte Jr. (UFPR), Luciana Arantes (Université de Paris VI)
Memória Compartilhada em Sistemas Bizantinos Dinâmicos
Eduardo Alchieri (UFSC), Alysson Bessani (Universidade de Lisboa), Fabíola Greve (UFBA), Joni da Silva Fraga (UFSC)
Caracterização de uma Jornada Máxima em MANETs
Alex Santana, Fabíola Greve (UFBA) e José Garcia (UFBA)
ST03 – Testing, Verification and Formal Specification
Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos
Leandro Teodoro Costa, Flávio Oliveira, Elder Rodrigues, Maicon da Silveira e Avelino Zorzo (PUCRS)
Modeling Communication Semantics for Distributed Systems in Event-B
Fernando Dotti (PUC-RS) e Leila Ribeiro (UFRGS)
Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos
Claiton Correa, Fernando Dotti, Paulo Fernandes, Eli Maruani, Lucas Giaretta Oleksinski e Afonso Sales (PUCRS)
ST04 – Replication and Fault Coverage in Clouds
Detecção de Falhas em Autômatos Grid
Gilson Junior e Adilson Bonifácio (UEL)