IX Brazilian Congress on Software: Theory and Practice (CBSoft)

The Brazilian Congress on Software: Theory and Practice (CBSoft) is an annual event promoted by the Brazilian Computer Society (SBC), aiming at promoting and encouraging the exchange of experiences among researchers and practioneers from the industry and academia on the latest researches, trends and innovations – practical and theoretical – concerning software. Held since 2010, CBSoft has become one of the most important events of the Brazilian scientific computing community, and each year number of submissions of scientific papers and participants have been increasing.

CBSoft 2018 integrates four traditional events organized by the Brazilian software development community:

XXXII Brazilian Symposium on Software Engineering (SBES 2018)
XXII Brazilian Symposium on Programming Languages (SBLP 2018)
XII Brazilian Symposium on Components, Architectures and Software Reuse (SBCARS 2018)
III Brazilian Symposium on Systematic and Automated Software Testing (SAST 2018)

The conference includes technical sessions, national and international keynotes, panels, tutorials and short courses. In 2018, the 9th edition of CBSoft will be held at São Carlos/ SP, considered as the national capital of technology (Law No. 20504, 2011). The responsibility of organizing the event will be under the Institute of Mathematics and Computer Sciences at University of São Paulo (ICMC/USP) and The Federal University of São Carlos (UFSCAR).

We look forward to seeing you all in São Carlos, between September 17th and 21st, 2018!
Elisa, Rosana, Valter, Auri, Daniel, and Lucas.


General Chairs

  • Elisa Yumi Nakagawa (ICMC/USP)
  • Rosana Vaccare Braga (ICMC/USP)
  • Valter Vieira de Camargo (DC/UFScar)
  • Auri Marcelo Rizzo Vincenzi (DC/UFScar)
  • Daniel Lucrédio (DC/UFScar)
  • Lucas Bueno Ruas de Oliveira (IFSP/São Carlos)

Web and Community Managers

  • Lina Garcés (ICMC/USP)
  • Tiago Volpato (ICMC/USP)
  • Ana Allian (ICMC/USP)
  • Warteruzannan Soyer Cunha (DC/UFSCar)


More information will be available ASAP.

Conference Proceedings

More information will be available ASAP.

Industry Track

The Industry Track aims to foment discussions about the possibilities of academia-industry-government cooperation. The main goals are: to improve conditions for research, development, and innovation; to promote the training of qualified professionals in an integrated way; to foster the use of state-of-the-art techniques on industry and government. Therefore, the Industry Track favors technology transfer and the effective use of research, development and innovation results.

Hence, the Industry Track is a great opportunity for software engineering and information systems professionals to share their knowledge and experiences with the CBSoft public, constituting an excellent opportunity to establish cooperation between professionals and companies, as well as stimulating interaction between academia and industry. This is a relevant fact since academic-enterprise cooperation has been one of the requirements for calls for projects, such as those of the INCTs Program (operationalized in CNPq) and the CEPIDs - Centers for Research, Innovation, and Diffusion (FAPESP). In addition, several innovation institutes (public and private) aim to carry out projects related to research and development, with the involvement of the academy.

In this year's edition, the industrial track will include experience reports, keynotes, and panels focused on the reflex of software engineering adoption on the quality of processes and products developed in the industry.


Interested in presenting a tutorial at the Brazilian Congress on Software: Theory and Practice (CBSoft)?

CBSoft is the major event on Software Development held annually by the Brazilian Computer Society, aiming at promoting and encouraging the exchange of experience between the scientific, academic, and professional communities about the latest research, trends, and innovations in software. CBSoft integrates four traditional events organized by the Brazilian community of software development:

[SBES 2018] XXXII Brazilian Symposium on Software Engineering
[SBLP 2018] XXII Brazilian Symposium on Programming Languages
[SBCARS 2018] XII Brazilian Symposium on Software Components, Architectures and Reuse
[SAST 2018] III Brazilian Symposium on Systematic and Automated Software Testing

Every year, CBSoft provides tutorials to the attendants within the scope of software engineering and programming languages.

Tutorials are short courses about:

- New and emerging topics, which enables participants to learn about a topic related to their actuation area; or

- Research methods or approaches to support research on different topics; increasing knowledge about methods for both advanced undergraduate and graduate students, as well as for other researchers.

The tutorials are three hours long and are divided into two sections of one­and­a­half hours.

Submission Guidelines

Proposals should be no more than two pages long, and should contain:

