Call for papers

SAST 2015 9th Brazilian Workshop on Systematic and Automated Software Testing - Belo Horizonte, MG, Brazil - September 23th, 2015 Co-located with: CBSoft 2015 - Brazilian Conference on Software: Theory and Practice - INTRODUCTION Software testing is of central importance to verify and validate software systems. However, 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 main 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. The 9th edition of SAST will be co-located with the Brazilian Conference on Software: Theory and Practice (CBSoft) and will benefit from other important joint events, as the Brazilian Symposium on Software Engineering (SBES), the Brazilian Symposium on Programming Languages (SBPL), Brazilian Symposium on Formal Methods (SBFM), and the Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS). During this period, Belo Horizonte is the place to be for those interested in Systematic and Automated Software Testing.

TOPICS OF INTEREST SAST focuses on bringing together the academic and the industrial software testing community that has been researching on systematic and automated practices, activities and tools of software testing. The topics covered by the workshop include, but are not limited to, the following: · Program-based testing; · Specification-based testing; · Model-based and model-driven testing; · Error-based and fault-based testing; · Risk-based testing; . Test case generation and selection 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; · Performance, load and stress testing; · Combinatorial testing and random testing; · Prediction testing; . Mobile application testing; · Cloud computing testing; · Distributed and parallel software testing; · Management of testing activities and resources; · Maintenance and reuse of test artifacts; · Test-driven development; · Testing integrated with development activities; · Industrial report on testing automation.



Best papers will be invited to submit an extended version to the Special Issues of the Workshops of CBSoft'2015

Confirmed: Journal of the Brazilian Computer Society - JBCS  and Journal of Internet Services and Applications - JISA

SUBMISSION GUIDELINES We solicit submissions in the following categories: - Technical papers: Technical papers should present original contributions to the software testing research area and must be no longer than 10 pages, including all figures, references, and appendices. - Experience Reports: Experience reports should describe examples of practical usage of software testing approaches in the industry, emphasizing results obtained and lessons learned. The reports should not have been published previously, however, they are not required to present original contributions. Experience reports must be no longer than 6 pages, including all figures, references, and appendices. 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. All submissions will be reviewed by at least three workshop PC members. Submitted papers must be unpublished original work. Papers must follow the guidelines described in "Templates for Articles and Book Chapters" of the Brazilian Computer Society, available at All submitted papers must be in Adobe Portable Document Format (PDF) and must be submitted using the JEMS system (>. PUBLICATION

For accepted submissions, at least one of the authors must register in the workshop for presenting the paper. IMPORTANT DATES Paper registration and submission: June, 20, 2015 Notification of acceptance: July, 17th, 2015 Camera-ready copy due: July, 27th, 2015 Workshop: September, 23rd, 2015 ORGANIZING COMMITTEE - Auri Marcelo Rizzo Vincenzi (INF/UFG) - Simone do Rocio Senger de Souza (ICMC/USP) PROGRAM COMMITTEE ============= Adenilso Simão, ICMC/USP

Alexandre Petrenko, CRIM, Canada

Ana Cavalcanti, University of York, UK

André Takeshi Endo (UTFPR)

Arilo Claudio Dias Neto, IComp/UFAM

Auri Vincenzi, INF/UFG

Avelino F. Zorzo PUC/RS

Cassio Rodrigues, INF/UFG

Edmundo Spoto, INF/UFG

Eduardo Guerra, LAC/INPE

Eliane Martins, IC/Unicamp

Elisa Yumi Nakagawa, ICMC/USP

Ellen Francine Barbosa, ICMC/USP

Fabiano Ferrari, DC/UFSCAR

Fábio Fagundes Silveira - ICT/UNIFESP

Fátima Matiello-Francisco, INPE

Guilherme Horta Travassos, COPPE/UFRJ

Jorge Figueiredo, DSC/UFCG

José Carlos Maldonado, ICMC/USP

Juliano Iyoda, CIn/UFPE

Marcelo d'Amorim, CIn/UFPE

Márcio Eduardo Delamaro, ICMC/USP

Marcos Chaim, EACH/USP


Patrícia Machado, DSC/UFCG

Plínio Leitão-Júnior, UFG

Ricardo Anido, IC/UNICAMP

Roberta Coelho, DIMAp/UFRN

Sandra Fabbri, DC/UFSCAR

Silvia Regina Vergílio, DInf/UFPR

Simone Senger de Souza, ICMC/USP

Valdivino Alexandre de Santiago Júnior, LAC/INPE

Wilkerson de Lucena Andrade, DSC/UFCG