ICTSS 2023
Mon 18 - Wed 20 September 2023 Bergamo, Italy

IFIP-ICTSS is a well-established conference where researchers, developers, testers, and users from industry get together to present and discuss the most recent innovations, experiences and open challenges related to testing software and systems and measuring software quality.

Call for Papers

IFIP-ICTSS is a well-established conference where researchers, developers, testers, and users from industry get together to present and discuss the most recent innovations, experiences and open challenges related to testing software and systems and measuring software quality.

Topics of interest include, but are not limited to:

  • Aspects of 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.
  • Diversity on testing: diverse generation, selecting diverse test suites, foundations of testing and diversity, applications of entropy and Kolmogorov complexity on test suite diversity.
  • 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.
  • Testing of quality aspects: Functional, interoperability, unit, integration, performance, load, conformance, non-regression, reliability, robustness.
  • Security Testing: methodologies and techniques for continuous security assessment, security monitoring, security review, penetration testing, verification of certification compliance; automation of security testing processes.
  • 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 the effort in testing processes.
  • Application aspects and case studies: Communicating systems such as cyberphysical systems, systems of systems, embedded systems, web services systems, smart grids, cloud computing systems, business information systems, real-time systems, distributed and concurrent systems. Case studies and industrial applications involving qualified empirical evaluations.

IFIP-ICTSS invites:

Full papers

The aim of the Full papers submission category is to describe original research contributions with sufficient evidence for the interest of the proposed approach ( 12 to 15 pages , plus at most 2 extra pages for references in the one-column Springer LNCS format).

Short papers or work-in-progress papers

The aim of the Short papers or work-in-progress papers submission category is to describe academic work in progress or tool implementations, as well as testing processes, achievements and feedbacks on testing methods for industrial case studies ( up to 6 pages plus at most 1 extra page for references in the one-column Springer LNCS format).


The aim of the Journal-First (JF) submission category is to further enrich the program of ICTSS, as well as to provide an overall more flexible path to publication and dissemination of original research that is within the scope of ICTSS. A submission in this category must adhere to the following criteria:

  • It should be clearly within the scope of the conference.
  • It should be recent: it should have been accepted and made publicly available in a journal (online or in print) by January 1, 2021 or more recently.
  • It has not been presented at, and is not under consideration for, Journal- First tracks of other conferences or workshops.
  • The submission has to be in the form of a 4-pages extended abstract and has to provide a concise summary of the published journal paper.
  • Journal-First submissions must be marked as such in the submission’s, and must explicitly include full bibliographic details (including a DOI) of the journal publication they are based on. Since the referenced journal papers have already been reviewed and accepted by the corresponding journals, submissions in the JF category will not be reviewed again for technical content. Submissions will be judged on the basis of the above criteria, but also considering how well they would complement the conference’s technical program. Accepted submissions in this category will be part of the proceedings of ICTSS 2023, with the title equal to the original title of the article with the prefix Summary of.

The submission link is https://equinocs.springernature.com/service/ICTSS2023

The papers will be published by Springer in the LNCS volume.

Authors should consult Springer’s Instructions for Authors of Proceedings and use either the LaTeX or the Word templates provided on the authors’ page. Springer’s proceedings LaTeX templates are available in Overleaf.

Authors are encouraged to include their ORCIDs in their papers.


Best papers of the conference will be invited to submit an extended version of their article at a special (topical) issue of the Springer Nature of Computer Science https://www.springer.com/journal/42979. Deadline will be near the end of January 2024 with a tentative publication date for the middle 2024.

Role Type

Results (50)

Aichernig, Bernhard
Graz University of TechnologyAustria
Amrani, Moussa
University of NamurBelgium
Arcaini, Paolo
National Institute of Informatics Japan
Barkaoui, Kamel
CEDRIC - CNAM - Paris, FranceFrance
Bertolino, Antonia
National Research Council, ItalyItaly
Bonfanti, Silvia
University of BergamoItaly
Camilli, Matteo
Politecnico di MilanoItaly
Campos, José
University of Porto, PortugalPortugal
Casola, Valentina
Università di Napoli Federico IIItaly
Cavalli, Ana Rosa
Cengiz Türker, Uraz
Lancaster University (UK)United Kingdom
Clark, David
University College LondonUnited Kingdom
De Benedictis, Alessandra
El-Fakih, Khaled
American University of SharjahUnited Arab Emirates
Gargantini, Angelo
University of BergamoItaly
Gaston, Christophe
Gomes de Oliveira Neto, Francisco
Chalmers University of Technology, Sweden / University of Gothenburg, SwedenSweden
Hierons, Robert
University of SheffieldUnited Kingdom
Higashino, Teruo
Jmaiel, Mohamed
Ecole Nationale d'Ingénieurs de SfaxTunisia
Khendek, Ferhat
Concordia UniversityCanada
Kosmatov, Nikolai
CEA ListFrance
Krichen, Moez
Kushik, Natalia
Le Gall, Pascale
Lefticaru, Raluca
University of BradfordUnited Kingdom
Lei, Jeff Yu
University of Texas at ArlingtonUnited States
Lopez, Jorge
Maag, Stephane
Medina-Bulo, Inmaculada
Universidad de CádizSpain
Menendez, Hector
Middlesex University London
Menendez, Hector
King's College LondonUnited Kingdom
Merayo, Mercedes G.
Universidad Complutense de MadridSpain
Montes de Oca, Edgardo
Mousavi, Mohammad Reza
King's College LondonUnited Kingdom
Núñez, Manuel
Universidad Complutense de MadridSpain
Pecchia, Antonio
Peleska, Jan
Petke, Justyna
University College LondonUnited Kingdom
Pietrantuono, Roberto
Università di Napoli Federico II
Polo, Macario
University of Castilla-La ManchaSpain
RAK, Massimiliano
Salvaneschi, Paolo
Salvaneschi & PartnersItaly
Tramontana, Porfirio
Trubiani, Catia
Gran Sasso Science InstituteItaly
Villano, Umberto
Wotawa, Franz
Graz University of TechnologyAustria
Yenigün, Hüsnü
Sabanci University, Turkey
Yevtushenko, Nina
Zaidi, Fatiha
LRI, Université Paris-Sud