InterAVT 2019 Call for Papers [Same info, as PDF].

Modern verification and testing techniques are highly relevant for industrial software-intensive systems. Nevertheless, there are still many barriers and challenges that hinder the application of such techniques in industrial practice, 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, 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.