ATSE2013 -- The Fourth Workshop on
Automated Test Case Design, Selection and Evaluation

Krakow, Poland, September 8-11, 2012
(In conjunction with FEDERATED CONFERENCE ON COMPUTER
SCIENCE AND INFORMATION SYSTEMS)


Submission: 12th of May 2013
Notification: 17th of June 2013

------------------------------------------------------------
http://2013.fedcsis.org/atse
------------------------------------------------------------
Many test automation tools are currently available to aid test planning and control as well as test case execution and monitoring, all these tools share a similar passive philosophy towards test case design, selection of test data and test evaluation. They leave these crucial, time-consuming and demanding activities to the human tester. This is not without reason; test case design and test evaluation are difficult to automate with the techniques available in current industrial practice. The domain of possible inputs (potential test cases), even for a trivial program, is typically too large to be exhaustively explored. Consequently, one of the major challenges associated with test case design is the selection of test cases that are effective at finding flaws without requiring an excessive number of tests to be carried out. This is the problem which this workshop wants to attack.

This workshop will provide researchers and practitioners a forum for exchanging ideas, experiences, understanding of the problems, visions for the future, and promising solutions to the problems in automated test case generation, selection and evaluation. 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.

Important Dates
---------------
Submission deadline: 12th of May 2013
Notification of acceptance: 17th of June 2013

Topics (non-exclusive)
----------------------
- Techniques and tools for automating test case design (model-based, search-based, combinatorial-based, property-based, etc.)
- Empirical evaluations of testing techniques and tools on real systems, not only toy problems.
- Benchmarks for evaluating software testing techniques


Submission type
---------------
We expect the following types of submissions:

- Research in progress, including research results at a premature stage.
- Experience reports. Positive experiences should present techniques and tools that work and the situations in which they work. Negative experiences should be used to highlight new research challenges.
- Surveys, case studies and comparative studies that investigate pros, cons and complementarities of tools and techniques.
- Vision papers stating where the research in the field should be heading towards.
- Tool demonstrations.

Submission guidelines
---------------------
- Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.
- Authors should submit draft papers (as Postscript, PDF of MSWord file)
- The total length of a paper should not exceed 8 pages (IEEE style). IEEE style templates are available here (http://www.fedcsis.org/?q=node/15).

Publication
-----------
Accepted and Presented papers will be published in the Conference Proceedings and included in the IEEE Xplore database. They will be also submitted for indexation in: DBLP Computer Science Bibliography, Google Scholar, Inspec, Scirus, SciVerse Scopus and Thomson Reuters - Conference Proceedings Citation Index

Organising Committee
--------------------
Dr. Tanja E.J. Vos
Centre for Software Production - ProS
Universidad Politecnica de Valencia (Spain)
tvos(@)pros.upv.es

Dr. Sigrid Eldh
Ericsson / Karlstad University, Sweden
sigrid.eldh(@)ericsson.com

Dr. S. Wishnu B. Prasetya
Center for Software Technology
University of Utrecht (The Netherlands)
S.W.B.Prasetya(@)uu.nl