NEXTA 2020
Sat 24 Oct 2020
Porto, Portugal
co-located with
ICST 2020
Toggle navigation
Attending
Venue: Alfândega Porto Congress Centre
ICST 2020
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
Program
NEXTA Program
Your Program
Sat 24 Oct
Track/Call
Organization
NEXTA 2020 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
NEXTA 2025
NEXTA 2024
NEXTA 2023
NEXTA 2022
NEXTA 2021
NEXTA 2020
Sign in
Sign up
ICST 2020
(
series
) /
NEXTA 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
ICST Research Papers
/
ICST Tool Demos Track
/
ICST Journal-First Papers
/
ICST Industry Track
/
ICST 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
ICST Research Papers
16:15 - 17:15
Keynote 1
ICST Research Papers
/
ICST Tool Demos Track
/
ICST Journal-First Papers
/
ICST Industry Track
/
ICST 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
ICST Research Papers
Liana Hadarean
Amazon
Link to publication
20:00 - 20:15
Intro & Welcome
ICST Research Papers
/
ICST Tool Demos Track
/
ICST Journal-First Papers
/
ICST Industry Track
/
ICST 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
ICST Research Papers
Mon 26 Oct
Displayed time zone:
Lisbon
change
09:00 - 09:30
Most Influential Paper Awards
ICST Research Papers
/
ICST Tool Demos Track
/
ICST Journal-First Papers
/
ICST Industry Track
/
ICST 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
ICST 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
ICST 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
ICST Research Papers
at
Plenary Room
Chair(s):
Luís Cruz
Deflt University of Technology
20:00 - 20:30
Most Influential Paper Awards
ICST Research Papers
/
ICST Tool Demos Track
/
ICST Journal-First Papers
/
ICST Industry Track
/
ICST 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
ICST 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
ICST 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
ICST 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
ICST Research Papers
13:45 - 14:45
Keynote 3
ICST 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
ICST 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
ICST Research Papers + ICST Tool Demos Track + ICST Journal-First Papers + ICST Industry Track + ICST Testing Tools Track
Intro & Welcome
ICST Research Papers + ICST Tool Demos Track + ICST Journal-First Papers + ICST Industry Track + ICST Testing Tools Track
Keynote 1
ICST Research Papers + ICST Tool Demos Track + ICST Journal-First Papers + ICST Industry Track + ICST 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
ICST Research Papers + ICST Tool Demos Track + ICST Journal-First Papers + ICST Industry Track + ICST Testing Tools Track
Most Influential Paper Awards
ICST Research Papers
Keynote 2
ICST Research Papers + ICST Tool Demos Track + ICST Journal-First Papers + ICST Industry Track + ICST 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
ICST Research Papers
Open Steering Commitee & ICST 2021 Presentation
ICST 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
Mon 30 Dec 18:09