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.
Thu 15 JulDisplayed 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 5mOther | 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 35mLive 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 35mLive 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 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
18:05 35mLive 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 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations |
Fri 16 JulDisplayed 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 5mOther | 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 35mLive 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 35mLive 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 35mLive 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 5mOther | 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 35mLive 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 35mLive 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 35mLive Q&A | ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations | ||
09:05 35mLive 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 35mLive Q&A | echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | ||
09:05 35mLive 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 55mKeynote | Automated Debugging: Past, Present, and Future (ISSTA Impact Paper Award)Keynote Keynotes Media Attached |
Accepted Papers
Title | |
---|---|
C4: the C Compiler Concurrency Checker Tool Demonstrations | |
echidna-parade: A Tool for Diverse Multicore Smart Contract Fuzzing Tool Demonstrations | |
MOSCAN: A Model-based Vulnerability Scanner for Web Single Sign-on Services Tool Demonstrations | |
ProFuzzBench: A Benchmark for Stateful Protocol Fuzzing Tool Demonstrations | |
RESTest: Automated Black-Box Testing of RESTful Web APIs Tool Demonstrations | |
SCStudio: A Secure and Efficient Integrated Development Environment for Smart Contracts Tool Demonstrations | |
TauMed: Test Augmentation of Deep Learning in Medical Diagnosis Tool Demonstrations |
Submission Link
Call for Contributions
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