ISSTA 2019
Mon 15 - Fri 19 July 2019
Beijing, China
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
ISSTA Program
Your Program
Program@Glance
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Tracks
ISSTA 2019
Technical Papers
Workshop – TAV-CPS/IoT
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Workshops
Student Volunteers
Summer School
Keynote
ISSTA Steering Committee Meeting
Co-hosted Conferences
SPIN
26th International SPIN Symposium on Model Checking of Software
Workshops
Diversity @ ISSTA - The Ada Workshop
Diversity @ ISSTA - The Ada Workshop
Diversity @ ISSTA - The Ada Workshop
Tentative Agenda
Co-hosted Competitions
Testing Competition
Testing Competition
Organization
ISSTA 2019 Committees
Organizing Committee
Track Committees
Technical Papers
Workshop – TAV-CPS/IoT
Organizing Committee
Program Committee
Doctoral Symposium
Artifact Evaluation
Tool Demonstration
Contributors
People Index
Co-hosted Conferences
SPIN
Organizing Committee
Organizing Committee
Program Committee
Workshops
Diversity @ ISSTA - The Ada Workshop
Organizing Committee
Co-hosted Competitions
Testing Competition
Organizing Committee
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
Crowne Plaza Beijing Zhongguancun
/
Room information: Meeting Room 8
Venue
Crowne Plaza Beijing Zhongguancun
Room name
Meeting Room 8
Floor
4
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
.
Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
10:30 - 11:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 8
11:00 - 12:30
Session 1 -Automated Software Testing of CPS-IoT
Workshop – 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
Lei Bu
11:40
20m
Talk
The Mobile Test Automation Pyramid
Workshop – TAV-CPS/IoT
Mayank Saraswat
12:00
30m
Talk
Panel
Workshop – TAV-CPS/IoT
14:00 - 15:30
Session 2 - Analysis of CPS-IoT
Workshop – TAV-CPS/IoT
at
Meeting Room 8
14:00
20m
Talk
Model Checking of Automotive
Workshop – TAV-CPS/IoT
Toshiaki Aoki
JAIST
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
Keshav Potdar
14:55
15m
Talk
How to Test Lead a Project and Get the Best out of your Testers
Workshop – TAV-CPS/IoT
Nicole Hoskins-Barlow
15:10
20m
Talk
Panel
Workshop – TAV-CPS/IoT
15:30 - 16:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 8
16:00 - 17:30
Session 3 - Concurrency and Security of CPS-IoT
Workshop – 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
Letian Sha
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
Lecture 1
Summer School
at
Meeting Room 8
09:00
90m
Talk
Automated Program Repair
Summer School
Abhik Roychoudhury
National University of Singapore
10:30 - 11:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 8
11:00 - 12:30
Lecture 2
Summer School
at
Meeting Room 8
11:00
90m
Talk
Program Synthesis
Summer School
Yingfei Xiong
Peking University
14:00 - 15:30
Lecture 3
Summer School
at
Meeting Room 8
14:00
90m
Talk
Towards Data-driven Cloud Service Intelligence
Summer School
Qingwei Lin
Microsoft Research, China
15:30 - 16:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 8
16:00 - 17:30
Lecture 4
Summer School
at
Meeting Room 8
16:00
90m
Talk
Building Great Fuzzers Within Minutes
Summer School
Andreas Zeller
CISPA Helmholtz Center for Information Security
Mon 15 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting Room 8
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
Workshop – TAV-CPS/IoT
Session 1 -Automated Software Testing of CPS-IoT
Workshop – TAV-CPS/IoT
Session 2 - Analysis of CPS-IoT
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
Workshop – TAV-CPS/IoT
Session 3 - Concurrency and Security of CPS-IoT
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting Room 8
Summer School
Lecture 1
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
Summer School
Lecture 2
Summer School
Lecture 3
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
Summer School
Lecture 4
Mon 15 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Meeting Room 8
ISSTA Workshop – TAV-CPS/IoT
Target-driven Compositional Concolic Testing
11:00 - 11:20
ISSTA Workshop – TAV-CPS/IoT
Systematically Ensuring the Confidence of Home Automation IoT Systems B ...
11:20 - 11:40
ISSTA Workshop – TAV-CPS/IoT
The Mobile Test Automation Pyramid
11:40 - 12:00
ISSTA Workshop – TAV-CPS/IoT
Panel
12:00 - 12:30
ISSTA Workshop – TAV-CPS/IoT
Model Checking of Automotive
14:00 - 14:20
ISSTA Workshop – TAV-CPS/IoT
Symbolic Execution-based Approach to Extracting a Micro State Transitio ...
14:20 - 14:40
ISSTA Workshop – TAV-CPS/IoT
How to Mock and Verify the Billing in Mobile Carrier Payment world
14:40 - 14:55
ISSTA Workshop – TAV-CPS/IoT
How to Test Lead a Project and Get the Best out of your Testers
14:55 - 15:10
ISSTA Workshop – TAV-CPS/IoT
Panel
15:10 - 15:30
ISSTA Workshop – TAV-CPS/IoT
Automated Software Testing
16:00 - 16:20
ISSTA Workshop – TAV-CPS/IoT
Scalable Detection of Concurrency Vulnerabilities
16:20 - 16:40
ISSTA Workshop – TAV-CPS/IoT
Telescope in IoT: Security Situation Awareness Framework for Various Io ...
16:40 - 17:00
ISSTA Workshop – TAV-CPS/IoT
Panel
17:00 - 17:20
ISSTA Workshop – TAV-CPS/IoT
Wrap up
17:20 - 17:30
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Meeting Room 8
ISSTA Summer School
Automated Program Repair
09:00 - 10:30
ISSTA Summer School
Program Synthesis
11:00 - 12:30
ISSTA Summer School
Towards Data-driven Cloud Service Intelligence
14:00 - 15:30
ISSTA Summer School
Building Great Fuzzers Within Minutes
16:00 - 17:30
x
Sat 7 Dec 06:27