Track: ICT Verification and Validation


Modern software technologies pose many challenges to the development of Verification and Validation (V&V) solutions. On the one hand, software processes are evolving towards new continuous 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. On the other hand, the ICT systems become more and more complex and new classes of systems, such as self-adaptive systems or systems of systems, are attracting a growing research interest. These systems make V&V activities more challenging, due to their highly dynamic and configurable nature. From these trends, the need arises of increasing the research activity on V&V of ICT systems, so as to guarantee high quality assurance of the complex software systems, and improve the efficiency and effectiveness of the software development process, while reducing the effort devoted to V&V.

The “ICT Verification and Validation” track of QUATIC'2021 represents an active forum inviting both researchers and practitioners to present and discuss their recent achievements in V&V, novel V&V techniques and tools, empirical V&V studies and V&V success stories or any other form of original research contribution.


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

  • Dynamic/runtime/online V&V 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, etc.

  • Applications, experiences, case studies on V&V

  • Perspectives, challenges and issues in V&V


Chair: Francesca Lonetti, ISTI-CNR, Italy

Program Committee:

    • Oum-Ei-Kheir Aktouf, Grenoble INP - LCIS, France

    • Antonia Bertolino, ISTI-CNR, Italy

    • Hyunsook Do, University of North Texas, USA

    • Sigrid Eldh, Ericsson AB, Sweden

    • M.J. Escalona, Universidad de Sevilla, Spain

    • Francisco Gortázar, Universidad Rey Juan Carlos, Spain

    • Maurizio Leotta, University of Genoa, Italy

    • Breno Miranda, Universidade Federal de Pernambuco, Brazil

    • Jesús Morán, Universidad de Oviedo, Spain

    • Vânia de Oliveira Neves, Universidade Federal Fluminense, Brazil

    • Patrizio Pelliccione, Gran Sasso Science Institute and Chalmers | Gothenburg University, Sweden

    • Roberto Pietrantuono, Università degli Studi di Napoli Federico II, Italy

    • Antonino Sabetta, SAP Labs, France

    • Andreas Ulrich, Siemens, Germany

    • Hong Zhu, Oxford Brookes University, UK

Francesca Lonetti is a Researcher of the Italian National Research Council (CNR), in Pisa. She got a PhD in Computer Science from University of Pisa in 2007. Her current research focuses on monitoring and testing of complex software systems, in particular model-based monitoring and security testing. Her expertise on these research topics has been and is applied in the context of several national and European research projects. She currently serves as member of the Editorial Board of International Journal of Communication Networks and Information Security (IJCNIS) and has been Guest Editor of a Software Quality Journal special issue in automation of software testing. She has been part of the organizing and program committee of several international workshops and conferences in the field. She served as publications chair of ICST 2012, proceedings co-chair of ICSE 2015 and co-chair of AST 2016. She has (co)authored over 70 papers in international journals and conferences.