[Apologies for cross posting]
============================================================
Call for Papers/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 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
************************************************************
