ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018

Accepted Demos

ISSTA Tool Demonstrations
ISSTA Tool Demonstrations
ISSTA Tool Demonstrations
ISSTA Tool Demonstrations
ISSTA Tool Demonstrations
ISSTA Tool Demonstrations

Call for Papers

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2018 Demonstrations Track serves as a venue for publishing and presenting advances in software testing and analysis tools that aid either practice, research, or both. Submissions may describe early prototypes of tools, mature tools, and everything in between. To help disseminate tools to the community, we encourage submissions describing previously unpublished tools whose underlying techniques may have already been published.

Highlighting scientific contributions through concrete artifacts is a critical supplement to the traditional research papers published at software engineering venues, including ISSTA. A demonstration provides the opportunity to communicate how the scientific approach has been implemented or how a specific hypothesis has been assessed, including implementation and usage details, data models and representations, and APIs for tool and data access. Authors of regular research papers at ISSTA or other conferences are thus also encouraged to submit an accompanying demonstration paper. The demonstration papers should be original, however, substantial improvements or extensions to existing tools are also encouraged. Tool papers must not be concurrently under review at ISSTA or at another venue.

The tool demonstrations must communicate clearly the following information:

  • the tool’s envisioned users,

  • the software testing and analysis challenge(s) the tool addresses,

  • how the tool is used,

  • either results of conducted validation studies or the design of planned studies.


Each submission will be reviewed by at least three members of the demonstrations program committee. The evaluation criteria include:

  • the relevance of the proposed demonstration to the ISSTA audience,

  • the technical soundness of the demonstrated tool,

  • the originality of the underlying ideas,

  • the quality of its presentation, and

  • the comparison to related work.

How to Submit

Submissions must conform to the ACM Conference Format. A demonstration submission may not exceed four pages, including all text, figures, and references. A submission may not have been previously published in a demonstration form. The paper submission must be in PDF. The Demonstrations track will be using the single-blind reviewing model, so the submitted PDFs should identify the authors.

Submit your papers via the hotcrp ISSTA Demonstrations 2018 submission website by May 4, 2017, 23:59:59 AoE.

Important Dates

(there will be no extensions)

  • Submission deadline: May 4, 2018

  • Notification date: May 25, 2018

  • Camera-ready version deadline: June 8, 2018

For further information, please email the chairs at

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

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:00: Tool DemosISSTA Tool Demonstrations at Zurich II
Chair(s): Saba AlimadadiNortheastern University
16:00 - 16:10
ISSTA Tool Demonstrations
Jan FiedorBrno University of Technology, Monika MužikovskáBrno University of Technology, Aleš SmrčkaBrno University of Technology, Ondřej VašíčekBrno University of Technology, Tomáš VojnarBrno University of Technology
16:10 - 16:20
ISSTA Tool Demonstrations
Jiwei YanInstitute of Software, Chinese Academy of Sciences, Linjie PanInstitute of Software, Chinese Academy of Sciences, Yaqi LiInstitute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University
16:20 - 16:30
ISSTA Tool Demonstrations
Jian GaoSchool of Software, Tsinghua University, Xin Yang , Yu Jiang, Han Liu, Weiliang Ying , Wanting SunBeijing University of Posts and Telecommunications, Ming Gu
16:30 - 16:40
ISSTA Tool Demonstrations
Gunel JahangirovaFondazione Bruno Kessler & University College London, David ClarkUniversity College London, Mark HarmanFacebook and University College London, Paolo TonellaFondazione Bruno Kessler
16:40 - 16:50
ISSTA Tool Demonstrations
Diego Rodríguez-BaqueroUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:50 - 17:00
ISSTA Tool Demonstrations
Vinh The NguyenTexas Tech University, Tommy DangTexas Tech University, Akbar Siami NaminTexas Tech University