1 - Title of the tutorial;
2 - Presentation;
3 - Outline of the tutorial;
4 - Biography of the speaker(s) (present each speaker briefly);
5 - Audience (can be more than one)
– SBES – General Software Engineering
– SBLP – Programming Languages
– SBCARS – Software Components, Architectures, and Reuse
– SAST – Software Testing
6 - Target audience (specify the target audience and why the proposed tutorial could attract the attention of this audience.) Explain and justify possible prerequisites
7 - Special needs (other than a computer and a projector)

A speaker of each tutorial will be exempted from enrollment in CBSoft, in addition to receiving two daily allowances. Other types of support will be evaluated by the Organizing Committee and will depend on the availability of resources.

All tutorial proposals must be in PDF format. Submission link: https://submissoes.sbc.org.br/home.cgi?c=3053

Proposals should be submitted until May 04, 2018

Notification: June 08, 2018

Questions can be sent to the tutorials chair:
- Tayana Conte (tayana@icomp.ufam.edu.br)


The IX Brazilian Conference on Software: Theory and Practice (CBSoft 2018) will be organized on September 17-21, 2018, in São Carlos, São Paulo, Brazil. CBSoft is one of the major software development conferences in Brazil, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software development.

For the 2018 edition, CBSoft will put together four Brazilian symposia, all of them very traditional in the software development field:

[SBES 2018] XXXII Brazilian Symposium on Software Engineering
[SBLP 2018] XXII Brazilian Symposium on Programming Languages
[SBCARS 2018] XII Brazilian Symposium on Software Components, Architectures and Reuse
[SAST 2018] III Brazilian Symposium on Systematic and Automated Software Testing

In addition, CBSoft program includes workshops related to these topics, providing a forum where academics and practitioners can exchange and discuss their experiences and ideas.

Accepted Workshops

VEM (Workshop of Visualization, Evolution and Maintainance of Software).

Coordinator: Marco Tulio Valente (mtov@dcc.ufmg.br)
Title: TBA
Abstract: TBA
Short Bio: TBA

WESB (Workshop on Search-Based Software Engineering)

Coordinators: Maria Cláudia Figueiredo Pereira Emer (mcemer@utfpr.edu.br) and Wesley Klewerton Guez Assunção (wesleyk@utfpr.edu.br)
Title: TBA
Abstract: TBA
Short Bio: TBA

General Information

The definition of the workshops that will be part of CBSoft 2018 will be carried out by evaluation of the submitted proposals in response to this call. Workshop proposals will be evaluated considering:

1 - Relevance and interest of subject matter;
2 - Experience of the workshop chair;
3 - Program Committee;
4 - Evaluation of previous editions, if applicable.

Each workshop can be scheduled for a half-day (3 hours) or a full day (6 hours). The workshops will be on Monday, September 17 (CBSoft General Chair will confirm this date).

IMPORTANT: Workshop proceedings will be provided in electronic form only, and must be prepared by the workshop organizers together with the CBSoft organisation team. Please note the deadline for delivering the workshop papers to the CBSoft organizing committee.

Submission Instructions

Submit your proposal at https://goo.gl/forms/iEbV8DmYyzIdRhtl2

The proposal must contain the following information:

  • 1) Name of the workshop;

  • 2) Duration (3 or 6 hours);

  • 3) Description of the main topic of the workshop, explaining its relevance;

  • 4) History of the workshop, including number of participants, number of submissions and acceptance rate;

  • 5) Workshop format, topics of interest, acceptance criteria, and presentation form;

  • 6) Invited speakers;

  • 7) Expected audience, including maximum number of participants;

  • 8) Program Committee;

  • 9) Support and required equipment from the local CBSoft organization;

  • 10) Name, contact information and curriculum of the workshop chair. If the coordinator is Brazilian, the CV can be a link to his or her Lattes CV. If the coordinator is not Brazilian, a brief CV must be included.

Important Dates

- Submission deadline: April 15 2018.
- Notification of acceptance: April 22, 2018.
- Delivery of camera-ready papers to organizing committee: July 30, 2018.


Program Committee
Edson Oliveira (UEM)
Fabio Mascarenhas (UFRJ)
Fernando Trinta (UFC)
Kecia Ferreira (CEFET-MG)
Tayana Conte (UFAM)

Questions should be directed to the chair for workshop proposals, Profª. Kecia Ferreira, through the e-mail kecia@decom.cefetmg.br.

Tools Session

The Tools Session is part of 9th CBSoft 2018, which integrates four traditional events organized by the Brazilian software development community:

[SBES 2018] XXXII Brazilian Symposium on Software Engineering
[SBLP 2018] XXII Brazilian Symposium on Programming Languages
[SBCARS 2018] XII Brazilian Symposium on Components, Architectures and Software Reuse
[SAST 2018] III Brazilian Symposium on Systematic and Automated Software Testing

