ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Mon 15 Jul 2019 14:00 - 14:20 at Meeting Room 8 - Session 2 - Analysis of CPS-IoT

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

14:00 - 15:30: Session 2 - Analysis of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
14:00 - 14:20
Talk
Model Checking of Automotive
Workshop – TAV-CPS/IoT
14:20 - 14:40
Talk
Symbolic Execution-based Approach to Extracting a Micro State Transition Table
Workshop – TAV-CPS/IoT
Takahiro Shimizu, Norihiro YoshidaNagoya University, Ryota YamamotoNagoya University, Hiroaki TakadaNagoya University
14:40 - 14:55
Talk
How to Mock and Verify the Billing in Mobile Carrier Payment world
Workshop – TAV-CPS/IoT
14:55 - 15:10
Talk
How to Test Lead a Project and Get the Best out of your Testers
Workshop – TAV-CPS/IoT
15:10 - 15:30
Talk
Panel
Workshop – TAV-CPS/IoT