Call for Paper Conference

Co-located with SBMF/SBLP 2009 (www.sbmf2009.inf.ufrgs.br)

Gramado, RS, Brazil
August 19th, 2009


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