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 big data, mobile, web, embedded, concurrent, distributed, cloud, and real-time systems
  • Testing/Debugging Tools
  • Theory of Software Testing
  • Empirical Studies
  • Experience Reports
  • Software Assesment
  • Software Certification


Track Committee

Co-Chairs:

    • Eda Marchetti, CNR-ISTI, Italy
    • Javier Tuya, University of Oviedo, Spain

Program Committee:

    • Emanuela Gadelha Cartaxo, Federal University of Campina Grande, Brazil
    • Emilia Cioroaica, Fraunhofer IESE Mannheim, Germany
    • Vahid Garousi, Information Technology Group, Wageningen University, Netherlands
    • Gregory M. Kapfhammer, Department of Computer Science at Allegheny College, USA
    • Tanja E.J. Vos, Open University in the Netherlands, Technical University of Valencia
    • Gabriele Lenzini, Université du Luxembourg, Luxembourg
    • Patrizio Pelliccione, Chalmers University of Technology and University of Gothenburg, Sweden
    • Antonino Sabetta, SAP Labs, France
    • Lom Messan Hillah, Sorbonne Université, France
    • Oum-El-Kheir Aktouf, Grenoble University Valence, France
    • Neil Walkinshaw, University of Sheffield, UK.
    • 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
    • Breno Miranda, Federal University of Pernambuco, Brasil
    • Ana Cristina Ramada Paiva, University of Porto, Portugal
    • Ioannis Parissis, Grenoble INP LCIS, France
    • Ana Paiva, Universidade de Oporto, Portugal
    • Vasco Amaral, FCT/UNL, Portugal
    • Claudio De la Riva, University of Ovideo, Spain
    • Maurizio Leotta, University of Genova, Italy

Eda Marchetti is a researcher at CNR-ISTI. She graduated summa cum laude in Computer Science from the University of Pisa (1997) and got a PhD from the same University (2003). Her research activity focuses on software testing and in particular privacy and security testing, testing of access control systems, model-based testing, SOA and component-based testing, business process modelling and testing. She has taking the role of WP coordinator in different national and European project. She is member of the Italian National cyber security committee and the Tuscany canter of Cyber security. She has served as a reviewer for several international conferences and journals, and she has been part of the organizing and program committee of several international workshops and conferences. She has (co)authored over 60 papers in international journals and conferences.

Javier Tuya is Professor in the Computing Department at the University of Oviedo, Spain. His current research interests in the field of Software Testing include database driven applications, data engineering, testing techniques and automation. He has been the manager in many research and technology transfer projects and published in different international conferences and journals. He held the position of CIO of the University of Oviedo and coordinated the Spanish Software Testing Network (RePRIS). Currently he is Director of the Indra-Uniovi Chair, member of the ISO working group that works in the development of the new standard ISO/IEC/IEEE 29119, and convenor of the UNE national body workgroup on testing.