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