III Brazilian Symposium on Systematic and

Automated Software Testing (SAST)

Software testing is one of the most popular Software Verification and Validation techniques used currently in the software industry. When applied effectively, this technique can provide important evidences regarding the quality and reliability of a software system.

The current scenario shows that we are increasingly dependent on software in daily activities and industrial environments, emerging a growing need for fast and correct answers of these systems, which are often critical, pervasive, persistent, mobile, distributed, real-time, embbedded, and adaptive. This need drives the development of techniques, criteria and supporting tools for software testing considering the different application domains and programming paradigms.

After its debut in 2016, SAST will promote its 3rd edition, although it existed since 2007 with the name of Brazilian Workshop on Systematic and Automated Software Testing. This is the main scientific event on software testing in Brazil. Its goal is to promote an annual forum to discuss issues on the systematization and automation of software testing activity, promoting interaction between researchers and industry in order to strengthen cooperation and innovation in this important area of software development.

Call for Papers

Software testing is of central importance to verify and validate software systems. Moreover, empirical studies show that test-related activities often account for over 50% of software development costs.

Systematic and automated approaches have shown capable of reducing this overwhelming cost. Industrial success cases have been openly reported, and academic interest continues to grow as observed by the growing number of researchers in the field. The primary goal of SAST is to build a forum that brings the research and industry communities together to discuss improvements in software testing systematization and automation regarding different categories of software systems.

In its 3rd edition as symposium co-located with the Brazilian Conference on Software: Theory and Practice (CBSOFT), SAST invites the entire community to attend the event. During this period, São Carlos is the place to be for those interested in Systematic and Automated Software Testing.  

Topics of Interest

SAST focuses on bringing together researchers and practitioners that have been working on systematic and automated practices, activities and tools of software testing. The topics covered by the symposium include, but are not limited to, the following:
  • Automated Software Testing: environments, tools, and industrial report on testing automation
  • Combinatorial testing and random testing
  • Distributed and parallel software testing
  • Error-based and fault-based testing
  • Management and integration of testing activities and resources
  • Maintenance and reuse of test artifacts
  • Model-based and model-driven testing
  • Performance, load, and stress testing
  • Prediction and Risk-based testing
  • Program-based, Specification-based, and Requirements testing
  • Test adequacy and coverage measurement
  • Test case generation and selection techniques
  • Test driver, stubs, harness and test script generation
  • Test effective analysis and test report generation
  • Test oracle and test result checking techniques
  • Testing of Contemporary Software Systems: Mobile, Cloud Computing, Context-awareness, IoT, Industry 4.0
  • Testing of non-functional requirements: security, safety, interoperability, among others


The authors of best papers will be invited to submit an extended version to a Journal to be defined.


We accept submissions of Technical papers that should present original contributions to the software testing research area and must be no shorter than six pages and no longer than ten pages, including all figures, references, and appendices following the ACM proceedings format.

Papers can be written either in Portuguese or in English. Submissions in English are strongly encouraged since the proceedings will be submitted to ACM Digital Library. For papers written in Portuguese, the title and abstract must be in English (as recommended by ACM). The papers will be judged according to their adequacy to SAST scope, relevance, technical soundness, and originality. Papers should state their relation to previous work, mainly to previously published work of the own authors. Papers on empirical studies should describe the used methods and interpret qualitatively and quantitatively their results. At least three PC members will review all submissions.

All submissions must be in Adobe Portable Document Format (PDF) using the JEMS system. They must comply with the ACM 2-column conference (ACM_SigConf) format available at http://www.acm.org/publications/proceedings-template.


For accepted submissions, at least one of the authors must register and the paper must be presented during the conference to be included in the ACM library.


Papers registration (abstracts): from 28/05 until 04/06 New! 15/06
Full paper submission: 22/06 (firm deadline)
Notification of acceptance: 23/07
Camera-ready copy due: 06/08


Adenilso da Silva Simão, USP/SC
André Takeshi Endo, UTFPR
Arilo Claudio Dias Neto, UFAM
Avelino Francisco Zorzo, PUCRS (PC chair)
Guilherme Horta Travassos, COPPE/UFRJ (PC Chair)
Márcio Eduardo Delamaro, ICMC/USP
Patrícia Duarte de Lima Machado, DSC/UFCG


