ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
VenueCrowne Plaza Beijing Zhongguancun
Room nameMeeting Room 8
Floor4
Additional informationThere is no additional information of this room 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-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
11:00 - 11:20
Talk
Target-driven Compositional Concolic Testing
Workshop – TAV-CPS/IoT
11:20 - 11:40
Talk
Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking
Workshop – TAV-CPS/IoT
11:40 - 12:00
Talk
The Mobile Test Automation Pyramid
Workshop – TAV-CPS/IoT
12:00 - 12:30
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 - 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
16:00 - 17:30: Session 3 - Concurrency and Security of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
16:00 - 16:20
Talk
Automated Software Testing
Workshop – TAV-CPS/IoT
Valerio TerragniUniversità della Svizzera Italiana
16:20 - 16:40
Talk
Scalable Detection of Concurrency Vulnerabilities
Workshop – TAV-CPS/IoT
Yan CaiInstitute of Software, Chinese Academy of Sciences
16:40 - 17:00
Talk
Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices
Workshop – TAV-CPS/IoT
17:00 - 17:20
Talk
Panel
Workshop – TAV-CPS/IoT
17:20 - 17:30
Talk
Wrap up
Workshop – TAV-CPS/IoT

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

09:00 - 10:30: Lecture 1Summer School at Meeting Room 8
09:00 - 10:30
Talk
Automated Program Repair
Summer School
Abhik RoychoudhuryNational University of Singapore
11:00 - 12:30: Lecture 2Summer School at Meeting Room 8
11:00 - 12:30
Talk
Program Synthesis
Summer School
Yingfei XiongPeking University
14:00 - 15:30: Lecture 3Summer School at Meeting Room 8
14:00 - 15:30
Talk
Towards Data-driven Cloud Service Intelligence
Summer School
Qingwei LinMicrosoft Research, China
16:00 - 17:30: Lecture 4Summer School at Meeting Room 8
16:00 - 17:30
Talk
Building Great Fuzzers Within Minutes
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