Tool Demonstrations

The call for papers for tool demonstrations is now closed. The following papers have been accepted for tool demonstration.

Model Repair and Transformation with Echo
Nuno Macedo, Tiago Guimarães, and Alcino Cunha

Smart Cloud Broker: Finding Your Home in the Clouds
Mohan Baruwal Chhetri, Sergei Chichin, Quoc Bao Vo, and Ryszard Kowalczyk

OCRA: A Tool for Checking the Refinement of Temporal Contracts
Alessandro Cimatti, Michele Dorigatti, and Stefano Tonetta

The Bounded Model Checker LLBMC
Stephan Falke, Florian Merz, and Carsten Sinz

CSeq: A Concurrency Pre-processor for Sequential C Verification Tools
Bernd Fischer, Omar Inverso, and Gennaro Parlato

Automated Testing of Cloud-Based Elastic Systems with AUToCLES
Alessio Gambi, Waldemar Hummer, and Schahram Dustdar

CONVErT: Tool Support for Automatic Model Transformation Specification using Concrete Visualisations
Iman Avazpour, John Grundy, and Lars Grunske

CCmutator: A Mutation Generator for Concurrency Constructs in Multithreaded C/C++ Applications
Markus Kusano and Chao Wang

Crushinator: A Game-Independent Testing Tool Framework
Christopher Schaefer, Hyunsook Do, and Brian Slator

Pex4Fun: A Web-Based Environment for Educational Gaming via Automated Test Generation
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, and Judith Bishop

Developing Self-Verifying Service-Based Systems
Radu Calinescu, Kenneth Johnson, and Yasmin Rafiq

TRAM: A Tool for Transforming Textual Requirements into Analysis Models
Keletso Joel Letsholo, Liping Zhao, and Erol-Valeriu Chioasca

iProbe: A Lightweight User-Level Dynamic Instrumentation Framework
Nipun Arora, Hui Zhang, Junghwan Rhee, Kenji Yoshihira, and Guofei Jiang