Call for Papers - Tool Demonstrations

Automated software engineering consists of automating processes related to requirements, design, implementation, testing, and maintenance of software systems. The automated processes facilitate better productivity and improve the overall quality of software. Tool development is an integral part of automated software engineering. The 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 automated software engineering.

ASE 2014 solicits high-quality submissions for its tool demonstrations track. We invite submission on tools that are (a) early research prototypes or (b) mature tools, with a significant novel improvement, that have not yet been commercialized. The submissions should highlight the underlying scientific contributions, engineering ingenuity, applicability to a broader software engineering community, and scalability of the tool. In contrast to a research paper which is intended to provide details of a novel automated software engineering technique, a tool demonstration paper should provide an overview of how the technique has been implemented as a functioning tool. Authors of regular research papers are thus encouraged to submit an accompanying tool demonstration paper.

The tool demonstration program committee will review each submission to assess the relevance and quality of the proposed tool demonstration in terms of usefulness of the tool, presentation quality, and appropriate discussion of related tools. Accepted tool demonstrations will be allocated 4 pages in the conference proceedings. Demonstrators will be invited to give a presentation of the tool during the conference. There will also be an area open to attendees at scheduled times during the conference during which demonstrators can present live demonstrations. Presentation at the conference is a requirement for publication.

Prizes will be given for an overall best tool demonstration and a best student tool demonstration where a student is the first author on the paper and presents the demonstration. The prizes will be decided based on the votes of the conference attendees.

Submissions should:

• Consist of proposal of at most four pages that adheres to the ASE 2014 proceedings format ( ACM proceedings style - LaTex users, use the style Option 2). The proposal should provide an overview of the tool, how it relates to other industrial or research tools, including references, and its potential impact to a broader software engineering community.
• Provide at least one of the following (listing in the order of preference)
  • A link to a video, not more than 5 minutes long, that demonstrates the tool being used. The goal of the video is to provide the reviewers a usage overview of the tool that enables them to evaluate the tool. A screencast of the tool demo with a voice-over can be used for the video.
  • A link to a Virtual Appliance in Open Virtualization Format containing a working demonstration of the tool. The goal is to give the reviewers a simple way to try out the tool
  • A link to an outline of a tool demo (about 8 pages) illustrating how the tool will be demonstrated during the conference.
  • A URL from which the tool can be downloaded, with clear installation steps. If the tool cannot be made available, the authors must clearly state their reasons in the paper. Examples and scenarios presented in the paper should be independently replicable.
• Be submitted via https://www.easychair.org/conferences/?conf=asetools2014

Arie Gurfinkel Carnegie Mellon University Pittsburgh, PA

Gabriele Taentzer Philipps-Universität Marburg, Germany

Temesghen Kahsai, CMU/NASA Ames
Manuel Wimmer, Business Informatics Group, Vienna University of Technology
Bernd Fischer, U Southampton / Stellenbosch U
Anton Belov, University College Dublin
Juan De Lara, Universidad Autonoma de Madrid
Oksana Tkachuk, NASA Ames Research Center
Neha Rungta, NASA Ames Research Center, CA
Albert Zuendorf, Kassel University
Matthias Tichy, Software Engineering Division, Chalmers University of Technology and University of Gothenburg
Christian Krause, SAP Innovation Center Potsdam
Vittorio Cortellessa, Universita' dell'Aquila
Richard Paige, University of York

Accepted Tool Demonstrations

• Workspace Updates of Visual Models; Timo Kehrer, Udo Kelter and Dennis Reuling
• Meta-Model Validation and Verification with MetaBest; Jesus J. Lopez Fernandez, Esther Guerra and Juan de Lara
• A Web Based UML Modeling Tool with Touch Screens; Zhiyi Ma, Billy Yeh, Huihong He and Hongjie Chen
• SeSAME: Modeling and Analyzing High-Quality Service Compositions; Svetlana Arifulina, Sven Walther, Matthias Becker and Marie Christin Platenius
• MPAnalyzer: A Tool for Finding Unintended Inconsistencies in Program Source Code; Yoshiki Higo and Shinji Kusumoto
• Firecrow - a tool for Web Application Analysis and Reuse; Josip Maras, Maja Stula and Jan Carlson
• HUSACCT: Architecture Compliance Checking with Rich Sets of Module and Rule Types; Leo Pruijt, Christian Koppe, Sjaak Brinkkemper and Jan Martijn van der Werf
• CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controllers; Reza Matinnejad, Shiva Nejati, Lionel Briand and Thomas Bruckmann
• 8Cage: Lightweight Fault-Based Test Generation for Simulink; Dominik Holling, Alexander Pretschner and Matthias Gemmar
• PBGT Tool: An Integrated Modeling and Testing Environment for Pattern-Based GUI Testing; Rodrigo Moreira and Ana Paiva
• A Tool Chain for Generating the Description Files of Highly Available Software; Maxime Turenne, Ali Kanso and Abdelouahed Gherbi
• DupFinder: Integrated Tool Support for Duplicate Bug Report Detection; Ferdian Thung, Pavneet Singh Kochhar and David Lo