This session has been traditionally promoted over the years inside SBES or SBCARS. Since 2010, it is part of the CBSoft, i.e., we expect contributions from researchers and professionals of any community linked to CBSoft.

The goal of this session is to provide a forum for presentation and demonstration of automated solutions that support the process of developing and managing software in its most diverse needs and manifestations. Audience includes members of the Academy and Industry. Academics can present the results of their applied research projects in the following areas: Software Engineering; Programming languages; Components, Architectures, and Software Reuse; and Software Testing. Industry professionals are also welcome to present commercial or in-house tools that bring significant gains in productivity and/or quality to software development process activities.

The authors will have the opportunity to present and disseminate their tools to participants from SBES, SBLP, SBCARS, and SAST, besides those from various CBSoft workshops (e.g., VEM). In short, this session consists of an theoretical and practical exhibition of the tool.


We invite the authors to submit papers describing automated solutions for the most diverse aspects and needs related to the themes discussed in the 4 symposia of CBSoft 2018: SBES, SBLP, SBCARS, and SAST.

A non-exhaustive list of topics of interest includes (in alphabetical order):
- Programming Languages Environments and Compilers
- Software Architecture
- Object-oriented/aspect-oriented software development
- Model Driven Development
- Distributed Software Development
- Software Product Line
- Requirements Engineering
- Experimental Software Engineering
- Configuration Management
- Software Maintenance, Reengineering, and Refactoring
- Metrics and Measurements in Software Engineering
- Software Processes
- Software Reuse
- Software Verification, Validation, and Testing


- Paper submission: May 27, 2018
- Author notification: July 15, 2018
- Camera-ready version: July 29, 2018


The submission consists of a short article and video about the tool, according to the following guidelines:

  • 1) The article must be original and cannot have been submitted or published to other academic vehicle. The article should contain clearly the following:
    • a) Description and motivation of the problem addressed by the tool.
    • b) Description of the main functionalities and potential users of the tool.
    • c) Usage example with preferably with a case study and screenshots illustrating the tool interface (where applicable).
    • d) The tool architecture with focus on the core components and the interfaces between them.
    • e) Brief comparison with other existing related tools.
    • f) The type of license (if any).
  • 2) Articles may be written in Portuguese or English. Articles written in Portuguese should also include the abstract in English, according to the template to come. They must not exceed *** 6 (six) pages ***, including all figures, references and appendices, and must be submitted in PDF file. Please, rely on good quality figures. The SBC format for article submission should be followed: http://goo.gl/bGc1bh. IMPORTANT: Articles that do not follow these instructions will be automatically rejected (before the evaluation process).
  • 3) The videos aim to demonstrate the tool usage. Please highlight the main contributions it provides. It must respect the following guidelines:
    • a) The video must be available on youtube.com and should have *** between 3 and 5 minutes ***.
    • b) The youtube link should be placed just below the abstract.
    • c) There should be an announcer presenting the tool. The speech can be in Portuguese or English.
    • d) There should be a brief introduction, giving an overview of the tool and its objectives.
    • e) All tool features (or most of) should be presented, if applicable.
    • f) The tool outputs should be shown and explained.
    • g) Depending on the tool, it may be interesting to use a running example or case study.


- The acceptance of an article implies in at least one enrolled author to present it.
- Authors should use the JEMS/SBC platform to submit the paper: https://submissoes.sbc.org.br/
- We will award the three best tools.


The Tools Session is traditionally held in two days:

1st day: the authors will make oral presentations (theoretical presentation).
2nd day: the authors will have a space to demonstrate their tools to the interested ones (practical demonstration). Note that the practical demonstration is to actually display the tool running. Video submitted for submission should not be used in this demonstration. Both theoretical presentation and practice are mandatory for all accepted tools. The format and timing of each presentation will be announced later.


Ricardo Terra - DCC/UFLA

