<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>HTML Message</title>
<meta name="generator" content="Advanced HTML parser v4">
<style>
body {
font-size: 14px;
font-family: Helvetica, Arial, Verdana, sans-serif;
color: black;
}
</style>
</head>
<body>
<table style="border: 0px; width: 100%; border-spacing: 0px;">
<tbody>
<tr>
<td style="padding: 0px;">
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>*** First Call for Papers ***</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>37th International Conference on Testing Software and Systems (ICTSS 2025)</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>September 17-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b><a href="https://conf.researchr.org/home/ictss-2025">https://conf.researchr.org/home/ictss-2025</a></b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>(*** Proceedings to be published by Springer in LNCS ***)</b></span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">IFIP-ICTSS is a well-established conference where researchers, developers, testers, and users</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">from industry get together to present and discuss the most recent innovations, experiences</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">and open challenges related to testing software and systems and measuring software quality.
</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Topics of interest include, but are not limited to:</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Aspects of testing</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">: test derivation, test selection,
test generation, test coverage, test</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">concretization, test implementation and execution, test result analysis, test oracle, verdict</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">computation, test management, active testing and passive testing, monitoring and runtime</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">verification.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Testing new technologies</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">: this year we encourage submissions
focused on testing Large</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Language Models (LLMs), audit machine learning systems (especially for applications to Health)
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">and Quantum systems (programs, computers, and simulators).</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Diversity on testing</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">: diverse generation, selecting
diverse test suites, foundations of testing </span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">and diversity, applications of entropy and Kolmogorov complexity on test suite diversity.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Theoretical approaches</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">: formalisms (such as automata,
state machines, process algebra, </span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">logics, Markov-chains...), testing frameworks, results for compositionality, refinement,
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">soundness and completeness, addressing complex systems, heterogeneous or hybrid systems.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Modelling languages (such as UML, MATLAB, Simulink, Modelica...) and associated</b></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>tooling for model-based testing</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">:
test generation from models, model-based oracles. </span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Scalability, traceability, quantification issues. Automated support of any parts of the testing
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">activities, testing processes, test-driven development, sound metrics and measurements.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Testing of quality aspects</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">: Functional, interoperability,
unit, integration, performance, load, </span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">conformance, non-regression, reliability, robustness.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Security Testing</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">: methodologies and techniques for
continuous security assessment, security</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">monitoring, security review, penetration testing, verification of certification compliance;
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">automation of security testing processes.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Cross domains and combination of techniques</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">: using
other techniques such as proof,</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">model-checking, symbolic execution, abstract interpretation, static analysis, simulation, model
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">learning, machine learning, expert systems, neural networks, genetic algorithms... to improve
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">quality and reduce the effort in testing processes.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Application aspects and case studies</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">: Communicating
systems such as cyberphysical </span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">systems, systems of systems, embedded systems, web services systems, smart grids, cloud
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">computing systems, business information systems, real-time systems, distributed and</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">concurrent systems. Case studies and industrial applications involving qualified empirical
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">evaluations.</span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>IFIP-ICTSS Invites:</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Full papers</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"> (12 to 15 pages
plus at most 2 extra pages for references in the one-column </span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Springer LNCS format) describing original research contributions with sufficient evidence for</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">the interest of the proposed approach.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Industry papers</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"> (12 to 15 pages
plus at most 2 extra pages for references in the one-column</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Springer LNCS format) describing original research or experience report conducted within an</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">industrial environment or in collaboration with an industry partner.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Short papers or work-in-progress papers</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">
(up to 6 pages plus at most 1 extra page for</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">references in the one-column Springer LNCS format) describing academic work in progress or
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">tool implementations, as well as testing processes, achievements and feedback on testing
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">methods for industrial case studies.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Journal-First</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">. The aim of the
Journal-First (JF) submission category is to further enrich the</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">program of ICTSS, as well as to provide an overall more flexible path to publication and
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">dissemination of original research that is within the scope of ICTSS. A submission in this
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">category must adhere to the following criteria:</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">It should be clearly within the scope of the conference.</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">It should be recent: it should have been accepted and made publicly available in a journal
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">(online or in print) by January 1, 2023 or more recently.</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">It has not been presented at, and is not under consideration for, Journal- First tracks of other</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">conferences or workshops.</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">The submission has to be in the form of a 4-page extended abstract and has to provide a</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">concise summary of the published journal paper.</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">It must be marked as such in the submission’s, and must explicitly include full bibliographic</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">details (including a DOI) of the journal publication they are based on. Since the referenced
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">journal papers have already been reviewed and accepted by the corresponding journals,
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">submissions in the JF category will not be reviewed again for technical content. Submissions will</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">be judged on the basis of the above criteria, but also considering how well they would
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">complement the conference’s technical program. Accepted submissions in this category will be</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">part of the proceedings of ICTSS 2025, with the title equal to the original title of the article with</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">the prefix.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">The submission link is:
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><a href="https://easychair.org/my/conference?conf=ictss2025">https://easychair.org/my/conference?conf=ictss2025</a></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">The papers will be published by Springer in the LNCS volume.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Authors should consult Springer’s Instructions for Authors of Proceedings</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">(</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</a></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">)</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">and use either the LaTeX or the Word templates provided on the authors’ page. Springer’s
</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">proceedings LaTeX templates are available in Overleaf.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Authors are encouraged to include their
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>ORCIDs</b></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"> in their papers.</span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Journal Special Issue</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Best papers of the conference will be invited to submit an extended version of their article at a</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">special (topical) issue of the
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Springer Nature of Computer Science</b></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">(</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><a href="https://link.springer.com/journal/42979">https://link.springer.com/journal/42979</a></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">).
Deadline will be near the end of December 2025</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">with a tentative publication date for the middle 2026.</span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Collocation</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">ICTSS 2025 will be collocated with the 19th European Conference on Software Architecture</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">(</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><a href="https://conf.researchr.org/home/ecsa-2025">https://conf.researchr.org/home/ecsa-2025</a></span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">).</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>IMPORTANT DATES</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Paper Submission: May 19, 2025 (AoE)</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Author Notification: June 30, 2025 (AoE)</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Camera-ready Versions and Author Registration: July 14, 2025 (AoE)</span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>ORGANISATION</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><u>Conference Chairs</u></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"> Silvia Bonfanti, University of Bergamo,
Italy</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"> George A. Papadopoulos, University
of Cyprus, Cyprus</span></div>
</td>
</tr>
</tbody>
</table>
</body>
</html>