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: São João
Venue
Alfândega Porto Congress Centre
Room name
São João
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
Sat 24 Oct
Displayed time zone:
Lisbon
change
09:15 - 10:30
Session I
ITEQS
at
São João
Chair(s):
Mehrdad Saadatmand
RISE Research Institutes of Sweden
ITEQS 2020 is held as a virtual workshop via Zoom. Contact
iteqs2020@easychair.org
for the details.
09:15
15m
Day opening
Welcome and opening message
ITEQS
09:30
30m
Full-paper
Automatic exploratory performance testing using a discriminator neural network
ITEQS
Ivan Porres
Åbo Akademi University
,
Tanwir Ahmad
Åbo Akademi University
,
Hergys Rexha
Åbo Akademi University
,
Sebastien Lafond
Åbo Akademi University
,
Dragos Truscan
Åbo Akademi University
Link to publication
DOI
10:00
30m
Full-paper
Performance Evaluation of Container's Shared Volumes
ITEQS
Naylor Garcia
University of São Paulo - USP
,
Paulo Sergio Lopes de Souza
University of São Paulo - USP
,
Sarita M. Bruschi
University of São Paulo - USP
,
Simone do Rocio Senger de Souza
University of São Paulo - USP
Link to publication
DOI
11:00 - 12:30
Session II
ITEQS
at
São João
Chair(s):
Eduard Paul Enoiu
Mälardalen University
ITEQS 2020 is held as a virtual workshop via Zoom. Contact
iteqs2020@easychair.org
for the details.
11:00
30m
Full-paper
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
ITEQS
Mitsuaki Tsuji
Nara Institute of Science and Technology
,
Toshinori Takai
Nara Institute of Science and Technology
,
Kazuki Kakimoto
Nara Institute of Science and Technology
,
Naoki Ishihama
Japan Aerospace Exploration Agency
,
Masafumi Katahira
Japan Aerospace Exploration Agency
,
Hajimu Iida
Nara Institute of Science and Technology
Link to publication
DOI
11:30
30m
Full-paper
Generating Tests for the Discovery of Security Flaws in Product Variants
ITEQS
Francisco Araújo
LASIGE, Faculdade de Ciências da Universidade de Lisboa
,
Ibéria Medeiros
LaSIGE, Faculdade de Ciências da Universidade de Lisboa
,
Nuno Neves
DI FC UL
Link to publication
DOI
12:00
30m
Full-paper
Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance *Best Paper*
ITEQS
Aymeric Cretin
Femto-ST Institute
,
Alexandre Vernotte
Femto-ST Institute
,
Antoine Chevrot
Femto-ST Institute
,
Fabien Peureux
Institut FEMTO-ST (UMR CNRS 6174) and Smartesting S&S
,
Bruno Legeard
FEMTO-ST / DISC
Link to publication
DOI
14:00 - 15:30
Session III
ITEQS
at
São João
Chair(s):
Dragos Truscan
Åbo Akademi University
ITEQS 2020 is held as a virtual workshop via Zoom. Contact
iteqs2020@easychair.org
for the details.
14:00
60m
Talk
Security Testing using Artificial Intelligence Methods and Techniques
ITEQS
Franz Wotawa
Technische Universitaet Graz
15:00
30m
Full-paper
Keywords-based test categorization for Extra-Functional Properties
ITEQS
Muhammad Abbas
RISE Research Institutes of Sweden
,
Abdul Rauf
RISE Research Institutes of Sweden
,
Mehrdad Saadatmand
RISE Research Institutes of Sweden
,
Eduard Paul Enoiu
Mälardalen University
,
Daniel Sundmark
Mälardalen University
Link to publication
DOI
15:30
10m
Day closing
Best Paper Award & Closing
ITEQS
Mon 26 Oct
Displayed time zone:
Lisbon
change
10:45 - 12:15
Doctoral Symposium 1
Doctoral Symposium
at
São João
Chair(s):
Ana Paiva
Faculty of Engineering of the University of Porto
,
Shaukat Ali
Simula Research Laboratory
10:45
30m
Talk
Panel 1: From research to industry
Doctoral Symposium
Goiuria Sagardui
University of Mondragon
11:15
30m
Talk
How Can Software Testing be Improved by Analytics to Deliver Better Apps?
Doctoral Symposium
Julian Harty
Commercetest Ltd
Link to publication
DOI
11:45
30m
Talk
Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testing
Doctoral Symposium
Misael Júnior
University of Sao Paulo (USP)
Link to publication
DOI
13:45 - 15:15
Doctoral Symposium 2
Doctoral Symposium
at
São João
Chair(s):
Ana Paiva
Faculty of Engineering of the University of Porto
,
Shaukat Ali
Simula Research Laboratory
13:45
30m
Talk
Panel 2: How to get your paper rejected?
Doctoral Symposium
Jeff Offutt
George Mason University
14:15
30m
Talk
Well-informed Test Case Generation and Crash Reproduction
Doctoral Symposium
Pouria Derakhshanfar
Delft University of Technology
Link to publication
DOI
14:45
30m
Talk
Anomaly Analyses to Guide Software Testing Activity
Doctoral Symposium
Allan Mori
University of São Paulo - USP
Link to publication
DOI
15:30 - 17:00
Doctoral Symposium 3
Doctoral Symposium
at
São João
Chair(s):
Ana Paiva
Faculty of Engineering of the University of Porto
,
Shaukat Ali
Simula Research Laboratory
15:30
30m
Talk
Panel 3: Why and How to Get a Ph.D.?
Doctoral Symposium
Lionel Briand
University of Luxembourg, University of Ottawa
16:00
30m
Talk
Toward Automated Assessment of User Experience in Extended Reality
Doctoral Symposium
Saba Gholizadeh Ansari
Utrecht University
Link to publication
DOI
16:30
30m
Talk
Source-Codeless Testing for Android Apps
Doctoral Symposium
Camilo Escobar-Velásquez
Universidad de los Andes
Link to publication
DOI
Wed 28 Oct
Displayed time zone:
Lisbon
change
09:00 - 11:10
Session I
INTUITESTBEDS
at
São João
09:00
10m
Day opening
Welcom
INTUITESTBEDS
09:10
30m
Full-paper
Translation from Visual to Layout-based Android Test Cases: a Proof of Concept
INTUITESTBEDS
Riccardo Coppola
Politecnico di Torino
,
Luca Ardito
Politecnico di Torino
,
Marco Torchiano
Politecnico di Torino
,
Emil Alégroth
Blekinge Institute of Technology
Link to publication
DOI
09:40
30m
Full-paper
An Automated Testing Framework For Smart TV apps Based on Model Separation
INTUITESTBEDS
Bestoun S. Ahmed
Karlstad University
,
Angelo Gargantini
University of Bergamo
,
Miroslav Bures
Czech Technical University in Prague
Link to publication
DOI
10:10
30m
Full-paper
Supporting efficient test automation using lightweight MBT
INTUITESTBEDS
Elodie Bernard
FEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti
,
Fabrice Ambert
FEMTO-ST Institute
,
Bruno Legeard
FEMTO-ST / DISC
Link to publication
DOI
10:40
30m
Full-paper
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation of Widgets
INTUITESTBEDS
Alexandre Canny
ICS-IRIT, Université Toulouse III Paul Sabatier
,
Philippe Palanque
ICS-IRIT, Université Toulouse III Paul Sabatier
,
David Navarre
ICS-IRIT, Université Toulouse III Paul Sabatier
Link to publication
DOI
12:00 - 13:00
Session II
INTUITESTBEDS
at
São João
12:00
60m
Talk
Testing software: Challenges and hardships of non-traditional testers
INTUITESTBEDS
Sandeep Kuttal
The University of Tulsa
13:00 - 14:30
Tool Demos Session
INTUITESTBEDS
at
São João
13:00
30m
Demonstration
Augmented Testing using Scout
INTUITESTBEDS
Michel Nass
Blekinge Institute of Technology
,
Emil Alégroth
Blekinge Institute of Technology
,
Robert Feldt
Chalmers University of Technology
13:30
30m
Demonstration
Sequence Mining for Automatic Generation of Software Tests from GUI event traces
INTUITESTBEDS
Alberto Oliveira
,
Alípio Jorge
Department of Computer Science, University of Porto
,
Ricardo Freitas
,
Nuno Moniz
Department of Computer Science, University of Porto
,
Ana Paiva
Faculty of Engineering of the University of Porto
,
Vítor Amorim
,
Paulo J. Azevedo
14:00
30m
Demonstration
A Tool for Testing Event-Driven Programs in Processing
INTUITESTBEDS
Hiroshi Hosobe
Hosei University
Sat 24 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
São João
ITEQS
Session I
ITEQS
Session II
ITEQS
Session III
ITEQS
Mon 26 Oct
Displayed time zone:
Lisbon
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
São João
Doctoral Symposium
Doctoral Symposium 1
Doctoral Symposium
Doctoral Symposium 2
Doctoral Symposium
Doctoral Symposium 3
Wed 28 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
São João
INTUITESTBEDS
Session I
INTUITESTBEDS
Session II
INTUITESTBEDS
Tool Demos Session
Sat 24 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
São João
ITEQS
Welcome and opening message
09:15 - 09:30
ITEQS
Automatic exploratory performance testing using a discriminator neural ...
09:30 - 10:00
ITEQS
Performance Evaluation of Container's Shared Volumes
10:00 - 10:30
ITEQS
Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
11:00 - 11:30
ITEQS
Generating Tests for the Discovery of Security Flaws in Product Variants
11:30 - 12:00
ITEQS
Test Data Generation for False Data Injection Attack Testing in Air Tra ...
12:00 - 12:30
ITEQS
Security Testing using Artificial Intelligence Methods and Techniques
14:00 - 15:00
ITEQS
Keywords-based test categorization for Extra-Functional Properties
15:00 - 15:30
ITEQS
Best Paper Award & Closing
15:30 - 15:40
Mon 26 Oct
Displayed time zone:
Lisbon
change
Room
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
São João
ICST Doctoral Symposium
Panel 1: From research to industry
10:45 - 11:15
ICST Doctoral Symposium
How Can Software Testing be Improved by Analytics to Deliver Better Apps?
11:15 - 11:45
ICST Doctoral Symposium
Automated verification of compliance of non-functional requirements on ...
11:45 - 12:15
ICST Doctoral Symposium
Panel 2: How to get your paper rejected?
13:45 - 14:15
ICST Doctoral Symposium
Well-informed Test Case Generation and Crash Reproduction
14:15 - 14:45
ICST Doctoral Symposium
Anomaly Analyses to Guide Software Testing Activity
14:45 - 15:15
ICST Doctoral Symposium
Panel 3: Why and How to Get a Ph.D.?
15:30 - 16:00
ICST Doctoral Symposium
Toward Automated Assessment of User Experience in Extended Reality
16:00 - 16:30
ICST Doctoral Symposium
Source-Codeless Testing for Android Apps
16:30 - 17:00
Wed 28 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
São João
INTUITESTBEDS
Welcom
09:00 - 09:10
INTUITESTBEDS
Translation from Visual to Layout-based Android Test Cases: a Proof of ...
09:10 - 09:40
INTUITESTBEDS
An Automated Testing Framework For Smart TV apps Based on Model Separation
09:40 - 10:10
INTUITESTBEDS
Supporting efficient test automation using lightweight MBT
10:10 - 10:40
INTUITESTBEDS
Model-Based Testing of GUI Applications Featuring Dynamic Instanciation ...
10:40 - 11:10
INTUITESTBEDS
Testing software: Challenges and hardships of non-traditional testers
12:00 - 13:00
INTUITESTBEDS
Augmented Testing using Scout
13:00 - 13:30
INTUITESTBEDS
Sequence Mining for Automatic Generation of Software Tests from GUI eve ...
13:30 - 14:00
INTUITESTBEDS
A Tool for Testing Event-Driven Programs in Processing
14:00 - 14:30
x
Wed 18 Dec 16:44