Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
ICST 2020 (series) /

Tool Demos TrackICST 2020

In addition to the tool track papers, ICST 2020 will also be accepting submissions of demonstrations of testing-related tools and prototypes.

Dates
Tracks
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 25 Oct
Times are displayed in time zone: Greenwich Mean Time : 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 - 09:15
Day opening		Intro & Welcome
Research Papers
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: RT3 - Testing Deep Learning and Robotic SystemsResearch Papers at Farfetch (D. Maria) +11h
Chair(s): Antonio FilieriImperial College London
11:00 - 11:30
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 - 12:00
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 - 12:30
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 - 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 - 16:00: RT5 - Testing for APIsResearch Papers / Testing Tools Track at Farfetch (D. Maria) +11h
Chair(s): José Miguel RojasUniversity of Leicester, UK
14:00 - 14:30
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 - 15:00
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 - 15:30
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 - 15:45
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 - 16:00
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 - 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
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 - 17:15
Keynote		One-click formal methods
Research Papers
Liana HadareanAmazon
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 - 20:15
Day opening		Intro & Welcome
Research Papers
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: 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 - 22:30
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 - 23:00
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 - 23:30
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 - 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 - 03:00: RT5 - Testing for APIsResearch Papers / Testing Tools Track at Farfetch (D. Maria)
Chair(s): Marcelo d'AmorimFederal University of Pernambuco
01:00 - 01:30
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 - 02:00
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 - 02:30
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 - 02:45
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 - 03:00
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 - 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
09:00 - 09:30: Most Influential Paper AwardsResearch Papers / Tool Demos Track / Journal-First Papers / Industry Track / Testing Tools Track at Plenary Room +11h
Chair(s): Luis CruzDeflt University of Technology
09:00 - 09:15
Awards		Using Mutation to Automatically Suggest Fixes for Faulty ProgramsDistinguished Paper Award
Research Papers
W. Eric Wong, Vidroha Debroy
Media Attached
09:15 - 09:30
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
09:30 - 10:30: Keynote 2Research Papers at Plenary Room
Chair(s): Luis CruzDeflt University of Technology
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: 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 - 16:00
Talk		An Empirical Analysis of Blind Tests
Research Papers
Kesina BaralGeorge Mason University, Jeff OffuttGeorge Mason University
Link to publication DOI
16:00 - 16:30
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 - 17:00
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 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
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 - 20:15
Awards		Using Mutation to Automatically Suggest Fixes for Faulty ProgramsDistinguished Paper Award
Research Papers
W. Eric Wong, Vidroha Debroy
Media Attached
20:15 - 20:30
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: 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: 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 - 03:00
Talk		An Empirical Analysis of Blind Tests
Research Papers
Kesina BaralGeorge Mason University, Jeff OffuttGeorge Mason University
Link to publication DOI
03:00 - 03:30
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 - 04:00
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: 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: Tool DemosTool Demos Track at Farfetch (D. Maria) +11h
Chair(s): Tao YueNanjing University of Aeronautics and Astronautics
09:00 - 09:12
Talk		Cerberus: an Automated Tool for Continuous Testing
Tool Demos Track
Antoine CraskeLa Redoute
09:12 - 09:24
Talk		EvoMaster: Search-Based System Test Generation for RESTful APIs
Tool Demos Track
Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires, Bogdan MarculescuKristiania University College, Norway, Man ZhangKristiania University College, Norway
09:24 - 09:36
Talk		Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Tool Demos Track
Takuya IwatsukaNTT, Haruto TannoNTT, Eric SharidanWhiteHat Security, Joseph FeimanWhiteHat Security
09:36 - 09:48
Talk		Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Tool Demos Track
Mahesh VenkataramanAccenture Solutions, Chinmaya JenaAccenture Solutions, Sunder NochilurAccenture Solutions, Prabir Ghoushal KumarAccenture Solutions
09:48 - 10:00
Talk		User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tool Demos Track
Yu YoshimuraNTT, Yu AdachiNTT, Hiroyuki KirinukiNTT, Toshiyuki KurabayashiNTT, Haruto TannoNTT
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
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 - 12:15
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 - 14:45
Keynote		SunDew: Systematic Automated Security Testing
Research Papers
Franjo IvancicGoogle
20:00 - 21:00: Tool DemosTool Demos Track at Farfetch (D. Maria)
Chair(s): Tao YueNanjing University of Aeronautics and Astronautics
20:00 - 20:12
Talk		Cerberus: an Automated Tool for Continuous Testing
Tool Demos Track
Antoine CraskeLa Redoute
20:12 - 20:24
Talk		EvoMaster: Search-Based System Test Generation for RESTful APIs
Tool Demos Track
Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires, Bogdan MarculescuKristiania University College, Norway, Man ZhangKristiania University College, Norway
20:24 - 20:36
Talk		Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Tool Demos Track
Takuya IwatsukaNTT, Haruto TannoNTT, Eric SharidanWhiteHat Security, Joseph FeimanWhiteHat Security
20:36 - 20:48
Talk		Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Tool Demos Track
Mahesh VenkataramanAccenture Solutions, Chinmaya JenaAccenture Solutions, Sunder NochilurAccenture Solutions, Prabir Ghoushal KumarAccenture Solutions
20:48 - 21:00
Talk		User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tool Demos Track
Yu YoshimuraNTT, Yu AdachiNTT, Hiroyuki KirinukiNTT, Toshiyuki KurabayashiNTT, Haruto TannoNTT
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

