Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Dates
Tracks
Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 25 Oct

Displayed time zone: Lisbon change

09:00 - 09:15
Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room +11h
Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal
09:00
15m
Day opening
Intro & Welcome
Research Papers

09:15 - 10:45
IT1 - Test Generation & RefactoringIndustry Track at Farfetch (D. Maria) +11h
Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
09:15
30m
Talk
Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms
Industry Track
Marco PistoiaJPMorgan Chase & Co, Peng LiuGoogle, Chun-Fu Richard ChenIBM, Shaohan HuIBM, Stephen WoodIBM
Link to publication DOI
09:45
30m
Talk
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Industry Track
Jannik FischbachQualicen GmbH, Andreas VogelsangUniversity of Cologne, Dominik SpiesQualicen GmbH, Andreas WehrleQualicen GmbH, Maximilian JunkerQualicen GmbH, Dietmar FreudensteinAllianz Deutschland AG
Link to publication DOI
10:15
30m
Talk
Tool Support for Refactoring Manual Tests
Industry Track
Elodie BernardFEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti, Julien BotellaSmartesting, Fabrice AmbertFEMTO-ST Institute, Bruno LegeardFEMTO-ST / DISC, Mark UttingUniversity of the Sunshine Coast
Link to publication DOI
09:15 - 10:45
RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante +11h
Chair(s): Andreas ZellerCISPA, Germany
09:15
30m
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
30m
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
30m
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
RT3 - Testing Deep Learning and Robotic SystemsResearch Papers at Farfetch (D. Maria) +11h
Chair(s): Antonio FilieriImperial College London
11:00
30m
Talk
An Empirical Evaluation of Mutation Operators for Deep Learning SystemsDistinguished Paper Award
Research Papers
Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
11:30
30m
Talk
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Research Papers
Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Shiva NejatiUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa
Link to publication DOI
12:00
30m
Talk
A Study on Challenges of Testing Robotic Systems
Research Papers
Afsoon AfzalCarnegie Mellon University, Claire Le GouesCarnegie Mellon University, Michael HiltonCarnegie Mellon University, USA, Christopher Steven TimperleyCarnegie Mellon University
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
30m
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
30m
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
30m
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 - 16:00
RT5 - Testing for APIsTesting Tools Track / Research Papers at Farfetch (D. Maria) +11h
Chair(s): José Miguel RojasUniversity of Leicester, UK
14:00
30m
Talk
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Research Papers
Stefan KarlssonABB AB, Mälardalen University, Adnan CausevicMälardalen University, Daniel SundmarkMälardalen University
Link to publication DOI
14:30
30m
Talk
RESTTESTGEN: Automated Black-Box Testing of RESTful APIsDistinguished Paper Award
Research Papers
Emanuele ViglianisiFBK, Michael DallagoUniversity of Trento, Mariano CeccatoUniversity of Verona
Link to publication DOI
15:00
30m
Talk
Testability Transformations For Existing APIs
Research Papers
Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires
Link to publication DOI
15:30
15m
Talk
CDST: A Toolkit for Testing Cockpit Display Systems
Testing Tools Track
Hassan SartajQUEST - UAV Dependability Lab, Muhammad Zohaib IqbalNational University of Computer and Emerging Sciences, Muhammad Uzair KhanNational University of Computer and Emerging Sciences
Link to publication DOI
15:45
15m
Talk
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Testing Tools Track
Miroslav BuresCzech Technical University in Prague, Pavel HeroutUniversity of West Bohemia, Pilsen, CZ, Bestoun S. AhmedKarlstad University
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
30m
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
30m
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
16:15 - 17:15
Keynote 1Research Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room
Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
16:15
60m
Keynote
One-click formal methods
Research Papers
Link to publication
20:00 - 20:15
Intro & WelcomeResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room
Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal
20:00
15m
Day opening
Intro & Welcome
Research Papers

