VORTEX 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018

Accepted Demos

Title
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ ProgramsBest Tool Demo
ISSTA Tool Demonstrations
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
ISSTA Tool Demonstrations
MalViz: An Interactive Visualization Tool for Tracing Malware
ISSTA Tool Demonstrations
Managing Concurrent Testing of Data Race with ComRaDe
ISSTA Tool Demonstrations
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
ISSTA Tool Demonstrations
OASIs: Oracle Assessment and Improvement Tool
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.

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, 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 isstatools2018@gmail.com.

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

Wed 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:00
Tool DemosISSTA Tool Demonstrations at Zurich II
Chair(s): Saba Alimadadi Northeastern University
16:00
10m
Advances in the ANaConDA Framework for Dynamic Analysis and Testing of Concurrent C/C++ ProgramsBest Tool Demo
ISSTA Tool Demonstrations
Jan Fiedor Brno University of Technology, Monika Mužikovská Brno University of Technology, Aleš Smrčka Brno University of Technology, Ondřej Vašíček Brno University of Technology, Tomáš Vojnar Brno University of Technology
16:10
10m
LAND: A User-Friendly and Customizable Test Generation Tool for Android Apps
ISSTA Tool Demonstrations
Jiwei Yan Institute of Software, Chinese Academy of Sciences, Linjie Pan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Beihang University
16:20
10m
Managing Concurrent Testing of Data Race with ComRaDe
ISSTA Tool Demonstrations
Jian Gao School of Software, Tsinghua University, Xin Yang , Yu Jiang , Han Liu , Weiliang Ying , Wanting Sun Beijing University of Posts and Telecommunications, Ming Gu
16:30
10m
OASIs: Oracle Assessment and Improvement Tool
ISSTA Tool Demonstrations
Gunel Jahangirova Fondazione Bruno Kessler & University College London, David Clark University College London, Mark Harman Facebook and University College London, Paolo Tonella Fondazione Bruno Kessler
16:40
10m
Mutode: Generic JavaScript and Node.js Mutation Testing Tool
ISSTA Tool Demonstrations
Diego Rodríguez-Baquero Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
16:50
10m
MalViz: An Interactive Visualization Tool for Tracing Malware
ISSTA Tool Demonstrations
Vinh The Nguyen Texas Tech University, Tommy Dang Texas Tech University, Akbar Siami Namin Texas Tech University