Call for Papers

SAST 2013
7th Brazilian Workshop on Systematic and Automated Software Testing -
Brasilia, DF, Brazil - September 29th, 2013 (Sunday)
Co-located with: CBSoft 2013 - Brazilian Conference on Software: Theory and Practice -
It is common knowledge that producing fault-free software is virtually impossible. Therefore, verification and validation practices will always be of paramount importance to software development. Among these practices, software testing is one of the most popular and effective, helping make software more predictable and consistent.
SAST focuses on bringing together software testing researchers and practitioners to discuss and present experiences and contributions to the field. We welcome submissions addressing themes across the full spectrum of software testing. Example topics covered by the workshop are the following:
- 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;
- Testing integrated with development activities;
- Test-driven development; and
- Formal Approaches to Testing.
Best papers will be invited to submit an extended version to a journal. The journal will be determined soon.
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 must follow the guidelines described in "Templates for Articles and Book Chapters" of the Brazilian Computer Society, available at
Papers can be written either in English or in Portuguese and will be judged according to their adequacy to the workshop scope, relevance, technical soundness and originality. Papers should clearly state their relation to previous work. Theoretical papers should also emphasize contributions to the practice. Papers describing empirical experiments should clearly define the applied methodology and interpret results qualitatively or quantitatively. Submissions will be reviewed by at least three PC members.
All submitted papers must be in Adobe Portable Document Format (PDF) and must be submitted using the JEMS system (
At least one author of each accepted paper must register and present the paper at the workshop to ensure publication in the proceedings.
This year we are inviting two speakers for our workshop. The idea is to have a talk more from an academic perspective and another more from a practitioner's perspective. The invited speakers of our workshop this year are Adenilso Simão, ICMC/USP; and Joseph Yoder, The Refactory, Inc.
Paper upload: June, 14th, 2013 *** Extended to July 5th, 2013 ***
Notification of acceptance: August, 10th, 2013
Camera-ready copy due: August, 20th, 2013 (firm)
Workshop: September, 29th, 2013
 - Otavio Lemos (ICT/UNIFESP)
 - Eduardo Guerra (INPE)