Interactive Workshop on the Industrial Application of Verification and TestingInterAVT 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.

Barriers and challenges include for instance:

• Industrial scale and complexity of “real” systems (transfer and scale-up of research prototypes)
• Usability/feasibility of formal techniques in practice (packaging novel approaches in usable tools)
• New system paradigms, which make systems harder to model/analyze/verify/test (e.g., autonomous systems, machine learning)
• Domain-specific challenges and constraints, e.g., in safety-critical systems like automotive, aerospace, medical systems
• Research approaches targeting problems that lead to publishable results, but are disconnected from industrial practice.

Many of these challenges can only be tackled with increased communication and collaboration between academic researchers and industrial practitioners.

Consequently, 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

Workshop Format

To maximize the interaction between participants and the resulting progress, during the workshop we will apply a combination of interactive sessions:

• A motivating keynote that sets the scene and engages the participants.
• An introduction session in which participants describe and exemplify a challenge and/or a concrete solution they contribute to the workshop. Each presentation is limited to 10 minutes (morning hours).
• A “speed-dating” session, in which participants are engaged in a time-limited discussion with each other. The goal of this session is to identify the potential synergies among the participants’ interests (early afternoon hours).
• A collaboration session that focuses on presenting and summarizing the identified synergies and establishing long-term collaboration among the participants (late afternoon hours). *A workshop dinner which provides further opportunities for exchange of ideas and networking in an informal setting.

In previous workshops with similar objectives this format proved to be engaging and ensured a very interactive and motivating atmosphere.

Accepted Papers

Call for Papers

Many of these challenges can only be tackled with increased communication and collaboration between academic researchers and industrial practitioners.

Consequently, InterAVT 2019 aims to:

• 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

InterAVT 2019 will be conducted in a highly interactive manner and will include a set of lightning talks and speed-dating sessions.

Submissions

We invite short papers (2-4 pages) that present (1) a concrete and well-illustrated challenge arising in industrial practice, (2) a concrete and exemplified solution, or (3) a combination of both.

Most importantly, submissions should aim to establish or strengthen collaborations between individuals and groups from different backgrounds. In particular, a submission should provide other workshop participants with enough information to identify whom they should meet in the speed-dating session.

Submissions can address problems and solutions where some aspects have been covered in earlier been published, however, they should provide enough new material to warrant publication in the proceedings.

Submissions should support the workshop aims (see above) and answer the following questions:

For challenges:

• What is the problem that you are trying to solve?
• Demonstrate it on a concrete example.
• When would you consider the challenge resolved?
• What would you consider a “success” and how could that be evaluated?

For solutions:

• What is the problem that you solve?
• Demonstrate the solution on a concrete example.
• What are the solution’s benefits and limitations?
• Who could benefit from your approach?
• Was your approach evaluated? How?
• Is your approach based on a certain concept or technology (e.g., a model checking technique)? Submitted papers should be in English and conform to the guidelines available online at http://info.eptcs.org/

Papers should be submitted online via EasyChair at http://www.easychair.org/conferences?conf=interavt2019

Examples of topics that submissions could address include, but are not limited to:

• Scalability of modeling/analysis/verification/testing approaches
• Usability/feasibility of formal techniques in practice (packaging novel approaches in usable tools)
• Dealing with new system paradigms, which make systems harder to model/analyze/verify/test (e.g., autonomous systems, machine learning)
• Domain-specific challenges and constraints, e.g., in safety-critical systems like automotive, aerospace, medical systems
• How to ensure that research approaches are targeting relevant industrial problems(or what are barriers preventing that)?

Submissions will be selected based on their relevance to the workshop topics and objectives. Accepted papers will be published in the workshop proceedings. At least one author of each accepted paper is required to register and present the work at the workshop for the paper to be included in the proceedings.