Formal Demonstrations

The objective of the ICSE 2013 Formal Demonstrations Track is to excite the software engineering community about new advances in our field through compelling demonstrations that help advance research and practice. The track is a highly interactive venue where researchers and practitioners can demonstrate their tools and data sets.

Tool-based demonstrations describe novel aspects of early prototypes or mature tools. The tool demonstrations must communicate clearly the following information to the audience:

  • the envisioned users;
  • the software engineering challenge it proposes to address;
  • the methodology it implies for its users; and
  • the results of validation studies already conducted for mature tools, or the design of planned studies for early prototypes.

Data set-based demonstrations, which must be based on publicly available data sets, must communicate:

  • the rationale behind the collection of the data;
  • the process through which the data set was obtained and curated;
  • the high-level model conceptualizing the data set; and
  • how the data set has been used and what other potential uses can be envisioned for it.

Highlighting scientific contributions through concrete artifacts is a critical supplement to traditional research papers. A demonstration provides the opportunity to communicate how the scientific approach has been implemented or how a specific hypothesis has been assessed, including details such as implementation and usage issues, data models and representations, APIs for tool and data access. Authors of regular research papers are thus also encouraged to submit an accompanying demonstration paper.  


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 for the ICSE audience;
  • the technical soundness of the demonstrated tool (for a tool demo);
  • the usefulness of the demonstrated data analysis (for a data-set demo);
  • the originality of its underlying ideas;
  • the quality of its presentation in the associated video; and
  • the degree to which it considers the relevant literature.

How to Submit

Submissions must conform to the ICSE 2013 formatting and submission instructions. In particular, submissions of formal demonstrations papers must meet the following criteria.

  • A demonstration submission may not exceed four pages (including all text, references and figures).
  • Each submission must be accompanied by a short video (between three and five minutes long) illustrating the demonstration. The video should be made available online at the time of submission.
  • A submission may not have been previously published in a demonstration form.

Papers must be submitted electronically at the ICSE submission site by November 2, 2012.  At the end of the abstract (both in your submitted PDF and in the EasyChair textbox), please append the URL at which your demo video can be found.  Authors of successful submissions will have the opportunity to revise both the paper and the video by the camera-ready deadline (March 10, 2013).

For examples of previously successful short videos, please see the following:

Formal Demonstrations must be submitted electronically at For further information, please email

Important Dates

Submission Deadline November 2, 2012
Acceptance Notification January 31, 2013
Camera-ready Copy Deadline March 1, 2013

Track Co-Chairs

Jeff Gray, University of Alabama, USA
Eleni Stroulia, University of Alberta, Canada  

Formal Demonstrations Selection Committee Members

María Cecilia Bastarrica, Universidad de Chile, Chile
Jordi Cabot, INRIA - École des Mines de Nantes, France
Yuanfang Cai, Drexel University, USA
Myra B. Cohen, University of Nebraska-Lincoln, USA
Sergiu Dascalu, University of Nevada, Reno, USA
Tudor Girba, CompuGroup Medical Schweiz AG, Switzerland
John Grundy, Swinburne University of Technology, Australia
Katsuro Inoue, Osaka University, Japan
Miryung Kim, The University of Texas at Austin, USA
Michele Lanza, University of Lugano, Switzerland
Juan de Lara, Universidad Autónoma de Madrid, Spain
Spiros Mancoridis, Drexel University, USA
Tim Menzies, West Virginia University, USA
Andreas Metzger, University of Duisburg-Essen, Germany
Massimiliano Di Penta, University of Sannio, Italy
Lori Pollock, University of Delaware, USA
Suman Roychoudhury, Tata Consultancy Services, India
Davide Di Ruscio, University of L'Aquila, Italy
Mike Smit, York University, Canada
Sergio Soares, Universidade Federal de Pernambuco, Brazil
Margaret-Anne Storey, University of Victoria, Canada
Ewan Tempero, The University of Auckland, New Zealand
Juha-Pekka Tolvanen, MetaCase, Finland
Nikolaos Tsantalis, Concordia University, Canada
Zhenchang Xing, National University of Singapore, Singapore
Hongyu Zhang, Tsinghua University, China
Andrea Zisman, City University London, UK