Track: ICT Verification and Validation


Despite huge advances in software development techniques and tools, research and innovation in Verification and Validation (V&V) remain highly relevant, due to ever-increasing expectations on the availability and security of software-intensive systems. Shrinking time-to-market intervals and continuous integration and deployment practices reduce the effort that can be devoted to V&V, in contrast with the growing dimensions of ICT systems in terms of size, distributedness, user-base.

The V&V track is a traditional well-established component of the successful series of QUATIC conferences. The ICT Verification and Validation track of QUATIC'2020 will provide a forum to propose novel V&V techniques and tools, present empirical V&V studies and report V&V success stories: the track is an opportunity for both "old" QUATIC friends and newcomers to join and discuss latest results in a friendly and relaxed environment.

The track welcomes works that focus on the challenges emerging from new development workflows and domain-specific context such as: Healthcare, Telecommunication, Networks and Media, Cloud Computing and Web Services, Mobile Devices, Big Data, Automotive and Transportation, Cyber-Physical Systems, Future Internet, Internet of Things, Finance & Business, Social Networks, among others.


Topics of interest include, but are not limited to, the following:

  • Requirement-based and model-based testing

  • Formal verification and model checking

  • Software analysis techniques

  • Manual testing practices and techniques

  • Safety, security and privacy testing

  • Search-based and machine learning approaches to testing

  • Software reliability and resilience

  • Test automation

  • Design for testability

  • Testing within development processes

  • V&V education

  • V&V in specific domains, such as big data, mobile, web, embedded, concurrent, distributed, cloud, and real-time systems

  • Scalability and practical applicability of testing

  • Empirical studies and experience reports on V&V

  • Theory of software analysis and testing

  • Software certification


Chair: Antonia Bertolino, ISTI-CNR, Italy

Program Committee:

    • Ana Paiva, Universidade do Porto, Portugal

    • Andreas Ulrich, Siemens, Germany

    • Antonino Sabetta, SAP Labs, France

    • Breno Miranda, Universidade Federal de Pernambuco, Brazil

    • Francesca Lonetti, ISTI-CNR, Italy

    • Francisco Gortázar, Universidad Rey Juan Carlos, Spain

    • Greg Kapfhammer, Allegheny College, USA

    • Ioannis Parissis, Université Grenoble, France

    • Jesús Morán, Universidad de Oviedo, Spain

    • M.J. Escalona, Universidad de Sevilla, Spain

    • Patrizio Pelliccione, Chalmers University of Technology, Sweden

    • Roberto Pietrantuono, Università degli Studi di Napoli Federico II, Italy

    • Sigrid Eldh, Ericsson AB, Sweden

    • Sylvia Ilieva, Bulgarian Academy of Sciences, Bulgaria

    • Vânia de Oliveira Neves, Universidade Federal Fluminense, Brazil

Antonia Bertolino is a Research Director of the Italian National Research Council (CNR), in Pisa. Her research interests cover software and services validation, testing, and monitoring, and on these topics she worked in several national and European projects, including the ongoing H2020 ElasTest. Currently she serves as Senior Associate Editor for the Elsevier Journal of Systems and Software, and as an Associate Editor of ACM Transactions on Software Engineering and Methodology, of Springer Empirical Software Engineering, and of Wiley Journal of Software: Evolution and Process. She served as the General Chair of the ACM/IEEE Conference ICSE2015 in Florence, Italy. She has (co)authored over 180 papers in international journals and conferences.