ICST 2021
Mon 12 - Fri 16 April 2021

The Tools Track seeks to bridge the gap between research and practice, focusing on software testing, verification, and validation. Its main goal is to advance both the state of ​the ​art and the state ​of ​the practice.

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

Tue 13 Apr
Times are displayed in time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:15
09:00
15m
Day opening
Intro & Welcome
Research Papers
09:15 - 10:15
Testing Tools ITesting Tools Track at Carneiros
09:15
30m
Paper
COSMO: Code Coverage Made Easier for Android
Testing Tools Track
Andrea Romdhana, Mariano CeccatoUniversity of Verona, Gabriel Georgiu, Alessio Merlo, Paolo TonellaUSI Lugano, Switzerland
09:45
30m
Paper
Differential coverage: automating coverage analysis
Testing Tools Track
Henry CoxMediatek
13:00 - 14:30
Testing Tools IITesting Tools Track at Carneiros
13:00
30m
Paper
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing
Testing Tools Track
Ciprian PaduraruUniversity of Bucharest, Miruna Gabriela PaduraruUniversity of Bucharest , Alin StefanescuUniversity of Bucharest
13:30
30m
Paper
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers
Testing Tools Track
Paolo ArcainiNational Institute of Informatics , Andrea BombardaUniversity of Bergamo, Silvia BonfantiUniversity of Bergamo, Angelo GargantiniUniversity of Bergamo
Pre-print
14:00
30m
Paper
Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification
Testing Tools Track
Michael WeissUniversità della Svizzera Italiana (USI), Paolo TonellaUSI Lugano, Switzerland
Pre-print
15:00 - 16:30
Testing Tools IIITesting Tools Track at Carneiros
15:00
30m
Paper
Prut4j: Protocol Unit Testing fo(u)r Java
Testing Tools Track
Florian Joost SlobOpen University of the Netherlands, Sung-Shik JongmansOpen University of the Netherlands
15:30
30m
Paper
PatrIoT: IoT Automated Interoperability and Integration Testing Framework
Testing Tools Track
Miroslav BuresCzech Technical University, Czechia, Bestoun S. AhmedKarlstad University Sweden, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier Bellekens, Dani Almog, Pavel HeroutUniversity of West Bohemia, Pilsen, CZ
Link to publication Pre-print
16:00
30m
Paper
STILE: a Tool for Parallel Execution of E2E WebTest Scripts
Testing Tools Track
Dario Olianas, Maurizio LeottaDIBRIS, University of Genova, Italy, Filippo Ricca, Matteo Biagiola, Paolo TonellaUSI Lugano, Switzerland

Call for Papers

The Tools Track seeks to bridge the gap between research and practice, focusing on software testing, verification, and validation. Its main goal is to advance both the state of ​the ​art and the state ​of ​the practice.

The Tools Track invites submissions that describe tools at several stages of maturity, including promising research prototypes, widely used research tools, and commercial tools.

A Tools Track submission should clearly describe the complexity of the addressed problem, solved technical challenges, and possibilities for technology transfer into practice. Researchers are welcome to submit papers that describe novel approaches and how these approaches support tool developers in solving challenging problems. Moreover, this track seeks non-​academic submissions to foster discussions between researchers and practitioners.

Areas of interest:

The Tools Track invites submissions related, but not limited, to the following areas:

  • Design and development of novel tools for software testing, verification, and validation;
  • Working prototypes for novel research approaches, reporting on the technical challenges and early feedback obtained from practitioners;
  • Strategies and challenges for tool adoption as well as lessons learned from technology transfer of academic approaches into open source or commercial tools;
  • Case studies and/or experiments involving tools in particular contexts, reporting on lessons learned and negative results (if any).

Evaluation:

Each submission will be evaluated based on:

  • The relevance and significance of the addressed problem.
  • The innovation element of the approach.
  • The availability, maturity, and adoption of the tool.
  • The presence of lessons learned from developing or using the tool.
  • The quality of the presentation.

Accepted papers will appear in the conference proceedings and the IEEE digital library.

Submission​:

Submissions will be handled via easychair (Testing Tools Track): https://easychair.org/conferences/?conf=icst2021

The Testing Tools Track of ICST 2021 uses ​single-blind reviewing,​ which means that papers and tools n​eed not be anonymized​. All submitted papers must conform to the two ​column IEEE conference publication format. Templates for Latex and Word are available at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html;​

  • Use the letter format templates and the “conference” option.
  • The ​paper​ must be submitted as PDF and must not exceed 6 pages.​

Presentation format:

Author(s) of an accepted paper will present their work at the ICST conference on two occasions:

  • Lightning talk to advertise the tool and talk (~1 minute).
  • Paper presentation (~15 minutes).

  • Henry Cox: Differential coverage: automating coverage analysis

  • Miroslav Bures, Bestoun S. Ahmed, Vaclav Rechtberger, Matej Klima, Michal Trnka, Miroslav Jaros, Xavier Bellekens, Dani Almog and Pavel Herout: PatrIoT: IoT Automated Interoperability and Integration Testing Framework

  • Andrea Romdhana, Mariano Ceccato, Gabriel Claudiu Georgiu, Alessio Merlo and Paolo Tonella: COSMO: Code Coverage Made Easier for Android

  • Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti and Angelo Gargantini: ROBY: a Tool for Robustness Analysis of Neural Network Classifiers

  • Michael Weiss and Paolo Tonella: Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification

  • Florian Joost Slob and Sung-Shik Jongmans: Prut4j: Protocol Unit Testing fo(u)r Java

  • Dario Olianas, Maurizio Leotta, Filippo Ricca, Matteo Biagiola and Paolo Tonella: STILE: a Tool for Parallel Execution of E2E WebTest Scripts

  • Ciprian Paduraru, Miruna Gabriela Paduraru and Alin Stefanescu: RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing