Track: Verification, Validation, and Testing
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: Mercedes G. Merayo (Universidad Complutense de Madrid, Spain) and Filippo Ricca (University of Genova, Italy)
Program Committee:
Alessandro Marchetto, Università di Trento, Italy
Ana Paiva, University of Porto, Portugal
Andreas Ulrich, Siemens AG, Germany
Andrea Stocco, Technical, University of Munich, Germany
Antonio Becerra-Terón, Universidad de Almería, Spain
Boni Garcia, Universidad Carlos III de Madrid, Spain
Francesca Lonetti, CNR-ISTI, Italy
Maria José Escalona, University of Seville, Spain
Luis Llana Díaz, Universidad Complutense de Madrid, Spain
Rudolf Ramler, Software Competence Center Hagenberg, Austria
Santiago Matalonga, University of the West of Scotland, UK
Shingo Takada, Keio University, Japan
Mercedes G. Merayo received a Ph.D. degree in Computer Science. She holds an Associate Professor position in the Computer Systems and Computation Department of the Universidad Complutense de Madrid, Spain. She leads, together with Luis LLana the Desgin and Testing of Reliable Systems research group. He has published more than 100 papers in international journals and conferences. She is a member of the Software Verification and Testing. ACM/SIGAPP Symposium on Applied Computing Steering Committee and the Chair of the ICTSS- IFIP International Conference on Testing Software and Systems Steering Committee. She has belonged to more than 100 Programme Committees of international events and she is also a member of the editorial board of the Journal of Information and Telecommunication.
Filippo Ricca is an associate professor at the University of Genova, Italy. He is author (or coauthor) of more than 100 research papers published in international journals and conferences/workshops. His H-index (Google scholar; December 2023) is 48. Filippo Ricca has always dealt with testing of Web applications and Test automation where he has given relevant contributions. His ICSE Most Influential Paper (MIP) award winning paper, Analysis and Testing of Web Applications, initiated a new stream of research. Moreover, in 2018 he was awarded the ICST MIP award for the paper State-based Testing of Ajax Web Applications. His research is mainly conducted through: i) development and validation of tools and, ii) empirical methods such as case studies, controlled experiments and surveys.