Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019
Beijing, China
co-located with
ISSTA 2019
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
ISSTA 2019
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
Complete Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Track/Call
Organization
SPIN 2019 Committees
Organizing Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
SPIN 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
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Meeting Room 8
11:00 - 12:30
Session 1 -Automated Software Testing of CPS-IoT
ISSTA Workshop – TAV-CPS/IoT
at
Meeting Room 8
11:00
20m
Talk
Target-driven Compositional Concolic Testing
ISSTA Workshop – TAV-CPS/IoT
Yunho Kim
KAIST
11:20
20m
Talk
Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking
ISSTA Workshop – TAV-CPS/IoT
Lei Bu
11:40
20m
Talk
The Mobile Test Automation Pyramid
ISSTA Workshop – TAV-CPS/IoT
Mayank Saraswat
12:00
30m
Talk
Panel
ISSTA Workshop – TAV-CPS/IoT
14:00 - 15:30
Session 2 - Analysis of CPS-IoT
ISSTA Workshop – TAV-CPS/IoT
at
Meeting Room 8
14:00
20m
Talk
Model Checking of Automotive
ISSTA Workshop – TAV-CPS/IoT
Toshiaki Aoki
JAIST
14:20
20m
Talk
Symbolic Execution-based Approach to Extracting a Micro State Transition Table
ISSTA 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
ISSTA Workshop – TAV-CPS/IoT
Keshav Potdar
14:55
15m
Talk
How to Test Lead a Project and Get the Best out of your Testers
ISSTA Workshop – TAV-CPS/IoT
Nicole Hoskins-Barlow
15:10
20m
Talk
Panel
ISSTA Workshop – TAV-CPS/IoT
15:30 - 16:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Meeting Room 8
16:00 - 17:30
Session 3 - Concurrency and Security of CPS-IoT
ISSTA Workshop – TAV-CPS/IoT
at
Meeting Room 8
16:00
20m
Talk
Automated Software Testing
ISSTA Workshop – TAV-CPS/IoT
Valerio Terragni
Università della Svizzera Italiana
16:20
20m
Talk
Scalable Detection of Concurrency Vulnerabilities
ISSTA 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
ISSTA Workshop – TAV-CPS/IoT
Letian Sha
17:00
20m
Talk
Panel
ISSTA Workshop – TAV-CPS/IoT
17:20
10m
Talk
Wrap up
ISSTA Workshop – TAV-CPS/IoT
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:30
Lecture 1
ISSTA Summer School
at
Meeting Room 8
09:00
90m
Talk
Automated Program Repair
ISSTA Summer School
Abhik Roychoudhury
National University of Singapore
10:30 - 11:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Meeting Room 8
11:00 - 12:30
Lecture 2
ISSTA Summer School
at
Meeting Room 8
11:00
90m
Talk
Program Synthesis
ISSTA Summer School
Yingfei Xiong
Peking University
14:00 - 15:30
Lecture 3
ISSTA Summer School
at
Meeting Room 8
14:00
90m
Talk
Towards Data-driven Cloud Service Intelligence
ISSTA Summer School
Qingwei Lin
Microsoft Research, China
15:30 - 16:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Meeting Room 8
16:00 - 17:30
Lecture 4
ISSTA Summer School
at
Meeting Room 8
16:00
90m
Talk
Building Great Fuzzers Within Minutes
ISSTA 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
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA Workshop – TAV-CPS/IoT
Session 1 -Automated Software Testing of CPS-IoT
ISSTA Workshop – TAV-CPS/IoT
Session 2 - Analysis of CPS-IoT
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA 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
ISSTA Summer School
Lecture 1
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA Summer School
Lecture 2
ISSTA Summer School
Lecture 3
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA 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
Thu 18 Apr 04:13