TOPIC:

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

Call for Papers/Workshops/Tutorials/PhD Workshop

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

November 13-15, 2013

Istanbul, Turkey

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 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 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 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 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 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