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

ICTSS 2013 : International Conference on Testing Software and Systems

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Testing Software and Systems
 
Link: http://ictss.sabanciuniv.edu/
 
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
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

Related Resources

WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
IJME 2024   International Journal of Microelectronics Engineering
JSS VSI:AI-testing-and-analysis 2024   [JSS - Elsevier] Special Issue on Automated Testing and Analysis for Dependable AI-enabled Software and Systems
AIFU 2024   10th International Conference on Artificial Intelligence and Applications
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)
SOFT 2024   10th International Conference on Software Engineering
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
SOFT 2024   10th International Conference on Software Engineering
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
DMSE 2024   5th International Conference on Data Mining and Software Engineering