============================================================

Call for Papers/Workshops/Tutorials/PhD Workshop

25th IFIP International Conference
on
Testing Software and Systems (ICTSS'13)

November 13-15, 2013

Istanbul, Turkey

http://ictss.sabanciuniv.edu

============================================================


Scope and Objective:
--------------------
Testing is the most important quality assurance technique
for the (partial) verification of communication and software
systems as well as for the validation of their models.
Yet, testing remains very challenging in the underlying
theory, methods and tools, in industrial use, and in its
systematic combined application with other verification
techniques.

ICTSS is a series of international conferences addressing
the conceptual, theoretic, and practical problems of testing
software systems, including communication protocols,
services, distributed platforms, middleware, embedded and
cyber-physical systems, and security infrastructures. ICTSS
is a forum for researchers, developers, testers, and users
from industry to review, discuss, and learn about new
approaches, concepts, theories, methodologies, tools, and
experiences in the field of testing of software and systems.

Topics of interest:
-------------------
ICTSS seeks papers addressing the conceptual, theoretic, and
practical problems of testing software and systems. The
topics of interest include but not limited to:

- Aspects of testing: Test derivation, test selection, test
coverage, test implementation and execution, monitoring
and runtime verification, test result analysis, test
oracles, test management, test frameworks;

- Model-based testing: Formal models and modeling languages
based on automata, state machines, process algebra,
logics, UML, HOL, Markov-chains; test generation from
models addressing model and fault coverage;

- Combinations of testing and formal analysis techniques:
Techniques that systematically combine testing and formal
(model-based) analysis to improve quality and reduce
efforts;

- Quality aspects: Functional, interoperability, conformance,
reliability, performance, robustness, security, etc;

- Application areas: Communicating systems such as protocols,
middleware, networks, web services, wireless applications;
control systems; business information systems; embedded and
real-time software, etc;

- Tools and methods: Automated support of testing activities,
agile and lean testing processes, test-driven development,
sound metrics and measurements;

- Case studies: Case studies and industrial applications of
testing involving qualified empirical evaluations.


ICTSS Steering Committee:
-------------------------
Rob Hierons, U Brunel, UK (Chair)
Alexandre Petrenko, CRIM, Canada
Ana R. Cavalli, Telecom Sud Paris, France
Brian Nielsen, Aalborg University, Denmark
Burkhart Wolff, U Paris Sud, France
Carsten Weise, IVU Traffic Technologies, Germany
Fatiha Zaidi, U Paris Sud, France
Andreas Ulrich, Siemens AG, Germany

************************************************************

CALL FOR PAPERS
===============

Types of contributions:
-----------------------
- Full papers (max. 16 pages) describing either research,
which must be original, significant, and sound, or case
studies and empirical studies in an industrial context
on new testing methodologies and industrial best practices.

- Short papers (4-6 pages) describing a work in progress, a
small complete work, or a short industrial experience.

Submissions and publication:
----------------------------
The submissions to ICTSS 2013 must present original work, not
published previously and not submitted elsewhere for
publication. Accepted submissions will be published in the
Springer LNCS series.

Please see http://ictss.sabanciuniv.edu/cfp.php for details.

Deadlines for Papers:
---------------------
June 03, 2013 Submission of abstracts
June 10, 2013 Submission of full papers
August 01, 2013 Author Notification
August 27, 2013 Camera ready copy

Conference Chairs:
------------------
Husnu Yenigun, Sabanci University, TR
Cemal Yilmaz, Sabanci University, TR
Andreas Ulrich, Siemens AG, DE


Program Committee:
------------------
Please see http://ictss.sabanciuniv.edu/committees.php for
the complete list of PC members.

************************************************************

CALL FOR WORKSHOPS
==================

ICTSS 2013 invites submissions for workshop proposals on
topics of interest to the ICTSS series. The workshops will be
either half day or one full day. Depending on the number of
accepted workshops, the workshops will be scheduled either on
Nov 12, Nov 13, or Nov 16, 2013.

Please see http://ictss.sabanciuniv.edu/cfw.php for details.

Deadlines for Workshop Proposals:
---------------------------------
April 25, 2013 Submission of workshop proposals
May 10, 2013 Notification of acceptance

Workshop Chair:
---------------
Vahid Garousi, University of Calgary, CA


************************************************************

CALL FOR PAPERS FOR PHD WORKSHOP:
=================================

The ICTSS Doctoral Workshop provides a forum for PhD students
to present preliminary results and their thesis work and
receive constructive feedback from experts in the field as
well as from peers. Also it is an opportunity for researchers
to get an overview of the latest research topics in the
field. We invite applications from PhD students at any stage
of their doctoral studies (abstract of the presentation, up
to 4 pages).

Please see http://ictss.sabanciuniv.edu/phdworkshop.php for
details.

Deadlines for PhD Workshop:
---------------------------
September 15, 2013 Submission of papers
October 01, 2013 Author Notification
October 15, 2013 Camera ready copy

PhD Workshop Chair:
-------------------
Rui Abreu, University of Porto, PT


************************************************************

CALL FOR TUTORIALS:
===================

ICTSS 2013 invites proposals for tutorials, including tool
demonstrations, that are within the scope of ICTSS 2013.
Proposals are solicited only for half day tutorials. Proposals
should provide sufficient information to evaluate the quality
and importance of the topic, the quality of the presentation
materials, and the speakers' teaching ability.

Please see http://ictss.sabanciuniv.edu/cft.php for details.

Deadlines for Tutorial Proposals:
---------------------------------
May 01, 2013 Submission of tutorial proposals
June 01, 2013 Notification of acceptance
October 01, 2013 Submission of slides

Tutorial Chair:
---------------
Cesar Viho, IRISA Rennes, FR