Hcitaly June 2025

hcitaly@isti.cnr.it

1 participants
2 discussions

37th IFIP International Conference on Testing Software and Systems (ICTSS 2025): Last Mile for Paper Submission

by Announce

*** Last Mile for Paper Submission *** 37th IFIP International Conference on Testing Software and Systems (ICTSS 2025) September 17-19, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://conf.researchr.org/home/ictss-2025 (*** Proceedings to be published by Springer in LNCS ***) (*** Special Journal Issue with SN Computer Science, Springer ***) (*** Submission Deadline: June 16, 2025 (final extension!) ***) 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: ■ AI for Software Testing and Testing of AI: the growing interest in the use of AI has also spread in to various aspects of software testing. In addition, work is underway to test and validate AI systems/applications (machine learning, expert systems, neural networks). ■ 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. ■ Testing new technologies: this year we encourage submissions focused on testing Large Language Models (LLMs), audit machine learning systems (especially for applications to Health) and Quantum systems (programs, computers, and simulators). ■ 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. ■ Testing emerging technologies: quantum systems (programs, computers, and simulators), genetic algorithms, metaverse, and any other technology in the early stages of testing. ■ Human Aspects of Testing: human psychology and management attitude play major roles in formulating and adopting testing in practice. ■ Cross domains and combination of techniques: using other techniques such as proof, model-checking, symbolic execution, abstract interpretation, static analysis, simulation, model learning, ... to improve quality and reduce the effort in 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 (12 to 15 pages plus at most 2 extra pages for references in the one-column Springer LNCS format) describing original research contributions with sufficient evidence for the interest of the proposed approach. Industry papers (12 to 15 pages plus at most 2 extra pages for references in the one-column Springer LNCS format) describing original research or experience report conducted within an industrial environment or in collaboration with an industry partner. Short papers or work-in-progress papers (up to 6 pages plus at most 1 extra page for references in the one-column Springer LNCS format) describing academic work in progress or tool implementations, as well as testing processes, achievements and feedback on testing methods for industrial case studies. Journal-First. 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, 2023 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-page extended abstract and has to provide a concise summary of the published journal paper. ■ It 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 2025, with the title equal to the original title of the article with the prefix. The submission link is: https://easychair.org/my/conference?conf=ictss2025 The papers will be published by Springer in the LNCS volume. Authors should consult Springer’s Instructions for Authors of Proceedings (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) 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. Journal Special Issue 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://link.springer.com/journal/42979). Deadline will be near the end of December 2025 with a tentative publication date for the middle 2026. Collocation ICTSS 2025 will be collocated with the 19th European Conference on Software Architecture (https://conf.researchr.org/home/ecsa-2025). IMPORTANT DATES ■ Paper Submission: June 16, 2025 (AoE, final extension!) ■ Author Notification: July 14, 2025 (AoE) ■ Camera-ready Versions and Author Registration: July 28, 2025 (AoE) ORGANISATION Conference Chairs ■ Silvia Bonfanti, University of Bergamo, Italy ■ George A. Papadopoulos, University of Cyprus, Cyprus Program Committee https://conf.researchr.org/committee/ictss-2025/ictss-2025-program-committee

2 hours, 23 minutes

The 24th IFIP Conference e-Business, e-Services, and e-Society (I3E 2025): Last Mile for Paper Submission

by Announce

