Data flow Subsumption and its Impact on Spectrum-based Fault Localization
Dennis Lopes (University of Sao Paulo - Brazil), Marcos Chaim (Universidade de São Paulo - Brazil), Higor Amario de Souza (IME - USP - Brazil)

Fully-Tested code generation from TLA+ specifications
Gabriela Moreira (Universidade do Estado de Santa Catarina - Brazil), Cristiano Vasconcellos (UDESC - Brazil), Janine Kniess (UDESC - Brazil)

A Strategy to Support the Infeasible Test Requirements Identification
João Choma Neto (University of São Paulo - Brazil), Ricardo Chagas (Universidade de São Paulo - Brazil), Allan Mori (University of São Paulo (ICMC/USP) - Brazil), Ricardo Vilela (Universidade de São Paulo - Brazil), Thelma Elita Colanzi (State University of Maringa - Brazil), Simone Souza (ICMC-USP - Brazil)