20:15 - 21:45
IT1 - Test Generation & RefactoringIndustry Track at Farfetch (D. Maria)
Chair(s): John MiccoVMware
20:15
30m
Talk
Parallelization of Classical Numerical Optimization in Quantum Variational Algorithms
Industry Track
Marco PistoiaJPMorgan Chase & Co, Peng LiuGoogle, Chun-Fu Richard ChenIBM, Shaohan HuIBM, Stephen WoodIBM
Link to publication DOI
20:45
30m
Talk
SPECMATE: Automated Creation of Test Cases from Acceptance Criteria
Industry Track
Jannik FischbachQualicen GmbH, Andreas VogelsangUniversity of Cologne, Dominik SpiesQualicen GmbH, Andreas WehrleQualicen GmbH, Maximilian JunkerQualicen GmbH, Dietmar FreudensteinAllianz Deutschland AG
Link to publication DOI
21:15
30m
Talk
Tool Support for Refactoring Manual Tests
Industry Track
Elodie BernardFEMTO-ST Institute, Univ. Bourgogne Franche-Comté, Sogeti, Julien BotellaSmartesting, Fabrice AmbertFEMTO-ST Institute, Bruno LegeardFEMTO-ST / DISC, Mark UttingUniversity of the Sunshine Coast
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
30m
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
30m
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
30m
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
RT3 - Testing Deep Learning and Robotic SystemsResearch Papers at Farfetch (D. Maria)
Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC
22:00
30m
Talk
An Empirical Evaluation of Mutation Operators for Deep Learning SystemsDistinguished Paper Award
Research Papers
Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
22:30
30m
Talk
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study
Research Papers
Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Shiva NejatiUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg, University of Ottawa
Link to publication DOI
23:00
30m
Talk
A Study on Challenges of Testing Robotic Systems
Research Papers
Afsoon AfzalCarnegie Mellon University, Claire Le GouesCarnegie Mellon University, Michael HiltonCarnegie Mellon University, USA, Christopher Steven TimperleyCarnegie Mellon University
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
30m
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
30m
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
30m
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

Conference Day
Mon 26 Oct

Displayed time zone: Lisbon change

01:00 - 03:00
RT5 - Testing for APIsResearch Papers / Testing Tools Track at Farfetch (D. Maria)
Chair(s): Marcelo d'AmorimFederal University of Pernambuco
01:00
30m
Talk
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Research Papers
Stefan KarlssonABB AB, Mälardalen University, Adnan CausevicMälardalen University, Daniel SundmarkMälardalen University
Link to publication DOI
01:30
30m
Talk
RESTTESTGEN: Automated Black-Box Testing of RESTful APIsDistinguished Paper Award
Research Papers
Emanuele ViglianisiFBK, Michael DallagoUniversity of Trento, Mariano CeccatoUniversity of Verona
Link to publication DOI
02:00
30m
Talk
Testability Transformations For Existing APIs
Research Papers
Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires
Link to publication DOI
02:30
15m
Talk
CDST: A Toolkit for Testing Cockpit Display Systems
Testing Tools Track
Hassan SartajQUEST - UAV Dependability Lab, Muhammad Zohaib IqbalNational University of Computer and Emerging Sciences, Muhammad Uzair KhanNational University of Computer and Emerging Sciences
Link to publication DOI
02:45
15m
Talk
Open-source Defect Injection Benchmark Testbed for the Evaluation of Testing
Testing Tools Track
Miroslav BuresCzech Technical University in Prague, Pavel HeroutUniversity of West Bohemia, Pilsen, CZ, Bestoun S. AhmedKarlstad University
Link to publication DOI
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
30m
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
30m
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
09:30 - 10:30
Keynote 2Research Papers at Plenary Room
Chair(s): Luís CruzDeflt University of Technology
10:45 - 12:15
IT2 - MiscIndustry Track at Farfetch (D. Maria) +11h
Chair(s): Luís CruzDeflt University of Technology
10:45
30m
Talk
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Industry Track
Max FrieseChristian-Albrechts-Universität zu Kiel, Johannes TraubDaimler AG, Dirk NowotkaChristian-Albrechts-Universität zu Kiel
Link to publication DOI
11:15
30m
Talk
Detecting Higher-Order Merge Conflicts in Large Software Projects
Industry Track
Thorsten WuenscheSAP SE, Artur AndrzejakHeidelberg University, Sascha SchwedesSAP SE
Link to publication DOI
11:45
30m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Industry Track
Supriya AgrawalTata Consultancy Services Ltd. (TCS), R VenkateshTata Consultancy Services Ltd. (TCS), Ulka ShrotriTata Consultancy Services Ltd. (TCS), Amey ZareTata Consultancy Services Ltd. (TCS), Sagar VermaTata Consultancy Services Ltd. (TCS)
Link to publication DOI
10:45 - 12:15
RT6 - Web TestingResearch Papers at Infante +11h
Chair(s): Jose CamposUniversity of Lisbon, Portugal
10:45
30m
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
30m
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
30m
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
30m
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
30m
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
30m
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
RT9 - Empirical Analysis and Program RepairResearch Papers at Farfetch (D. Maria) +11h
Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
15:30
30m
Talk
An Empirical Analysis of Blind Tests
Research Papers
Kesina BaralGeorge Mason University, Jeff OffuttGeorge Mason University
Link to publication DOI
16:00
30m
Talk
A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development
Research Papers
Maurizio LeottaUniversità di Genova, Matteo BiagiolaFondazione Bruno Kessler (FBK), Filippo RiccaUniversità di Genova, Mariano CeccatoUniversity of Verona, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
16:30
30m
Talk
Human-In-The-Loop Automatic Program Repair
Research Papers
Marcel BöhmeMonash University, Australia, Charaka GeethalMonash University, Van-Thuan PhamMonash University
Link to publication DOI
15:30 - 17:00
RT8 - Misc 2Journal-First Papers / Research Papers at Infante +11h
Chair(s): Alin StefanescuUniversity of Bucharest
15:30
30m
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
30m
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
30m
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
20:00 - 20:30
Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room
Chair(s): João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC, Rui AbreuFaculty of Engineering, University of Porto, Portugal
20:00
15m
Awards
Using Mutation to Automatically Suggest Fixes for Faulty ProgramsDistinguished Paper Award
Research Papers
Media Attached
20:15
15m
Awards
Searching for a needle in a haystack predicting security vulnerabilities for Windows VistaDistinguished Paper Award
Research Papers
Thomas ZimmermannMicrosoft Research, Nachiappan NagappanMicrosoft Research, USA, Laurie WilliamsNorth Carolina State University
Media Attached
21:45 - 23:15
IT2 - MiscIndustry Track at Farfetch (D. Maria)
Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal
21:45
30m
Talk
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Industry Track
Max FrieseChristian-Albrechts-Universität zu Kiel, Johannes TraubDaimler AG, Dirk NowotkaChristian-Albrechts-Universität zu Kiel
Link to publication DOI
22:15
30m
Talk
Detecting Higher-Order Merge Conflicts in Large Software Projects
Industry Track
Thorsten WuenscheSAP SE, Artur AndrzejakHeidelberg University, Sascha SchwedesSAP SE
Link to publication DOI
22:45
30m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Industry Track
Supriya AgrawalTata Consultancy Services Ltd. (TCS), R VenkateshTata Consultancy Services Ltd. (TCS), Ulka ShrotriTata Consultancy Services Ltd. (TCS), Amey ZareTata Consultancy Services Ltd. (TCS), Sagar VermaTata Consultancy Services Ltd. (TCS)
Link to publication DOI
21:45 - 23:15
RT6 - Web TestingResearch Papers at Infante
Chair(s): Fabiano FerrariFederal University of São Carlos
21:45
30m
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
30m
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
30m
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

Conference Day
Tue 27 Oct

Displayed time zone: 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
30m
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
30m
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
30m
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
RT9 - Empirical Analysis and Program RepairResearch Papers at Farfetch (D. Maria)
Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
02:30
30m
Talk
An Empirical Analysis of Blind Tests
Research Papers
Kesina BaralGeorge Mason University, Jeff OffuttGeorge Mason University
Link to publication DOI
03:00
30m
Talk
A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite Development
Research Papers
Maurizio LeottaUniversità di Genova, Matteo BiagiolaFondazione Bruno Kessler (FBK), Filippo RiccaUniversità di Genova, Mariano CeccatoUniversity of Verona, Paolo TonellaUniversità della Svizzera Italiana (USI)
Link to publication DOI
03:30
30m
Talk
Human-In-The-Loop Automatic Program Repair
Research Papers
Marcel BöhmeMonash University, Australia, Charaka GeethalMonash University, Van-Thuan PhamMonash University
Link to publication DOI
02:30 - 04:00
02:30
30m
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
30m
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
30m
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
30m
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
30m
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
IT3 - Safety & SecurityIndustry Track at Farfetch (D. Maria) +11h
Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal
10:00
30m
Talk
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Industry Track
Alessandro CalòTechnical University of Munich, Paolo ArcainiNational Institute of Informatics , Shaukat AliSimula Research Laboratory, Florian HauerTechnical University of Munich, Fuyuki IshikawaNational Institute of Informatics
Link to publication DOI
10:30
30m
Talk
Checking Security Properties of Cloud Service REST APIs
Industry Track
Vaggelis AtlidakisColumbia University, Patrice GodefroidMicrosoft Research, USA, Marina PolishchukMicrosoft Research, USA
Link to publication DOI
11:15 - 12:15
Open Steering Commitee & ICST 2021 PresentationResearch Papers at Plenary Room
Chair(s): Shin YooKorea Advanced Institute of Science and Technology
11:15
60m
Meeting
Open Steering Commitee & ICST 2021 Presentation
Research Papers

