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.

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

Wed 22 Jul

Displayed time zone: Tijuana, Baja California change

16:10 - 16:30
Mini BreakBreak at Zoom
16:30 - 17:33
TOOL DEMOTool Demonstration at Zoom
Chair(s): Owolabi Legunsen Cornell University

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

16:30
7m
Talk
CPSDebug: A Tool for Failure Explanation
Tool Demonstration
Ezio Bartocci Technische Universität Wien, Niveditha Manjunath Vienna University of Technology, Leonardo Mariani University of Milano Bicocca, Cristinel Mateis AIT Austrian Institute of Technology GmbH, Dejan Nickovic Austrian Institute of Technology, Fabrizio Pastore University of Luxembourg
16:37
7m
Talk
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Tool Demonstration
Chao Guo Nanjing University, Tieke He Nanjing University, Wei Yuan Nanjing University, Yue Guo Nanjing University, Rui Hao Nanjing University, China
16:44
7m
Talk
EShield: Protect Smart Contracts against Reverse Engineering
Tool Demonstration
Wentian Yan Peking University, Jianbo Gao Peking University, Zhenhao Wu Peking University and Boya Blockchain Inc, Yue Li Peking University, Zhi Guan Peking University, Qingshan Li Peking University, Zhong Chen
16:51
7m
Talk
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Tool Demonstration
Gustavo Grieco Trail of Bits, Will Song Trail of Bits, Artur Cygan Trail of Bits, Josselin Feist Trail of Bits, Alex Groce Northern Arizona University
16:58
7m
Talk
FineLock: Automatically Refactoring Coarse-grained Locks into Fine-grained Locks
Tool Demonstration
Yang Zhang Hebei University of Science and Technology, Shuai Shao Hebei University of Science and Technology, Juan Zhai Rutgers University, Shiqing Ma Rutgers University, USA
17:05
7m
Talk
ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity
Tool Demonstration
Ali Ghanbari Iowa State University
Pre-print
17:12
7m
Talk
ProFL: A Fault Localization Framework for Prolog
Tool Demonstration
George Thompson North Carolina A&T State University, Allison Sullivan The University of Texas at Arlington
17:19
7m
Talk
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Tool Demonstration
Zichen Guo Nanjing University, Jiawei Liu Nanjing University, Tieke He Nanjing University, Zhuoyang Li Nanjing University, Peitian Zhangzhu Nanjing University
17:26
7m
Talk
Test Recommendation System Based on Slicing Coverage Filtering
Tool Demonstration
Ruixiang Qian State Key Laboratory for Novel Software Technology, Nanjing University, Yuan Zhao State Key Laboratory for Novel Software Technology, Nanjing University, Duo Men State Key Laboratory for Novel Software Technology, Nanjing University, Yang Feng Nanjing University, Qingkai Shi The Hong Kong University of Science and Technology, Yong Huang State Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu Chen Nanjing 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: