9th Joint Meeting of
the European Software Engineering Conference and
the ACM SIGSOFT Symposium
on the Foundations of Software Engineering

Artifact presentations

In total we have received 22 artifacts. 12 have been assessed as “met expectation” or “Exceeded expectations”.
Below is the list of artifacts that have been positively evaluated.

Out of the 12 positively evaluated artifacts, 8 will be presented on Friday 23 August 2013, during a dedicated slot 17:00 - 17:40. Each presentation will have 5 minutes.

Friday, 17:00 - 17:40

Location: Column Hall

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

The remaining 4 artifacts will be presented during their paper presentation slot:

Meiyappan Nagappan, Thomas Zimmermann and Christian Bird
Diversity in Software Engineering Research

Chengnian Sun and Siau-Cheng Khoo
Mining Succinct Predicated Bug Signatures

Aravind Machiry, Rohan Tahiliani and Mayur Naik
Dynodroid: An Input Generation System for Android Apps

Pietro Braione, Giovanni Denaro and Mauro Pezze'
Enhancing Symbolic Execution with Built-in Term Rewriting and Constrained Lazy Initialization

Artifact Evaluation Committee



Supported by