Call for Papers

In addition to the tool track papers, ICST 2020 will also be accepting submissions of demonstrations of testing-related tools and prototypes. The goal is to provide a highly interactive session where researchers and practitioners can experiment and discuss their tools.

Demonstrations provide an opportunity to communicate how a scientific approach has been implemented or how a hypothesis has been assessed, including details such as implementation and usage challenges, data models and representations, APIs for tool and data access.

A demonstration should focus on novel aspects of early prototypes or mature tools. It must clearly communicate the following information to the audience:

  • The software testing challenges it proposes to address.
  • The envisioned users and the presumed methodology for these users.
  • The results of validation studies already conducted for mature tools, or the design of planned studies for early prototypes.


Evaluation:

Each submission will be reviewed by at least two members of the organizing committee. The evaluation criteria include:

  • The relevance of the proposed demonstration for the ICST audience.
  • The technical soundness of the demonstrated tool.
  • The originality of its underlying ideas.
  • The quality of its presentation in the associated video.
  • The degree to which it considers the relevant literature.


Submission:

Submissions will be handled via EasyChair (Tools, Demos, Artifacts track) of ICST 2020. The Tools, Demos, Artifacts track of ICST 2020 uses single-blind reviewing, which means that demos need not be anonymized.

Each submission must include a one page summary (PDF) describing:

  • Demo title or name of the demonstrated tool.
  • Authors and affiliations.
  • Main goals of the demonstrated tool.
  • Main contributions of the demonstrated tool.
  • Capabilities and maturity of the demonstrated tool.

In addition to the one page summary, authors are expected to submit a video (up to five minutes long). The demonstration plan and/or video must clearly convey:

  • Overview of the tool’s capabilities.
  • Walkthrough of (some of) the tool capabilities.
  • Where appropriate, provide clarifying voice-over and/or annotation highlights.
  • Captions.

The video must be available online at the time of submission. A link to the video should be included in the one page summary submitted. There will be an award for the best demonstration.

Accepted Papers

Title
Cerberus: an Automated Tool for Continuous Testing
Tool Demos Track
Antoine Craske
EvoMaster: Search-Based System Test Generation for RESTful APIs
Tool Demos Track
Andrea Arcuri, Juan Pablo Galeotti, Bogdan Marculescu, Man Zhang
Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Tool Demos Track
Takuya Iwatsuka, Haruto Tanno, Eric Sharidan, Joseph Feiman
Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Tool Demos Track
Mahesh Venkataraman, Chinmaya Jena, Sunder Nochilur, Prabir Ghoushal Kumar
User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tool Demos Track
Yu Yoshimura, Yu Adachi, Hiroyuki Kirinuki, Toshiyuki Kurabayashi, Haruto Tanno
Questions? Use the ICST Tool Demos Track contact form.
Important Dates AoE (UTC-12h)
Tue 21 Jan 2020
Author notification
Thu 12 Dec 2019
Submission deadline
Submission Link
https://easychair.org/my/conference?conf=icst2020
Program Chairs
Program Committee