Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022

alt text

The 6th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems


SCOPE

The rapid development towards increased integration of software with the social and physical world that we see today means that quality aspects such as performance, safety, security, and robustness become more important in an increasing number of the systems and devices, which we use and depend on. In this context, the success of a software product may not only depend on the logical correctness of its functions, but also on the system quality characteristics. Such system characteristics, which are referred to and captured as Extra-Functional Properties (EFPs) or Non-Functional Properties, are particularly important in resource constrained systems such as in the domains of real-time embedded and cyber-physical systems. Therefore, such systems need to be tested with a special attention to the EFPs. Testing EFPs is challenging and often requires different approaches compared to testing normal functionality. ITEQS provides a focused forum with the goal of bringing together researchers and practitioners to share ideas, identify challenges, propose solutions and techniques, and in general expand the state of the art in testing EFPs and quality characteristics of software systems and services. The workshop endorses contributions in a wide range of topics related to testing of EFPs in the form of full papers and short yet solid work-in-progress/position papers.

Note: The workshop does not accept papers that focus purely on functional testing!

TOPICS

  • Model-based testing of EFPs; e.g., choice of modeling languages to capture EFPs and their role on testability, model-based test case generation, etc.
  • Performance, Robustness, and Security Testing
  • Testing of AI and Machine Learning based systems with respect to quality attributes; e.g., such as safety, security, and ethical concerns
  • Mutation-based testing for EFPs; e.g., application of mutation techniques for testing of EFPs particularly introduction of EFP-specific mutation operators
  • Testing quality in software product lines and variant-intensive system
  • Testing quality characteristics of distributed, mobile, and cloud applications
  • Search-based testing techniques for EFPs
  • Testability, observability, controllability and the role of the platform; e.g., how the choice of operating system can impact testability of EFPs, for instance, a real-time operating system, introducing testability mechanisms into a platform, designing - middlewares for testing of EFPs
  • Empirical studies and experience reports; e.g., on the importance of testing EFPs, evaluation of testing methods, case-study and reports on project failures due to EFPs, comparison of methods and techniques
  • Quality assurance, standards, and their impact on testing EFPs
  • Requirements and testing EFPs; e.g., identification and generation of test oracles for EFPs from requirements, requirements for testability, traceability
  • Coverage criteria in testing EFPs
  • Processes and their role in testing EFPs; e.g., agile and TDD
  • Fault localization for EFPs and debugging
  • Formal methods, model-checking, and reasoning about EFPs
  • Parallelism, Concurrency, and Testing of multicore applications
  • Testing real-time, embedded, and cyber-physical systems, and their challenges

Official Workshop Website

Contact

  • iteqs2022[at]easychair.org

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:50 - 08:55
ITEQS OpeningITEQS at Marlyn Meltzer
Chair(s): Eduard Paul Enoiu Mälardalen University, Mehrdad Saadatmand RISE Research Institutes of Sweden, Dragos Truscan Åbo Akademi University
08:50
5m
Day opening
Welcome and Opening Message
ITEQS

09:40 - 10:00
09:40
20m
Talk
RQCODE – Towards Object-Oriented Requirements in the Software Security Domain
ITEQS
Ildar Nigmatullin IRIT - University of Toulouse, Andrey Sadovykh Softeam, Nan Messe IRIT - University of Toulouse, Sophie Ebersold University of Toulouse & IRIT, Jean-Michel Bruel Université de Toulouse, France
10:10 - 11:10
10:10
20m
Talk
Towards improving explainability, resilience and performance of cybersecurity analysis of 5G/IoT networks
ITEQS
Manh-Dung Nguyen Montimage R&D, France, Vinh Hoa La Montimage, Ana R. Cavalli Montimage, Edgardo Montes de Oca Montimage
10:30
20m
Talk
Prioritized Variable-length Test Cases Generation for Finite State Machines
ITEQS
Vaclav Rechtberger Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Bestoun S. Ahmed Karlstad University Sweden, Youcef Belkhier Czech Technical University in Prague, Jiri Nema University of Defence, Hynek Schvach University of Defence
10:50
20m
Talk
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
ITEQS
Jarkko Peltomäki Åbo Akademi University, Ivan Porres Åbo Akademi University
12:05 - 12:45
ITEQS IIIITEQS at Marlyn Meltzer
12:05
20m
Talk
Early Detection of Network Attacks Using Deep Learning
ITEQS
Tanwir Ahmad Åbo Akademi University, Dragos Truscan Åbo Akademi University, Jüri Vain Tallinn University of Technology, Estonia, Ivan Porres Åbo Akademi University
12:25
20m
Talk
Monitoring Approaches for Security and Safety Analysis : Application to a Load Position System
ITEQS
Zujany Salazar Montimage, Ana Rosa Cavalli Montimage, Wissam Mallouli Montimage, Filip Sebek ABB AB, Fatiha Zaidi University Paris-Sud, Monika Ewa Rakoczy Montimage
12:45 - 12:50
ITEQS ClosingITEQS at Marlyn Meltzer
12:45
5m
Day closing
Best paper award and closing
ITEQS

Call for Papers

ITEQS 2022 - Call for Papers

6th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) Co-located with the 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022)

Website: http://www.mrtc.mdh.se/ITEQS/2022/

SUBMISSION GUIDELINES

Paper format: 1) full papers 6-10 pages, 2) solid work-in-progress and position papers 4 pages; in IEEE double column format. Submission site: https://easychair.org/conferences/?conf=iteqs2022 Accepted papers will be published in IEEE Digital Library.

IMPORTANT DATES

Abstract submission: January 17, 2022 Submission of full papers: January 24, 2022 Notifications: February 18, 2022 Workshop date: April 4, 2022 (preliminary)

ORGANIZERS

Mehrdad Saadatmand, RISE Research Institutes of Sweden, Sweden (mehrdad.saadatmand[at]ri.se)

Eduard Enoiu, Mälardalen University, Sweden (eduard.paul.enoiu[at]mdh.se)

Dragos Truscan, Åbo Akademi University, Finland (dragos.truscan[at]abo.fi)

Contact: iteqs2022[at]easychair.org