13:45 - 14:45
Keynote 3Research Papers at Plenary Room
Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal
13:45
60m
Keynote
SunDew: Systematic Automated Security Testing
Research Papers
20:00 - 21:00
RT10 - Misc 3Research Papers at Infante
Chair(s): Luís CruzDeflt University of Technology
20:00
30m
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
30m
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
IT3 - Safety & SecurityIndustry Track at Farfetch (D. Maria)
Chair(s): Rui AbreuFaculty of Engineering, University of Porto, Portugal
21:00
30m
Talk
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Industry Track
Alessandro CalòTechnical University of Munich, Paolo ArcainiNational Institute of Informatics , Shaukat AliSimula Research Laboratory, Florian HauerTechnical University of Munich, Fuyuki IshikawaNational Institute of Informatics
Link to publication DOI
21:30
30m
Talk
Checking Security Properties of Cloud Service REST APIs
Industry Track
Vaggelis AtlidakisColumbia University, Patrice GodefroidMicrosoft Research, USA, Marina PolishchukMicrosoft Research, USA
Link to publication DOI

Call for Papers

ICST 2020 invites high quality submissions in all areas of software testing, verification, and validation. The industry track has the same topics and requires the same rigorousness as the research track. However, the industry track papers should prioritize impact and realism over novelty. We expect that industry track publications report useful testing tools, successful stories and experiences when applying software testing theories and methodologies into practice, or promising prototypes that have the potential to impact practice in the next few years. Ideally they should be evaluated on real-world, industrial data, and discuss non-functional aspects such as scalability and reliability, and also compare to pre-existing industrial best practices. The industry track papers will be published in the ICST 2020 proceedings and listed by IEEE databases.

Topics of interest include, but is not limited to, the following:

  • Domain specific testing, such as: Autonomous vehicles, advanced control systems, mobile or web app testing, embedded systems testing, concurrent systems, GUI testing, etc.
  • Formal verification
  • Model based testing
  • Model checking
  • Search based software testing
  • Security testing
  • Software reliability
  • Test automation
  • Testability and design
  • Testing and development processes
  • Testing education
  • Testing / debugging frameworks and tools
  • Applications of software testing theories in practice
  • Empirical studies
  • Experience reports

Each submission will be reviewed by at least three members of the ICST Program Committee.

Format

Industry papers must conform to the two-column IEEE conference publication format. Templates for LaTeX and Microsoft Word are available from http://www.ieee.org/conferences_events/conferences/publishing/templates.html: please use the letter format template and conference option.

Papers should be submitted in the PDF format: they must not exceed ten pages, plus up to two pages of references. Submissions will be handled via EasyChair.

Papers must neither have been previously accepted for publication nor be under submission in another conference or journal.

For your paper to be published in the ICST 2020 conference proceedings, at least one of the authors of the paper must register for the conference and confirm that she/he will present the paper in person.

Submission Site: https://easychair.org/conferences/?conf=icst2020

Important Dates (all dates are AoE)

  • October 14th, 2019: Submission of Industry Track Papers as well as research papers
  • December 10th, 2019: Author Notification
  • Main Conference: March 23-27th, 2020

Double Blind

Industry track papers do not need to be double-blinded. Since industry papers typically rely heavily on the industrial/practical context in which the work was carried out it would be too much to ask to require this context to be anonymized. Please contact the industry track chairs if you have more questions.

FAQ

Q: Does the industry track accept abstracts or short papers**?**

A: No. The industry track has the same rigorousness as the research papers, therefore, the industry track papers need to present the motivation, methodology, design of experiments / case studies, results, discussions, and related work in a clear and comprehensive way. Abstracts or short papers don't have enough room to incorporate these required and important contents.

Q: My paper has less than 10 pages, can I submit it to the industry track?

A: Yes, as long as your paper clearly presents the motivation, methodology, design of experiments / case studies, results, discussions, and related work.

Questions? Use the ICST Industry Track contact form.