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

Phone Layout
Show Pictures
Sunday, August 18, 2013
5th International Workshop on Social Software Engineering (Co-located Workshop)
09:30 – 18:00, Heraldic Hall
Morning Break
11:00 – 11:30, Foyer
Lunch
13:00 – 14:30, Foyer
Afternoon Break
16:00 – 16:30, Foyer
Monday, August 19, 2013
International Conference on Multicore Software Engineering, Performance, and Tools (Co-located Conference)
09:30 – 18:00, Heraldic Hall
1st International Workshop on Software Ecosystem Architectures (Co-located Workshop)
09:30 – 18:00, Pavlovsky Hall
1st International Workshop on Software Development Lifecycle for Mobile (Co-located Workshop)
09:30 – 18:00, Session Hall
Morning Break
11:00 – 11:30, Foyer
Lunch
13:00 – 14:30, Foyer
13th International Workshop on Principles of Software Evolution (Co-located Conference)
14:30 – 18:00, Big Hall
Afternoon Break
16:00 – 16:30, Foyer
Tuesday, August 20, 2013
Doctoral Papers 1 (Doctoral Symposium)
09:30 – 11:00, Session Hall
Automatically Describing Software Faults
Publisher's Version Preprint
Fuzzy Service Matching in On-The-Fly Computing
Publisher's Version
13th International Workshop on Principles of Software Evolution (Co-located Conference)
09:30 – 18:00, Big Hall
International Conference on Multicore Software Engineering, Performance, and Tools (Co-located Conference)
09:30 – 13:00, Heraldic Hall
Software Engineering for Mobile Apps: Research Accomplishments and Future Challenges (Tutorial)
09:30 – 11:00, Mariinsky Hall
Software Engineering for Mobile Apps: Research Accomplishments and Future Challenges
Emad Shihab and Ahmed E. Hassan
Using Continuous Prediction and Tradeoffs to Achieve Project Success (Tutorial)
09:30 – 11:00, Pavlovsky Hall
Using Continuous Prediction and Tradeoffs to Achieve Project Success
Murray Cantor and Peri Tarr
Morning Break
11:00 – 11:30, Foyer
Doctoral Papers 2 (Doctoral Symposium)
11:30 – 13:00, Session Hall
PHRT: A Model and Programmable Tool for Hardware Reengineering Automation
Publisher's Version
Using Topic Models to Understand the Evolution of a Software Ecosystem
Publisher's Version Preprint
Statistics in Software Engineering: Pitfalls and Good Practices (Tutorial)
11:30 – 13:00, Mariinsky Hall
Statistics in Software Engineering: Pitfalls and Good Practices
Audris Mockus, Ahmed E. Hassan, and Meiyappan Nagappan
Lunch
13:00 – 14:30, Foyer
Doctoral Papers 3 (Doctoral Symposium)
14:30 – 16:00, Session Hall
Automotive Architecture Description and Its Quality
Publisher's Version Preprint
Towards Open Architecture System
Publisher's Version
Git & GitHub Foundations for Educators (Tutorial)
14:30 – 16:00, Mariinsky Hall
Git & GitHub Foundations for Educators
John Britton
Symbolic Execution For Program Debugging and Repair (Tutorial)
14:30 – 16:00, Pavlovsky Hall
Symbolic Execution For Program Debugging and Repair
Abhik Roychoudhury and Satish Chandra
Afternoon Break
16:00 – 16:30, Foyer
Doctoral Papers 4 (Doctoral Symposium)
16:30 – 18:00, Session Hall
A Framework for Defining the Dynamic Semantics of DSLs
Publisher's Version
Do's and Don'ts for Empirical Software Engineering: Three different perspectives (Tutorial)
16:30 – 18:00, Mariinsky Hall
Do's and Don'ts for Empirical Software Engineering: Three different perspectives
Massimiliano Di Penta, Jens Knodel, and Carl Worms
Energy-Aware and Energy-Efficient Software (Tutorial)
16:30 – 18:00, Pavlovsky Hall
Energy-Aware and Energy-Efficient Software
Yu David Liu
Welcome Reception
18:00 – 19:00, Column Hall and Foyer
ICSE Steering Commitee Meeting
19:00 – 21:00, Mariinsky Hall
Wednesday, August 21, 2013
Opening
09:00 – 09:30, Column Hall
A Logical Revolution (Keynote)
09:30 – 11:00, Column Hall, Chairs: Bertrand Meyer
A Logical Revolution (Keynote)
Publisher's Version
Morning Break
10:30 – 11:00, Foyer
Testing I (Technical Research)
11:00 – 12:15, Heraldic Hall, Chairs: Alessandro Orso
Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing
Publisher's Version Info
Con2colic Testing
Publisher's Version
Boosting Concolic Testing via Interpolation
Publisher's Version
Dynamic and Variable Software (Technical Research)
11:00 – 12:15, Session Hall, Chair: Elisabetta Di Nitto
Adequate Monitoring of Service Compositions
Publisher's Version Preprint
Prediction of Atomic Web Services Reliability Based on K-Means Clustering
Artifact Accepted for Presentation
Publisher's Version Preprint Info
Scalable Analysis of Variable Software
Publisher's Version Info
Implementing Sound Software-Engineering Practices in Companies (Industrial Research)
11:00 – 12:15, Big Hall
Precise Range Analysis on Large Industry Code
Publisher's Version
Agreements for Software Reuse in Corporations
Publisher's Version
Good Technology Makes the Difficult Task Easy
Publisher's Version
Lunch
12:15 – 13:45, Foyer
Formal Reasoning (Technical Research)
13:45 – 15:00, Heraldic Hall, Chair: Paola Inverardi
Bayesian Inference using Data Flow Analysis
Publisher's Version Preprint
Second-Order Constraints in Dynamic Invariant Inference
Publisher's Version Preprint
Z3-str: A Z3-Based String Solver for Web Application Analysis
Artifact Accepted for Presentation
Publisher's Version Info
Empirical Studies I (Technical Research)
13:45 – 15:00, Session Hall, Chair: Massimiliano Di Penta
An Empirical Analysis of the Co-evolution of Schema and Code in Database Applications
Publisher's Version Preprint Info
Automated Oracles: An Empirical Study on Cost and Effectiveness
Publisher's Version Info
Sample Size vs. Bias in Defect Prediction
Publisher's Version
Approaches to Quality (Industrial Research)
13:45 – 15:00, Big Hall
ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing
Publisher's Version Preprint Info
Risky Files: An Approach to Focus Quality Improvement Effort
Publisher's Version
System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Publisher's Version
Parallel, Concurrent, and Distributed Systems (Technical Research)
15:15 – 16:30, Heraldic Hall, Chair: David Rosenblum
Finding Incorrect Compositions of Atomicity
Artifact Accepted for Presentation
Publisher's Version
Tightfit: Adaptive Parallelization with Foresight
Publisher's Version
Distributed Program Tracing
Publisher's Version
Software Development Activities (Technical Research)
15:15 – 16:30, Session Hall, Chair: Tony Wasserman
Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Publisher's Version
Convergent Contemporary Software Peer Review Practices
Publisher's Version
Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects
Publisher's Version Preprint
Effective Industry Use of Software-Engineering Tools (Industrial Research)
15:15 – 16:30, Big Hall
h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications
Publisher's Version
Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Publisher's Version
The Economics of Static Analysis Tools
Publisher's Version
Afternoon Break
16:30 – 17:00, Foyer
Empirical Answers to Fundamental Software Engineering Problems (Panel) (Panels)
17:00 – 18:15, Column Hall, Chairs: Bertrand Meyer
Empirical Answers to Fundamental Software Engineering Problems (Panel)
Publisher's Version
SIGSOFT Meeting
18:15 – 18:45, Column Hall
Thursday, August 22, 2013
Producing Software by Integration: Challenges and Research Directions (Keynote)
09:30 – 11:00, Column Hall, Chairs: Bertrand Meyer
Producing Software by Integration: Challenges and Research Directions (Keynote)
Publisher's Version
Morning Break
10:30 – 11:00, Foyer
Software Engineering in Russia and Abroad (Panel) (Panels)
11:00 – 12:15, Session Hall, Chair: Nick Puntikov
Testing II (Technical Research)
11:00 – 12:15, Heraldic Hall, Chair: Antonia Bertolino
Dynodroid: An Input Generation System for Android Apps
Distinguished Artifact
Publisher's Version Info
KATCH: High-Coverage Testing of Software Patches
Distinguished Artifact
Publisher's Version Preprint Info
Termination Proofs from Tests
Publisher's Version Preprint
Analysis and Testing (New Ideas)
11:00 – 12:15, Big Hall, Chair: Ben Livshits
Extracting URLs from JavaScript via Program Analysis
Publisher's Version
Data Debugging with Continuous Testing
Publisher's Version Preprint
Iterative Test Suites Refinement for Elastic Computing Systems
Publisher's Version
Using Fault History to Improve Mutation Reduction
Publisher's Version Preprint
Lunch
12:15 – 13:45, Foyer
ESEC/FSE Steering Commitee Meeting
12:15 – 13:45, Pavlovsky Hall
Dynamic Analysis (Technical Research)
13:45 – 15:00, Heraldic Hall, Chair: Carlo A. Furia
SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Publisher's Version Info
Cachetor: Detecting Cacheable Data to Remove Bloat
Publisher's Version
Effective Dynamic Detection of Alias Analysis Errors
Publisher's Version Info
Models and Features (Technical Research)
13:45 – 15:00, Session Hall, Chair: Nadia Polikarpova
Feature Model Extraction from Large Collections of Informal Product Descriptions
Publisher's Version Preprint
N-Way Model Merging
Publisher's Version
Compiling Mockups to Flexible UIs
Artifact Accepted for Presentation
Publisher's Version Video Info
Hunting Bugs (New Ideas)
13:45 – 15:00, Big Hall, Chair: Koushik Sen
A Cost-Effectiveness Criterion for Applying Software Defect Prediction Models
Publisher's Version
BugMap: A Topographic Map of Bugs
Publisher's Version
Lexical Statistical Machine Translation for Language Migration
Publisher's Version
Code Fragment Summarization
Publisher's Version Preprint Video
Test and Analysis (Technical Research)
15:15 – 16:30, Heraldic Hall, Chair: Vladimir Itsykson
Making Offline Analyses Continuous
Publisher's Version Preprint
Regression Tests to Expose Change Interaction Errors
Publisher's Version Preprint
Differential Assertion Checking
Publisher's Version Preprint
Maintenance and Evolution (Technical Research)
15:15 – 16:30, Session Hall, Chair: Ivica Crnkovic
Preventing Database Deadlocks in Applications
Publisher's Version Info
Identifying Message Flow in Distributed Event-Based Systems
Publisher's Version Info
Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features
Publisher's Version Preprint
Understanding Software Development (New Ideas)
15:15 – 16:30, Big Hall, Chair: Anders Møller
Understanding Gamification Mechanisms for Software Development
Publisher's Version
Toward Understanding the Causes of Unanswered Questions in Software Information Sites: A Case Study of Stack Overflow
Publisher's Version Preprint
Where Is the Business Logic?
Publisher's Version
Towards Emotional Awareness in Software Development Teams
Publisher's Version
Afternoon Break
16:30 – 17:00, Foyer
A Publication Culture in Software Engineering (Panel) (Panels)
17:00 – 18:15, Column Hall, Chair: Steven Fraser
A Publication Culture in Software Engineering (Panel)
Publisher's Version
Banquet
19:30 – 22:30, Bezborodko Palace
We leave from Razumovsky Palace at 18:45-19:15 on foot, in several groups lead by the student volunteers
Artifact Evaluation (Summary) (Artifact Presentations)
21:00 – 21:10, Bezborodko Palace, Chairs: Alexandre Bergel
Artifact Evaluation (Summary)
Publisher's Version Info
Friday, August 23, 2013
Software Engineering for Mathematics (Keynote)
09:30 – 11:00, Column Hall, Chairs: Bertrand Meyer
Software Engineering for Mathematics (Keynote)
Publisher's Version
Morning Break
10:30 – 11:00, Foyer
Formal Verification (Technical Research)
11:00 – 12:15, Heraldic Hall, Chair: Marsha Chechik
Precision Reuse for Efficient Regression Verification
Artifact Accepted for Presentation
Publisher's Version Preprint Info
Cascading Verification: An Integrated Method for Domain-Specific Model Checking
Publisher's Version
Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
Artifact Accepted for Presentation
Publisher's Version Info
Model Inference and Synthesis (Technical Research)
11:00 – 12:15, Session Hall, Chair: Wilhelm Schäfer
Mining Behavior Models from Enterprise Web Applications
Publisher's Version
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications
Publisher's Version
Synthesis of Component and Connector Models from Crosscutting Structural Views
Artifact Accepted for Presentation
Publisher's Version Info
Tool Demonstrations I (Tool Demonstrations)
11:00 – 12:15, Big Hall, Chair: Carlo A. Furia, Sebastian Nanz
SocialCDE: A Social Awareness Tool for Global Software Teams
Publisher's Version Preprint Video Info
REDACT: Preventing Database Deadlocks from Application-Based Transactions
Publisher's Version Video Info
aPET: A Test Case Generation Tool for Concurrent Objects
Publisher's Version Info
Lunch
12:15 – 13:45, Foyer
FSE 2014 Meeting
12:15 – 13:45, Pavlovsky Hall
Empirical Studies II (Technical Research)
13:45 – 15:00, Heraldic Hall, Chair: Harald Gall
Searching for Better Configurations: A Rigorous Approach to Clone Evaluation
Publisher's Version Preprint Info
Diversity in Software Engineering Research
Artifact Accepted for Presentation
Publisher's Version Preprint Info
API Change and Fault Proneness: A Threat to the Success of Android Apps
Publisher's Version Preprint Info
JavaScript (Technical Research)
13:45 – 15:00, Session Hall, Chair: Bara Buhnova
Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript
Publisher's Version
Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries
Publisher's Version
Server Interface Descriptions for Automated Testing of JavaScript Web Applications
Publisher's Version Info
Tool Demonstrations II (Tool Demonstrations)
13:45 – 15:00, Big Hall, Chair: Carlo A. Furia, Sebastian Nanz
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Publisher's Version Video Info
RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Publisher's Version Video Info
PoMMaDe: Pushdown Model-Checking for Malware Detection
Publisher's Version Video Info
RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions
Publisher's Version Video Info
Source Code and Programming (Technical Research)
15:15 – 16:30, Heraldic Hall, Chair: Ben Livshits
Explaining Inconsistent Code
Publisher's Version
A Statistical Semantic Language Model for Source Code
Publisher's Version
Crossing the Gap from Imperative to Functional Programming through Refactoring
Artifact Accepted for Presentation
Publisher's Version Preprint Info
Bug Detection (Technical Research)
15:15 – 16:30, Session Hall, Chair: Mark Harman
Scalable and Incremental Software Bug Detection
Publisher's Version
Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs
Publisher's Version Info
Mining Succinct Predicated Bug Signatures
Artifact Accepted for Presentation
Publisher's Version Info
Tool Demonstrations III (Tool Demonstrations)
15:15 – 16:30, Big Hall, Chair: Carlo A. Furia, Sebastian Nanz
Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript
Publisher's Version Video Info
RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models
Publisher's Version Info
USMMC: A Self-Contained Model Checker for UML State Machines
Publisher's Version Video Info
Afternoon Break
16:30 – 17:00, Foyer
Artifact Presentations
17:00 – 17:40, 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
Awards and Closing
17:45 – 18:15, Column Hall
Saturday, August 24, 2013
Symposium on Search-Based Software Engineering (Co-located Conference)
09:30 – 18:00, Heraldic Hall
Morning Break
11:00 – 11:30, Foyer
Lunch
13:00 – 14:30, Foyer
Afternoon Break
16:00 – 16:30, Foyer
Sunday, August 25, 2013
Symposium on Search-Based Software Engineering (Co-located Conference)
09:30 – 18:00, Heraldic Hall
Morning Break
11:00 – 11:30, Foyer
Lunch
13:00 – 14:30, Foyer
Afternoon Break
16:00 – 16:30, Foyer
Monday, August 26, 2013
Symposium on Search-Based Software Engineering (Co-located Conference)
09:30 – 16:30, Heraldic Hall
Morning Break
11:00 – 11:30, Foyer
Lunch
13:00 – 14:30, Foyer

Time stamp: 2020-07-10T05:48:37+02:00