Write a Blog >>

Accepted Papers

Title
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Demonstrations
DOI
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Demonstrations
DOI
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Demonstrations
DOI
CUT: Automatic Unit Testing in the Cloud
Demonstrations
DOI
GitcProc: A Tool for Processing and Classifying GitHub Commits
Demonstrations
DOI
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Demonstrations
DOI
LabPal: Repeatable Computer Experiments Made Easy
Demonstrations
DOI
ParTeCL: Parallel Testing using OpenCL
Demonstrations
DOI
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Demonstrations
DOI
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
Demonstrations
DOI
SealTest: A Simple Library for Test Sequence Generation
Demonstrations
DOI
THEMIS: A Tool for Decentralized Monitoring Algorithms
Demonstrations
DOI
Verifying Digital Systems with MATLAB
Demonstrations
DOI
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
Demonstrations
DOI

Call for Papers

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

Important Dates:

(there will be no extensions)

  • Submission deadline: May 2, 2017, 23:59:59 AoE.
  • Notification date: May 20, 2017
  • Camera-ready version deadline: May 27, 2017

Best Tool Demo Award

An Amazon Alexa will be presented to the best tool demonstration. Courtesy of Amazon Web Services.

Organization

For further information, please email the chairs at isstatools2017@easychair.org

Co-Chairs:

Program Committee:

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

Mon 10 Jul

Displayed time zone: Tijuana, Baja California change

14:35 - 15:05
Lightning TalksDemonstrations at Bren 1414
Chair(s): Yuriy Brun University of Massachusetts, Amherst, Neha Rungta Amazon Web Services
14:35
2m
Demonstration
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Demonstrations
John-Paul Ore University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA
DOI
14:37
2m
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Demonstrations
Josie Holmes Pennsylvania State University, USA, Alex Groce Northern Arizona University
DOI
14:39
2m
Demonstration
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
Demonstrations
Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
DOI
14:41
2m
Demonstration
CUT: Automatic Unit Testing in the Cloud
Demonstrations
Alessio Gambi Saarland University, Germany, Sebastian Kappler Saarland University, Germany, Johannes Lampel Saarland University, Germany, Andreas Zeller Saarland University
DOI
14:43
2m
Demonstration
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
Demonstrations
Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
DOI
14:45
2m
Demonstration
THEMIS: A Tool for Decentralized Monitoring Algorithms
Demonstrations
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI
14:47
2m
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Demonstrations
Xuan-Bach D. Le Singapore Management University, Singapore, Duc-Hiep Chu National University of Singapore, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University, Willem Visser Stellenbosch University
DOI
14:49
2m
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Demonstrations
Ben Spencer University of Oxford, Michael Benedikt University of Oxford, UK, Anders Møller Aarhus University, Franck van Breugel York University, Canada
DOI
14:52
2m
Demonstration
ParTeCL: Parallel Testing using OpenCL
Demonstrations
Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh
DOI
14:54
2m
Demonstration
Verifying Digital Systems with MATLAB
Demonstrations
Lennon Chaves Federal University of Amazonas, Brazil, Iury Bessa Federal University of Amazonas, Brazil, Lucas C. Cordeiro University of Oxford, UK, Eddie Lima Samsung Electronics, Brazil, Daniel Kroening University of Oxford
DOI
14:56
2m
Demonstration
SealTest: A Simple Library for Test Sequence Generation
Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada, Raphael Khoury Université du Québec à Chicoutimi, Canada
DOI
14:58
2m
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
Demonstrations
Casey Casalnuovo University of California at Davis, USA, Yagnik Suchak University of California at Davis, USA, Baishakhi Ray , Cindy Rubio-González University of California, Davis
DOI
15:00
2m
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Demonstrations
Dmitry Nurmuradov University of North Texas, USA, Renee Bryce University of North Texas
DOI
15:02
2m
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada
DOI
15:05 - 16:00
Demonstrations 1Demonstrations at Bren 1424
15:05
55m
Demonstration
GitcProc: A Tool for Processing and Classifying GitHub Commits
Demonstrations
Casey Casalnuovo University of California at Davis, USA, Yagnik Suchak University of California at Davis, USA, Baishakhi Ray , Cindy Rubio-González University of California, Davis
DOI
15:05
55m
Demonstration
ArtForm: A Tool for Exploring the Codebase of Form-Based Websites
Demonstrations
Ben Spencer University of Oxford, Michael Benedikt University of Oxford, UK, Anders Møller Aarhus University, Franck van Breugel York University, Canada
DOI
15:05
55m
Demonstration
LabPal: Repeatable Computer Experiments Made Easy
Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada
DOI
15:05
55m
Demonstration
CUT: Automatic Unit Testing in the Cloud
Demonstrations
Alessio Gambi Saarland University, Germany, Sebastian Kappler Saarland University, Germany, Johannes Lampel Saarland University, Germany, Andreas Zeller Saarland University
DOI
15:05
55m
Demonstration
A Suite of Tools for Making Effective Use of Automatically Generated Tests
Demonstrations
Josie Holmes Pennsylvania State University, USA, Alex Groce Northern Arizona University
DOI
15:05
55m
Demonstration
Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering
Demonstrations
Dmitry Nurmuradov University of North Texas, USA, Renee Bryce University of North Texas
DOI
15:05
55m
Demonstration
JFIX: Semantics-Based Repair of Java Programs via Symbolic PathFinder
Demonstrations
Xuan-Bach D. Le Singapore Management University, Singapore, Duc-Hiep Chu National University of Singapore, David Lo Singapore Management University, Claire Le Goues Carnegie Mellon University, Willem Visser Stellenbosch University
DOI