Adenilso da Silva Simão , ICMC-USP-São Carlos
Ana Paiva, Universidade do Porto
André Takeshi Endo, Universidade Tecnológica Federal do Parana (UTFPR)
Antonia Bertolino, Istituto di Scienza e Tecnologie dell'Informazione (ISTI) and CNR
Arilo Claudio Dias Neto, Universidade Federal do Amazonas (UFAM)
Auri Marcelo Rizzo Vincenzi, Universidade Federal de São Carlos (UFSCAR)
Elder de Macedo Rodrigues, Universidade Federal do Pampa – (UNIPAMPA Alegrete)
Eliane Martins, UNICAMP
Elisa Nakagawa, ICMC-USP-São Carlos
Ellen Francine Barbosa, ICMC-USP-São Carlos
Everton Leandro Galdino Alves, Universidade Federal de Campina Grande (UFCG)
Fabiano Cutigi Ferrari, Universidade Federal de São Carlos (UFSCar)
Francisco de Oliveira Neto, Chalmers | University of Gothenburg
Ivan do Carmo Machado, Universidade Federal da Bahia (UFBA)
José Carlos Maldonado, ICMC-USP-São Carlos
Marcelo d’Amorim, Universidade Federal de Pernambuco
Marcelo Medeiros Eler, EACH-USP-São Paulo
Marcio Eduardo Delamaro, ICMC-USP-São Carlos
Marcos Lordello Chaim, EACH-USP-São Paulo
Michael Felderer, University of Innsbruck
Nicolas Anquetil, INRIA
Otavio Augusto Lazzarini Lemos, Universidade Federal de São Paulo (UNIFESP)
Patrícia Duarte de Lima Machado, Universidade Federal de Campina Grande (UFCG)
Pedro de Alcântara dos Santos Neto, Universidade Federal do Piauí (UFPI)
Rivalino Matias Jr., Universidade Federal de Uberlândia (UFU)
Santiago Matalonga, University of the West of Scotland
Sergio Segura, Universidad de Sevilla
Silvia Regina Vergílio, Universidade Federal do Paraná (UFPR)
Valdivino Santiago Júnior, Instituto Nacional de Pesquisas Espaciais (INPE)
Vânia Neves, Universidade Federal de Juiz de Fora (UFJF)
Vinicius Humberto Serapilha Durelli, Universidade Federal de São João del Rei (UFSJ)
W. Eric Wong, University of Texas at Dallas
Wesley Klewerton Guez Assunção, Universidade Tecnológica Federal do Paraná (UTFPR)
Wilkerson de Lucena Andrade, Universidade Federal de Campina Grande (UFCG)


Domenico Amalfitano, University of Napoli “Federico II”

Domenico Amalfitano is an Assistant Professor at the University of Napoli “Federico II”. His research activity mainly concerns the reverse engineering, program comprehension, migration, testing, and testing automation of event-driven software systems, mostly in the contexts of Web Applications, Mobile Applications, and Graphical User Interfaces.

Title: Testing Mobile Apps: Challenges, State of the Art and Future Trends
Keynote Abstract: In the last years we looked at a wide diffusion of mobile applications. It is expected that this trend will further increase also because mobile apps are no more developed for being executed only on mobile phones but they also run on other devices such as wearables, smart TVs and vehicles. Moreover, mobile apps are more and more exploited in many tasks we perform everyday, even these tasks may be executed in business critical or safety critical scenarios. With the diffusion of mobile apps both the industry and scientific community devoted many efforts in proposing innovative methodologies, new techniques and cost effective tools for supporting the testing processes aimed at assessing the quality of such applications. The main goal of the talk is to provide a detailed overview on both the state of the art and the state of the practice in mobile app testing. In addition, future trends in this topic will be presented.

Paulo Roberto Celidonio Caroli, ThoughtWorks - Brazil

Paulo Caroli is the author of the bestseller Lean Inception: How to Align People and Build the Right Product, which shares the secret behind the success of the Silicon Valley Lean Startrup movement. His most recent contribution, the MVP Canvas, is a visual framework that helps entrepreneurs align and define the MVP-Minimum Viable Product-- strategy. Principal consultant at Thoughtworks Brazil and co-founder of AgileBrazil, Paulo Caroli has over twenty years of experience in software development, passing in various corporations in Brazil, India, USA and Latin America. In 2000, he met the Extreme Programming and since then has focused its expertise in processes and practices of Agile & Lean. He joined ThoughtWorks in 2006 and held the positions of Agile Coach, Trainer and Project Manager. He received a Bachelor of Computer Science and MS in Software Engineering, both from PUC-Rio. Paulo Caroli is a man who is passionate about innovation, entrepreneurship, and digital products. He is a software engineer, an author, an editor, a speaker and a successful facilitator.

Title: Canvas MVP: an agile tool for digital transformation
Keynote Abstract: The world is changing faster and faster. With the advent of the internet, mobility, social networks and cloud computing, things have accelerated. In the past, the emergence of innovative products was slower and probably would not topple the CEO. He would retire before that. It's different now. The future comes faster. And with it, disruptive innovation, the one that changes your business at the root. That will topple one CEO after another and take the company out of the market. The message is clear: only the most agile and innovative will survive. It's a matter of time, but this time is short. Anyone who does not reinvent himself will be left out. In this talk we will share an agile tool to help with digital transformation and innovation. Let's explore the Lean StartUp concept, talk about examples of Minimum Viable Product (MVP), and explore the MVP canvas.