Track: Quality Aspects in Verification and Validation

Despite research innovations and software technical improvements, quality aspects are still a crucial, critical and costly factor in modern software applications and systems. Challenges descend, among others, from new infrastructures, heterogeneity, openness and continuous evolution, technical and semantic interoperability barriers, security and trust concerns. In this complex scenario, the Verification and Validation (V&V) activities, evolving in parallel with software development, represent an important and fundamental mean for guaranteeing the integrity, adequacy and requirements conformance of the software applications and systems.

Following the well-established tradition of previous QUATIC editions, the ”Quality Aspects in Verification and Validation” track provides a forum to discuss novel V&V techniques, empirical V&V case studies and V&V success stories in the context of software quality assurance.

A particular focus on the challenges emerging from the 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. etc.

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

  • Formal Verification
  • Model Based Testing
  • Model Checking
  • Manual testing practices and techniques
  • Safety, Security and Privacy Testing
  • Search Based Software Testing
  • Software Reliability
  • Test automation
  • Testability and Design
  • Testing and Development Processes
  • Testing Education
  • Testing in specific domains, such as mobile, web, embedded, concurrent, distributed, cloud, and real-time systems
  • Testing/Debugging Tools
  • Theory of Software Testing
  • Empirical Studies
  • Experience Reports

Track Committee


  • Eda Marchetti, CNR-ISTI, Italy
  • João Pascoal Faria, FEUP, Portugal

Program Committee:

  • Ana Cavalli, GET-INT, France
  • Maria José Escalona, University of Seville, Spain
  • Francisco Gortázar, Universidad Rey Juan Carlos, Spain
  • Sylvia Ilieva, Sofia University, Bulgaria
  • Francesca Lonetti, CNR-ISTI, Italy
  • Leonardo Mariani, University of Milano Bicocca, Italy
  • Breno Miranda, Federal University of Pernambuco, Brasil
  • Ioannis Parissis, Grenoble INP LCIS, France
  • Ana Cristina Ramada Paiva, University of Porto, Portugal

Eda Marchetti

Eda is currently researcher of I.S.T.I. - Istituto di Scienza e Tecnologie della Informazione A. Faedo, of the CNR (the Italian National Research Council), in Pisa. Software Testing is the broad term that can better characterize her research activities and interests. In particular she is strongly interested in research aiming at introducing novel methodologies for testing emerging software technologies.

A strong motivation in her activities is the will of introducing sound techniques for the automatic, and model based, derivation of test cases. In her work, she generally considered models expressed using the Unified Modeling Language. Most of the work carried on during her PhD has been oriented on Software testing with a general aim: put research in practice.

João Pascoal Faria

João Pascoal Faria has a PhD in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto (FEUP) in 1999. He is currently Associate Professor in Software Engineering at FEUP, researcher at INESC TEC, and president of the Sectorial Commission for the Quality of ICT (CS/03) in the scope of the Portuguese Quality Institute. With more than 25 years of academic and industrial experience in several software engineering fields, his current research interests are focused on software test automation, software process improvement, and model-driven software engineering.