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

Mon 15 Jul

Displayed 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
20m
Talk
Model Checking of Automotive
Workshop – TAV-CPS/IoT
14:20
20m
Talk
Symbolic Execution-based Approach to Extracting a Micro State Transition Table
Workshop – TAV-CPS/IoT
Takahiro Shimizu , Norihiro Yoshida Nagoya University, Ryota Yamamoto Nagoya University, Hiroaki Takada Nagoya University
14:40
15m
Talk
How to Mock and Verify the Billing in Mobile Carrier Payment world
Workshop – TAV-CPS/IoT
14:55
15m
Talk
How to Test Lead a Project and Get the Best out of your Testers
Workshop – TAV-CPS/IoT
15:10
20m
Talk
Panel
Workshop – TAV-CPS/IoT