6th Brazilian Workshop on Systematic and Automated Software Testing

--------------------------------------------------------------------------------------------------------- 6th Brazilian Workshop on Systematic and Automated Software Testing (http://icomp.ufam.edu.br/sast2012/) Natal, RN, Brazil September 23rd., 2012 (Sunday) Co-located with: CBSoft 2012 - Brazilian Conference on Software: Theory and Practice (http://www.cbsoft.dimap.ufrn.br/ ) CALL FOR PAPERS ================= 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. 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. The 6th edition of SAST will be co-located with the Brazilian Conference on Software: Theory and Practice (CBSoft) and will benefit from other important joint events, as the Brazilian Symposium on Software Engineering (SBES), the Brazilian Symposium on Programming Languages (SBPL), Brazilian Symposium on Formal Methods (SBFM), and the Brazilian Symposium on Software Components, Architectures and Reuse (SBCARS). During this period, Natal is the place to be for those interested in Systematic and Automated Software Testing. TOPICS OF INTEREST ==================== The workshop focuses on bringing together the academic and the industrial software testing community that has been researching on systematic and automated practices, activities and tools of software testing. 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. BEST PAPER AWARD ======================== The best paper will be invited to submit an extended version to RITA (Revista em Informática Teórica e Aplicada)! SUBMISSION GUIDELINES ======================== We solicit submissions in the following categories: -Technical papers: 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. -Experience Reports: 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. 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. All submissions will be reviewed by at least three workshop PC members. Papers must follow the guidelines described in "Templates for Articles and Book Chapters" of the Brazilian Computer Society, available at http://www.sbc.org.br/en/index.php?option=com_jdownloads&Itemid=195&task=viewcategory&catid=32. Submitted papers must be unpublished original work. All submitted papers must be in Adobe Portable Document Format (PDF) and must be submitted using the JEMS system (https://submissoes.sbc.org.br/>. PUBLICATION ============= For accepted submissions, at least one of the authors must register in the workshop for presenting the paper. IMPORTANT DATES ================== Submission Deadline: June 17th, 2012 Notification of Acceptance: July 14th, 2012 Final Version: July 21th, 2012 PC CHAIRS ========== Roberta Coelho (DIMAp/UFRN) Arilo Claudio (IComp/UFAM) PROGRAM COMMITTEE (to be confirmed) =================== Adalberto Crespo, CEMPRA Adenilso da Silva Simão, SSC/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 Anamaria Martins Moreira, DIMAp/UFRN Antonia Bertolino, CNR, Pisa, IT Arilo Claudio Dias Neto, IComp/UFAM (co-chair) Arndt Von Staa, Puc-Rio Augusto Sampaio, CIN/UFPE Auri Vincenzi, INF/UFG Edmundo Spoto, UNIVEM Eliane Martins, IC/Unicamp Ellen Francine Barbosa, SSC/USP Fábio Fagundes Silveira - ICT/UNIFESP Guilherme Horta Travassos, COPPE/UFRJ João Cangussu, UTD, USA Jorge Figueiredo, DSC/UFCG José Carlos Maldonado, SSC/USP Juliano Iyoda, CIn/UFPE Juliana Herbert, UNISINOS Márcio Eduardo Delamaro, SSC/USP Marcos Chaim, EACH/USP Mário Jino, FEEC/UNICAMP Otávio Lemos, ICT/UNIFESP Patrícia Machado, DSC/UFCG Paulo César Masiero, SSC/USP Plínio Vilela, UNIMEP Roberta Coelho, DIMAp/UFRN (chair) Ricardo Anido, IC/UNICAMP Sandra Fabri, DC/UFSCAR Silvia Regina Vergílio, DInf/UFPR Simone do Rocio Senger de Souza, SSC/USP

Chamada de Trabalhos - SAST 2011

CALL FOR PAPERS

SAST 2011 - 5th Brazilian Workshop on Systematic and Automated Software Testing
(http://www.sjc.unifesp.br/sast2011/)
São Paulo, SP, Brazil
September 30th., 2011

Co-located with:
CBSoft 2011 - Brazilian Conference on Software: Theory and Practice
(http://www.each.usp.br/cbsoft2011/ingles/index_en.html)


CALL FOR PAPERS
=================
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. 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 5th edition of SAST will be co-located with the Brazilian
Conference on Software: Theory and Practice (CBSoft) and will benefit
from other important joint events, as the Brazilian Symposium on
Software Engineering (SBES), the Brazilian Symposium on Programming
Languages (SBPL), Brazilian Symposium on Formal Methods (SBFM), and
the Brazilian Symposium on Software Components, Architectures and
Reuse (SBCARS). During this period, São Paulo is the place to be for
those interested in Systematic and Automated Software Testing.

TOPICS OF INTEREST
====================
The workshop focuses on bringing together the academic and the
industrial software testing community that has been researching on
systematic and automated practices, activities and tools of software
testing. 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
========================
We solicit submissions in the following categories:
-Technical papers: 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.

-Experience Reports: 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.

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.
All submissions will be reviewed by at least three workshop PC members.

Papers must follow the guidelines described in "Templates for Articles and Book Chapters" of the Brazilian Computer Society, available at http://www.sbc.org.br/en/index.php?option=com_jdownloads&Itemid=195&task=viewcategory&catid=32. Submitted papers must be unpublished original work.

All submitted papers must be in Adobe Portable Document Format (PDF) and must be submitted using the JEMS system (https://submissoes.sbc.org.br/>.


PUBLICATION
=============
For accepted submissions, at least one of the authors must register in the workshop for presenting the paper.


IMPORTANT DATES
==================
Submission Deadline: June 06th, 2011
Notification of Acceptance: July 14th, 2011
Final Version: July 18th, 2011

PC CHAIRS
==========
Eliane Martins (IC/UNICAMP)
Fábio Fagundes Silveira (ICT/UNIFESP)

PROGRAM COMMITTEE
===================

* Adalberto Crespo - Centro de Tecnologia da Informação Renato Archer - CTI
* Adenilso Simao - ICMC-USP
* Alexandre Petrenko - Computer Research Institute of Montreal
* Ana Ambrosio - INPE
* Ana Cavalli- GET/INT
* Arndt von Staa - PUC-Rio
* Auri Marcelo Rizzo Vincenzi - UFG
* Edmundo Spoto - UFG
* Eduardo Guerra - ITA
* Eliane Martins - UNICAMP
* Elisa Yumi Nakagawa - USP
* Elisângela Vieira - Alcatel/Lucent
* Ellen Francine Barbosa - ICMC-USP
* Fatima Mattiello-Francisco - INPE
* Fábio Fagundes Silveira - ICT/UNIFESP
* Guilherme Travassos - COPPE/UFRJ
* Jacques Sauvé - UFCG
* Jorge César Abrantes de Figueiredo - UFCG
* José Maldonado - SSC/ICMC-USP/ São Carlos
* Juliana Herbert - Herbert Consulting
* Juliano Iyoda - UFPE
* Marcelo dAmorim - UFPE
* Marcelo Fantinato - USP
* Márcio Delamaro - USP
* Marcos Chaim - USP
* Mario Jino - FEEC-UNICAMP
* Otávio Lemos - ICT/UNIFESP
* Patricia Machado - UFCG
* Plínio Leitão Júnior - UFG
* Plinio Vilela - Universidade Metodista de Piracicaba
* Sandra Fabbri - UFSCa
* Silvia Vergilio - UFPR
* Simone Souza - ICMC-USP