posted by user: husnuyenigun || 6272 views || tracked by 32 users: [display]

ICTSS 2013 : International Conference on Testing Software and Systems


Conference Series : International Conference on Testing Software and Systems
When Nov 13, 2013 - Nov 15, 2013
Where Istanbul, Turkey
Abstract Registration Due Jun 3, 2013
Submission Deadline Jun 10, 2013
Notification Due Aug 1, 2013
Final Version Due Aug 27, 2013
Categories    software testing   testing

Call For Papers


Call for Papers/Workshops/Tutorials/PhD Workshop

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

November 13-15, 2013

Istanbul, Turkey


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

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

- 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



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 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 for
the complete list of PC members.



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



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 for

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



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

Related Resources

ISSTA 2018   International Symposium on Software Testing and Analysis
AI 2017   3rd International Conference on Artificial Intelligence and Applications
OSDI 2018   13th USENIX Symposium on Operating Systems Design and Implementation
NMOCT 2017   3rd International Conference on Networks, Mobile Communications and Telematics (NMOCT-2017)
ICIST 2018   24th International Conference on Information and Software Technologies
SIPRO 2018   4th International Conference on Signal and Image Processing
ISSEA 2018   Special Session on Intelligent Systems and Software Engineering Advances
ART 2018   IEEE Transactions on Reliability Special Section on Adaptive Random Testing
VLSIA 2017   3rd International Conference on VLSI and Applications