Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
VenueAlfândega Porto Congress Centre
Room nameInfante
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

15:00 - 17:00: Session ICCIW at Infante
15:00 - 15:30
Day opening
Welcome to CCIW
CCIW
15:30 - 16:00
Talk
Interoperability Challenges in CI/CD Ecosystem
CCIW
Fatih DegirmenciEricsson Software Technology
16:00 - 16:30
Talk
Test flakiness reduction of retry reduction? Why not have both?
CCIW
16:30 - 17:00
Talk
Continuous Data Analysis for CI
CCIW
Thomas BachHeidelberg University
19:00 - 19:30: Recap DiscussionCCIW at Infante
19:00 - 19:30
Talk
What are the biggest challenges in large scale CI/CD?
CCIW

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

09:15 - 10:45: RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante +11h
Chair(s): Andreas ZellerCISPA, Germany
09:15 - 09:45
Talk
Can We Predict the Quality of Spectrum-based Fault Localization?
Research Papers
Mojdeh GolaghaTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Lionel BriandUniversity of Luxembourg, University of Ottawa
Link to publication DOI
09:45 - 10:15
Talk
Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study
Research Papers
Rawad Abou AssiAmerican University of Beirut, Wes MasriAmerican University of Beirut, Chadi TradAmerican University of Beirut
Link to publication DOI
10:15 - 10:45
Talk
More Accurate Dynamic Slicing for Better Supporting Software Debugging
Research Papers
Xiangyu LiGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
Link to publication DOI
11:00 - 12:30: RT2 - Test Generation InfanteResearch Papers at Infante +11h
Chair(s): Marcelo d'AmorimFederal University of Pernambuco
11:00 - 11:30
Talk
Language-Agnostic Generation of Compilable Test Programs
Research Papers
Patrick KreutzerFriedrich-Alexander University Erlangen-Nürnberg, Stefan KrausFriedrich-Alexander University Erlangen-Nürnberg, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU)
Link to publication DOI
11:30 - 12:00
Talk
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Research Papers
Kyle DeweyCalifornia State University, Northridge, Shant HairapetianUniversity of Oregon, Miroslav GavrilovUniversity of California, Santa Barbara
Link to publication DOI
12:00 - 12:30
Talk
Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
Research Papers
Hussein AlmullaUniversity of South Carolina, Gregory GayChalmers and the University of Gothenburg
Link to publication DOI
14:00 - 15:00: RT4 - Misc 1Research Papers at Infante +11h
Chair(s): Andrea StoccoUniversità della Svizzera italiana (USI)
14:00 - 14:30
Talk
Determining Method-Call Sequences for Object Creation in C++
Research Papers
Thomas BachHeidelberg University, Ralf PannemansSAP, Artur AndrzejakHeidelberg University
Link to publication DOI
14:30 - 15:00
Talk
NodeRacer: Event Race Detection for Node.js Applications
Research Papers
André T. EndoFederal University of Technology - Paraná (UTFPR), Anders MøllerAarhus University, Denmark
Link to publication DOI
15:00 - 16:00: TeasersPosters Track at Infante +11h
Chair(s): Jacques KleinUniversity of Luxembourg, Luxembourg, David LoSingapore Management University
15:00 - 15:12
Talk
Poster: Agent-based Testing of Extended Reality Systems
Posters Track
Rui PradaUniversidade de Lisboa, Wishnu PrasetyaUtrecht University, Fitsum KifetewFondazione Bruno Kessler, Frank DignumUmea University, Tanja E. J. VosUniversitat Politècnica de València, Jason LanderGameware, Jean-Yves DonnartThales AVS, Alexandre KazmierowskiThales SIX GTS, Joseph DavidsonGood AI, Pedro FernandesUniversidade de Lisboa
Link to publication DOI
15:12 - 15:24
Talk
Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
Posters Track
Rubing HuangJiangsu University, Chenhui CuiJiangsu University, Weifeng SunJiangsu University, Dave ToweyUniversity of Nottingham Ningbo China
Link to publication DOI
15:24 - 15:36
Talk
Poster: Performance Testing Driven by Reinforcement Learning
Posters Track
Mahshid Helali MoghadamRISE Research Institutes of Sweden , Mehrdad SaadatmandRISE Research Institutes of Sweden, Markus BorgRISE Research Institutes of Sweden, Markus BohlinRISE Research Institutes of Sweden, Bjorn LisperMälardalen University
Link to publication DOI
15:36 - 15:48
Talk
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization
Posters Track
Link to publication DOI
15:48 - 16:00
Talk
Poster: Test Case Prioritization Using Error Propagation Probability
Posters Track
Jeonghyun JooKorea Air Force Academy, Seunghoon YooKorea Air Force Academy, Myunghwan ParkKorea Air Force Academy
Link to publication DOI
20:15 - 21:45: RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante
Chair(s): Jose CamposUniversity of Lisbon, Portugal
20:15 - 20:45
Talk
Can We Predict the Quality of Spectrum-based Fault Localization?
Research Papers
Mojdeh GolaghaTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Lionel BriandUniversity of Luxembourg, University of Ottawa
Link to publication DOI
20:45 - 21:15
Talk
Substate Profiling for Enhanced Fault Detection and Localization: An Empirical Study
Research Papers
Rawad Abou AssiAmerican University of Beirut, Wes MasriAmerican University of Beirut, Chadi TradAmerican University of Beirut
Link to publication DOI
21:15 - 21:45
Talk
More Accurate Dynamic Slicing for Better Supporting Software Debugging
Research Papers
Xiangyu LiGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
Link to publication DOI
22:00 - 23:30: RT2 - Test Generation InfanteResearch Papers at Infante
Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
22:00 - 22:30
Talk
Language-Agnostic Generation of Compilable Test Programs
Research Papers
Patrick KreutzerFriedrich-Alexander University Erlangen-Nürnberg, Stefan KrausFriedrich-Alexander University Erlangen-Nürnberg, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU)
Link to publication DOI
22:30 - 23:00
Talk
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Research Papers
Kyle DeweyCalifornia State University, Northridge, Shant HairapetianUniversity of Oregon, Miroslav GavrilovUniversity of California, Santa Barbara
Link to publication DOI
23:00 - 23:30
Talk
Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function Selection
Research Papers
Hussein AlmullaUniversity of South Carolina, Gregory GayChalmers and the University of Gothenburg
Link to publication DOI

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

