Write a Blog >>
ICST 2020
Mon 23 - Fri 27 March 2020 Porto, Portugal

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.


This program is tentative and subject to change.

Tue 24 Mar

16:00 - 18:00: Research Papers - RT5 - Testing for APIs at Farfetch (D. Maria)
icst-2020-papers16:00 - 16:30
Stefan KarlssonABB AB, Mälardalen University, Adnan CausevicMälardalen University, Daniel SundmarkMälardalen University
icst-2020-papers16:30 - 17:00
Emanuele ViglianisiFBK, Michael DallagoUniversity of Trento, Mariano CeccatoUniversity of Verona
icst-2020-papers17:00 - 17:30
Andrea ArcuriKristiania University College, Norway, Juan Pablo GaleottiUniversity of Buenos Aires
icst-2020-Testing-Tool-Track17:30 - 17:45
Hassan SartajQUEST - UAV Dependability Lab, Muhammad Zohaib IqbalNational University of Computer and Emerging Sciences, Muhammad Uzair KhanNational University of Computer and Emerging Sciences
icst-2020-Testing-Tool-Track17:45 - 18:00
Miroslav BuresCzech Technical University in Prague, Pavel HeroutUniversity of West Bohemia, Pilsen, CZ, Bestoun S. AhmedKarlstad University

Thu 26 Mar

12:00 - 13:00: Testing Tools Track - Testing tools at Infante
icst-2020-Testing-Tool-Track12:00 - 12:15
Sakshi Udeshi, Xingbin JiangSingapore University of Technology and Design, Sudipta ChattopadhyaySingapore University of Technology and Design
icst-2020-Testing-Tool-Track12:15 - 12:30
Antonia BertolinoCNR-ISTI, Guglielmo De AngelisCNR-IASI, CNR-ISTI, Breno MirandaFederal University of Pernambuco, Paolo TonellaUniversità della Svizzera Italiana (USI)
icst-2020-Testing-Tool-Track12:30 - 12:45
Van-Thuan PhamMonash University, Marcel BoehmeMonash University, Abhik RoychoudhuryNational University of Singapore
icst-2020-Testing-Tool-Track12:45 - 13:00
Shaobo HeUniversity of Utah, Michael EmmiSRI International, Gabriela CiocarlieSRI International
12:30 - 14:00: Catering - Lunch

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).


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.


Submissions will be handled via easychair (Testing Tools Track): https://easychair.org/my/conference?conf=icst2020

The Testing Tools Track of ICST 2020 uses ​single-blind reviewing,​ which means that papers and tools need 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 m​ ust 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).

Questions? Use the ICST Testing Tools Track contact form.