AUTO-CAAS Project Meeting 14 September 2015

Time and Place

September 14, 2015

QuviQ AB, Chalmers Teknikpark, Johanneberg Campus

Draft Agenda

(10:00 Wojciech & Mohammad arrive in Göteborg)

13:00 - ~13:20

Wojciech - Quick recap of the project research questions

13:20 - 15:30 (with a coffee break somewhere half way)

Disussions:

• Classification of failures and non-conformances
• Formal description of non-conformance
• Use of symbolic execution
• Case study
• Files repository (possible candidates Bitbucket (GIT/Mercurial) and Rioux (SVN))