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: Infante
Venue
Alfândega Porto Congress Centre
Room name
Infante
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
15:00 - 17:00
Session I
CCIW
at
Infante
15:00
30m
Day opening
Welcome to CCIW
CCIW
15:30
30m
Talk
Interoperability Challenges in CI/CD Ecosystem
CCIW
Fatih Degirmenci
Ericsson Software Technology
16:00
30m
Talk
Test flakiness reduction of retry reduction? Why not have both?
CCIW
Stanislaw Swierc
Facebook
16:30
30m
Talk
Continuous Data Analysis for CI
CCIW
Thomas Bach
Heidelberg University
17:15 - 18:45
Session II
CCIW
at
Infante
17:15
30m
Talk
Escalating CI/CD for Growing Companies: The Pipelines 2.0 Project
CCIW
Cristiano Cunha
Farfetch
17:45
30m
Talk
Culprit Finder: Tinderbox Build Breakage Triaging Tool
CCIW
Shruti Honnungar
VMware
18:15
30m
Talk
Athena: Keeping the build stable automatically
CCIW
Utsav Shah
Dropbox
19:00 - 19:30
Recap Discussion
CCIW
at
Infante
19:00
30m
Talk
What are the biggest challenges in large scale CI/CD?
CCIW
Sun 25 Oct
Displayed time zone:
Lisbon
change
09:15 - 10:45
RT1 - Fault Localization and Debugging Infante
ICST Research Papers
at
Infante
+11h
Chair(s):
Andreas Zeller
CISPA, Germany
09:15
30m
Talk
Can We Predict the Quality of Spectrum-based Fault Localization?
ICST Research Papers
Mojdeh Golagha
Technical University of Munich
,
Alexander Pretschner
Technical University of Munich
,
Lionel Briand
University of Luxembourg, University of Ottawa
Link to publication
DOI
09:45
30m
Talk
Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study
ICST Research Papers
Rawad Abou Assi
American University of Beirut
,
Wes Masri
American University of Beirut
,
Chadi Trad
American University of Beirut
Link to publication
DOI
10:15
30m
Talk
More Accurate Dynamic Slicing for Better Supporting Software Debugging
ICST Research Papers
Xiangyu Li
Georgia Institute of Technology
,
Alessandro Orso
Georgia Tech
Link to publication
DOI
11:00 - 12:30
RT2 - Test Generation Infante
ICST Research Papers
at
Infante
+11h
Chair(s):
Marcelo d'Amorim
Federal University of Pernambuco
11:00
30m
Talk
Language-Agnostic Generation of Compilable Test Programs
ICST Research Papers
Patrick Kreutzer
Friedrich-Alexander University Erlangen-Nürnberg
,
Stefan Kraus
Friedrich-Alexander University Erlangen-Nürnberg
,
Michael Philippsen
Friedrich-Alexander University Erlangen-Nürnberg (FAU)
Link to publication
DOI
11:30
30m
Talk
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
ICST Research Papers
Kyle Dewey
California State University, Northridge
,
Shant Hairapetian
University of Oregon
,
Miroslav Gavrilov
University of California, Santa Barbara
Link to publication
DOI
12:00
30m
Talk
Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
ICST Research Papers
Hussein Almulla
University of South Carolina
,
Gregory Gay
Chalmers and the University of Gothenburg
Link to publication
DOI
14:00 - 15:00
RT4 - Misc 1
ICST Research Papers
at
Infante
+11h
Chair(s):
Andrea Stocco
Università della Svizzera italiana (USI)
14:00
30m
Talk
Determining Method-Call Sequences for Object Creation in C++
ICST Research Papers
Thomas Bach
Heidelberg University
,
Ralf Pannemans
SAP
,
Artur Andrzejak
Heidelberg University
Link to publication
DOI
14:30
30m
Talk
NodeRacer: Event Race Detection for Node.js Applications
ICST Research Papers
André T. Endo
Federal University of Technology - Paraná (UTFPR)
,
Anders Møller
Aarhus University, Denmark
Link to publication
DOI
15:00 - 16:00
Teasers
ICST Posters Track
at
Infante
+11h
Chair(s):
Jacques Klein
University of Luxembourg, Luxembourg
,
David Lo
Singapore Management University
15:00
12m
Talk
Poster: Agent-based Testing of Extended Reality Systems
ICST Posters Track
Rui Prada
Universidade de Lisboa
,
Wishnu Prasetya
Utrecht University
,
Fitsum Kifetew
Fondazione Bruno Kessler
,
Frank Dignum
Umea University
,
Tanja E. J. Vos
Universitat Politècnica de València
,
Jason Lander
Gameware
,
Jean-Yves Donnart
Thales AVS
,
Alexandre Kazmierowski
Thales SIX GTS
,
Joseph Davidson
Good AI
,
Pedro Fernandes
Universidade de Lisboa
Link to publication
DOI
15:12
12m
Talk
Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
ICST Posters Track
Rubing Huang
Jiangsu University
,
Chenhui Cui
Jiangsu University
,
Weifeng Sun
Jiangsu University
,
Dave Towey
University of Nottingham Ningbo China
Link to publication
DOI
15:24
12m
Talk
Poster: Performance Testing Driven by Reinforcement Learning
ICST Posters Track
Mahshid Helali Moghadam
RISE Research Institutes of Sweden
,
Mehrdad Saadatmand
RISE Research Institutes of Sweden
,
Markus Borg
RISE Research Institutes of Sweden
,
Markus Bohlin
RISE Research Institutes of Sweden
,
Bjorn Lisper
Mälardalen University
Link to publication
DOI
15:36
12m
Talk
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization
ICST Posters Track
Hiroyuki Kirinuki
NTT
,
Toshiyuki Kurabayashi
NTT
,
Haruto Tanno
NTT
,
Ippei Kumagawa
NTT Data
Link to publication
DOI
15:48
12m
Talk
Poster: Test Case Prioritization Using Error Propagation Probability
ICST Posters Track
Jeonghyun Joo
Korea Air Force Academy
,
Seunghoon Yoo
Korea Air Force Academy
,
Myunghwan Park
Korea Air Force Academy
Link to publication
DOI
20:15 - 21:45
RT1 - Fault Localization and Debugging Infante
ICST Research Papers
at
Infante
Chair(s):
José Campos
University of Lisbon, Portugal
20:15
30m
Talk
Can We Predict the Quality of Spectrum-based Fault Localization?
ICST Research Papers
Mojdeh Golagha
Technical University of Munich
,
Alexander Pretschner
Technical University of Munich
,
Lionel Briand
University of Luxembourg, University of Ottawa
Link to publication
DOI
20:45
30m
Talk
Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study
ICST Research Papers
Rawad Abou Assi
American University of Beirut
,
Wes Masri
American University of Beirut
,
Chadi Trad
American University of Beirut
Link to publication
DOI
21:15
30m
Talk
More Accurate Dynamic Slicing for Better Supporting Software Debugging
ICST Research Papers
Xiangyu Li
Georgia Institute of Technology
,
Alessandro Orso
Georgia Tech
Link to publication
DOI
22:00 - 23:30
RT2 - Test Generation Infante
ICST Research Papers
at
Infante
Chair(s):
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
22:00
30m
Talk
Language-Agnostic Generation of Compilable Test Programs
ICST Research Papers
Patrick Kreutzer
Friedrich-Alexander University Erlangen-Nürnberg
,
Stefan Kraus
Friedrich-Alexander University Erlangen-Nürnberg
,
Michael Philippsen
Friedrich-Alexander University Erlangen-Nürnberg (FAU)
Link to publication
DOI
22:30
30m
Talk
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
ICST Research Papers
Kyle Dewey
California State University, Northridge
,
Shant Hairapetian
University of Oregon
,
Miroslav Gavrilov
University of California, Santa Barbara
Link to publication
DOI
23:00
30m
Talk
Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
ICST Research Papers
Hussein Almulla
University of South Carolina
,
Gregory Gay
Chalmers and the University of Gothenburg
Link to publication
DOI
Mon 26 Oct
Displayed time zone:
Lisbon
change
01:00 - 02:00
RT4 - Misc 1
ICST Research Papers
at
Infante
Chair(s):
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
01:00
30m
Talk
Determining Method-Call Sequences for Object Creation in C++
ICST Research Papers
Thomas Bach
Heidelberg University
,
Ralf Pannemans
SAP
,
Artur Andrzejak
Heidelberg University
Link to publication
DOI
01:30
30m
Talk
NodeRacer: Event Race Detection for Node.js Applications
ICST Research Papers
André T. Endo
Federal University of Technology - Paraná (UTFPR)
,
Anders Møller
Aarhus University, Denmark
Link to publication
DOI
02:00 - 03:00
Teasers
ICST Posters Track
at
Infante
Chair(s):
Jacques Klein
University of Luxembourg, Luxembourg
,
David Lo
Singapore Management University
02:00
12m
Talk
Poster: Agent-based Testing of Extended Reality Systems
ICST Posters Track
Rui Prada
Universidade de Lisboa
,
Wishnu Prasetya
Utrecht University
,
Fitsum Kifetew
Fondazione Bruno Kessler
,
Frank Dignum
Umea University
,
Tanja E. J. Vos
Universitat Politècnica de València
,
Jason Lander
Gameware
,
Jean-Yves Donnart
Thales AVS
,
Alexandre Kazmierowski
Thales SIX GTS
,
Joseph Davidson
Good AI
,
Pedro Fernandes
Universidade de Lisboa
Link to publication
DOI
02:12
12m
Talk
Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
ICST Posters Track
Rubing Huang
Jiangsu University
,
Chenhui Cui
Jiangsu University
,
Weifeng Sun
Jiangsu University
,
Dave Towey
University of Nottingham Ningbo China
Link to publication
DOI
02:24
12m
Talk
Poster: Performance Testing Driven by Reinforcement Learning
ICST Posters Track
Mahshid Helali Moghadam
RISE Research Institutes of Sweden
,
Mehrdad Saadatmand
RISE Research Institutes of Sweden
,
Markus Borg
RISE Research Institutes of Sweden
,
Markus Bohlin
RISE Research Institutes of Sweden
,
Bjorn Lisper
Mälardalen University
Link to publication
DOI
02:36
12m
Talk
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization
ICST Posters Track
Hiroyuki Kirinuki
NTT
,
Toshiyuki Kurabayashi
NTT
,
Haruto Tanno
NTT
,
Ippei Kumagawa
NTT Data
Link to publication
DOI
02:48
12m
Talk
Poster: Test Case Prioritization Using Error Propagation Probability
ICST Posters Track
Jeonghyun Joo
Korea Air Force Academy
,
Seunghoon Yoo
Korea Air Force Academy
,
Myunghwan Park
Korea Air Force Academy
Link to publication
DOI
10:45 - 12:15
RT6 - Web Testing
ICST Research Papers
at
Infante
+11h
Chair(s):
José Campos
University of Lisbon, Portugal
10:45
30m
Talk
Fostering the Diversity of Exploratory Testing in Web Applications
ICST Research Papers
Julien Leveau
LaBRI
,
Xavier Blanc
LaBRI
,
Laurent Réveillère
LaBRI
,
Jean-Rémy Falleri
Bordeaux INP
,
Romain Rouvoy
Univ. Lille / Inria / IUF
Link to publication
DOI
11:15
30m
Talk
Dependency-Aware Web Test Generation
ICST Research Papers
Matteo Biagiola
Fondazione Bruno Kessler (FBK)
,
Andrea Stocco
Università della Svizzera italiana (USI)
,
Filippo Ricca
Università di Genova
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
11:45
30m
Talk
Metamorphic Security Testing for Web Systems
ICST Research Papers
Phu X. Mai
University of Luxembourg
,
Fabrizio Pastore
University of Luxembourg
,
Arda Goknil
SnT, University of Luxembourg
,
Lionel Briand
University of Luxembourg, University of Ottawa
Link to publication
DOI
13:45 - 15:15
RT7 - Optimizing Testing
ICST Research Papers
at
Infante
+11h
Chair(s):
Fabiano Ferrari
Federal University of São Carlos
13:45
30m
Talk
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
ICST Research Papers
Marcio Augusto Guimarães
Federal University of Alagoas (UFAL)
,
Leo Fernandes
Federal Institute of Alagoas (IFAL)
,
Márcio Ribeiro
Federal University of Alagoas, Brazil
,
Marcelo d'Amorim
Federal University of Pernambuco
,
Rohit Gheyi
Federal University of Campina Grande
Link to publication
DOI
14:15
30m
Talk
Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs
ICST Research Papers
Qianqian Zhu
TU Delft
,
Andy Zaidman
Delft University of Technology
Link to publication
DOI
Pre-print
14:45
30m
Talk
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases
ICST Research Papers
Abdullah Alsharif
The University of Sheffield
,
Gregory Kapfhammer
Allegheny College, USA
,
Phil McMinn
University of Sheffield
Link to publication
DOI
15:30 - 17:00
RT8 - Misc 2
ICST Journal-First Papers
/
ICST Research Papers
at
Infante
+11h
Chair(s):
Alin Stefanescu
University of Bucharest
15:30
30m
Talk
Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
ICST Research Papers
Xin Yin
New Jersey Institute of Technology
,
Iulian Neamtiu
New Jersey Institute of Technology, USA
,
Saketan Patil
New Jersey Institute of Technology
,
Sean Andrews
New Jersey Institute of Technology
Link to publication
DOI
16:00
30m
Talk
CBR: Controlled Burst Recording
ICST Research Papers
Oscar Cornejo
University of Milano Bicocca, Italy
,
Daniela Briola
University of Milano Bicocca
,
Daniela Micucci
University of Milano Bicocca
,
Leonardo Mariani
University of Milano Bicocca
Link to publication
DOI
16:30
30m
Talk
Mahtab: Phase-wise acceleration of regression testing for C
ICST Journal-First Papers
Shouvick Mondal
IIT Madras, India
,
Rupesh Nasre
IIT Madras, India
Link to publication
DOI
Media Attached
21:45 - 23:15
RT6 - Web Testing
ICST Research Papers
at
Infante
Chair(s):
Fabiano Ferrari
Federal University of São Carlos
21:45
30m
Talk
Fostering the Diversity of Exploratory Testing in Web Applications
ICST Research Papers
Julien Leveau
LaBRI
,
Xavier Blanc
LaBRI
,
Laurent Réveillère
LaBRI
,
Jean-Rémy Falleri
Bordeaux INP
,
Romain Rouvoy
Univ. Lille / Inria / IUF
Link to publication
DOI
22:15
30m
Talk
Dependency-Aware Web Test Generation
ICST Research Papers
Matteo Biagiola
Fondazione Bruno Kessler (FBK)
,
Andrea Stocco
Università della Svizzera italiana (USI)
,
Filippo Ricca
Università di Genova
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
22:45
30m
Talk
Metamorphic Security Testing for Web Systems
ICST Research Papers
Phu X. Mai
University of Luxembourg
,
Fabrizio Pastore
University of Luxembourg
,
Arda Goknil
SnT, University of Luxembourg
,
Lionel Briand
University of Luxembourg, University of Ottawa
Link to publication
DOI
Tue 27 Oct
Displayed time zone:
Lisbon
change
00:45 - 02:15
RT7 - Optimizing Testing
ICST Research Papers
at
Infante
Chair(s):
Corina S. Pasareanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
00:45
30m
Talk
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
ICST Research Papers
Marcio Augusto Guimarães
Federal University of Alagoas (UFAL)
,
Leo Fernandes
Federal Institute of Alagoas (IFAL)
,
Márcio Ribeiro
Federal University of Alagoas, Brazil
,
Marcelo d'Amorim
Federal University of Pernambuco
,
Rohit Gheyi
Federal University of Campina Grande
Link to publication
DOI
01:15
30m
Talk
Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs
ICST Research Papers
Qianqian Zhu
TU Delft
,
Andy Zaidman
Delft University of Technology
Link to publication
DOI
Pre-print
01:45
30m
Talk
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases
ICST Research Papers
Abdullah Alsharif
The University of Sheffield
,
Gregory Kapfhammer
Allegheny College, USA
,
Phil McMinn
University of Sheffield
Link to publication
DOI
02:30 - 04:00
RT8 - Misc 2
ICST Research Papers
/
ICST Journal-First Papers
at
Infante
02:30
30m
Talk
Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
ICST Research Papers
Xin Yin
New Jersey Institute of Technology
,
Iulian Neamtiu
New Jersey Institute of Technology, USA
,
Saketan Patil
New Jersey Institute of Technology
,
Sean Andrews
New Jersey Institute of Technology
Link to publication
DOI
03:00
30m
Talk
CBR: Controlled Burst Recording
ICST Research Papers
Oscar Cornejo
University of Milano Bicocca, Italy
,
Daniela Briola
University of Milano Bicocca
,
Daniela Micucci
University of Milano Bicocca
,
Leonardo Mariani
University of Milano Bicocca
Link to publication
DOI
03:30
30m
Talk
Mahtab: Phase-wise acceleration of regression testing for C
ICST Journal-First Papers
Shouvick Mondal
IIT Madras, India
,
Rupesh Nasre
IIT Madras, India
Link to publication
DOI
Media Attached
09:00 - 10:00
RT10 - Misc 3
ICST Research Papers
at
Infante
+11h
Chair(s):
Thomas Durieux
KTH Royal Institute of Technology, Sweden
09:00
30m
Talk
A Framework for In-Vivo Testing of Mobile Applications
ICST Research Papers
Mariano Ceccato
University of Verona
,
Davide Corradini
Fondazione Bruno Kessler
,
Luca Gazzola
Università degli Studi di Milano-Bicocca
,
Fitsum Kifetew
Fondazione Bruno Kessler
,
Leonardo Mariani
University of Milano Bicocca
,
Matteo Orru
University of Milano Bicocca
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
09:30
30m
Talk
Prioritizing Runtime Verification Violations
ICST Research Papers
Breno Miranda
Federal University of Pernambuco
,
Igor Lima
Federal University of Pernambuco
,
Owolabi Legunsen
Cornell University
,
Marcelo d'Amorim
Federal University of Pernambuco
Link to publication
DOI
10:00 - 11:00
Testing tools
ICST Testing Tools Track
at
Infante
+11h
Chair(s):
René Just
University of Washington, USA
,
Andy Zaidman
Delft University of Technology
10:00
15m
Talk
Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems
ICST Testing Tools Track
Sakshi Udeshi
,
Xingbin Jiang
Singapore University of Technology and Design
,
Sudipta Chattopadhyay
Singapore University of Technology and Design
Link to publication
DOI
10:15
15m
Talk
Run Java Applications and Test Them In-Vivo Meantime
ICST Testing Tools Track
Antonia Bertolino
CNR-ISTI
,
Guglielmo De Angelis
CNR-IASI, CNR-ISTI
,
Breno Miranda
Federal University of Pernambuco
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
10:30
15m
Talk
AFLNet: A Greybox Fuzzer for Network Protocols
ICST Testing Tools Track
Van-Thuan Pham
Monash University
,
Marcel Böhme
Monash University, Australia
,
Abhik Roychoudhury
National University of Singapore, Singapore
Link to publication
DOI
10:45
15m
Talk
ct-fuzz: Fuzzing for Timing Leaks
ICST Testing Tools Track
Shaobo He
University of Utah
,
Michael Emmi
Amazon Web Services
,
Gabriela Ciocarlie
SRI International
Link to publication
DOI
20:00 - 21:00
RT10 - Misc 3
ICST Research Papers
at
Infante
Chair(s):
Luís Cruz
Deflt University of Technology
20:00
30m
Talk
A Framework for In-Vivo Testing of Mobile Applications
ICST Research Papers
Mariano Ceccato
University of Verona
,
Davide Corradini
Fondazione Bruno Kessler
,
Luca Gazzola
Università degli Studi di Milano-Bicocca
,
Fitsum Kifetew
Fondazione Bruno Kessler
,
Leonardo Mariani
University of Milano Bicocca
,
Matteo Orru
University of Milano Bicocca
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
20:30
30m
Talk
Prioritizing Runtime Verification Violations
ICST Research Papers
Breno Miranda
Federal University of Pernambuco
,
Igor Lima
Federal University of Pernambuco
,
Owolabi Legunsen
Cornell University
,
Marcelo d'Amorim
Federal University of Pernambuco
Link to publication
DOI
21:00 - 22:00
Testing tools
ICST Testing Tools Track
at
Infante
Chair(s):
René Just
University of Washington, USA
,
Andy Zaidman
Delft University of Technology
21:00
15m
Talk
Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems
ICST Testing Tools Track
Sakshi Udeshi
,
Xingbin Jiang
Singapore University of Technology and Design
,
Sudipta Chattopadhyay
Singapore University of Technology and Design
Link to publication
DOI
21:15
15m
Talk
Run Java Applications and Test Them In-Vivo Meantime
ICST Testing Tools Track
Antonia Bertolino
CNR-ISTI
,
Guglielmo De Angelis
CNR-IASI, CNR-ISTI
,
Breno Miranda
Federal University of Pernambuco
,
Paolo Tonella
Università della Svizzera Italiana (USI)
Link to publication
DOI
21:30
15m
Talk
AFLNet: A Greybox Fuzzer for Network Protocols
ICST Testing Tools Track
Van-Thuan Pham
Monash University
,
Marcel Böhme
Monash University, Australia
,
Abhik Roychoudhury
National University of Singapore, Singapore
Link to publication
DOI
21:45
15m
Talk
ct-fuzz: Fuzzing for Timing Leaks
ICST Testing Tools Track
Shaobo He
University of Utah
,
Michael Emmi
Amazon Web Services
,
Gabriela Ciocarlie
SRI International
Link to publication
DOI
Sat 24 Oct
Displayed time zone:
Lisbon
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Infante
CCIW
Session I
CCIW
Session II
CCIW
Recap Discussion
Sun 25 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
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Infante
ICST Research Papers
RT1 - Fault Localization and Debugging Infante
ICST Research Papers
RT2 - Test Generation Infante
ICST Research Papers
RT4 - Misc 1
ICST Posters Track
Teasers
ICST Research Papers
RT1 - Fault Localization and Debugging Infante
ICST Research Papers
RT2 - Test Generation Infante
Mon 26 Oct
Displayed time zone:
Lisbon
change
Room
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
Infante
ICST Research Papers
RT4 - Misc 1
ICST Posters Track
Teasers
ICST Research Papers
RT6 - Web Testing
ICST Research Papers
RT7 - Optimizing Testing
ICST Journal-First Papers + ICST Research Papers
RT8 - Misc 2
ICST Research Papers
RT6 - Web Testing
Tue 27 Oct
Displayed time zone:
Lisbon
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
Infante
ICST Research Papers
RT7 - Optimizing Testing
ICST Research Papers + ICST Journal-First Papers
RT8 - Misc 2
ICST Research Papers
RT10 - Misc 3
ICST Testing Tools Track
Testing tools
ICST Research Papers
RT10 - Misc 3
ICST Testing Tools Track
Testing tools
Sat 24 Oct
Displayed time zone:
Lisbon
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Infante
CCIW
Welcome to CCIW
15:00 - 15:30
CCIW
Interoperability Challenges in CI/CD Ecosystem
15:30 - 16:00
CCIW
Test flakiness reduction of retry reduction? Why not have both?
16:00 - 16:30
CCIW
Continuous Data Analysis for CI
16:30 - 17:00
CCIW
Escalating CI/CD for Growing Companies: The Pipelines 2.0 Project
17:15 - 17:45
CCIW
Culprit Finder: Tinderbox Build Breakage Triaging Tool
17:45 - 18:15
CCIW
Athena: Keeping the build stable automatically
18:15 - 18:45
CCIW
What are the biggest challenges in large scale CI/CD?
19:00 - 19:30
Sun 25 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
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Infante
ICST Research Papers
Can We Predict the Quality of Spectrum-based Fault Localization?
09:15 - 09:45
ICST Research Papers
Substate Profiling for Enhanced Fault Detection and Localization: An Em ...
09:45 - 10:15
ICST Research Papers
More Accurate Dynamic Slicing for Better Supporting Software Debugging
10:15 - 10:45
ICST Research Papers
Language-Agnostic Generation of Compilable Test Programs
11:00 - 11:30
ICST Research Papers
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
11:30 - 12:00
ICST Research Papers
Learning How to Search: Generating Exception-Triggering Tests Through A ...
12:00 - 12:30
ICST Research Papers
Determining Method-Call Sequences for Object Creation in C++
14:00 - 14:30
ICST Research Papers
NodeRacer: Event Race Detection for Node.js Applications
14:30 - 15:00
ICST Posters Track
Poster: Agent-based Testing of Extended Reality Systems
15:00 - 15:12
ICST Posters Track
Poster: Is Euclidean Distance the best Distance Measurement for Adaptiv ...
15:12 - 15:24
ICST Posters Track
Poster: Performance Testing Driven by Reinforcement Learning
15:24 - 15:36
ICST Posters Track
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recor ...
15:36 - 15:48
ICST Posters Track
Poster: Test Case Prioritization Using Error Propagation Probability
15:48 - 16:00
ICST Research Papers
Can We Predict the Quality of Spectrum-based Fault Localization?
20:15 - 20:45
ICST Research Papers
Substate Profiling for Enhanced Fault Detection and Localization: An Em ...
20:45 - 21:15
ICST Research Papers
More Accurate Dynamic Slicing for Better Supporting Software Debugging
21:15 - 21:45
ICST Research Papers
Language-Agnostic Generation of Compilable Test Programs
22:00 - 22:30
ICST Research Papers
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
22:30 - 23:00
ICST Research Papers
Learning How to Search: Generating Exception-Triggering Tests Through A ...
23:00 - 23:30
Mon 26 Oct
Displayed time zone:
Lisbon
change
Room
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
Infante
ICST Research Papers
Determining Method-Call Sequences for Object Creation in C++
01:00 - 01:30
ICST Research Papers
NodeRacer: Event Race Detection for Node.js Applications
01:30 - 02:00
ICST Posters Track
Poster: Agent-based Testing of Extended Reality Systems
02:00 - 02:12
ICST Posters Track
Poster: Is Euclidean Distance the best Distance Measurement for Adaptiv ...
02:12 - 02:24
ICST Posters Track
Poster: Performance Testing Driven by Reinforcement Learning
02:24 - 02:36
ICST Posters Track
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recor ...
02:36 - 02:48
ICST Posters Track
Poster: Test Case Prioritization Using Error Propagation Probability
02:48 - 03:00
ICST Research Papers
Fostering the Diversity of Exploratory Testing in Web Applications
10:45 - 11:15
ICST Research Papers
Dependency-Aware Web Test Generation
11:15 - 11:45
ICST Research Papers
Metamorphic Security Testing for Web Systems
11:45 - 12:15
ICST Research Papers
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption R ...
13:45 - 14:15
ICST Research Papers
Massively Parallel, Highly Efficient, but What About the Test Suite Qua ...
14:15 - 14:45
ICST Research Papers
STICCER: Fast and Effective Database Test Suite Reduction Through Mergi ...
14:45 - 15:15
ICST Research Papers
Implementation-induced Inconsistency and Nondeterminism in Deterministi ...
15:30 - 16:00
ICST Research Papers
CBR: Controlled Burst Recording
16:00 - 16:30
ICST Journal-First Papers
Mahtab: Phase-wise acceleration of regression testing for C
16:30 - 17:00
ICST Research Papers
Fostering the Diversity of Exploratory Testing in Web Applications
21:45 - 22:15
ICST Research Papers
Dependency-Aware Web Test Generation
22:15 - 22:45
ICST Research Papers
Metamorphic Security Testing for Web Systems
22:45 - 23:15
Tue 27 Oct
Displayed time zone:
Lisbon
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
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
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Infante
ICST Research Papers
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption R ...
00:45 - 01:15
ICST Research Papers
Massively Parallel, Highly Efficient, but What About the Test Suite Qua ...
01:15 - 01:45
ICST Research Papers
STICCER: Fast and Effective Database Test Suite Reduction Through Mergi ...
01:45 - 02:15
ICST Research Papers
Implementation-induced Inconsistency and Nondeterminism in Deterministi ...
02:30 - 03:00
ICST Research Papers
CBR: Controlled Burst Recording
03:00 - 03:30
ICST Journal-First Papers
Mahtab: Phase-wise acceleration of regression testing for C
03:30 - 04:00
ICST Research Papers
A Framework for In-Vivo Testing of Mobile Applications
09:00 - 09:30
ICST Research Papers
Prioritizing Runtime Verification Violations
09:30 - 10:00
ICST Testing Tools Track
Callisto: Entropy-based Test Generation and Data Quality Assessment for ...
10:00 - 10:15
ICST Testing Tools Track
Run Java Applications and Test Them In-Vivo Meantime
10:15 - 10:30
ICST Testing Tools Track
AFLNet: A Greybox Fuzzer for Network Protocols
10:30 - 10:45
ICST Testing Tools Track
ct-fuzz: Fuzzing for Timing Leaks
10:45 - 11:00
ICST Research Papers
A Framework for In-Vivo Testing of Mobile Applications
20:00 - 20:30
ICST Research Papers
Prioritizing Runtime Verification Violations
20:30 - 21:00
ICST Testing Tools Track
Callisto: Entropy-based Test Generation and Data Quality Assessment for ...
21:00 - 21:15
ICST Testing Tools Track
Run Java Applications and Test Them In-Vivo Meantime
21:15 - 21:30
ICST Testing Tools Track
AFLNet: A Greybox Fuzzer for Network Protocols
21:30 - 21:45
ICST Testing Tools Track
ct-fuzz: Fuzzing for Timing Leaks
21:45 - 22:00
x
Thu 21 Nov 13:51