InSTA 2020
Wed 28 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

Displayed time zone: 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 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 1ICST 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
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 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:30 - 10:30
Keynote 2ICST Research Papers at Plenary Room
Chair(s): Luís Cruz Deflt 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): 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 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 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 PresentationICST 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 3ICST 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

Sun 25 Oct

Displayed time zone: Lisbon change

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

Tue 27 Oct

Displayed time zone: Lisbon change