ABOUT

Modern software technologies introduce new challenges for the development and application of suitable Verification and Validation (V&V) solutions for Information and Communications Technology (ICT) systems. ICT systems—including self-adaptive systems, cyber-physical systems, systems of systems, and AI-based software systems—are becoming increasingly prevalent and are widely used in everyday life. Accordingly, researchers and practitioners need to develop novel methodologies, techniques, and tools that improve the efficiency and effectiveness of V&V processes, ensuring the quality and reliability of these complex ICT systems. At the same time, the need to rapidly deliver competitive software while meeting regulatory and compliance requirements is reshaping how ICT systems are developed, tested, and deployed. These factors call for new, cost-effective V&V solutions that evolve alongside advances in software development practices. Research in V&V plays a crucial role in enabling robust quality assurance approaches for complex ICT systems, ultimately improving development efficiency and effectiveness while reducing the costs associated with V&V activities.

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

• Human aspects of V&V processes and approaches

• 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

• Scalability and practical applicability of testing techniques

• Theory of software analysis and testing

• Software certification and compliance

• V&V in specific domains, such as healthcare, telecommunication, cloud computing, mobile apps, web apps, big data, automotive, cyber-physical systems, Internet of Things, etc

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

• Perspectives, challenges, and issues in V&V

TRACK COMMITTEE

Chairs: Dr. Davide Fucci (Blekinge Institute of Technology, Sweden) and Dr. Aitor Arrieta Marcos (Mondragon Unibertsitatea, Spain)

Program Committee: 

• TBD