SAST 2010

4th Brazilian Workshop on Systematic and Automated Software Testing

November 11th, 2010

New Submission date: August 25th
Submission open:

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. In this context, 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.

This 4th edition of SAST will be co-located with the Brazilian Symposium on Formal Methods (SBMF) and will benefit from the Joint International Conference on Testing Software and Systems (ICTSS), which merges the 22nd IFIP Int. Conference on Testing of Communicating Systems (TESTCOM) and the 10th Int. Workshop on Formal Approaches to Testing of Software (FATES). During this period, Natal is the place to be for those interested in Systematic and Automated Software Testing.


We invite contributions related software testing systematization and automation. Topics of interest include, but are not limited to, the following:
  • Test case generation: combinatorial, random, and symbolic exploration, model-based, specification-based, and program-based testing, generation of test drivers, stubs and scripts, etc.
  • Test oracle generation: test oracle inference (e.g., differential path profiling and symbolic inference), test result checking, etc.
  • Test suite adequacy: mutation testing, coverage measurement, reliability growth models, etc.
  • Test selection and execution: white and black-box selection, conservative and lossy reductions, parallel execution in clouds and clusters, etc.
  • Methodological aspects of testing: test-driven development, formal approaches to testing, generation, maintenance, traceability and reuse of test artifacts, integration with development, systematic and automated management of testing activities and resources, etc.
  • Tool support for Systematic and Automated Software Testing


We solicit submissions in the following categories:
  • Technical paper. Technical papers should present unpublished original contribution to software testing systematization and automation and must be no longer than 10 pages, including figures, references, and appendices.
  • Experience Report. Experience report papers content should describe the practical usage of software testing in 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 via the EasyChair submission system at:

Papers should be written in either Portuguese or 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: (in the link "Eventos").


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