Adenilso Simão - ICMC/USP
Alberto Costa Neto - UFS
Alexandre Mota - UFPE
Anamaria Martins Moreira - UFRJ
Arilo Dias Neto - UFAM
Auri Vincenzi - UFSCar
Bruno Costa - UFRJ
Cecília Rubira - UNICAMP
Cláudio Sant'Anna - UFBA
Daniel Lucrédio - UFSCar
Delano Beder - UFSCar
Eduardo Figueiredo - UFMG
Eduardo Guerra - INPE
Elder José Reioli Cirilo - UFSJ
Elisa Huzita - UEM
Franklin Ramalho - UFCG
Glauco Carneiro - UNIFACS
Gledson Elias - UFPB
Henrique Rocha - INRIA
Ingrid Nunes - UFRGS
João Arthur Brunet Monteiro - UFCG
Juliana Saraiva - UFPB
Kécia Ferreira - CEFET/MG
Lincoln Rocha - UFC
Luis Ferreira Pires - University of Twente
Marco Tulio Valente - UFMG
Maria Augusta Vieira Nelson - PUC/MG
Maria Istela Cagnin - UFMS
Martin Musicante - UFRN
Márcio Cornélio - UFPE
Patricia Machado - UFCG
Paulo Maciel - UFPE
Paulo Maia - UFC
Paulo Pires - UFRJ
Pedro Santos Neto - UFPI
Raphael S. Durelli - UFLA
Renato Novais - IFBA
Ricardo Massa Lima - UFPE
Rita Suzana Pitangueira Maciel - UFBA
Rohit Gheyi - UFCG
Rosângela Penteado - UFScar
Sandra Fabbri - UFSCar
Tiago Massoni - UFCG
Uirá Kulesza - UFRN
Valter Camargo - UFSCar
Vania Neris - UFSCar

VIII Workshop on Theses and Dissertations of CBSoft (WTDSoft 2018)


The VIII Workshop on Theses and Dissertations of CBSoft (WTDSoft 2018) is a permanent event associated with the Brazilian Congress on Software: Theory and Practice (CBSoft), dedicated to the presentation and discussion of master's and doctoral works in progress in the areas of Software Engineering and Programming Languages. The CBSoft 2018 will be held in São Carlos-SP, September 17-21, 2018.


CBSoft was created in 2010 to integrate important Brazilian scientific events, such as: Brazilian Symposium on Software Engineering (SBES), Brazilian Symposium on Programming Languages (SBLP), Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS), and Brazilian Symposium on Systematic and Automated Software Testing (SAST).
WTDSoft has its roots in the Workshop on Theses and Dissertations in Software Engineering (WTES), an event co-located with SBES from 1996 to 2010. WTDSoft currently seeks to integrate the SBES, SBLP, SBCARS and SAST communities, in order to provide a constructive environment for discussions between students with work in progress and researchers in the areas of Software Engineering and Programming Languages.


Masters or doctoral works are eligible for submission, preferably:
- Doctoral work with a defined proposal (not necessarily approved)
- Masters work with an approved proposal (desirable, but not mandatory) and expected deadline after December 2018
- Works that have not been accepted or presented in other workshops on theses and dissertations.

The works will be evaluated and selected by the program committee. Each paper will receive a feedback from the committee with questions and suggestions about its content. These comments should be used by the author in the preparation of the paper’s final version. Selected papers will be presented and discussed during WTDSoft, with program committee members and invited researchers. Acceptance of the work implies the author's registration in WTDSoft (and also in CBSoft) and his/her presence for the presentation of the work. The presentation may be in Portuguese or English. We assume that the author is the graduate student responsible for the development of the thesis or dissertation.


The submission should follow the Brazilian Computer Society (SBC) template, A4 size, containing a cover page and up to 06 pages for master's and 08 pages for doctoral work (07 and 09 pages, respectively). Word and Latex templates can be obtained from the SBC portal (https://tinyurl.com/h24v37f).
All papers must be written in Portuguese or English and submitted in JEMS ( https://submissoes.sbc.org.br/). The final version of the accepted papers should contain an informal letter or message from the advisor acknowledging the submission. The number of pages reported in JEMS refers to content pages, not including the cover page or letter of agreement.

The works must contain a cover page containing:
- Title of the work
- Student's name
- Name of the advisor(s)
- Level (master's or PhD)
- Graduate program
- Student's email
- Email of the advisor(s)
- Entry year in the program
- Expected date for final presentation
- Date of approval of the thesis / dissertation proposal (qualification)
- Abstract in Portuguese or in English
- Keywords
- Acronym(s) of the related CBSoft event(s) (SBES, SBCARS, SBLP, SAST).

The content of the work should start on the second page, describing clearly and objectively:
- Problem Characterization
- Background
- Contributions
- Current Status
- Description and Evaluation of Results
- Comparison with Related Work


Paper submission deadline: May 25, 2018 until 23:59 (Brasília time)
Notification of acceptance: July 6, 2018
Camera-ready deadline: July 18, 2018 until 23:59 (Brasília time)


André Takeshi Endo (UTFPR)
Rodrigo Pereira dos Santos (UNIRIO)

Previous Editions


Salvador, Bahia.


São Paulo, SP


Natal, RN


Brasília, DF


Maceió, Alagoas


Belo Horizonte, MG


Maringá, Paraná


Fortaleza, Ceará