Modern software technologies introduce new challenges to developing suitable Verification and Validation (V&V) solutions for Information and Communications Technology (ICT) systems. On 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 to ensure 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 fulfil the strict requirements of competitive customers. This requires new cost-effective V&V solutions that go side by side with software development advances. Research on V&V of ICT systems is crucial to develop quality assurance methods for complex software systems with the ultimate goal of improving the efficiency and effectiveness of the software development process while reducing the cost 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 testing
Model-based testing
Software reliability and resilience
Test automation
Artificial Intelligence and Machine Learning applied to V&V
Quantum computing applied to V&V
V&V of Artificial Intelligence Based Software Systems
V&V of blockchain
V&V of quantum computing
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 apps, web apps, big data, automotive, cyber-physical systems, Internet of Things, education, social network, AI/ML-enabled software systems, context-aware software systems, etc.
Empirical studies, applications, experiences, or case studies on V&V
Perspectives, challenges, and issues in V&V
Chairs: Dr. Maurizio Leotta (University of Genova, Italy) and Dr. Guglielmo De Angelis (CNR-IASI, Italy)
Program Committee:
Alessandro Marchetto, Università di Trento, Italy
Ana Paiva, University of Porto, Portugal
Andrea Stocco, Technical, University of Munich, Germany
Andreas Ulrich, Siemens AG, Germany
Antonia Bertolino, GSSI, Italy
Antonio Becerra-Terón, Universidad de Almería, Spain
Antonio Guerriero, University of Salerno, Italy
Boni Garcia, Universidad Carlos III de Madrid, Spain
Breno Miranda, Federal University of Pernambuco, Brazil
Domenico Amalfitano, University of Naples, Italy
Francesca Lonetti, CNR-ISTI, Italy
Francisco Gortázar, Universidad Rey Juan Carlos, Italy
Filippo Ricca, University of Genova, Italy
Jean Carlo R. Hauck, Universidade Federal de Santa Catarina (UFSC), Brazil
Livia Lestingi, Politecnico di Milano, Italy
Luis Llana Díaz, Universidad Complutense de Madrid, Spain
Lydie du Bousquet, LIG, France
Maria José Escalona, University of Seville, Spain
Matteo Camilli, Politecnico de Milano, Italy
Ronnie de Souza Santos, Cape Breton University/CESAR School, Canada
Rudolf Ramler, Software Competence Center Hagenberg, Austria
Santiago Matalonga, University of the West of Scotland, UK
Shingo Takada, Keio University, Japan
Maurizio Leotta is an Assistant Professor at the University of Genoa, Italy. His research focuses on Software Engineering, with a particular emphasis on Test Automation and Empirical Software Engineering. His work primarily involves: (i) the development and validation of tools and (ii) empirical methods such as case studies, controlled experiments, and surveys. He has authored over 110 research papers published in international journals (including TOSEM, EMSE, JSS, IST, STVR, JSEP, and SQJ) and conferences (such as ICST, EASE, ICWE, MODELS, SAC, and QUATIC), with several award-winning publications at ICST, QUATIC, and ICWE. He is a member of the Editorial Board of the Software Quality Journal (SQJ), where he has also organized several special issues, and has served as a guest editor for the Journal of Systems and Software (JSS). Additionally, he has been a program chair for multiple workshops and conference tracks.
Guglielmo De Angelis is researcher at CNR--IASI. He received a PhD in Industrial and Information Engineering from Scuola Superiore Sant'Anna of Pisa. His research area is Software Engineering, where he mainly focuses on topics in Software Testing, Service Oriented Architectures, and Model-Driven Engineering.