Electronic Communications of the EASST Volume 77 (2019) Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) Preface 3 pages Guest Editors: Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122 http://www.easst.org/eceasst/ ECEASST Preface This volume contains the proceedings of the first Interactive Workshop on the Industrial Ap- plication of Verification and Testing (InterAVT 2019) which was co-hosted with ETAPS 2019 and took place in the Faculty of Mathematics and Physics building at Charles University, Prague on the 6th of April 2019. InterAVT aims to breach the barriers that hinder the application of modern verification and testing techniques in industrial practice. This years’ workshop focused on barriers and challenges such as the industrial scale and complexity of “real” systems, usability/feasibility of formal tech- niques in practice, new system paradigms, which make systems harder to model/analyse/verify/test (e.g., autonomous systems, machine learning), and domain-specific challenges and constraints, e.g., in safety-critical systems like automotive, aerospace, medical systems. Arguably these challenges can only be tackled with increased communication and collabora- tion between academic researchers and industrial practitioners, hence, the InterAVT workshop focused on fostering communication between people working on similar problems and estab- lishing new links and opportunities for collaboration between participants from different back- grounds. To maximize the interaction between participants and the resulting progress, the workshop incorporated a combination of interactive sessions which included short presentations, a “speed- dating” session, in which participants engaged in a time-limited discussion with each other, and a collaboration session that focused on summarizing the identified key pain points facing the application of modern verification and testing techniques in industrial practice. The workshop included the invited talk “End-to-End Verification of Intelligent Cyber-Physical Systems: Progress and Challenges” by Nathan Fulton (MIT-IBM Watson AI Lab) and an industry presentation by Stylianos Basagiannis (United Technologies Research Centre). 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. Anila Mjeda Lero-The Irish Software Research Centre, IE; Stylianos Basagiannis United Technologies Research Centre, IE; Goetz Botterweck Lero-The Irish Software Research Cen- tre, IE 1 / 3 Volume 77 (2019) Preface InterAVT Workshop Organization Organizing Committee: Stylianos Basagiannis United 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: Mathieu Acher University of Rennes 1, France Alessandra Bagnato Softeam Cinzia Bernardeschi University of Pisa Dirk Beyer LMU Munich Armin Biere Johannes Kepler University Linz Jorg Brauer Verified Systems Jeremy Bryans Coventry University Maxime Cordy SnT, University of Luxembourg Marco Dinatale Scuole Santa Anna Alessandro Fantechi University of Florence Alberto Griggio Fondazione Bruno Kessler Klaus Havelund NASA/Caltech Jet Propulsion Laboratory Patrick Heymans University of Namur Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes Mikoláš Janota INESC-ID, IST, ULisboa Stefan Leue University of Konstanz Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre Anastasia Mavridou NASA Ames David Parker University of Birmingham Ken Pierce The University of Newcastle InterAVT 2019 2 / 3 ECEASST Stavros Tripakis Northeastern University Anthony Ventresque Lero and University College Dublin Tomas Vojnar Brno University of Technology Maurice ter Beek Istituto di Scienza e Tecnologie dell’Informazione ”Alessandro Faedo” 3 / 3 Volume 77 (2019)