[ISSRE2020] [WoSoCer2020] Session 4: Test and Safety Cases