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

15:00 - 17:00
Session ICCIW 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
16:30
30m
Talk
Continuous Data Analysis for CI
CCIW
Thomas Bach Heidelberg University
19:00 - 19:30
Recap DiscussionCCIW 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 InfanteICST 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 InfanteICST 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 1ICST 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
TeasersICST 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
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 InfanteICST 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 InfanteICST 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 1ICST 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
TeasersICST 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
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 TestingICST 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 TestingICST 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 2ICST 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 TestingICST 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 TestingICST 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
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 3ICST 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 toolsICST 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 3ICST 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 toolsICST 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

Room15:003016:003017:003018:003019:0030
Infante

Mon 26 Oct

Displayed time zone: Lisbon change

Tue 27 Oct

Displayed time zone: Lisbon change

Sun 25 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Infante

Mon 26 Oct

Displayed time zone: Lisbon change

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Infante

Tue 27 Oct

Displayed time zone: Lisbon change

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Infante