Track: ICT Verification and Validation
ABOUT
Modern software technologies introduce new challenges to the development of suitable Verification and Validation (V&V) solutions for Information and Communications Technology (ICT) systems. One 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 for assuring 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 fulfill the strict requirements of competitive customers. This requires new cost-effective V&V solutions that go side by side with software development advances. From these trends, the need arises to increase the research activity on V&V of ICT systems, so as to guarantee high quality assurance of complex software systems, improve the efficiency and effectiveness of the software development processes, while reducing the efforts and the costs 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 and machine learning approaches to testing
Software reliability and resilience
Test automation
Artificial Intelligence applied to V&V
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, big data, automotive, cyber-physical systems, Internet of Things, education, social network, AI based 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
Chair: Domenico Amalfitano, University of Naples, Italy
Program Committee:
Pekka Aho, Open Universiteit, the Netherlands, The Netherlands
Ana Paiva, University of Porto, Portugal
Francesca Lonetti, CNR-ISTI, Italy
Antonia Bertolino, ISTI-CNR, Italy
Santiago Matalonga, University of the West of Scotland, UK
Rudolf Ramler, Software Competence Center Hagenberg, Austria
Takashi Ishio, Nara Institute of Science and Technology, Japan
Shingo Takada, Keio University, Japan
Jean Carlo R. Hauck, UFSC - Universidade Federal de Santa Catarina, Brazil
M.J. Escalona, University of Seville, Spain
Breno Miranda, Federal University of Pernambuco, Brazil
Andreas Ulrich, Siemens AG, Germany
Ronnie E. de Souza Santos, Recife Center for Advanced Studies and Systems (CESAR), Brazil
Kevin Moran, College of William & Mary, USA
Lydie du Bousquet, LIG, France
Domenico Amalfitano is a researcher at the University of Naples Federico II. He received the PhD in Computer and Automatic Engineering in 2011 at the University of Naples Federico II. His research activity mainly focuses on reverse engineering, software testing, software testing automation, software maintenance, and quality assessment of testing software processes. He collaborates with international companies in the automotive and mobile fields.
He was co-guest editor of the special issue “Engineering of context-aware software systems” for the IST Journal. He served as program co-chair of the Tool Demos Track ICST 2021, program chair of the Poster Track ICST 2019, program co-chair of the Testing Tools Papers Track ICST 2017. He organized the 4th edition of INTUITESTBEDS (International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software), co-located with ICST 2021. He served as program committee member of international conferences and workshops in the field of software engineering and software testing. He has (co)authored over 40 papers in international journals and conferences.