SAST 2010
4th Brazilian Workshop on Systematic and Automated Software Testing
November 11th, 2010
********************************************************************
New Submission date: August 25th
Submission open: http://www.easychair.org/conferences/?conf=sast2010
********************************************************************
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.
TOPICS OF INTEREST
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
SUBMISSION GUIDELINES
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:
http://www.easychair.org/conferences/?conf=sast2010
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:
http://www.sbc.org.br (in the link "Eventos").
PUBLICATION
Authors of accepted papers are required to register to the workshop and present the paper at the workshop to ensure publication.