Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
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

Conference Day
Sun 25 Oct

Displayed time zone: Lisbon change

09:00 - 09:15
Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / 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
Research Papers

16:15 - 17:15
Keynote 1Research Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room
Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
16:15
60m
Keynote
One-click formal methods
Research Papers
Link to publication
20:00 - 20:15
Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / 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
Research Papers

Conference Day
Mon 26 Oct

Displayed time zone: Lisbon change

09:30 - 10:30
Keynote 2Research Papers at Plenary Room
Chair(s): Luís CruzDeflt University of Technology
20:00 - 20:30
Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / 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
Research Papers
Media Attached
20:15
15m
Awards
Searching for a needle in a haystack predicting security vulnerabilities for Windows VistaDistinguished Paper Award
Research Papers
Thomas ZimmermannMicrosoft Research, Nachiappan NagappanMicrosoft Research, USA, Laurie WilliamsNorth Carolina State University
Media Attached

Conference Day
Tue 27 Oct

Displayed time zone: Lisbon change

11:15 - 12:15
Open Steering Commitee & ICST 2021 PresentationResearch Papers at Plenary Room
Chair(s): Shin YooKorea Advanced Institute of Science and Technology
11:15
60m
Meeting
Open Steering Commitee & ICST 2021 Presentation
Research Papers

13:45 - 14:45
Keynote 3Research Papers at Plenary Room
Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal
13:45
60m
Keynote
SunDew: Systematic Automated Security Testing
Research Papers

Conference Day
Sun 25 Oct

Displayed time zone: Lisbon change

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

Conference Day
Tue 27 Oct

Displayed time zone: Lisbon change