01:00 - 02:00: RT4 - Misc 1Research Papers at Infante
Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
01:00 - 01:30
Talk
Determining Method-Call Sequences for Object Creation in C++
Research Papers
Thomas BachHeidelberg University, Ralf PannemansSAP, Artur AndrzejakHeidelberg University
Link to publication DOI
01:30 - 02:00
Talk
NodeRacer: Event Race Detection for Node.js Applications
Research Papers
André T. EndoFederal University of Technology - Paraná (UTFPR), Anders MøllerAarhus University, Denmark
Link to publication DOI
02:00 - 03:00: TeasersPosters Track at Infante
Chair(s): David LoSingapore Management University, Jacques KleinUniversity of Luxembourg, Luxembourg
02:00 - 02:12
Talk
Poster: Agent-based Testing of Extended Reality Systems
Posters Track
Rui PradaUniversidade de Lisboa, Wishnu PrasetyaUtrecht University, Fitsum KifetewFondazione Bruno Kessler, Frank DignumUmea University, Tanja E. J. VosUniversitat Politècnica de València, Jason LanderGameware, Jean-Yves DonnartThales AVS, Alexandre KazmierowskiThales SIX GTS, Joseph DavidsonGood AI, Pedro FernandesUniversidade de Lisboa
Link to publication DOI
02:12 - 02:24
Talk
Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?
Posters Track
Rubing HuangJiangsu University, Chenhui CuiJiangsu University, Weifeng SunJiangsu University, Dave ToweyUniversity of Nottingham Ningbo China
Link to publication DOI
02:24 - 02:36
Talk
Poster: Performance Testing Driven by Reinforcement Learning
Posters Track
Mahshid Helali MoghadamRISE Research Institutes of Sweden , Mehrdad SaadatmandRISE Research Institutes of Sweden, Markus BorgRISE Research Institutes of Sweden, Markus BohlinRISE Research Institutes of Sweden, Bjorn LisperMälardalen University
Link to publication DOI
02:36 - 02:48
Talk
Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and Visualization
Posters Track
Link to publication DOI
02:48 - 03:00
Talk
Poster: Test Case Prioritization Using Error Propagation Probability
Posters Track
Jeonghyun JooKorea Air Force Academy, Seunghoon YooKorea Air Force Academy, Myunghwan ParkKorea Air Force Academy
Link to publication DOI
10:45 - 12:15: RT6 - Web TestingResearch Papers at Infante +11h
Chair(s): Jose CamposUniversity of Lisbon, Portugal
10:45 - 11:15
Talk
Fostering the Diversity of Exploratory Testing in Web Applications
Research Papers
Julien LeveauLaBRI, Xavier BlancLaBRI, Laurent RéveillèreLaBRI, Jean-Rémy FalleriBordeaux INP, Romain RouvoyUniv. Lille / Inria / IUF
Link to publication DOI
11:15 - 11:45
Talk
Dependency-Aware Web Test Generation
Research Papers
Matteo BiagiolaFondazione Bruno Kessler (FBK), Andrea StoccoUniversità della Svizzera italiana (USI), Filippo RiccaUniversità di Genova, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
11:45 - 12:15
Talk
Metamorphic Security Testing for Web Systems
Research Papers
Phu X. MaiUniversity of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa
Link to publication DOI
13:45 - 15:15: RT7 - Optimizing TestingResearch Papers at Infante +11h
Chair(s): Fabiano FerrariFederal University of São Carlos
13:45 - 14:15
Talk
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
Research Papers
Marcio Augusto GuimarãesFederal University of Alagoas (UFAL), Leo FernandesFederal Institute of Alagoas (IFAL), Márcio RibeiroFederal University of Alagoas, Brazil, Marcelo d'AmorimFederal University of Pernambuco, Rohit GheyiFederal University of Campina Grande
Link to publication DOI
14:15 - 14:45
Talk
Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs
Research Papers
Qianqian ZhuTU Delft, Andy ZaidmanDelft University of Technology
Link to publication DOI Pre-print
14:45 - 15:15
Talk
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases
Research Papers
Abdullah AlsharifThe University of Sheffield, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
Link to publication DOI
15:30 - 17:00: RT8 - Misc 2Research Papers / Journal-First Papers at Infante +11h
Chair(s): Alin StefanescuUniversity of Bucharest
15:30 - 16:00
Talk
Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
Research Papers
Xin YinNew Jersey Institute of Technology, Iulian NeamtiuNew Jersey Institute of Technology, USA, Saketan PatilNew Jersey Institute of Technology, Sean AndrewsNew Jersey Institute of Technology
Link to publication DOI
16:00 - 16:30
Talk
CBR: Controlled Burst Recording
Research Papers
Oscar CornejoUniversity of Milano Bicocca, Italy, Daniela BriolaUniversity of Milano Bicocca, Daniela MicucciUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca
Link to publication DOI
16:30 - 17:00
Talk
Mahtab: Phase-wise acceleration of regression testing for C
Journal-First Papers
Shouvick MondalIIT Madras, India, Rupesh NasreIIT Madras, India
Link to publication DOI Media Attached
21:45 - 23:15: RT6 - Web TestingResearch Papers at Infante
Chair(s): Fabiano FerrariFederal University of São Carlos
21:45 - 22:15
Talk
Fostering the Diversity of Exploratory Testing in Web Applications
Research Papers
Julien LeveauLaBRI, Xavier BlancLaBRI, Laurent RéveillèreLaBRI, Jean-Rémy FalleriBordeaux INP, Romain RouvoyUniv. Lille / Inria / IUF
Link to publication DOI
22:15 - 22:45
Talk
Dependency-Aware Web Test Generation
Research Papers
Matteo BiagiolaFondazione Bruno Kessler (FBK), Andrea StoccoUniversità della Svizzera italiana (USI), Filippo RiccaUniversità di Genova, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
22:45 - 23:15
Talk
Metamorphic Security Testing for Web Systems
Research Papers
Phu X. MaiUniversity of Luxembourg, Fabrizio PastoreUniversity of Luxembourg, Arda GoknilSnT, University of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa
Link to publication DOI

Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

