Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal

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

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 Faria Faculty of Engineering, University of Porto and INESC TEC, Rui Abreu Faculty of Engineering, University of Porto, Portugal
09:00
15m
Day opening
Intro & Welcome
Research Papers

09:15 - 10:45
RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante +11h
Chair(s): Andreas Zeller CISPA, Germany
09:15
30m
Talk
Can We Predict the Quality of Spectrum-based Fault Localization?
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
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
Research Papers
Xiangyu Li Georgia Institute of Technology, Alessandro Orso Georgia 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 Filieri Imperial College London
11:00
30m
Talk
An Empirical Evaluation of Mutation Operators for Deep Learning SystemsDistinguished Paper Award
Research Papers
Gunel Jahangirova USI Lugano, Switzerland, Paolo Tonella Università 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 Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Shiva Nejati University of Luxembourg, Lionel Briand University of Luxembourg, University of Ottawa
Link to publication DOI
12:00
30m
Talk
A Study on Challenges of Testing Robotic Systems
Research Papers
Afsoon Afzal Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Michael Hilton Carnegie Mellon University, USA, Christopher Steven Timperley Carnegie Mellon University
Link to publication DOI
11:00 - 12:30
RT2 - Test Generation InfanteResearch Papers at Infante +11h
Chair(s): Marcelo d'Amorim Federal University of Pernambuco
11:00
30m
Talk
Language-Agnostic Generation of Compilable Test Programs
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
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
Research Papers
Hussein Almulla University of South Carolina, Gregory Gay Chalmers 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 Rojas University of Leicester, UK
14:00
30m
Talk
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Research Papers
Stefan Karlsson ABB AB, Mälardalen University, Adnan Causevic Mälardalen University, Daniel Sundmark Mälardalen University
Link to publication DOI
14:30
30m
Talk
RESTTESTGEN: Automated Black-Box Testing of RESTful APIsDistinguished Paper Award
Research Papers
Emanuele Viglianisi FBK, Michael Dallago University of Trento, Mariano Ceccato University of Verona
Link to publication DOI
15:00
30m
Talk
Testability Transformations For Existing APIs
Research Papers
Andrea Arcuri Kristiania University College, Norway, Juan Pablo Galeotti University of Buenos Aires
Link to publication DOI
15:30
15m
Talk
CDST: A Toolkit for Testing Cockpit Display Systems
Testing Tools Track
Hassan Sartaj QUEST - UAV Dependability Lab, Muhammad Zohaib Iqbal National University of Computer and Emerging Sciences, Muhammad Uzair Khan National 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 Bures Czech Technical University in Prague, Pavel Herout University of West Bohemia, Pilsen, CZ, Bestoun S. Ahmed Karlstad University
Link to publication DOI
14:00 - 15:00
RT4 - Misc 1Research 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++
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
Research Papers
André T. Endo Federal University of Technology - Paraná (UTFPR), Anders Møller Aarhus 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 Faria Faculty 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 Faria Faculty of Engineering, University of Porto and INESC TEC, Rui Abreu Faculty of Engineering, University of Porto, Portugal
20:00
15m
Day opening
Intro & Welcome
Research Papers

