2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), August 18–26, 2013, Saint Petersburg, Russia

Desktop Layout
Fri, August 23, 2013
17:00 – 17:40
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

Time stamp: 2019-04-25T08:03:42+02:00