Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2021 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. Demos may describe early prototypes of tools, mature tools, and everything in between.

During the conference, tool demonstrations will be presented in a brief 1-minute video followed by a live session with the authors. Each tool demonstration will be presented in two time bands. Check out the program for further details.

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

Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

18:00 - 18:05
ISSTA Tool Demos (One-Minute Teasers) 1Tool Demonstrations at ISSTA Demos
Chair(s): Michael Pradel University of Stuttgart
18:00
5m
Other
One-Minute Teasers
Tool Demonstrations

18:05 - 18:40
ISSTA Tool Demos (Live Discussion) 1Tool Demonstrations at ISSTA Demos
Chair(s): Michael Pradel University of Stuttgart
18:05
35m
Live Q&A
RESTest: Automated Black-Box Testing of RESTful Web APIs
Tool Demonstrations
Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville
18:05
35m
Live Q&A
C4: the C Compiler Concurrency Checker
Tool Demonstrations
Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London
18:05
35m
Live Q&A
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Tool Demonstrations
Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits
18:05
35m
Live Q&A
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Tool Demonstrations
Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University
18:05
35m
Live Q&A
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Tool Demonstrations
Roberto Natella Federico II University of Naples, Thuan Pham The University of Melbourne

Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

01:00 - 01:05
ISSTA Tool Demos (One-Minute Teasers) 2Tool Demonstrations at ISSTA Demos
Chair(s): August Shi University of Texas at Austin
01:00
5m
Other
One-Minute Teasers
Tool Demonstrations

01:05 - 01:40
ISSTA Tool Demos (Live Discussion) 2Tool Demonstrations at ISSTA Demos
Chair(s): August Shi University of Texas at Austin
01:05
35m
Live Q&A
MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
Tool Demonstrations
Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia
01:05
35m
Live Q&A
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Tool Demonstrations
Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
01:05
35m
Live Q&A
RESTest: Automated Black-Box Testing of RESTful Web APIs
Tool Demonstrations
Alberto Martin-Lopez Universidad de Sevilla, Sergio Segura Universidad de Sevilla, Antonio Ruiz-Cortés University of Seville
09:00 - 09:05
ISSTA Tool Demos (One-Minute Teasers) 3Tool Demonstrations at ISSTA Demos
Chair(s): Michael Pradel University of Stuttgart
09:00
5m
Other
One-Minute Teasers
Tool Demonstrations

09:05 - 09:40
ISSTA Tool Demos (Live Discussion) 3Tool Demonstrations at ISSTA Demos
Chair(s): Michael Pradel University of Stuttgart
09:05
35m
Live Q&A
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts
Tool Demonstrations
Meng Ren Tsinghua University, Fuchen Ma Tsinghua University, Zijing Yin Tsinghua University, Huizhong Li WeBank, Ying Fu Ant Group, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University
09:05
35m
Live Q&A
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis
Tool Demonstrations
Yunhan Hou Nanjing University, Jiawei Liu Nanjing University, Daiwei Wang Nanjing University, Jiawei He Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University
09:05
35m
Live Q&A
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing
Tool Demonstrations
Roberto Natella Federico II University of Naples, Thuan Pham The University of Melbourne
09:05
35m
Live Q&A
C4: the C Compiler Concurrency Checker
Tool Demonstrations
Matt Windsor University of York, Alastair F. Donaldson Imperial College London, John Wickerson Imperial College London
09:05
35m
Live Q&A
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing
Tool Demonstrations
Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits
09:05
35m
Live Q&A
MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services
Tool Demonstrations
Hanlin Wei The University of Queensland, Behnaz Hassanshahi Oracle Labs, Australia, Guangdong Bai University of Queensland, Paddy Krishnan Oracle Labs, Australia, Kostyantyn Vorobyov Oracle Labs, Australia
17:00 - 17:55
ISSTA Impact Paper Award TalkKeynotes at Keynote
Chair(s): Cristian Cadar Imperial College London, UK
17:00
55m
Keynote
Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)Keynote
Keynotes
Alessandro Orso Georgia Tech, Chris Parnin North Carolina State University
Media Attached

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

Authors of accepted demos will have the opportunity to present their work during two demo sessions, enabling all authors and conference participants to find a suitable time slot for their respective time zones.

The submission must communicate clearly the following information:

  • The tool’s envisioned users
  • The software testing and analysis challenge(s) the tool addresses
  • How to use the tool
  • Either results of conducted validation studies or the design of planned studies

To provide insight in the actual demonstration and availability, the authors are requested to include one of the following:

  • A walkthrough of the actual demonstration provided as an appendix to the paper (this appendix will not be included in the page count and will not be published).
  • A link to a screencast or some other accompanying multimedia presentation of the demonstration.

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. 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 2021 submission website by May 2, 2021, 23:59:59 AoE.

At least one author of each accepted paper must register and present the paper at ISSTA 2021 in order for the paper to be published in the proceedings. An author registration is a requirement.

For further information, please email the chairs at:

Mike Papadakis mike.papadakis@gmail.com, University of Luxembourg, Luxembourg

Michael Pradel michael@binaervarianz.de, University of Stuttgart, Germany