InSTA 2020
Wed 28 Oct 2020 Porto, Portugal
co-located with ICST 2020
VenueAlfândega Porto Congress Centre
Room nameSão João
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

Sat 24 Oct

Displayed time zone: Lisbon change

09:15 - 10:30
Session IITEQS 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 IIITEQS 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 IIIITEQS 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 1ICST 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 2ICST 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 3ICST 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
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
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 SessionINTUITESTBEDS 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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
São João

Wed 28 Oct

Displayed time zone: Lisbon change