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: 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
ICST 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
ICST Doctoral Symposium
Goiuria Sagardui
University of Mondragon
11:15
30m
Talk
How Can Software Testing be Improved by Analytics to Deliver Better Apps?
ICST 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
ICST Doctoral Symposium
Misael Júnior
University of Sao Paulo (USP)
Link to publication
DOI
13:45 - 15:15
Doctoral Symposium 2
ICST 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?
ICST Doctoral Symposium
Jeff Offutt
George Mason University
14:15
30m
Talk
Well-informed Test Case Generation and Crash Reproduction
ICST Doctoral Symposium
Pouria Derakhshanfar
Delft University of Technology
Link to publication
DOI
14:45
30m
Talk
Anomaly Analyses to Guide Software Testing Activity
ICST Doctoral Symposium
Allan Mori
University of São Paulo - USP
Link to publication
DOI
15:30 - 17:00
Doctoral Symposium 3
ICST 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.?
ICST Doctoral Symposium
Lionel Briand
University of Luxembourg, University of Ottawa
16:00
30m
Talk
Toward Automated Assessment of User Experience in Extended Reality
ICST Doctoral Symposium
Saba Gholizadeh Ansari
Utrecht University
Link to publication
DOI
16:30
30m
Talk
Source-Codeless Testing for Android Apps
ICST 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
ICST Doctoral Symposium
Doctoral Symposium 1
ICST Doctoral Symposium
Doctoral Symposium 2
ICST 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
Sat 21 Dec 16:46