Important Dates
- Paper Submission Deadline:
March 27th, 2020April 17th, 2020 - Acceptance Notification:
April 17th, 2020May 10th, 2020 - Camera Ready Paper Due:
April 25th, 2020May 20th, 2020
Accepted Papers
A Caminho de Uma Alternativa Hierárquica para Implementação do Algoritmo de Consenso Paxos
Authors: Acacia Terra (UFPR – Brazil), Edson Tavares de Camargo (Universidade Tecnológica Federal do Paraná – Brazil) and Elias Duarte Jr. (UFPR – Brazil)
A Dashboard for System Trustworthiness Properties Evaluation
Authors: Tania Basso (University of Campinas – Brazil), Regina Moraes (Universidade Estadual de Campinas – Brazil), Felipe Gaia (Instituto Federal de São Paulo – Brazil) and Diego de Camargo (Unicamp – Brazil)
O Apache ZooKeeper como Estratégia de Monitoramento Ativo para manter o Balanceamento de Réplicas no HDFS
Authors: Rhauani Fazul (Universidade Federal de Santa Maria – Brazil) and Patricia Pitthan Barcelos (Universidade Federal de Santa Maria – Brazil)
Self-Adaptive Systems Planning with Model Checking using MAPE-K
Authors: Aristoteles Esteves Marçal da Silva (Universidade Federal da Bahia – Brazil), Aline Andrade (UFBA – Brazil), Sandro Andrade (Federal Institute of Education and Science and Technology of Bahia (IFBA) – Brazil)
Avaliação dos Serviços de Armazenamento da Amazon Web Services para Gravação e Recuperação de Checkpoints
Authors: Luan Teylo (Federal University of Fluminense (UFF) – Brazil), Rafaela Brum (Federal Fluminense University – Brazil), Pierre Sens (Laboratoire d”informatique de Paris 6 – France), Luciana Arantes (Sorbonne Université – France) and Lucia Drummond (Universidade Federal Fluminense – Brazil)
Geração de Testes de Interoperabilidade e Robustez para uma Aplicação Espacial
Authors: Anderson Weller (Instituto Federal do Espirito Santo – Brazil), Eliane Martins (UNICAMP – Brazil) and Fatima Mattiello-Francisco (INPE – Brazil)
Presentation and Objectives
Technology is increasingly impacting fundamental services of our society, like communications and transportation. Such systems are critical: their failures may cause harm to people or huge economic losses. The research area of testing and fault tolerance aims to develop theories and techniques for the construction of dependable computer systems. The Workshop on Testing and Fault Tolerance (WTF) in the last 20 years has been the main National venue to discuss methodologies and techniques for testing and fault tolerance, developed in the academy and in the industry.
Instruction to Authors
Regular papers must be written in Portuguese or English, and must be no longer than 14 pages, including abstract, figures, references, etc. Authors can also submit extended abstracts, no longer than 6 pages, presenting preliminary research results, new guidelines, critical views or lessons learned. All the accepted papers, revised based on the recommendations of the WTF Program Committee, will be published in the SBRC Proceedings, in the workshops volume.
Submitted papers must adhere to the format provided by the Brazilian Computer Society (SBC) for the publication of articles, whose templates are available on the SBC website (http://www.sbc.org.br/documentos-da-sbc/category/169-templates-para-artigos-e-capitulos-de-livros). Figures must be preferably in vectorial format or with resolution of at least 300dpi. Papers must be submitted in electronic form via JEMS (https://jems.sbc.org.br/home.cgi?c=3452) in PDF (Portable Document Format).
Topics of Interest
The WTF invites the submission of papers that address topics related with testing, fault tolerance, critical systems and/or dependability of systems. The workshop encourages the presentation of new ideas; researchers discussing ongoing work and preliminary results are also encouraged to submit papers.
A non-exhaustive list of topics of interest for the WTF is the following: