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
Online

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
Online

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
Online

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
Online

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
Online

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

Artifact Evaluation Committee

Chairs:

Committee:

Supported by