Artifact Presentations
Column Hall, Chairs: Alexandre Bergel
Paul Marinescu and Cristian Cadar – KATCH: High-Coverage Testing of Software Patches
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler – Linux Driver Revisions for Regression Verification
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe – Synthesis of Component and Connector Models from Crosscutting Structural Views
Marin Silic, Goran Delac, and Sinisa Srbljic – Prediction of Atomic Web Services Reliability Based on K-means Clustering
Nishant Sinha and Rezwana Karim – Compiling Mockups to Flexible UIs
Alex Gyori, Danny Dig, Lyle Franklin, and Jan Lahoda – Crossing the gap from imperative to functional programming through refactoring
Peng Liu – Finding Incorrect Compositions of Atomicity
Yunhui Zheng, Xiangyu Zhang, and Vijay Ganesh – Z3-str: A String Theory Plugin on Z3 for Web Application Analysis