Tue 11 Jul

Displayed time zone: Tijuana, Baja California change

15:00 - 16:00
Demonstrations 2Demonstrations at Bren 1424
15:00
60m
Demonstration
SealTest: A Simple Library for Test Sequence Generation
Demonstrations
Sylvain Hallé Université du Québec à Chicoutimi, Canada, Raphael Khoury Université du Québec à Chicoutimi, Canada
DOI
15:00
60m
Demonstration
XFix: An Automated Tool for the Repair of Layout Cross Browser Issues
Demonstrations
Sonal Mahajan University of Southern California, USA, Abdulmajeed Alameer University of Southern California, USA, Phil McMinn University of Sheffield, William G.J. Halfond University of Southern California
DOI
15:00
60m
Demonstration
Phriky-Units: A Lightweight, Annotation-Free Physical Unit Inconsistency Detection Tool
Demonstrations
John-Paul Ore University of Nebraska-Lincoln, USA, Carrick Detweiler University of Nebraska-Lincoln, USA, Sebastian Elbaum University of Nebraska-Lincoln, USA
DOI
15:00
60m
Demonstration
ParTeCL: Parallel Testing using OpenCL
Demonstrations
Vanya Yaneva University of Edinburgh, UK, Ajitha Rajan University of Edinburgh, UK, Christophe Dubach University of Edinburgh
DOI
15:00
60m
Demonstration
THEMIS: A Tool for Decentralized Monitoring Algorithms
Demonstrations
Antoine El-Hokayem Grenoble Alpes University, France / Inria, France / CNRS, France, Yliès Falcone Univ. Grenoble Alpes, Inria
DOI
15:00
60m
Demonstration
Verifying Digital Systems with MATLAB
Demonstrations
Lennon Chaves Federal University of Amazonas, Brazil, Iury Bessa Federal University of Amazonas, Brazil, Lucas C. Cordeiro University of Oxford, UK, Eddie Lima Samsung Electronics, Brazil, Daniel Kroening University of Oxford
DOI
15:00
60m
Demonstration
ReDeCheck: An Automatic Layout Failure Checking Tool for Responsively Designed Web Pages
Demonstrations
Thomas Walsh University of Sheffield, UK, Gregory Kapfhammer Allegheny College, USA, Phil McMinn University of Sheffield
DOI