ABOUT

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.

TOPICS

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

TRACK COMMITTEE

Chairs: Dr. Maurizio Leotta (University of Genova, Italy) and Dr. Guglielmo De Angelis (CNR-IASI, Italy)

Program Committee: 

• Tba