posted by user: ilaria_latorre || 1277 views || tracked by 4 users: [display]

ICTSS 2021 : The 33rd IFIP International Conference on Testing Software and Systems

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Testing Software and Systems
 
Link: http://ictss2021.cs.ucl.ac.uk/
 
When Nov 10, 2021 - Nov 12, 2021
Where London, UK
Abstract Registration Due Jun 16, 2021
Submission Deadline Jun 23, 2021
Notification Due Jul 28, 2021
Final Version Due Aug 18, 2021
Categories    software engineering   software testing
 

Call For Papers

--------------------------------------------------------------------------------------------------------------------
IFIP-ICTSS 2021 - Call for Papers

THE 33rd IFIP INTERNATIONAL (VIRTUAL) CONFERENCE ON TESTING SOFTWARE AND SYSTEMS

November 10-12, 2021

University College London, Gower St, Bloomsbury, London WC1E 6BT

http://ictss2021.cs.ucl.ac.uk/

@Ictss2021

Contact: ictss2021@easychair.org
--------------------------------------------------------------------------------------------------------------------

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.
The 33rd meeting particularly encourages submission of research into the role of information theory in software testing including, but not limited to, issues such as diversity, efficacy and efficiency of test sets, oracle selection and evaluation, software robustness, coincidental correctness, fault localisation and information leakage.

This year the conference will be virtual.


Topics of interest include, but are not limited to:

Aspects of testing: test derivation, test selection, test generation, test coverage, test concretisation, 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.

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

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.


IMPORTANT DATES

Abstracts submitted: 16 June 2021
Paper submission: 23 June 2021
Author notification: 28 July 2021
Camera-ready: 18 August 2021


OVERVIEW

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.


SUBMISSION INSTRUCTIONS

IFIP-ICTSS 2021 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.

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 feedbacks on testing methods for industrial case studies.


The papers can be submitted via Easychair:

https://www.easychair.org/my/conference?conf=ictss2021


PUBLICATION

The proceedings of the conference will be published in Springer's Lecture Notes in Computer Science series.


CHAIRS

David Clark, University College London
Ana Cavalli, Telecom SudParis
Héctor D. Menéndez, Middlesex University London

Related Resources

SEC 2022   8th International Conference on Software Engineering
ICSR 2022   20th International Conference on Software and Systems Reuse
MLDS 2021   2nd International Conference on Machine Learning Techniques and Data Science
MDPI-Electronics-SI-QualRiskDistribSys 2022   MDPI Electronics Special Issue on Quality Assurance and Risk Mitigation in Large-Scale Distributed Systems
AITIJ 2021   Advances in Interconnect Technologies: An International Journal
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering
NeCoM 2022   14th International Conference on Networks & Communications
ISDEA--Ei Compendex, Scopus 2022   2022 International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2022)--Scopus, Ei Compendex
ICCSEA 2021   11th International Conference on Computer Science, Engineering and Applications
IWPR--EI, Scopus 2022   2022 7th International Workshop on Pattern Recognition (IWPR 2022)--EI Compendex, Scopus