Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020
Porto, Portugal
Toggle navigation
Attending
Venue: Alfândega Porto Congress Centre
Registration
Getting to Porto
Travel Discounts
Accommodation
Student Volunteers
Equity, Diversity and Inclusion Plan
Code of Conduct
Health Information
ICST has been postponed!
ICST 2020 Going Hybrid
Sponsorship
Sponsors and Supporters
Sponsorship Opportunities
Program
ICST Program
Your Program
Week Overview
Keynotes
Sat 24 Oct
Sun 25 Oct
Mon 26 Oct
Tue 27 Oct
Wed 28 Oct
Tracks
ICST 2020
Research Papers
Industry Track
Workshops
Testing Tools Track
Tool Demos Track
Posters Track
Doctoral Symposium
Journal-First Papers
Workshops
A-MOST
CCIW
INTUITESTBEDS
ITEQS
IWCT
InSTA
Mutation
NEXTA
TAIC PART
TestEd
ToCaMS
Organization
ICST 2020 Committees
Organizing Committee
Steering Committee
Student Volunteers
Track Committees
Research Papers
Program Chairs
Program Committee
Industry Track
Program Chairs
Program Committee
Workshops
Testing Tools Track
Program Chairs
Program Committee
Tool Demos Track
Program Chairs
Program Committee
Posters Track
Doctoral Symposium
Program Chairs
Program Committee
Journal-First Papers
Contributors
People Index
Workshops
A-MOST
Organizing Committee
Program Committee
CCIW
Organizing Committee
Program Committee
INTUITESTBEDS
Organizing Committee
Program Committee
ITEQS
Organizing Committee
Program Committee
IWCT
Organizing Committee
Program Committee
InSTA
Organizing Committee
Program Committee
Mutation
Organizing Committee
Program Committee
NEXTA
Organizing Committee
Program Committee
TAIC PART
Organizing Committee
TestEd
Organizing Committee
Program Committee
ToCaMS
Organizing Committee
Program Committee
Search
Series
Series
ICST 2025
ICST 2024
ICST 2023
ICST 2022
ICST 2021
ICST 2020
Sign in
Sign up
ICST 2020
(
series
) /
Alfândega Porto Congress Centre
/
Room information: Plenary Room
Venue
Alfândega Porto Congress Centre
Room name
Plenary Room
Floor
0
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+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
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-05: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-03: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+02: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+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Sun 25 Oct
Displayed time zone:
Lisbon
change
09:00 - 09:15
Intro & Welcome
Research Papers
/
Tool Demos Track
/
Journal-First Papers
/
Industry Track
/
Testing Tools Track
at
Plenary Room
+11h
Chair(s):
João Pascoal Faria
Faculty of Engineering, University of Porto and INESC TEC
,
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
09:00
15m
Day opening
Intro & Welcome
Research Papers
16:15 - 17:15
Keynote 1
Research Papers
/
Tool Demos Track
/
Journal-First Papers
/
Industry Track
/
Testing Tools Track
at
Plenary Room
Chair(s):
João Pascoal Faria
Faculty of Engineering, University of Porto and INESC TEC
16:15
60m
Keynote
One-click formal methods
Research Papers
Liana Hadarean
Amazon
Link to publication
20:00 - 20:15
Intro & Welcome
Research Papers
/
Tool Demos Track
/
Journal-First Papers
/
Industry Track
/
Testing Tools Track
at
Plenary Room
Chair(s):
João Pascoal Faria
Faculty of Engineering, University of Porto and INESC TEC
,
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
20:00
15m
Day opening
Intro & Welcome
Research Papers
Mon 26 Oct
Displayed time zone:
Lisbon
change
09:00 - 09:30
Most Influential Paper Awards
Research Papers
/
Tool Demos Track
/
Journal-First Papers
/
Industry Track
/
Testing Tools Track
at
Plenary Room
+11h
Chair(s):
Luís Cruz
Deflt University of Technology
09:00
15m
Awards
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Research Papers
W. Eric Wong
,
Vidroha Debroy
Media Attached
09:15
15m
Awards
Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista
Research Papers
Thomas Zimmermann
Microsoft Research
,
Nachiappan Nagappan
Microsoft Research, USA
,
Laurie Williams
North Carolina State University
Media Attached
09:30 - 10:30
Keynote 2
Research Papers
at
Plenary Room
Chair(s):
Luís Cruz
Deflt University of Technology
20:00 - 20:30
Most Influential Paper Awards
Research Papers
/
Tool Demos Track
/
Journal-First Papers
/
Industry Track
/
Testing Tools Track
at
Plenary Room
Chair(s):
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
,
João Pascoal Faria
Faculty of Engineering, University of Porto and INESC TEC
20:00
15m
Awards
Using Mutation to Automatically Suggest Fixes for Faulty Programs
Research Papers
W. Eric Wong
,
Vidroha Debroy
Media Attached
20:15
15m
Awards
Searching for a needle in a haystack predicting security vulnerabilities for Windows Vista
Research Papers
Thomas Zimmermann
Microsoft Research
,
Nachiappan Nagappan
Microsoft Research, USA
,
Laurie Williams
North Carolina State University
Media Attached
Tue 27 Oct
Displayed time zone:
Lisbon
change
11:15 - 12:15
Open Steering Commitee & ICST 2021 Presentation
Research Papers
at
Plenary Room
Chair(s):
Shin Yoo
Korea Advanced Institute of Science and Technology
11:15
60m
Meeting
Open Steering Commitee & ICST 2021 Presentation
Research Papers
13:45 - 14:45
Keynote 3
Research Papers
at
Plenary Room
Chair(s):
Rui Abreu
Faculty of Engineering, University of Porto, Portugal
13:45
60m
Keynote
SunDew: Systematic Automated Security Testing
Research Papers
Franjo Ivancic
Google
Sun 25 Oct
Displayed time zone:
Lisbon
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
18:00
30
19:00
30
20:00
30
Plenary Room
Research Papers + Tool Demos Track + Journal-First Papers + Industry Track + Testing Tools Track
Intro & Welcome
Research Papers + Tool Demos Track + Journal-First Papers + Industry Track + Testing Tools Track
Keynote 1
Research Papers + Tool Demos Track + Journal-First Papers + Industry Track + Testing Tools Track
Intro & Welcome
Mon 26 Oct
Displayed time zone:
Lisbon
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
18:00
30
19:00
30
20:00
30
Plenary Room
Research Papers + Tool Demos Track + Journal-First Papers + Industry Track + Testing Tools Track
Most Influential Paper Awards
Research Papers
Keynote 2
Research Papers + Tool Demos Track + Journal-First Papers + Industry Track + Testing Tools Track
Most Influential Paper Awards
Tue 27 Oct
Displayed time zone:
Lisbon
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
Plenary Room
Research Papers
Open Steering Commitee & ICST 2021 Presentation
Research Papers
Keynote 3
Sun 25 Oct
Displayed time zone:
Lisbon
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Plenary Room
ICST Research Papers
Intro & Welcome
09:00 - 09:15
ICST Research Papers
One-click formal methods
16:15 - 17:15
ICST Research Papers
Intro & Welcome
20:00 - 20:15
Mon 26 Oct
Displayed time zone:
Lisbon
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
Plenary Room
ICST Research Papers
Using Mutation to Automatically Suggest Fixes for Faulty Programs
09:00 - 09:15
ICST Research Papers
Searching for a needle in a haystack predicting security vulnerabilitie ...
09:15 - 09:30
ICST Research Papers
Using Mutation to Automatically Suggest Fixes for Faulty Programs
20:00 - 20:15
ICST Research Papers
Searching for a needle in a haystack predicting security vulnerabilitie ...
20:15 - 20:30
Tue 27 Oct
Displayed time zone:
Lisbon
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
Plenary Room
ICST Research Papers
Open Steering Commitee & ICST 2021 Presentation
11:15 - 12:15
ICST Research Papers
SunDew: Systematic Automated Security Testing
13:45 - 14:45
x
Wed 18 Dec 18:06