NEXTA 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020
VenueAlfândega Porto Congress Centre
Room namePlenary Room
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

09:00 - 09:15
Intro & WelcomeICST 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 FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal
09:00
15m
Day opening
Intro & Welcome
ICST Research Papers
16:15 - 17:15
16:15
60m
Keynote
One-click formal methods
ICST Research Papers
Link to publication
20:00 - 20:15
Intro & WelcomeICST 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 FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal
20:00
15m
Day opening
Intro & Welcome
ICST Research Papers

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

09:30 - 10:30
Keynote 2ICST Research Papers at Plenary Room
Chair(s): Luís CruzDeflt University of Technology
20:00 - 20:30
Most Influential Paper AwardsICST 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 FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal
20:00
15m
Awards
Using Mutation to Automatically Suggest Fixes for Faulty ProgramsDistinguished Paper Award
ICST Research Papers
Media Attached
20:15
15m
Awards
Searching for a needle in a haystack predicting security vulnerabilities for Windows VistaDistinguished Paper Award
ICST Research Papers
Thomas ZimmermannMicrosoft Research, Nachiappan NagappanMicrosoft Research, USA, Laurie WilliamsNorth Carolina State University
Media Attached

Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

11:15 - 12:15
Open Steering Commitee & ICST 2021 PresentationICST Research Papers at Plenary Room
Chair(s): Shin YooKorea Advanced Institute of Science and Technology
11:15
60m
Meeting
Open Steering Commitee & ICST 2021 Presentation
ICST Research Papers
13:45 - 14:45
Keynote 3ICST Research Papers at Plenary Room
Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal
13:45
60m
Keynote
SunDew: Systematic Automated Security Testing
ICST Research Papers

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Plenary Room

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change