Testing Tools TrackICST 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.

Accepted Papers

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