At RET'19, We will continue with the presentation format introduced in RET'18, the X-ray sessions. The goal is to facilitate the conversation between workshop audience and presenters. At the end, we hope that all participants leave the workshop with the feeling (best case, even with evidence) that they have learned something.

Each paper presentation has an allotted time between 45 and 60 minutes. Presenters will be coached by a mentor (a member of the RET'19 OC). The content of each presentation consists of:

  1. 15-20 minutes paper presentation (as in regular conferences)
  2. 20-30 minutes X-ray, consisting of one or more of the following activities (this is not an exhaustive list):
    • provide a demo of the presented tool / approach
    • explain and demonstrate pitfalls in the presented analysis / technique
    • include the audience to do a quick tutorial / exercise
    • use polling to get input from the audience (see
    • gather data from the audience as data points for future studies
    • pilot ideas with the audience / user their expertise
    • demonstrate / discuss what has happened since the study presented in the paper has been written up. New developments? Unforeseen obstacles? New ideas?
    • elaborate how does the study presented in the paper contribute to RET
  3. 10 minutes discussion/questions

The OC is looking forward to meet you in Montréal!

Session 1

Welcome! Who's who

Gregory Gay, General chair for RET'19


Keynote 1: Bernd Lehnert, Chief Development Architect, SAP

Adapting Software Engineering Processes to Disruptive Changes

Coffee Break (10:30-11:00)
Session 2

Keynote 2: Betty H.C. Cheng, Professor, Michigan State University, USA

A Multidisciplinary Approach to Requirements-based Adaptive Testing of Autonomous Systems

Lunch (12:00-14:00)
Session 3

Mentor: TBD

Automata Based Test Generation with SpecPro

Simone Vuotto, Massimo Narizzano, Luca Pulina and Armando Tacchella

Download: Paper


Mentor: TBD

A Software Tool to Convert Requirements to Test Cases

Palash Bera and Abhimanyu Gupta

Download: Paper

Coffee Break (15:30-16:00)
Session 4

Mentor: TBD

A Requirements Modelling Language to Facilitate Avionics Software Verification and Certification

Andrés Paz and Ghizlane El Boussaidi

Download: Paper


Lessons learned from the X-Ray sessions: a model for future workshops? (Mentors / Participants)

Workshop closing

Key Dates

Paper Submission: February 1, 2019
Deadline Extension: February 8, 2019
Author Notification: March 1, 2019
Camera-Ready Due: March 15, 2019
Workshop Date: May 28, 2019

Co-located with