ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
VenueCrowne Plaza Beijing Zhongguancun
Room nameMeeting Room 8
Floor4
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 15 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

11:00 - 12:30
Session 1 -Automated Software Testing of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
11:00
20m
Talk
Target-driven Compositional Concolic Testing
Workshop – TAV-CPS/IoT
Yunho Kim KAIST
11:20
20m
Talk
Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking
Workshop – TAV-CPS/IoT
11:40
20m
Talk
The Mobile Test Automation Pyramid
Workshop – TAV-CPS/IoT
12:00
30m
Talk
Panel
Workshop – TAV-CPS/IoT

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

16:00 - 17:30
Session 3 - Concurrency and Security of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
16:00
20m
Talk
Automated Software Testing
Workshop – TAV-CPS/IoT
Valerio Terragni Università della Svizzera Italiana
16:20
20m
Talk
Scalable Detection of Concurrency Vulnerabilities
Workshop – TAV-CPS/IoT
Yan Cai Institute of Software, Chinese Academy of Sciences
16:40
20m
Talk
Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices
Workshop – TAV-CPS/IoT
17:00
20m
Talk
Panel
Workshop – TAV-CPS/IoT

17:20
10m
Talk
Wrap up
Workshop – TAV-CPS/IoT

Tue 16 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
09:00
90m
Talk
Automated Program Repair
Summer School
Abhik Roychoudhury National University of Singapore
11:00 - 12:30
11:00
90m
Talk
Program Synthesis
Summer School
Yingfei Xiong Peking University
14:00 - 15:30
14:00
90m
Talk
Towards Data-driven Cloud Service Intelligence
Summer School
Qingwei Lin Microsoft Research, China
16:00 - 17:30
16:00
90m
Talk
Building Great Fuzzers Within Minutes
Summer School
Andreas Zeller CISPA Helmholtz Center for Information Security

Tue 16 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Meeting Room 8