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

http://www.smart-society.net/ssms09
23-28 August 2009, Koblenz, Germany

** Only a few seats available **
Application deadline (extended): 1 June 2009 (Monday)

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

WORKSHOP ORGANIZERS
Silvia Regina Vergílio, DInf/UFPR
Simone do Rocio Senger de Souza, SSC/ICMC-USP

PROGRAM COMMITTEE (to be confirmed)
Adalberto Nobiato Crespo, CENPRA
Adenilso Simão, SSC/ICMC-USP
Aditya P. Mathur, Purdue University, USA
Alexandre Petrenko, CRIM, Canada
Ana Cavalcanti, University of York, UK
Ana Cavalli, GET-INT, France
Ana Maria Ambrósio, INPE
Antonia Bertolino, CNR, Pisa, IT
Arndt von Staa, PUC-Rio
Augusto Sampaio, CIN/UFPE
Auri Marcelo Rizzo Vincenzi, INF/UFG
Edmundo Spoto, UNIVEM
Eliane Martins, IC/UNICAMP
Ellen Francine Barbosa, SSC/ICMC-USP
Guilherme Horta Travassos, COPPE/UFRJ
Jacques Sauvé, DSC/UFCG
João Cangussu, UTD, USA
Jorge Figueiredo, DSC/UFCG
José Carlos Maldonado, SSC/ICMC-USP
Juliana Herbert, UNISINOS
Márcio Eduardo Delamaro, SSC/ICMC-USP
Marcos Chaim, EACH/USP
Mario Jino, FEEC/UNICAMP
Patrícia Machado, DSC/UFCG
Paulo Borba, CIN/UFPE
Paulo César Masiero, SSC/ICMC-USP
Plínio de Sá Leitão Júnior, INF/UFG
Plínio Vilela, UNIMEP
Ricardo Anido, IC/UNICAMP
Sandra C.P.F. Fabbri, DC/UFSCAR
Silvia Regina Vergílio, DInf/UFPR (chair)
Simone do Rocio Senger de Souza, SSC/ICMC-USP (co-chair)

Em conjunto com o
IV Latin-American Symposium on Dependable Computing (LADC 2009)

A área de pesquisa em testes e tolerância a falhas visa
desenvolver técnicas para a construção de sistemas computacionais
confiáveis e de alta disponibilidade. O Workshop de Testes e
Tolerância a Falhas (WTF) é um fórum para discussões e troca de
idéias sobre trabalhos teóricos e práticos relacionados a testes e
a tolerância a falhas, em andamento tanto na academia como na
indústria. Atualmente, o WTF é classificado no Qualis/CAPES como C Nacional.

TÓPICOS DE INTERESSE

A lista não exaustiva de tópicos de interesse para o WTF é a
seguinte:

Algoritmos Distribuídos
Arquiteturas de Software e Hardware
Bancos de Dados
Clusters de Alta Disponibilidade
Comunicação em Grupo
Checkpointing
Computação Móvel e Embarcada
Grades Computacionais
Ferramentas e Automação de Testes
Linguagens de Programação
Métodos Analíticos para Determinação de Dependabilidade
Middlewares e Web Services
Multicast e Roteamento
Redes P2P, Móveis e Ad-Hoc
Segurança Crítica (Safety)
Sistemas Operacionais
Tempo Real
Técnicas/Geração de Dados de Teste
Tolerância a Intrusões
Validação Experimental e Simulação

FORMATO DO WORKSHOP

O WTF será realizado no dia 31 de Agosto e incluirá a
apresentação dos artigos aceitos para publicação, intercalados com
discussões e palestras convidadas. Descrição de trabalhos
preliminares ou de projetos em andamento nos diversos grupos de
pesquisa poderão ser apresentados na forma de resumos estendidos.
Estes também serão apresentados durante o workshop.

INSTRUÇÕES PARA AUTORES

Os trabalhos devem ser escritos em português ou inglês. Artigos
devem possuir no máximo 14 páginas, incluindo resumo, figuras,
anexos, referências, etc. Resumos estendidos devem possuir no
máximo 4 páginas. Os trabalhos serão publicados nos anais do WTF2009

O formato dos trabalhos deve ser aquele indicado para artigos pela
Sociedade Brasileira de Computação (SBC), cujos modelos estão
disponíveis em https://submissoes.sbc.org.br/templates. Evitar
figuras em bitmap ou pequenas demais. A submissão será eletrônica
através do JEMS (no endereço https://submissoes.sbc.org.br). O
arquivo deve estar necessariamente no formato Postscript (usar
generic postscript) ou PDF (Portable Document Format).

DATAS IMPORTANTES

12 de Junho limite para submissão de trabalhos (artigo completo e resumo)
24 de Julho divulgação do resultado da seleção
31 de Julho limite para entrega da versão final
31 de Agosto realização do evento

COORDENAÇÃO GERAL
Sérgio Gorender (UFBA, Brazil)

COMITÊ DE PROGRAMA DO WTF
Alcides Calsavara (PUCPR)
Alexandre Sztajnberg (UERJ)
Alysson Bessani (Universidade de Lisboa)
Ana Maria Ambrosio (INPE)
Avelino Zorzo (PUCRS)
Cecilia Rubira (UNICAMP)

Daniel Mossé (Pittsburg)
Eliane Martins (UNICAMP)
Elias P. Duarte Jr. (UFPR)
Fernando Dotti (PUCRS)
Flávio Assis Silva (UFBA)
Francisco Brasileiro (UFCG)
Frank Siqueira (UFSC)
George Lima (UFBA)
Henrique Madeira (University of Coimbra)
Irineu Sotoma (UFMS)
Joni da Silva Fraga (UFSC)
Jose Pereira (Universidade do Minho)
Lau Cheuk Lung (UFSC)

Luciana Arantes (Université de Paris VI)
Luiz Carlos Albini (UFPR)
Luiz Eduardo Buzato (UNICAMP)
Luiz Nacamura Júnior (UTFPR)

Marinho Barcellos (PUCRS)
Miguel Correia (Universidade de Lisboa)
Noemi Rodriguez (PUC-Rio)
Pedro A Santos Neto (UFPI)

Raul Ceretta (UFSM)

Raimundo Barreto (UFAM)
Raimundo José de Araújo Macêdo (UFBA)
Regina Moraes (UNICAMP)
Rui Oliveira (Universidade do Minho)
Sérgio Gorender (UFBA)
Taisy Weber (UFRGS)
Udo Fritzke Jr. (PUCMG - Poços de Caldas)
Vidal Martins (PUCPR)

CONTATO
Prof. Sérgio Gorender
E-mail:

gorender@ufba.brThis e-mail address is being protected from spam bots, you need JavaScript enabled to view it

ENDEREÇO PARA CORRESPONDÊNCIA:
WTF 2009 (Prof. Sérgio Gorender)
LaSiD - Laboratório de Sistemas Distribuídos
UFBA - Universidade Federal da Bahia
Av. Adhemar de Barros, s/n - Campus de Ondina, Prédio do CPD
Salvador, Bahia, Brasil - CEP 40170-110
Tel.: +55 71 3283 6142 Fax: +55 71 3283 6145