Track: ICT Verification and Validation


Modern software technologies introduce new challenges to the development of suitable Verification and Validation (V&V) solutions for Information and Communications Technology (ICT) systems. One one hand, new ICT systems, such as self-adaptive systems, context-aware software systems, systems of systems, or AI-based software systems are becoming increasingly popular and are more and more used in our daily life. Both researchers and practitioners are asked to provide novel methodologies, techniques and tools to improve the efficiency and effectiveness of the V&V processes that are executed for assuring the high quality of such complex ICT systems. On the other hand, software processes are evolving towards new agile development and testing practices where software has to be developed and deployed quickly to fulfill the strict requirements of competitive customers. This requires new cost-effective V&V solutions that go side by side with software development advances. From these trends, the need arises to increase the research activity on V&V of ICT systems, so as to guarantee high quality assurance of complex software systems, improve the efficiency and effectiveness of the software development processes, while reducing the efforts and the costs devoted to V&V.


Suggested topics of interest include, but are not limited to, the following:

  • Requirement-based and model-based testing

  • Approaches and tools for formal verification and model checking

  • Techniques and tools for functional and non-functional assessment

  • Manual testing practices and techniques

  • Safety, security and privacy testing

  • Software quality metrics

  • Quality assurance in agile methodologies and continuous delivery

  • Search-based and machine learning approaches to testing

  • Software reliability and resilience

  • Test automation

  • Artificial Intelligence applied to V&V

  • Dynamic/runtime/online V&V techniques

  • Static analysis and static testing techniques

  • Fault localization

  • Program analysis techniques

  • Scalability and practical applicability of testing

  • Theory of software analysis and testing

  • Software certification

  • V&V in specific domains, such as healthcare, telecommunication, cloud computing, mobile, big data, automotive, cyber-physical systems, Internet of Things, education, social network, AI based software systems, context-aware software systems, etc.

  • Empirical studies, applications, experiences or case studies on V&V

  • Perspectives, challenges and issues in V&V


Chair: Domenico Amalfitano, University of Naples, Italy

Program Committee:

    • Pekka Aho, Open Universiteit, the Netherlands, The Netherlands

    • Ana Paiva, University of Porto, Portugal

    • Francesca Lonetti, CNR-ISTI, Italy

    • Antonia Bertolino, ISTI-CNR, Italy

    • Santiago Matalonga, University of the West of Scotland, UK

    • Rudolf Ramler, Software Competence Center Hagenberg, Austria

    • Takashi Ishio, Nara Institute of Science and Technology, Japan

    • Shingo Takada, Keio University, Japan

    • Jean Carlo R. Hauck, UFSC - Universidade Federal de Santa Catarina, Brazil

    • M.J. Escalona, University of Seville, Spain

    • Breno Miranda, Federal University of Pernambuco, Brazil

    • Andreas Ulrich, Siemens AG, Germany

    • Ronnie E. de Souza Santos, Recife Center for Advanced Studies and Systems (CESAR), Brazil

    • Kevin Moran, College of William & Mary, USA

    • Lydie du Bousquet, LIG, France

Domenico Amalfitano is a researcher at the University of Naples Federico II. He received the PhD in Computer and Automatic Engineering in 2011 at the University of Naples Federico II. His research activity mainly focuses on reverse engineering, software testing, software testing automation, software maintenance, and quality assessment of testing software processes. He collaborates with international companies in the automotive and mobile fields.

He was co-guest editor of the special issue “Engineering of context-aware software systems” for the IST Journal. He served as program co-chair of the Tool Demos Track ICST 2021, program chair of the Poster Track ICST 2019, program co-chair of the Testing Tools Papers Track ICST 2017. He organized the 4th edition of INTUITESTBEDS (International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software), co-located with ICST 2021. He served as program committee member of international conferences and workshops in the field of software engineering and software testing. He has (co)authored over 40 papers in international journals and conferences.


2021, 2020, 2019, 2018, 2016, 2014, 2012, 2010