In person
In 2023, the 14th edition of CBSoft will once again be held in person, from September 25th to 29th on Campo Grande, Mato Grosso do Sul👉 Map

SAST 2023
8th Brazilian Symposium on Systematic and Automated Software Testing

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 building 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 eighth edition as a symposium co-located with the Brazilian Congress of Software: Theory and Practice (CBSOFT), the SAST 2023 invites the entire software testing community to submit results of their innovations in the field. This eighth edition of the symposium places special emphasis on fostering dialogue between industry and academia by encouraging industrial participation. As a result, in addition to research papers, this year we have added Industrial Abstracts as a new type of submission. For this new type of submission, test practitioners are invited to submit papers that focus on the pragmatic difficulties associated with carrying out software testing related activities in industry.

Important Dates

Regular paper registration (abstract submission):July 17, 2023 July 24, 2023
Industry paper registration (abstract submission):July 17, 2023 July 24, 2023
Regular paper submission:July 24, 2023 July 28, 2023
Industry paper submission:July 24, 2023 July 28, 2023
Notification of acceptance:August 21, 2023
Camera-ready:August 28, 2023

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, Internet of Things, Industry 4.0, Big Data
  • Testing of learning-based software, including Deep Learning
  • Testing of non-functional requirements: security, safety, interoperability, etc.

Submission Guidelines

SAST accepts *two* types of submissions:
  • Regular Papers (no less than 6 pages and no longer than 10 pages, including all figures, references, and appendices); and
  • Industrial Abstracts (should not exceed 3 pages for all materials).
All submissions should present original contributions to the software testing research area. Submissions should use the ACM 2-column format (*ACM_SigConf*) available at this link. LaTeX users must use the acmart.cls class provided in the template with the conference format enabled at the document preamble:
Authors must use the ACM-Reference-Format.bst bibliography style also provided in the template:
Regular papers and industrial abstracts can be written either in Portuguese or in English. Submissions in English are strongly encouraged since the accepted regular and industrial abstracts will be published in the ACM Digital Library. For submissions written in Portuguese, the title and abstract must be in English (as recommended by ACM). Submissions must be made in Adobe Portable Document Format (PDF) using the JEMS system (
Regular papers will go through a double-blind review process. Therefore, the initial paper submissions must not have any author identification. All information about authors and their institutions must be removed from the paper. Moreover, references to previous work must be blinded. For example, one must write *"[REF] Information omitted for double-blind reviewing"* in the reference list. After paper acceptance, all omitted information can be included in the camera-ready version. Regular papers will be judged according to their adequacy to SAST scope, relevance, technical soundness, and originality. Regular papers should state their relation to previous work, mainly to the previously published work of their authors. Papers on empirical studies should describe the used methods and interpret qualitatively and quantitatively their results. At least three Program Committee members will review all submissions.
All Industrial Abstract papers will go through a single-blind peer-review process: we will make an effort to include at least one industry expert among the reviewers. At least one of the authors must have a non-academic affiliation. Ideally, the author presenting the paper at the conference will be one with non-academic affiliations. We encourage contributions focusing on industrial innovation or lessons learned that can inspire future academic work. We also welcome submissions that are still in the early stages of development or works-in-progress, as well as experimentation that could lead to fresh perspectives and new ideas. The aim of this track is to promote the exchange of knowledge and experiences between academics and practitioners.


Program Committee Chairs
Silvana M. Melo (UFGD, Brazil)
Vinícius Durelli (UFSJ, Brazil)
SAST Steering Committee
Breno A. F. de Miranda (UFPE, Brazil)
Marcelo M. Eler (EACH-USP, Brazil)
Patricia Duarte de Lima Machado (UFCG, Brazil)
Paulo S. L. de Souza (ICMC-USP, Brazil)
Silvana M. Melo (UFGD, Brazil)
Vânia de Oliveira Neves (UFF, Brazil)
Wesley K. G. Assunção (PUC-Rio, Brazil)
Wilkerson L. Andrade (UFCG, Brazil)
Program Comittee
Adenilso Simao (ICMC-USP, Brazil)
André Endo (UFSCar, Brazil)
Auri Marcelo Rizzo Vincenzi (UFSCar, Brazil)
Érica Souza (UTFPR, Brazil)
Eliane Martins (UNICAMP, Brazil)
Everton Alves (UFCG, Brazil)
Fischer Jônatas Ferreira (UFC, Brazil)
Guilherme Travassos (COPPE/UFRJ, Brazil)
Jackson A. Prado Lima (UFPR, Brazil)
Marcelo Eler (EACH-USP, Brazil)
Marcio Delamaro (ICMC/USP, Brazil)
Márcio Ribeiro (UFAL, Brazil)
Marcos Chaim (EACH-USP, Brazil)
Patricia Machado (UFCG, Brazil)
Paulo Lopes de Souza (ICMC-USP, Brazil)
Silvia Vergilio (UFPR, Brazil)
Simone Souza (ICMC-USP, Brazil)
Vânia Neves (UFF, Brazil)
Victor Hugo Costa Pinto (UFPA, Brazil)
Wesley Assunção (PUC-Rio, Brazil)
Wilkerson Andrade (UFCG, Brazil)