InterAVT 2019 - Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT 2019)

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.
Nevertheless, there are still many barriers that hinder the application of modern verification and testing techniques in industrial practice.
The InterAVT workshop aims for the following workshop objectives:
Attract industry participants, bring researchers and practitioners together
Foster communication between people working on similar problems
Establish new links and opportunities for collaboration between participants from different backgrounds
Encourage report on the resulting progress at ETAPS conferences or workshops
Organizers: Stylianos Basagiannis, Goetz Botterweck, Anila Mjeda