Call for Paper Conference

Software testing is a central activity in the validation and verification process of software systems. It has been largely applied in industry with the purpose of detecting defects and also composing the systems certification. Research in this area has steadily increased in the last
years. Notable academic progress has already been achieved in the area. Also, industry has continuously improved test processes. Systematic approaches have proven to be more effective than ad-hoc testing as well as automation of strenuous and repetitive activities. Moreover, successful cases have been reported.

The main goal of SAST is to be a forum that brings together the research community and industry.The proposal of this third SAST edition, now in conjunction with SMBF, was built on two main factors. The first one is the success of the previous editions, which demonstrates the growth of the field. The second one is the common interests shared by the testing and formal method communities. This interest tends to be even greater in the future.
The event can clearly promote advances in the research and practice in the software testing area by aiding the establishment of collaborations and joint projects.

TOPICS OF INTEREST
The topics covered by the workshop include, but are not limited to, the following:

. Test-driven development;
. Testing integrated with development activities;
. Program-based testing;
. Specification-based testing;
. Model-based testing;
. Model-driven testing;
. Risk-based testing;
. Error-based and fault-based testing;
. Performance, load and stress testing;
. Combinatorial testing and random testing;
. Test case selection techniques;
. Test case generation techniques;
. Test oracle and test result checking techniques;
. Test driver, stubs, harness and test script generation;
. Test adequacy and coverage measurement;
. Test effective analysis and test report generation;
. Test related software artifact generation;
. Management of testing activities and resources;
. Maintenance and reuse of test artifacts;
. Requirements and Tests;
. Test artifacts traceability;
. Formal Approaches to Testing.


SUBMISSION GUIDELINES
Two types of submissions are expected:
i) Technical papers; and
ii) Experience Report.

Papers submitted to the workshop must be unpublished original work. The papers can be written either in Portuguese or in English and will be judged according to their adequacy to workshop scope, relevance, technical soundness and originality. Papers should state clearly their relation to previous work, mainly to previous published work of the own authors.

Theoretical papers should emphasize the contribution to the practice. Papers on empirical experiments should describe the used methods and interpret qualitatively and quantitatively their results.
Accepted submissions of technical and experience report papers are going to be presented at the workshop technical sessions. All submissions must be in Adobe Portable Document Format (PDF), following the guidelines established by the Brazilian Computer Society (SBC) available
at: http://www.sbc.org.br (In the link "Eventos").

i) Technical papers should present original contribution to software testing research area and must be no longer than 10 pages, including all the figures, references, and appendices.

ii) Experience report papers content should describe the practical usage of software testing in real industry applications, emphasizing the results obtained and the lessons learned. The reports should not have been published previously, yet they are not required to present original contributions. Experience report papers must be no longer than 6 pages, including all the
figures, references, and appendices.


Paper submission will be done electronically at the following address: https://submissoes.sbc.org.br/

PUBLICATION
Authors of accepted papers are required to register to the workshop and present the paper at the workshop to ensure publication

IMPORTANT DATES
Submission Deadline: 15/06
Notification of Acceptance: 15/07
Final Version: 30/07

WORKSHOP ORGANIZERS
Silvia Regina Vergílio, DInf/UFPR
Simone do Rocio Senger de Souza, SSC/ICMC-USP

PROGRAM COMMITTEE (to be confirmed)
Adalberto Nobiato Crespo, CENPRA
Adenilso Simão, SSC/ICMC-USP
Aditya P. Mathur, Purdue University, USA
Alexandre Petrenko, CRIM, Canada
Ana Cavalcanti, University of York, UK
Ana Cavalli, GET-INT, France
Ana Maria Ambrósio, INPE
Antonia Bertolino, CNR, Pisa, IT
Arndt von Staa, PUC-Rio
Augusto Sampaio, CIN/UFPE
Auri Marcelo Rizzo Vincenzi, INF/UFG
Edmundo Spoto, UNIVEM
Eliane Martins, IC/UNICAMP
Ellen Francine Barbosa, SSC/ICMC-USP
Guilherme Horta Travassos, COPPE/UFRJ
Jacques Sauvé, DSC/UFCG
João Cangussu, UTD, USA
Jorge Figueiredo, DSC/UFCG
José Carlos Maldonado, SSC/ICMC-USP
Juliana Herbert, UNISINOS
Márcio Eduardo Delamaro, SSC/ICMC-USP
Marcos Chaim, EACH/USP
Mario Jino, FEEC/UNICAMP
Patrícia Machado, DSC/UFCG
Paulo Borba, CIN/UFPE
Paulo César Masiero, SSC/ICMC-USP
Plínio de Sá Leitão Júnior, INF/UFG
Plínio Vilela, UNIMEP
Ricardo Anido, IC/UNICAMP
Sandra C.P.F. Fabbri, DC/UFSCAR
Silvia Regina Vergílio, DInf/UFPR (chair)
Simone do Rocio Senger de Souza, SSC/ICMC-USP (co-chair)