Formal Demonstrations
Goal & Scope
The ICSE 2012 Formal Tool Demonstrations Track provides an opportunity for researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software engineering with the goal of allowing live presentation of new research tools and datasets. We invite innovative research tool demonstrations, intended to show early implementations of novel software engineering concepts, as well as mature prototypes. Moreover we welcome publicly available datasets that can be used for research evaluations.
The research tool demonstrations are intended to highlight underlying scientific contributions. Whereas a regular research paper is intended to give the background information and point out the scientific contribution of a new software engineering approach, the tool demonstration paper provides a good opportunity to show how the scientific approach has been transferred into a working tool. Authors of regular research papers are thus encouraged to submit an accompanying tool demonstration paper.
Evaluation
Each submission will be reviewed by at least three members of the program committee. The main evaluation criteria include the relevance and quality of the proposed tool demonstration in terms of originality, relevance for the ICSE audience, technical soundness, presentation quality, and appropriate consideration of relevant literature.
How to Submit
Submissions must conform to the ICSE 2012 formatting and submission instructions. In particular, submitted formal tool demonstration papers must:
- Not exceed 4 pages (including all text, references and figures).
- Be accompanied by a video illustrating the tool demonstration. Videos must not exceed 5 minutes in length. The submission should clearly indicate the URL where the video is available.
- Not have been previously published, nor be under consideration for publication, elsewhere.
Papers must be submitted electronically by the stated deadline.
Important Dates
Submission Deadline: October 27, 2011
Acceptance Notification: January 27, 2012
Camera-ready Copy Deadline: March 16, 2012
Track Co-Chairs
Shing-Chi Cheung, Hong Kong University of Science and Technology, China
Michele Lanza, University of Lugano, Switzerland
Formal Demonstrations Track Committee Members
- Anthony Cleve, University of Namur, Belgium
- Wim de Pauw, IBM Research, USA
- Marcus Denker, INRIA, France
- Serge Demeyer, University of Antwerp, Belgium
- Jinsong Dong, National University of Singapore, Singapore
- Harald Gall, University of Zurich, Switzerland
- Tudor Girba, netstyle.ch GmbH, Switzerland
- Abraham Hindle, University of Alberta, Canada
- Katsuro Inoue, Osaka University, Japan
- Kyo-Chul Kang, Pohang University of Science and Technology, South Korea
- Moonzoo Kim, KAIST, South Korea
- Radu Marinescu, Polytechnic University of Timisoara, Romania
- Rocco Oliveto, University of Salerno, Italy
- Denys Poshyvanik, College of William and Mary, USA
- Filippo Ricca, University of Genova, Italy
- Romain Robbes, University of Chile, Chile
- Paul Strooper, The University of Queensland, Australia
- Michel Wermelinger, The Open University, UK
- Chang Xu, Nanjing University, China
- Andy Zaidman, Delft University of Technology, The Netherlands
- Charles Zhang, The Hong Kong University of Science and Technology, China
- Hongyu Zhang, Tsinghua University, China
- Thomas Zimmermann, Microsoft Research, USA