posted by organizer: garganti || 2173 views || tracked by 3 users: [display]

ICTSS 2023 : The 34th IFIP International Conference on Testing Software and Systems


Conference Series : International Conference on Testing Software and Systems
When Sep 18, 2023 - Sep 20, 2023
Where Bergamo, Italy
Submission Deadline May 13, 2023
Categories    software testing   model-based testing

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. Formats

IFIP-ICTSS invites:
Full papers
Short papers or work-in-progress papers

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.

Related Resources

SOFT 2024   10th International Conference on Software Engineering
ISSTA 2024   The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 1)
SOFT 2024   10th International Conference on Software Engineering
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
DMSE 2024   5th International Conference on Data Mining and Software Engineering
SIGMETRICS / Performance 2024   2024 ACM SIGMETRICS / IFIP Performance
SOENG 2024   10th International Conference on Software Engineering
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
DMSE 2024   5th International Conference on Data Mining and Software Engineering