00:45 - 02:15: RT7 - Optimizing TestingResearch Papers at Infante
Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
00:45 - 01:15
Talk
Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations
Research Papers
Marcio Augusto GuimarãesFederal University of Alagoas (UFAL), Leo FernandesFederal Institute of Alagoas (IFAL), Márcio RibeiroFederal University of Alagoas, Brazil, Marcelo d'AmorimFederal University of Pernambuco, Rohit GheyiFederal University of Campina Grande
Link to publication DOI
01:15 - 01:45
Talk
Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU Programs
Research Papers
Qianqian ZhuTU Delft, Andy ZaidmanDelft University of Technology
Link to publication DOI Pre-print
01:45 - 02:15
Talk
STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test Cases
Research Papers
Abdullah AlsharifThe University of Sheffield, Gregory KapfhammerAllegheny College, USA, Phil McMinnUniversity of Sheffield
Link to publication DOI
02:30 - 04:00: RT8 - Misc 2Research Papers / Journal-First Papers at Infante
02:30 - 03:00
Talk
Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering Algorithms
Research Papers
Xin YinNew Jersey Institute of Technology, Iulian NeamtiuNew Jersey Institute of Technology, USA, Saketan PatilNew Jersey Institute of Technology, Sean AndrewsNew Jersey Institute of Technology
Link to publication DOI
03:00 - 03:30
Talk
CBR: Controlled Burst Recording
Research Papers
Oscar CornejoUniversity of Milano Bicocca, Italy, Daniela BriolaUniversity of Milano Bicocca, Daniela MicucciUniversity of Milano Bicocca, Leonardo MarianiUniversity of Milano Bicocca
Link to publication DOI
03:30 - 04:00
Talk
Mahtab: Phase-wise acceleration of regression testing for C
Journal-First Papers
Shouvick MondalIIT Madras, India, Rupesh NasreIIT Madras, India
Link to publication DOI Media Attached
09:00 - 10:00: RT10 - Misc 3Research Papers at Infante +11h
Chair(s): Thomas DurieuxKTH Royal Institute of Technology, Sweden
09:00 - 09:30
Talk
A Framework for In-Vivo Testing of Mobile Applications
Research Papers
Mariano CeccatoUniversity of Verona, Davide CorradiniFondazione Bruno Kessler, Luca Gazzola Università degli Studi di Milano-Bicocca, Fitsum KifetewFondazione Bruno Kessler, Leonardo MarianiUniversity of Milano Bicocca, Matteo OrruUniversity of Milano Bicocca, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
09:30 - 10:00
Talk
Prioritizing Runtime Verification Violations
Research Papers
Breno MirandaFederal University of Pernambuco, Igor LimaFederal University of Pernambuco, Owolabi LegunsenCornell University, Marcelo d'AmorimFederal University of Pernambuco
Link to publication DOI
10:00 - 11:00: Testing toolsTesting Tools Track at Infante +11h
Chair(s): Andy ZaidmanDelft University of Technology, René JustUniversity of Washington, USA
10:00 - 10:15
Talk
Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems
Testing Tools Track
Sakshi Udeshi, Xingbin JiangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design
Link to publication DOI
10:15 - 10:30
Talk
Run Java Applications and Test Them In-Vivo Meantime
Testing Tools Track
Antonia BertolinoCNR-ISTI, Guglielmo De AngelisCNR-IASI, CNR-ISTI, Breno MirandaFederal University of Pernambuco, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
10:30 - 10:45
Talk
AFLNet: A Greybox Fuzzer for Network Protocols
Testing Tools Track
Van-Thuan PhamMonash University, Marcel BöhmeMonash University, Australia, Abhik RoychoudhuryNational University of Singapore, Singapore
Link to publication DOI
10:45 - 11:00
Talk
ct-fuzz: Fuzzing for Timing Leaks
Testing Tools Track
Shaobo HeUniversity of Utah, Michael EmmiAmazon Web Services, Gabriela CiocarlieSRI International
Link to publication DOI
20:00 - 21:00: RT10 - Misc 3Research Papers at Infante
Chair(s): Luis CruzDeflt University of Technology
20:00 - 20:30
Talk
A Framework for In-Vivo Testing of Mobile Applications
Research Papers
Mariano CeccatoUniversity of Verona, Davide CorradiniFondazione Bruno Kessler, Luca Gazzola Università degli Studi di Milano-Bicocca, Fitsum KifetewFondazione Bruno Kessler, Leonardo MarianiUniversity of Milano Bicocca, Matteo OrruUniversity of Milano Bicocca, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
20:30 - 21:00
Talk
Prioritizing Runtime Verification Violations
Research Papers
Breno MirandaFederal University of Pernambuco, Igor LimaFederal University of Pernambuco, Owolabi LegunsenCornell University, Marcelo d'AmorimFederal University of Pernambuco
Link to publication DOI
21:00 - 22:00: Testing toolsTesting Tools Track at Infante
Chair(s): René JustUniversity of Washington, USA, Andy ZaidmanDelft University of Technology
21:00 - 21:15
Talk
Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning Systems
Testing Tools Track
Sakshi Udeshi, Xingbin JiangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design
Link to publication DOI
21:15 - 21:30
Talk
Run Java Applications and Test Them In-Vivo Meantime
Testing Tools Track
Antonia BertolinoCNR-ISTI, Guglielmo De AngelisCNR-IASI, CNR-ISTI, Breno MirandaFederal University of Pernambuco, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
21:30 - 21:45
Talk
AFLNet: A Greybox Fuzzer for Network Protocols
Testing Tools Track
Van-Thuan PhamMonash University, Marcel BöhmeMonash University, Australia, Abhik RoychoudhuryNational University of Singapore, Singapore
Link to publication DOI
21:45 - 22:00
Talk
ct-fuzz: Fuzzing for Timing Leaks
Testing Tools Track
Shaobo HeUniversity of Utah, Michael EmmiAmazon Web Services, Gabriela CiocarlieSRI International
Link to publication DOI

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

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

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Infante

Tue 27 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Infante

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

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

Mon 26 Oct
Times are displayed in time zone: Greenwich Mean Time : 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
Times are displayed in time zone: Greenwich Mean Time : 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