DemonstrationsISSTA 2017
Accepted Papers
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:
- Ivan Beschastnikh, University of British Columbia
- Milos Gligoric, The University of Texas at Austin
- Jeff Huang, Texas A&M University
- Claire Le Goues, Carnegie Mellon University
- Eric Mercer, Brigham Young University
- Suzette Person, University of Nebraska–Lincoln
- Justyna Petke, University College London
- Federica Sarro, University College London
- Elena Sherman, Boise State University
- Kathryn T. Stolee, North Carolina State University
- Oksana Tkachuk, NASA’s Ames Research Center
Mon 10 JulDisplayed 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 2mDemonstration | 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 2mDemonstration | A Suite of Tools for Making Effective Use of Automatically Generated Tests Demonstrations DOI | ||
14:39 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | 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 2mDemonstration | Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering Demonstrations DOI | ||
15:02 2mDemonstration | LabPal: Repeatable Computer Experiments Made Easy Demonstrations Sylvain Hallé Université du Québec à Chicoutimi, Canada DOI | ||
15:05 - 16:00 | |||
15:05 55mDemonstration | 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 55mDemonstration | 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 55mDemonstration | LabPal: Repeatable Computer Experiments Made Easy Demonstrations Sylvain Hallé Université du Québec à Chicoutimi, Canada DOI | ||
15:05 55mDemonstration | 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 55mDemonstration | A Suite of Tools for Making Effective Use of Automatically Generated Tests Demonstrations DOI | ||
15:05 55mDemonstration | Caret-HM: Recording and Replaying Android User Sessions with Heat Map Generation using UI State Clustering Demonstrations DOI | ||
15:05 55mDemonstration | 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 JulDisplayed time zone: Tijuana, Baja California change
15:00 - 16:00 | |||
15:00 60mDemonstration | 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 60mDemonstration | 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 60mDemonstration | 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 60mDemonstration | 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 60mDemonstration | 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 60mDemonstration | 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 60mDemonstration | 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 | ||
| Sat 27 May 2017 Camera-Ready Version |
| Sat 20 May 2017 Notification |
| Tue 2 May 2017 Submission |
Yuriy Brun
University of Massachusetts, Amherst
United States
Neha Rungta
Amazon Web Services
United States
Ivan Beschastnikh
University of British Columbia
Canada
Milos Gligoric
University of Texas at Austin
United States
Jeff Huang
Texas A&M University
United States
Claire Le Goues
Carnegie Mellon University
United States
Eric Mercer
Brigham Young University
United States
Suzette Person
University of Nebraska-Lincoln
United States
Justyna Petke
University College London
United Kingdom
Federica Sarro
University College London
United Kingdom
Elena Sherman
Boise State University
United States
Kathryn Stolee
North Carolina State University
United States
Oksana Tkachuk
Amazon Web Services
United States