Tool DemonstrationISSTA 2019
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.
Mon 15 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
10:30 30mBreak | Mini Break Catering |
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
12:30 - 14:00 | |||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
15:30 30mBreak | Mini Break Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
17:30 - 20:00 | |||
17:30 2h30mDinner | Reception for SPIN and Workshop attendees Catering |
Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B | ||
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
10:30 30mBreak | Mini Break Catering |
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
10:35 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2 | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
15:30 30mBreak | Mini Break Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
18:00 - 21:30 | |||
18:00 3h30mDinner | OC Dinner Catering |
Wed 17 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
16:00 - 17:30 | |||
16:00 10mTalk | 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 10mTalk | VFQL: Combinational Static Analysis as Query Language Tool Demonstration | ||
16:20 10mTalk | 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 10mTalk | SAFEVM: A Safety Verifier for Ethereum Smart Contracts Tool Demonstration | ||
16:40 10mTalk | CoCoTest: Collaborative Crowdsourced Testing for Android Applications Tool Demonstration | ||
16:50 10mTalk | 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 10mTalk | 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 10mTalk | 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 10mTalk | 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 | |||
17:30 2h30mDinner | Reception with posters Catering |
Thu 18 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
17:45 - 21:00 | |||
17:45 3h15mDinner | Banquet Catering |
Fri 19 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
10:30 30mBreak | Mini Break Catering |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom | ||
15:30 30mBreak | Mini Break Catering |
18:00 - 21:30 | |||
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