ICTSS 2016 - CALL FOR PAPERS
======================================================
28th IFIP International Conference on Testing,
Software and Systems (ICTSS 2016)

October 17-19, 2016, Graz, Austria

http://ictss2016.ist.tugraz.at
======================================================

----------------------
Important Dates
----------------------

* Research papers (both long and short)
Paper submission: June 10, 2016
Notification: July 18th, 2016
Camera-ready papers due: August 1st, 2016

* Workshop proposals
Submission of proposals: April 29th, 2016
Notification: May 9th, 2016

* Conference dates
Main conference including workshops: October 17-19, 2016

----------------------
Submissions
----------------------

The International Conference on Testing Software and Systems (ICTSS) addresses the conceptual, theoretic and practical problems of testing software and systems, including communication protocols, services, distributed platforms, middleware, embedded- and cyber-physical-systems and security infrastructures.

ICTSS is the successor of previous (joint) conferences TESTCOM and FATES and aims to be a forum for researchers, developers, testers and users to review, discuss and learn about new approaches, concepts, theories, methodologies, tools and experiences in the field of testing of communicating systems and software. ICTSS-2016 welcomes:

- Long papers (up to 16 pages Springer LNCS format) 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 (up to 6 pages Springer LNCS format) describing a work in progress, a small piece of complete work, or a short industrial experience.

Each paper submission will be reviewed by at least three members of the ICTSS
Program Committee.

All contributions to ICTSS-2016 have to be submitted electronically in PDF format via Easy Chair and have to follow the Springer LNCS paper format.

The submission type according to the categories mentioned under Types of Contributions must be stated explicitly by the author(s) upon submission via the conference website. The submission type influences the review criteria.

Each paper submission will be reviewed by at least three members of the ICTSS Program Committee. All contributions to ICTSS-2016 have to be submitted electronically in PDF format via Easy Chair and have to follow the Springer LNCS paper format. The submission type according to the categories mentioned under Types of Contributions must be stated explicitly by the author(s) upon submission via the conference website. The submission type influences the review criteria.

Accepted contributions must be presented at the conference. Springer publishes accepted full papers in their LNCS series. Accepted short papers will also be published in the same LNCS volume in a separate section. Authors need to sign a copyright transfer form to transfer usage rights on their papers to IFIP and Springer. As ICTSS-2016 is an IFIP Conference, authors must be aware of the IFIP Author Code of Conduct.

In addition ICTSS-2016 also accept workshop proposals on any aspect of software quality. The workshop organizers will carry out workshops during ICTSS. Workshop proposals have to include:

- The name of the workshop

- A list of workshop organizers together with their affiliations and contact data

- A short description of the workshop content

- An estimate on the number of participants

- Indication whether the workshop should be a half day or full day workshop

- If available, a link to the workshop’s web page

Please send workshop proposals to: wotawa@ist.tugraz.at


----------------------
Topics of interest
----------------------

The topics of interest include but are not limited to:

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

- Model-based Testing: Formal models and modeling languages such as automata, state machines, process algebra, logics, UML, HOL, Markov-chains, test generation from models, model coverage

- Combinatorial Testing: From algorithms for generating combinatorial tests to its use in industry

- Combination of Techniques: Techniques that demonstrate how to systematically combine testing and formal (model-based) verification and analysis to improve quality and reduce effort

- Quality Aspects: Functionality, interoperability, performance, conformance, security, reliability, robustness, etc.

- Application Areas: Protocols, middleware, networks, web services, wireless applications, control systems, business information systems, embedded and real-time software

- Combinations of different testing techniques for the automated generation of test data

- Tools and Methods: Automated support of any of the testing activities, rigid testing processes, testing driven development, sound metrics and measurements

- Case studies and industrial applications involving qualified empirical evaluations

- Fault localization and repair ideally in combination with testing


----------------------
Organization
----------------------

- General Chairs
Franz Wotawa, TU Graz, Austria
Mihai Nica, AVL, Austria
Natalia Kushik, Telecom SudParis, France

For further questions send an email to: wotawa@ist.tugraz.at or consult the ICTSS-2016 web page: ictss2016.ist.tugraz.at