Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2020 Tool Demonstration 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.

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

Wed 22 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-catering
16:10 - 16:30: Break - Mini Break at Zoom
issta-2020-tool-demonstration
16:30 - 17:33: Tool Demonstration - TOOL DEMO at Zoom
Chair(s): Owolabi LegunsenCornell University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

issta-2020-tool-demonstration16:30 - 16:37
Talk
Ezio BartocciTechnische Universität Wien, Niveditha ManjunathVienna University of Technology, Leonardo MarianiUniversity of Milano Bicocca, Cristinel MateisAIT Austrian Institute of Technology GmbH, Dejan NickovicAustrian Institute of Technology, Fabrizio PastoreUniversity of Luxembourg
issta-2020-tool-demonstration16:37 - 16:44
Talk
Chao GuoNanjing University, Tieke HeNanjing University, Wei YuanNanjing University, Yue GuoNanjing University, Rui HaoNanjing University, China
issta-2020-tool-demonstration16:44 - 16:51
Talk
Wentian YanPeking University, Jianbo GaoPeking University, Zhenhao WuPeking University and Boya Blockchain Inc, Yue LiPeking University, Zhi GuanPeking University, Qingshan LiPeking University, Zhong Chen
issta-2020-tool-demonstration16:51 - 16:58
Talk
Gustavo GriecoTrail of Bits, Will SongTrail of Bits, Artur CyganTrail of Bits, Josselin FeistTrail of Bits, Alex GroceNorthern Arizona University
issta-2020-tool-demonstration16:58 - 17:05
Talk
Yang ZhangHebei University of Science and Technology, Shuai ShaoHebei University of Science and Technology, Juan ZhaiRutgers University, Shiqing MaRutgers University, USA
issta-2020-tool-demonstration17:05 - 17:12
Talk
Ali GhanbariThe University of Texas at Dallas
Pre-print
issta-2020-tool-demonstration17:12 - 17:19
Talk
George ThompsonNorth Carolina A&T State University, Allison SullivanThe University of Texas at Arlington
issta-2020-tool-demonstration17:19 - 17:26
Talk
Zichen GuoNanjing University, Jiawei LiuNanjing University, Tieke HeNanjing University, Zhuoyang LiNanjing University, Peitian ZhangzhuNanjing University
issta-2020-tool-demonstration17:26 - 17:33
Talk
Ruixiang QianState Key Laboratory for Novel Software Technology, Nanjing University, Yuan ZhaoState Key Laboratory for Novel Software Technology, Nanjing University, Duo MenState Key Laboratory for Novel Software Technology, Nanjing University, Yang FengNanjing University, Qingkai ShiThe Hong Kong University of Science and Technology, Yong HuangState Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu ChenNanjing University
DOI

Call for Submissions


The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2020 Tool Demonstration 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

Evaluation

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
  • The comparison to related work

How to submit

Submissions must conform to the ACM Conference Format. A tool 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 Tool Demonstration track will be using the single-blind reviewing model, so the submitted PDFs should identify the authors.

Submit your papers via the ISSTA Tool Demonstration 2020 submission website by April 27, 2020, 23:59:59 AoE.

For further information, please email the chairs at: