Track: Verification, Validation, and Testing


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:


Chairs: ย Mercedes G. Merayo (Universidad Complutense de Madrid, Spain) and Filippo Ricca (University of Genova, Italy)

Program Committee:ย 

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.


2023, 2022, 2021, 2020, 2019, 2018, 2016, 2014, 2012, 2010