[Haskell] CFP: Automation of Software Test 2012

[John Hughes]

(It would be nice to see some papers on Haskell automated testing here)

John

AST 2012
7th IEEE/ACM International Workshop on Automation of Software Test
http://ast2012.org
At ICSE 2012 (http://www.ifi.uzh.ch/icse2012/)
Zurich, Switzerland, 2-3 June 2012

IMPORTANT DATES:

Submission deadline:
               February 17, 2012
Notification of acceptance:
               March 19, 2012
Camera-Ready version:
               March 29, 2012
Workshop dates:
               June 2 - 3 2012

In software development practice, testing accounts for as much as 50%
of the total development effort. It is therefore imperative to reduce
the cost and improve the effectiveness of software testing by
automating the testing process. In the past decades, a great amount of
research effort has been spent on automatic test case generation,
automatic test oracles, etc. Test automation is also becoming an
important part of software testing practice.

The workshop is the 7th edition of the successful AST workshops held
at ICSE 2006-2011. It will provide researchers and practitioners with
a forum for exchanging ideas, experiences, understanding of the
problems, visions for the future, and promising solutions to the
problems. The workshop will also provide a platform for researchers
and developers of testing tools to work together to identify the
problems in the theory and practice of software test automation and to
set an agenda and lay the foundation for future development.

TOPICS OF INTEREST

The workshop focuses on bridging the gap between the theory and
practice of software test automation. The topics of interest include,
but are not limited to, the following:

1) Methodology: Software test automation in the context of various
software development methodologies, such as model-driven,
component-based, agile, test-driven, product lines, service-oriented,
agent-oriented, and aspect-oriented methodologies, and in evolutionary
development.

2) Technology: Automation of test techniques and methods used in
test-related activities, support for software testing methods, and
applications to specific types of software in different application
domains.

3) Software testing tools and environments: Issues in the development,
operation, maintenance and evolution of software testing tools and
environments.

4) Experiments, empirical studies and experience reports and vision of
the future of software test automation. The AST 2012 workshop focuses
on a special topic on the Automation of Security Testing. Submissions
on this topic are especially encouraged, but papers on other topics
are also welcome.

CHARETTE DISCUSSIONS

The workshop continues the successful charette discussions of previous
years. This year, the charette discussion sessions will focus on the
topic of automation of security testing.

INDUSTRIAL CASE STUDIES

There will also be an Industrial Case Studies session at the workshop,
with presentations reporting the real state of the practice in
automation of software testing. Test practitioners are especially
encouraged to contribute their experiences and insights on test
automation. Topics for this session include, but are not limited to,
the following: new tools, new best practices, process innovations
related to test automation, gaps in existing vendor toolsets, ideas
and visions for near-term research work.

SUBMISSIONS

Two types of submissions are invited: regular papers and industrial
case study papers. The former presents research in the area of
software test automation, while the latter presents practical
applications of test automation. Both types of papers are limited to 7
pages in IEEE Conference Proceedings Format. All papers submitted to
the workshop must be unpublished original work and should not be
simultaneously under review or submitted elsewhere. All submissions
must be in English and in either PDF or postscript format through
online upload to the workshop submission website at the following URL:

http://www.easychair.org/conferences/?conf=AST2012

All submissions will be reviewed by three PC members. Regular papers
will be judged on the basis of their clarity, relevance, originality,
and contribution. Case study papers will be judged on the basis of
their clarity, relevance, and interest to the workshop participants.

PUBLICATION OF PAPERS

The accepted workshop papers including both regular and case study
papers will be published in the AST 2012 Proceedings and included in
the IEEE Digital Libraries. Workshop attendees will receive a memory
stick with both ICSE 2012 and AST 2012 proceedings on it. The
presentations slides will be published on the AST 2012
website. Authors of accepted papers are required to register for the
workshop and present the paper at the workshop in order for the paper
to be included in the proceedings and Digital Libraries.

A journal special issue to publish revised and extended versions of
selected best papers is pending.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20111219/e34f5347/attachment-0001.htm>