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
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


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.

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.