TCC@STAF 2015: L'Aquila, Italy

The Model Execution Case

The Java Refactoring Case

The Train Benchmark Case

maintained by Schloss Dagstuhl LZI, founded at University of Trier