Electronic Communications of the EASST
Volume 079 (2020)

Second Interactive Workshop on the Industrial Application
of Verification and Testing,

ETAPS 2020 Workshop
(InterAVT 2020)

Preface

2 pages

Guest Editors: Stylianos Basagiannis, Goetz Botterweck, Anila Mjeda
ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122

http://www.easst.org/eceasst/


ECEASST

Preface

This volume presents the proceedings of the second Interactive Workshop on the Industrial
Application of Verification and Testing (InterAVT 2020), a workshop co-hosted with ETAPS
2020. InterAVT aims to remove barriers that hinder the application of modern verification and
testing techniques in industrial practice. Modern verification and testing techniques are highly
relevant for industrial software- intensive systems. Recent technological trends (e.g., the new
dominating role of software in traditional domains like automotive and aerospace, the arrival
of autonomous and “smart” systems in everyday life) only increase the need for industrial-scale
robust approaches. However, there are still many barriers and challenges that impede the applica-
tion of modern verification and testing techniques in industrial practice. The industrial scale and
complexity of “real” systems (transfer and scale-up of research prototypes); usability or feasi-
bility of formal techniques in practice (packaging novel approaches in usable tools); new system
paradigms, which make systems harder to model, analyse, verify and test (e.g., autonomous sys-
tems, machine learning); domain-specific challenges and constraints, e.g., in safety-critical sys-
tems like automotive, aerospace, medical systems; and, research approaches targeting problems
that lead to publishable results, but are disconnected from industrial practice are but a few exam-
ples of the current and pressing challenges for industry. Arguably these challenges can only be
tackled with increased exchange and collaboration between academic researchers and industrial
practitioners. Hence, the InterAVT workshop focuses on fostering communication between peo-
ple working on similar problems and establishing new links and opportunities for collaboration
between participants from different backgrounds. Initially, it was planned to hold an in-person
workshop that maximises the interaction between participants and the resulting progress – with
a program that includes short presentations, a “speed-dating” session, in which participants en-
gage in a time-limited discussion with each other, and a collaboration session that focuses on
summarising the identified key pain points facing the application of modern verification and
testing techniques in industrial practice. However, due to the continued effects of the ongoing
COVID 19 pandemic, InterAVT 2020 focussed on reviewing and selecting articles for a special
issue on the topic. We sincerely hope to return to interactive in-person events very soon. We
thank the authors for their contributions and also express our deep gratitude to all the members
of the program committee for their insightful and rigorous work, which was essential to ensure
high-quality content.

Stylianos Basagiannis, Anila Mjeda, and Goetz Botterweck

1 / 2 Volume 079 (2020)



Preface

InterAVT Workshop Organization

Organizing Committee:

Stylianos Basagiannis - Raytheon Technologies Research Centre

Goetz Botterweck Lero - The Irish Software Research Centre and University of Limerick

Anila Mjeda Lero - The Irish Software Research Centre and University of Limerick

Program Committee:

Alessandra Bagnato, Softeam, FR

Stylianos Basagiannis, Raytheon Technologies Research Centre, IE

Cinzia Bernardeschi, University of Pisa, IT

Armin Biere,Johannes Kepler University Linz, AT

Goetz Botterweck, Lero and University of Limerick, IE

Jorg Brauer, Verified Systems, DE

Alessandro Fantechi, University of Florence, IT

Alberto Griggio, Fondazione Bruno Kessler, IT

Patrick Heymans, University of Namur, BE

Christian Koenig, TWT, DE

Tiziana Margaria, Lero and University of Limerick, IE

Anastasia Mavridou, NASA Ames Research Centre, US

Anila Mjeda, Lero and University of Limerick, IE

David Parker, University of Birmingham, UK

Tomáš Vojnar, Brno University of Technology, CZ

InterAVT 2020 2 / 2