posted by organizer: Christophe_Gaston09 || 2456 views || tracked by 4 users: [display]



When Oct 15, 2019 - Oct 17, 2019
Where Paris
Abstract Registration Due May 26, 2019
Submission Deadline Jun 2, 2019
Notification Due Jul 1, 2019
Final Version Due Jul 15, 2019
Categories    international conference   testing   formal methods   verification

Call For Papers



Paris, France, October 15-17, 2019


Dear colleague,

We are pleased to invite you to submit papers for the 31st IFIP International Conference on Testing Software and Systems (IFIP-ICTSS 2019), which is to be held on October 15-17, 2019, in Paris, France.

IFIP-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. IFIP-ICTSS aims to be a forum in which researchers, developers, testers, and users can review and discuss new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of software and systems.

The Chairs,

Christophe Gaston, CEA List, France
Nikolai Kosmatov, CEA List, France
Pascale Le Gall, CentraleSupélec, France


Sunday, May 12, 2019 (AoE): Deadline for submission of abstracts
Sunday, May 19, 2019 (AoE): Deadline for submission of papers
Monday, July 1, 2019 (AoE): Author notification
Monday, July 15, 2019 (AoE): Camera-ready papers due
October 15--17, 2019: IFIP-ICTSS 2019 conference (Paris, France)


Topics of interest include, but are not limited to:

* Aspects of testing: model-based testing, code-based testing, search-based testing, test derivation, test selection, test generation, test coverage, test concretization, test implementation and execution, test result analysis, test oracle, verdict computation, test management, active testing and passive testing, monitoring and runtime verification.

* Theoretical approaches: formalisms (such as automata, state machines, process algebra, logics, Markov-chains...), testing frameworks, results for: compositionality, refinement, soundness and completeness, addressing complex systems, heterogeneous or hybrid systems.

* Modelling languages (such as UML, MATLAB, Simulink, Modelica...) and associated tooling for model-based testing: test generation from models, model-based oracles. Scalability, traceability, quantification issues. Automated support of any parts of the testing activities, testing processes, test-driven development, sound metrics and measurements.

* Quality aspects: Functional, interoperability, unit, integration, performance, load, conformance, non-regression, reliability, robustness, security, safety, privacy testing.

* Cross domains and combination of techniques: using other techniques such as proof, model-checking, symbolic execution, abstract interpretation, static analysis, simulation, model learning, machine learning, expert systems, neural networks, genetic algorithms... to improve quality and reduce effort in testing processes.

* Dedicated approaches to test control systems, AI applications, protocols, middleware, networks, wireless applications, software product lines etc.

* Application areas: Communicating systems such as cyberphysical systems, systems of systems, embedded systems, mobile and web systems, smart grids, cloud computing systems, business information systems, self-adaptative systems (cars, robots, …), real-time systems, distributed and concurrent systems.

* Case studies: Case studies and industrial applications involving qualified empirical evaluations.


IFIP-ICTSS 2019 welcomes:

* Short papers (up to 6 pages plus at most 1 extra page for references in Springer LNCS format) describing academic work in progress or tool implementations.

* Industrial papers (up to 6 pages plus at most 1 extra page for references in Springer LNCS format) describing testing processes, achievements and feedbacks on testing methods for industrial case studies.

* Full papers (up to 15 pages plus at most 2 extra pages for references in Springer LNCS format) describing original research contributions with sufficient evidence for the interest of the proposed approach.

Each submission will be reviewed by at least three members of the IFIP-ICTSS Program Committee []. All contributions to IFIP-ICTSS 2019 have to be submitted electronically in PDF format via EasyChair [] and have to be written in English and follow the Springer LNCS format []. The submission type (full paper, short paper, or industrial paper) must be stated explicitly in the submission form on EasyChair. The submission type influences the review criteria. At least one author of each accepted contribution must register and present the paper at the conference.


The proceedings of the conference will be published in Springer's Lecture Notes in Computer Science series [], and therefore exported to all major indexing databases as ISI (Web of Science), Scopus, DBLP, ACM Digital Library, etc. IFIP-ICTSS 2019 is supported by IFIP [] and Springer []. All accepted papers will be published in the proceedings volume. Authors will need to sign a copyright transfer form to transfer usage rights on their papers to IFIP and Springer. For more information, please consult the conference website [].


The authors of selected IFIP-ICTSS 2019 papers will be invited to submit extended versions of their papers for publication in a special issue of a journal. The arrangement of the special issue is currently in progress and will be announced later on the conference website.

Related Resources

DSN 2023   IEEE/IFIP International Conference on Dependable Systems and Networks
ICCIoT 2023   4th International Conference on Cloud and Internet of Things
IFIP Networking 2023   The International Federation for Information Processing (IFIP) Networking 2023 Conference
SE 2023   11th International Conference on Software Engineering & Trends
ISSTA 2023   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Second Round)
SOEA 2023   7th International Conference on Software Engineering and Applications
ITEQS 2023   7th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
SOEN 2023   8th International Conference on Software Engineering
AST 2023   4th ACM/IEEE International Conference on Automation of Software Test (AST)
NOMS - 2023   2023 IEEE/IFIP Network Operations and Management Symposium