20:15 - 21:45
RT1 - Fault Localization and Debugging InfanteResearch Papers at Infante
Chair(s): Jose Campos University of Lisbon, Portugal
20:15
30m
Talk
Can We Predict the Quality of Spectrum-based Fault Localization?
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
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
Research Papers
Xiangyu Li Georgia Institute of Technology, Alessandro Orso Georgia 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 Faria Faculty 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 Jahangirova USI Lugano, Switzerland, Paolo Tonella Università 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 Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Shiva Nejati University of Luxembourg, Lionel Briand University of Luxembourg, University of Ottawa
Link to publication DOI
23:00
30m
Talk
A Study on Challenges of Testing Robotic Systems
Research Papers
Afsoon Afzal Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Michael Hilton Carnegie Mellon University, USA, Christopher Steven Timperley Carnegie Mellon University
Link to publication DOI
22:00 - 23:30
RT2 - Test Generation InfanteResearch 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
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
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
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 - 03:00
RT5 - Testing for APIsResearch Papers / Testing Tools Track at Farfetch (D. Maria)
Chair(s): Marcelo d'Amorim Federal University of Pernambuco
01:00
30m
Talk
QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIs
Research Papers
Stefan Karlsson ABB AB, Mälardalen University, Adnan Causevic Mälardalen University, Daniel Sundmark Mälardalen University
Link to publication DOI
01:30
30m
Talk
RESTTESTGEN: Automated Black-Box Testing of RESTful APIsDistinguished Paper Award
Research Papers
Emanuele Viglianisi FBK, Michael Dallago University of Trento, Mariano Ceccato University of Verona
Link to publication DOI
02:00
30m
Talk
Testability Transformations For Existing APIs
Research Papers
Andrea Arcuri Kristiania University College, Norway, Juan Pablo Galeotti University of Buenos Aires
Link to publication DOI
02:30
15m
Talk
CDST: A Toolkit for Testing Cockpit Display Systems
Testing Tools Track
Hassan Sartaj QUEST - UAV Dependability Lab, Muhammad Zohaib Iqbal National University of Computer and Emerging Sciences, Muhammad Uzair Khan National 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 Bures Czech Technical University in Prague, Pavel Herout University of West Bohemia, Pilsen, CZ, Bestoun S. Ahmed Karlstad University
Link to publication DOI
01:00 - 02:00
RT4 - Misc 1Research 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++
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
Research Papers
André T. Endo Federal University of Technology - Paraná (UTFPR), Anders Møller Aarhus University, Denmark
Link to publication DOI
09:30 - 10:30
Keynote 2Research Papers at Plenary Room
Chair(s): Luís Cruz Deflt University of Technology
10:45 - 12:15
RT6 - Web TestingResearch Papers at Infante +11h
Chair(s): Jose Campos University of Lisbon, Portugal
10:45
30m
Talk
Fostering the Diversity of Exploratory Testing in Web Applications
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
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
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 TestingResearch 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
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
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
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
RT9 - Empirical Analysis and Program RepairResearch Papers at Farfetch (D. Maria) +11h
Chair(s): Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
15:30
30m
Talk
An Empirical Analysis of Blind Tests
Research Papers
Kesina Baral George Mason University, Jeff Offutt George 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 Leotta Università di Genova, Matteo Biagiola Fondazione Bruno Kessler (FBK), Filippo Ricca Università di Genova, Mariano Ceccato University of Verona, Paolo Tonella Università della Svizzera Italiana (USI)
Link to publication DOI
16:30
30m
Talk
Human-In-The-Loop Automatic Program Repair
Research Papers
Marcel Böhme Monash University, Australia, Charaka Geethal Monash University, Van-Thuan Pham Monash University
Link to publication DOI
15:30 - 17:00
RT8 - Misc 2Journal-First Papers / 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
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
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
Journal-First Papers
Shouvick Mondal IIT Madras, India, Rupesh Nasre IIT 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): Rui Abreu Faculty of Engineering, University of Porto, Portugal, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
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 Zimmermann Microsoft Research, Nachiappan Nagappan Microsoft Research, USA, Laurie Williams North Carolina State University
Media Attached
21:45 - 23:15
RT6 - Web TestingResearch 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
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
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
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 TestingResearch 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
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
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
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
RT9 - Empirical Analysis and Program RepairResearch Papers at Farfetch (D. Maria)
Chair(s): Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
02:30
30m
Talk
An Empirical Analysis of Blind Tests
Research Papers
Kesina Baral George Mason University, Jeff Offutt George 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 Leotta Università di Genova, Matteo Biagiola Fondazione Bruno Kessler (FBK), Filippo Ricca Università di Genova, Mariano Ceccato University of Verona, Paolo Tonella Università della Svizzera Italiana (USI)
Link to publication DOI
03:30
30m
Talk
Human-In-The-Loop Automatic Program Repair
Research Papers
Marcel Böhme Monash University, Australia, Charaka Geethal Monash University, Van-Thuan Pham Monash 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 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
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
Journal-First Papers
Shouvick Mondal IIT Madras, India, Rupesh Nasre IIT Madras, India
Link to publication DOI Media Attached
09:00 - 10:00
Tool DemosTool Demos Track at Farfetch (D. Maria) +11h
Chair(s): Tao Yue Nanjing University of Aeronautics and Astronautics
09:00
12m
Talk
Cerberus: an Automated Tool for Continuous Testing
Tool Demos Track
Antoine Craske La Redoute
09:12
12m
Talk
EvoMaster: Search-Based System Test Generation for RESTful APIs
Tool Demos Track
Andrea Arcuri Kristiania University College, Norway, Juan Pablo Galeotti University of Buenos Aires, Bogdan Marculescu Kristiania University College, Norway, Man Zhang Kristiania University College, Norway
09:24
12m
Talk
Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Tool Demos Track
Takuya Iwatsuka NTT, Haruto Tanno NTT, Eric Sharidan WhiteHat Security, Joseph Feiman WhiteHat Security
09:36
12m
Talk
Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Tool Demos Track
Mahesh Venkataraman Accenture Solutions, Chinmaya Jena Accenture Solutions, Sunder Nochilur Accenture Solutions, Prabir Ghoushal Kumar Accenture Solutions
09:48
12m
Talk
User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tool Demos Track
09:00 - 10:00
RT10 - Misc 3Research 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
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
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
11:15 - 12:15
Open Steering Commitee & ICST 2021 PresentationResearch Papers at Plenary Room
Chair(s): Shin Yoo Korea 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 Abreu Faculty of Engineering, University of Porto, Portugal
13:45
60m
Keynote
SunDew: Systematic Automated Security Testing
Research Papers
20:00 - 21:00
Tool DemosTool Demos Track at Farfetch (D. Maria)
Chair(s): Tao Yue Nanjing University of Aeronautics and Astronautics
20:00
12m
Talk
Cerberus: an Automated Tool for Continuous Testing
Tool Demos Track
Antoine Craske La Redoute
20:12
12m
Talk
EvoMaster: Search-Based System Test Generation for RESTful APIs
Tool Demos Track
Andrea Arcuri Kristiania University College, Norway, Juan Pablo Galeotti University of Buenos Aires, Bogdan Marculescu Kristiania University College, Norway, Man Zhang Kristiania University College, Norway
20:24
12m
Talk
Quick and Precise Security Testing During Development with Intelligence-Directed DAST
Tool Demos Track
Takuya Iwatsuka NTT, Haruto Tanno NTT, Eric Sharidan WhiteHat Security, Joseph Feiman WhiteHat Security
20:36
12m
Talk
Self guided test Automation - Adaptive and Self Healing automation of Cloud native applications
Tool Demos Track
Mahesh Venkataraman Accenture Solutions, Chinmaya Jena Accenture Solutions, Sunder Nochilur Accenture Solutions, Prabir Ghoushal Kumar Accenture Solutions
20:48
12m
Talk
User-Friendly Input Assistance with Web Crawling for Test Script Generation
Tool Demos Track
20:00 - 21:00
RT10 - Misc 3Research 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
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
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

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.

Questions? Use the ICST Tool Demos Track contact form.