*** Last Mile for Paper Submission *** The 24th IFIP Conference e-Business, e-Services, and e-Society (I3E 2025) September 9-11, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/i3e2025/ (*** Proceedings to be published by Springer in LNCS ***) (*** Journal Special Issue with Springer's SN Computer Science ***) (*** Final Submission Deadline Extended to June 9, 2025 ***) Conference theme: “Pervasive digital services for people’s well-being, inclusion and sustainable development” OVERVIEW Next-gen digital services contribute to people’s well-being, inclusion, and sustainable development, re-shaping e-business, e-services, and e-society. Such services are pervasive both since they run on a large variety of heterogeneous devices and they permeate various aspects of daily life, by offering accessible and personalised experiences to all individuals. The proposed theme advocates for the design, implementation and operations of novel digital solutions that satisfy the needs of different individuals, while contributing to their well-being and to preserving the Planet. I3E 2025 will collect contributions about the creation and management of user-centric accessible platforms, applications, and services that empower individuals to live healthier and more fulfilling lives. The proposed theme aims at emphasizing how it is possible to leverage different technologies to address pressing societal challenges such as, for instance, healthcare access, education, poverty alleviation, sustainable usage of resources, and social equity, towards a more inclusive and sustainable future. TOPICS OF INTEREST Areas of particular interest include but are not limited to: e-Business • Innovative e-business models • Inter-organizational systems • Business process integration • Business process re-engineering • e-Marketplaces, e-Hubs and portals • Digital goods and products • User behaviour modeling • Mobile business • Enterprise application integration • e-Negotiations, auctioning and contracting • Supply, demand, and value chains • e-Commerce content management • Dynamic pricing models • Trust and security • Mobile Commerce • Business Intelligence • Business Ontologies and Models • E-Business Models e-Services • e-Service composition • Inter-organizational services • e-Collaboration and e-Services • Service-oriented computing • Web services • Semantic web services • Service workflows • Virtual organizations and coalitions • Virtual enterprises and virtual markets • Web 2.0 applications • Agent-oriented e-Services • P2P co-operation models • Ubiquitous, mobile, and pervasive services • Application service management • Services and service management in the cloud-edge continuum • Next-gen AI services • Enterprise Ontologies • Accessibility • Usability e-Society • e-Government (e.g. G2G, G2B, or G2C) • Digital cities and regions • e-Democracy and e-Governance • e-Inclusion to information society • e-Health and e-Education • Public e-Services for citizens and enterprises • One-stop government service integration • Mobile public services • Multimedia and multilingualism • Digital culture and digital divide • Privacy and security • Legal societal and cultural issues • Public-private partnerships • International dimension of e-Gov • E-society and AI • Digital Transformation • Social Computing • Green Computing • Sustainable Technologies • Humanitarian & Emergency Management • Digital Inclusion • Digital Literacy SUBMISSION Authors should submit original, unpublished research papers. All papers must not simultaneously be submitted to another journal or conference. All accepted papers will be published in the conference proceedings. Therefore, submissions should not be under consideration for any other conference or journal outlet. Authors should consult Springer’s authors’ guidelines and use their proceedings templates to prepare their papers (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…). Authors can submit their proceedings articles using the EasyChair platform. Please use the following link: https://easychair.org/conferences/?conf=i3e2025 . Length of papers The most common types of papers accepted for publication are full papers (12 pages) and short papers (7 pages). We only wish to publish papers of significant scientific content. Journal Special Issue Authors of selected papers will be invited to submit an extended and revised version of their paper (with at least 30% additional material) for fast-track review and publication in Springer's SN Computer Science (https://link.springer.com/journal/42979). IMPORTANT DATES • Paper Submission: June 9, 2025 (AoE) (*** final extension! ***) • Author Notification: July 7, 2025 • Camera-Ready: July 14, 2025 • Author Registration: July 14, 2025 ORGANISATION Conference Chair • George A. Papadopoulos, University of Cyprus Conference Co-Chairs • Yogesh K. Dwivedi, Emerging Markets Research Centre (EMaRC) • Georgia Kapitsaki, University of Cyprus • Matti Mäntymäki, University of Turku • Ilias Pappas, Norwegian University of Science and Technology • Marinos Themistocleous, University of Nicosia Program Co-Chairs • Achilleas Achilleos, Frederick University of Cyprus • Stefano Forti, University of Pisa • Angelika Kokkinaki, University of Nicosia

2 hours, 55 minutes

2025

2024

2023

2022

2021

2020

Hcitaly June 2025