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 2
Venue
Crowne Plaza Beijing Zhongguancun
Room name
Meeting Room 2
Floor
3
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
Tue 16 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:30 - 10:35
Session 1
Doctoral Symposium
at
Meeting Room 2
09:30
16m
Day opening
Openning
Doctoral Symposium
09:46
16m
Doctoral symposium paper
On the Correctness of GPU Programs
Doctoral Symposium
Chao Peng
University of Edinburgh, UK
10:02
16m
Doctoral symposium paper
JNI Program Analysis with Automatically Extracted C Semantic Summary
Doctoral Symposium
Sungho Lee
KAIST, South Korea
10:18
16m
Doctoral symposium paper
Identifying Error Code Misuses in Complex System
Doctoral Symposium
Wensheng Tang
The Hong Kong University of Science and Technology
10:35 - 11:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 2
11:00 - 12:30
Session 2
Doctoral Symposium
at
Meeting Room 2
11:00
20m
Doctoral symposium paper
Continuous Software Performance Assessment
Doctoral Symposium
Christoph Laaber
University of Zurich
DOI
Pre-print
11:20
20m
Doctoral symposium paper
Conditional Dynamic Partial Order Reduction and Optimality Results
Doctoral Symposium
Miguel Isabel
Complutense University of Madrid
11:40
20m
Doctoral symposium paper
A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases
Doctoral Symposium
Giovanni Grano
University of Zurich
DOI
Pre-print
12:00
30m
Talk
Planning and choosing research projects during PhD studies
Doctoral Symposium
Abhik Roychoudhury
National University of Singapore
14:00 - 15:30
Session 3
Doctoral Symposium
at
Meeting Room 2
14:00
20m
Doctoral symposium paper
A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis
Doctoral Symposium
Patrick Kwaku Kudjo
Jiangsu University
14:20
20m
Doctoral symposium paper
Towards Scalable Defense of Information Flow Security for Distributed Systems
Doctoral Symposium
Xiaoqin Fu
Washington State University
14:40
20m
Doctoral symposium paper
Mining Constraints for Grammar Fuzzing
Doctoral Symposium
Michaël Mera
CISPA, Germany
15:00
30m
Talk
Panel Disscussion
Doctoral Symposium
15:30 - 16:00
Mini Break
Catering
/
Keynote
/
Workshops
/
Tool Demonstration
/
Student Volunteers
/
Workshop – TAV-CPS/IoT
/
Summer School
/
Doctoral Symposium
at
Meeting Room 2
16:00 - 17:30
Session 4
Doctoral Symposium
at
Meeting Room 2
16:00
90m
Talk
Panel Disscussion
Doctoral Symposium
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 2
Doctoral Symposium
Session 1
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
Doctoral Symposium
Session 2
Doctoral Symposium
Session 3
Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium
Mini Break
Doctoral Symposium
Session 4
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 2
ISSTA Doctoral Symposium
Openning
09:30 - 09:46
ISSTA Doctoral Symposium
On the Correctness of GPU Programs
09:46 - 10:02
ISSTA Doctoral Symposium
JNI Program Analysis with Automatically Extracted C Semantic Summary
10:02 - 10:18
ISSTA Doctoral Symposium
Identifying Error Code Misuses in Complex System
10:18 - 10:35
ISSTA Doctoral Symposium
Continuous Software Performance Assessment
11:00 - 11:20
ISSTA Doctoral Symposium
Conditional Dynamic Partial Order Reduction and Optimality Results
11:20 - 11:40
ISSTA Doctoral Symposium
A New Dimension of Test Quality: Assessing and Generating Higher Qualit ...
11:40 - 12:00
ISSTA Doctoral Symposium
Planning and choosing research projects during PhD studies
12:00 - 12:30
ISSTA Doctoral Symposium
A Cost-Effective Strategy for Software Vulnerability Prediction Based o ...
14:00 - 14:20
ISSTA Doctoral Symposium
Towards Scalable Defense of Information Flow Security for Distributed S ...
14:20 - 14:40
ISSTA Doctoral Symposium
Mining Constraints for Grammar Fuzzing
14:40 - 15:00
ISSTA Doctoral Symposium
Panel Disscussion
15:00 - 15:30
ISSTA Doctoral Symposium
Panel Disscussion
16:00 - 17:30
x
Wed 18 Dec 18:43