conf.researchr.org

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

Dates

Tracks

Plenary

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

10:30 - 11:00

10:30

30m

Break

Mini Break

Catering


10:30 - 11:00

12:30 - 14:00

15:30 - 16:00

15:30

30m

Break

Mini Break

Catering


15:30 - 16:00

17:30 - 20:00

Reception for SPIN and Workshop attendeesCatering at Function Room A

17:30

2h30m

Dinner

Reception for SPIN and Workshop attendees

Catering


10:30 - 11:00

10:30 - 11:00

10:30

30m

Break

Mini Break

Catering


10:30 - 11:00

10:35 - 11:00

12:30 - 14:00

12:30

90m

Lunch

Lunch

Catering


15:30 - 16:00

15:30 - 16:00

15:30 - 16:00

15:30

30m

Break

Mini Break

Catering


15:30 - 16:00

18:00 - 21:30

18:00

3h30m

Dinner

OC Dinner

Catering


10:30 - 11:00

10:30

30m

Break

Mini Break

Catering


12:30 - 14:00

12:30

90m

Lunch

Lunch

Catering


15:30 - 16:00

15:30

30m

Break

Mini Break

Catering


16:00 - 17:30

ISSTA Tool DemonstrationsTool Demonstration at Grand Ballroom

16:00

10m

Talk

Go-Clone: Graph-Embedding Based Clone Detector for Golang

Tool Demonstration

Cong Wang Tsinghua University, Jian Gao School of Software, Tsinghua University, Yu Jiang , Zhenchang Xing Australia National University, Huafeng Zhang , Weiliang Ying , Ming Gu Tsinghua University, Jiaguang Sun

16:10

10m

Talk

VFQL: Combinational Static Analysis as Query Language

Tool Demonstration

Guang Chen , Yuexing Wang , Min Zhou Tsinghua University, Jiaguang Sun

16:20

10m

Talk

VBSAC: A Value-Based Static Analyzer for C

Tool Demonstration

Li Chi Tsinghua University, Min Zhou Tsinghua University, Zuxing Gu School of Software, Tsinghua University, Guang Chen , Yuexing Wang , Jiecheng Wu Tsinghua University, Ming Gu Tsinghua University

16:30

10m

Talk

SAFEVM: A Safety Verifier for Ethereum Smart Contracts

Tool Demonstration

16:40

10m

Talk

CoCoTest: Collaborative Crowdsourced Testing for Android Applications

Tool Demonstration

Haoyu Li , Chunrong Fang , Zhibin Wei , Zhenyu Chen Nanjing University

16:50

10m

Talk

Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android

Tool Demonstration

Linjie Pan Institute of Software, Chinese Academy of Sciences, Baoquan Cui , Jiwei Yan Institute of Software, Chinese Academy of Sciences, Xutong Ma , Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Beihang University

17:00

10m

Talk

JQF: Coverage-guided Property-based Testing in Java

Tool Demonstration

Rohan Padhye University of California, Berkeley, Caroline Lemieux University of California, Berkeley, Koushik Sen University of California, Berkeley

17:10

10m

Talk

Ukwikora: Continuous inspection for Keyword-Driven Testing

Tool Demonstration

Renaud Rwemalika , Marinos Kintis , Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg, Pierre Lorrach

17:20

10m

Talk

CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports

Tool Demonstration

Yuying Li State Key Laboratory for Novel Software Technology, Nanjing University, Rui Hao Nanjing University, China, Yang Feng University of California, Irvine, James Jones University of California, Irvine, Xiaofang Zhang , Zhenyu Chen Nanjing University

17:30 - 20:00

Reception with postersCatering at Grand Ballroom

17:30

2h30m

Dinner

Reception with posters

Catering


10:30 - 11:00

10:30

30m

Break

Mini Break

Catering


12:30 - 14:00

12:30

90m

Lunch

Lunch

Catering


15:30 - 16:00

15:30

30m

Break

Mini Break

Catering


17:45 - 21:00

17:45

3h15m

Dinner

Banquet

Catering


10:30 - 11:00

10:30

30m

Break

Mini Break

Catering


12:30 - 14:00

12:30

90m

Lunch

Lunch

Catering


15:30 - 16:00

15:30

30m

Break

Mini Break

Catering


Accepted Papers

Title
Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android

Tool Demonstration

CoCoTest: Collaborative Crowdsourced Testing for Android Applications

Tool Demonstration

CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports

Tool Demonstration

Go-Clone: Graph-Embedding Based Clone Detector for Golang

Tool Demonstration

JQF: Coverage-guided Property-based Testing in Java

Tool Demonstration

SAFEVM: A Safety Verifier for Ethereum Smart Contracts

Tool Demonstration

Ukwikora: Continuous inspection for Keyword-Driven Testing

Tool Demonstration

VBSAC: A Value-Based Static Analyzer for C

Tool Demonstration

VFQL: Combinational Static Analysis as Query Language

Tool Demonstration

Call for Submissions

The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2019 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 2019 submission website by May 4, 2019, 23:59:59 AoE.

For further information, please email the chairs at:

Hongyu Zhang, University of Newcastle, Australia
Alessandra Gorla, IMDEA Software Institute, Spain

Read the original on conf.researchr.org ↗