Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
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
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

11:00 - 12:30
Session 1 -Automated Software Testing of CPS-IoTISSTA Workshop – TAV-CPS/IoT at Meeting Room 8
11:00
20m
Talk
Target-driven Compositional Concolic Testing
ISSTA Workshop – TAV-CPS/IoT
11:20
20m
Talk
Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking
ISSTA Workshop – TAV-CPS/IoT
11:40
20m
Talk
The Mobile Test Automation Pyramid
ISSTA Workshop – TAV-CPS/IoT
12:00
30m
Talk
Panel
ISSTA Workshop – TAV-CPS/IoT
14:00 - 15:30
Session 2 - Analysis of CPS-IoTISSTA Workshop – TAV-CPS/IoT at Meeting Room 8
14:00
20m
Talk
Model Checking of Automotive
ISSTA Workshop – TAV-CPS/IoT
14:20
20m
Talk
Symbolic Execution-based Approach to Extracting a Micro State Transition Table
ISSTA Workshop – TAV-CPS/IoT
Takahiro Shimizu, Norihiro YoshidaNagoya University, Ryota YamamotoNagoya University, Hiroaki TakadaNagoya University
14:40
15m
Talk
How to Mock and Verify the Billing in Mobile Carrier Payment world
ISSTA Workshop – TAV-CPS/IoT
14:55
15m
Talk
How to Test Lead a Project and Get the Best out of your Testers
ISSTA Workshop – TAV-CPS/IoT
15:10
20m
Talk
Panel
ISSTA Workshop – TAV-CPS/IoT
16:00 - 17:30
Session 3 - Concurrency and Security of CPS-IoTISSTA Workshop – TAV-CPS/IoT at Meeting Room 8
16:00
20m
Talk
Automated Software Testing
ISSTA Workshop – TAV-CPS/IoT
Valerio TerragniUniversità della Svizzera Italiana
16:20
20m
Talk
Scalable Detection of Concurrency Vulnerabilities
ISSTA Workshop – TAV-CPS/IoT
Yan CaiInstitute of Software, Chinese Academy of Sciences
16:40
20m
Talk
Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices
ISSTA Workshop – TAV-CPS/IoT
17:00
20m
Talk
Panel
ISSTA Workshop – TAV-CPS/IoT
17:20
10m
Talk
Wrap up
ISSTA Workshop – TAV-CPS/IoT

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
09:00
90m
Talk
Automated Program Repair
ISSTA Summer School
Abhik RoychoudhuryNational University of Singapore
11:00 - 12:30
11:00
90m
Talk
Program Synthesis
ISSTA Summer School
Yingfei XiongPeking University
14:00 - 15:30
14:00
90m
Talk
Towards Data-driven Cloud Service Intelligence
ISSTA Summer School
Qingwei LinMicrosoft Research, China
16:00 - 17:30
16:00
90m
Talk
Building Great Fuzzers Within Minutes
ISSTA Summer School
Andreas ZellerCISPA Helmholtz Center for Information Security

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

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