2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), August 30 – September 4, 2015, Bergamo, Italy

Phone Layout
No Pictures
Sunday, August 30, 2015
Registration (Central)
08:30 – 09:00
A-Test (Workshop)
09:00 – 10:30, Alabastro A
International Workshop on Principles of Software Evolution (Workshop)
09:00 – 10:30, Alabastro B
Break
10:30 – 11:00
A-Test (Workshop)
11:00 – 12:30, Alabastro A
International Workshop on Principles of Software Evolution (Workshop)
11:00 – 12:30, Alabastro B
Lunch
12:30 – 14:00
A-Test (Workshop)
14:00 – 15:30, Alabastro A
International Workshop on Principles of Software Evolution (Workshop)
14:00 – 15:30, Alabastro B
The Use of Text Retrieval and Natural Language Processing in Software Engineering (Tutorial)
14:00 – 15:30, Stampa
Break
15:30 – 16:00
A-Test (Workshop)
16:00 – 17:30, Alabastro A
International Workshop on Principles of Software Evolution (Workshop)
16:00 – 17:30, Alabastro B
The Use of Text Retrieval and Natural Language Processing in Software Engineering (Tutorial)
16:00 – 17:30, Stampa
Monday, August 31, 2015
Registration (Central)
08:30 – 09:00
A-Test (Workshop)
09:00 – 10:30, Alabastro A
Control Theory for Software Engineering (Workshop)
09:00 – 10:30, Alabastro B
Software Engineering for Mobile Apps: Research Accomplishments and Future Challenges (Tutorial)
09:00 – 10:30, Stampa
Software Development Lifecycle for Mobile (Workshop)
09:00 – 10:30, Stucchi
Break
10:30 – 11:00
A-Test (Workshop)
11:00 – 12:30, Alabastro A
Control Theory for Software Engineering (Workshop)
11:00 – 12:30, Alabastro B
Software Engineering for Mobile Apps: Research Accomplishments and Future Challenges (Tutorial)
11:00 – 12:30, Stampa
Software Development Lifecycle for Mobile (Workshop)
11:00 – 12:30, Stucchi
Lunch
12:30 – 14:00
A-Test (Workshop)
14:00 – 15:30, Alabastro A
Control Theory for Software Engineering (Workshop)
14:00 – 15:30, Alabastro B
MODAClouds Project
14:00 – 15:30, Novelli
The Art and Science of Analyzing Software Data (Tutorial)
14:00 – 15:30, Stampa
Software Development Lifecycle for Mobile (Workshop)
14:00 – 15:30, Stucchi
Break
15:30 – 16:00
A-Test (Workshop)
16:00 – 17:30, Alabastro A
Control Theory for Software Engineering (Workshop)
16:00 – 17:30, Alabastro B
MODAClouds Project
16:00 – 17:30, Novelli
The Art and Science of Analyzing Software Data (Tutorial)
16:00 – 17:30, Stampa
Software Development Lifecycle for Mobile (Workshop)
16:00 – 17:30, Stucchi
Tuesday, September 1, 2015
Registration (Central)
08:30 – 09:00
Quality-aware DevOps (Workshop)
08:45 – 10:30, Alabastro A
Doctoral Symposium
09:00 – 10:30, Stucchi
Decentralized Self-Adaptation in Large-Scale Distributed Systems
Publisher's Version
Vehicle Level Continuous Integration in the Automotive Industry
Publisher's Version
Quantifying Architectural Debts
Publisher's Version
User-Centric Security: Optimization of the Security-Usability Trade-Off
Publisher's Version
Automated Unit Test Generation for Evolving Software
Publisher's Version
Social Software Engineering (Workshop)
09:00 – 10:30, Alabastro B
MODAClouds Project
09:00 – 10:30, Novelli
Combining Quantitative and Qualitative Methods in Empirical Software Engineering (Tutorial)
09:00 – 10:30, Stampa
Break
10:30 – 11:00
Quality-aware DevOps (Workshop)
11:00 – 12:30, Alabastro A
Social Software Engineering (Workshop)
11:00 – 12:30, Alabastro B
MODAClouds Project
11:00 – 12:30, Novelli
Combining Quantitative and Qualitative Methods in Empirical Software Engineering (Tutorial)
11:00 – 12:30, Stampa
Doctoral Symposium
11:00 – 12:30, Stucchi
Lunch
12:30 – 14:00
Quality-aware DevOps (Workshop)
13:30 – 15:30, Alabastro A
Social Software Engineering (Workshop)
14:00 – 15:30, Alabastro B
MODAClouds Project
14:00 – 15:30, Novelli
Challenges of Conducting Software Engineering Experiments: Everything You Always Wanted to Know but Were Afraid to Ask (Tutorial)
14:00 – 15:30, Stampa
Doctoral Symposium
14:00 – 15:30, Stucchi
Break
15:30 – 16:00
Quality-aware DevOps (Workshop)
16:00 – 17:30, Alabastro A
Social Software Engineering (Workshop)
16:00 – 17:30, Alabastro B
MODAClouds Project
16:00 – 17:30, Novelli
Challenges of Conducting Software Engineering Experiments: Everything You Always Wanted to Know but Were Afraid to Ask (Tutorial)
16:00 – 17:30, Stampa
Doctoral Symposium
16:00 – 17:30, Stucchi
Guided tour
16:30 – 19:00
ICSE Steering Committee
19:00 – 22:00
Organizing Committee Dinner
20:30 – 23:00
Wednesday, September 2, 2015
Registration (Central)
08:30 – 09:00
Welcome from the Chairs
09:00 – 09:30, Oggioni, Chair: Elisabetta Di Nitto
Welcome from the Chairs
MODAClouds Project
09:00 – 11:00, Novelli
DICE Project
09:00 – 11:00, Stampa
The Role of Science for the Conservation and Preservation of Cultural Heritage and in Fighting Art Crimes (Keynote)
09:30 – 10:30, Oggioni, Chair: Elisabetta Di Nitto
The Role of Science for the Conservation and Preservation of Cultural Heritage and in Fighting Art Crimes (Keynote)
Maurizio Seracini
Visualization of Test Information to Assist Fault Localization (SIGSOFT Impact Paper Award Talk)
10:30 – 11:00, Oggioni, Chair: Nenad Medvidovic
Visualization of Test Information to Assist Fault Localization
James A. Jones
Break
11:00 – 11:30
Software Quality (Research Papers)
11:30 – 13:05, Alabastro A, Chair: Ivica Crnkovic
Suggesting Accurate Method and Class Names
Publisher's Version Preprint Info
Measure It? Manage It? Ignore It? Software Practitioners and Technical Debt
Best-Paper Award
Publisher's Version Preprint Info
Automatically Computing Path Complexity of Programs
Publisher's Version Info
Synthesis and Search-Based Approaches for Reactive Systems (Research Papers)
11:30 – 13:05, Alabastro B, Chair: Joël Greenyer
Systematic Testing of Asynchronous Reactive Systems
Publisher's Version Info
Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
Best-Paper Award
Publisher's Version
GR(1) Synthesis for LTL Specification Patterns
Publisher's Version
Adaptive Systems (Research Papers)
11:30 – 13:05, Oggioni, Chair: Luciano Baresi
Proactive Self-Adaptation under Uncertainty: A Probabilistic Model Checking Approach
Publisher's Version Preprint
Automated Multi-objective Control for Self-Adaptive Software Design
Publisher's Version Preprint
Detecting Event Anomalies in Event-Based Systems
Publisher's Version Preprint Video Info
Human Aspects of Software Engineering (New Ideas)
11:30 – 13:05, Stucchi
Bespoke Tools: Adapted to the Concepts Developers Know
Publisher's Version Preprint
I Heart Hacker News: Expanding Qualitative Research Findings by Analyzing Social News Websites
Publisher's Version Preprint
GitSonifier: Using Sound to Portray Developer Conflict History
Publisher's Version
Automatically Recommending Test Code Examples to Inexperienced Developers
Publisher's Version
Using Software Theater for the Demonstration of Innovative Ubiquitous Applications
Publisher's Version
MODAClouds Project
11:30 – 13:05, Novelli
DICE Project
11:30 – 13:05, Stampa
Lunch
13:05 – 14:30
Search-Based Approaches to Testing, Repair, and Energy Optimisation (Research Papers)
14:30 – 16:05, Alabastro A, Chair: Yue Jia
Optimizing Energy Consumption of GUIs in Android Apps: A Multi-objective Approach
Best-Paper Award
Publisher's Version Preprint Info
Generating TCP/UDP Network Data for Automated Unit Test Generation
Publisher's Version
Staged Program Repair with Condition Synthesis
Publisher's Version Info
Empirical Studies of Software Developers I (Research Papers)
14:30 – 16:05, Alabastro B, Chair: Christoph Treude
When, How, and Why Developers (Do Not) Test in Their IDEs
Publisher's Version Preprint
How Developers Search for Code: A Case Study
Publisher's Version
Tracing Software Developers' Eyes and Interactions for Change Tasks
Publisher's Version Preprint Info
Testing I (Research Papers)
14:30 – 16:05, Oggioni, Chair: Paolo Tonella
Modeling Readability to Improve Unit Tests
Best-Paper Award
Publisher's Version
Improving Model-Based Test Generation by Model Decomposition
Publisher's Version
Synthesizing Tests for Detecting Atomicity Violations
Publisher's Version
Validation, Verification, and Testing (New Ideas)
14:30 – 16:05, Stucchi
Behavioral Log Analysis with Statistical Guarantees
Publisher's Version
Inner Oracles: Input-Specific Assertions on Internal States
Publisher's Version Info
Targeted Program Transformations for Symbolic Execution
Publisher's Version Preprint
Crash Reproduction via Test Case Mutation: Let Existing Test Cases Help
Publisher's Version Preprint
RDIT: Race Detection from Incomplete Traces
Publisher's Version
DICE Project
14:30 – 16:05, Stampa
Break
16:05 – 16:30
Security (Research Papers)
16:30 – 18:00, Alabastro B, Chair: Laurie Williams
Questions Developers Ask While Diagnosing Potential Security Vulnerabilities with Static Analysis
Publisher's Version Preprint Info
Quantifying Developers' Adoption of Security Tools
Publisher's Version Preprint
Auto-patching DOM-Based XSS at Scale
Publisher's Version Preprint Info
Testing II (Research Papers)
16:30 – 18:00, Oggioni, Chair: Gordon Fraser
Assertions Are Strongly Correlated with Test Suite Effectiveness
Publisher's Version Preprint Info
Test Report Prioritization to Assist Crowdsourced Testing
Publisher's Version
Comparing and Combining Test-Suite Reduction and Regression Test Selection
Publisher's Version Preprint
Maintenance and Evolution (New Ideas)
16:30 – 18:00, Stucchi
TACO: Test Suite Augmentation for Concurrent Programs
Publisher's Version
Navigating through the Archipelago of Refactorings
Publisher's Version
Detecting Semantic Merge Conflicts with Variability-Aware Execution
Publisher's Version
Product Lines Can Jeopardize Their Trade Secrets
Publisher's Version
Search-Based Software Engineering (TSE and TOSEM Journal Papers) (Session)
16:30 – 18:00, Alabastro A, Chair: Thomas Zimmermann
Wiem Mkaouer, Marouane Kessentini, Slim Bechikh, Kalyanmoy Deb, and Ali Ouni. Many-Objective Software Remodularization using NSGA-III. ACM TOSEM Issue 24(3)2015

Stefano Di Alesio, Shiva Nejati, and Lionel Briand. Gotlieb, Arnaud Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM TOSEM Issue 25(1)2016

J. Krall, T. Menzies, and M. Davies. GALE: Geometric Active Learning for Search-Based Software Engineering. To appear on IEEE TSE (available online at the time of writing)
DICE Project
16:30 – 18:00, Stampa
SIGSOFT Town Hall and Reception
19:00 – 22:00
Thursday, September 3, 2015
Software without Boundaries: engineering secure invisible software
09:00 – 10:00, Oggioni, Chair: Patrick Heymans
Software without Boundaries: engineering secure invisible software
Bashar Nuseibeh
DICE Project
09:00 – 11:30, Stampa
FSE 2016 and ESEC/FSE 2017 presentations
10:00 – 10:10, Oggioni, Chair: Patrick Heymans
Introduction to the Demo and SRC sessions
10:10 – 10:20, Oggioni, Chair: Patrick Heymans
Tool Demonstrations
10:20 – 11:30, Oggioni
JSketch: Sketching for Java
Publisher's Version Preprint Info
Don't Panic: Reverse Debugging of Kernel Drivers
Publisher's Version Info
UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications
Publisher's Version
DexterJS: Robust Testing Platform for DOM-Based XSS Vulnerabilities
Publisher's Version Preprint Video Info
T3i: A Tool for Generating and Querying Test Suites for Java
Publisher's Version Video Info
iTrace: Enabling Eye Tracking on Software Artifacts within the IDE to Support Software Engineering Tasks
Publisher's Version Preprint Video Info
Nyx: A Display Energy Optimizer for Mobile Web Apps
Publisher's Version
NARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements
Publisher's Version Info
Commit Guru: Analytics and Risk Prediction of Software Commits
Publisher's Version Preprint Info
OSSMETER: A Software Measurement Platform for Automatically Analysing Open Source Software Projects
Publisher's Version Preprint
Comprehensive Service Matching with MatchBox
Publisher's Version Preprint Video Info
UEDashboard: Awareness of Unusual Events in Commit Histories
Publisher's Version Preprint Info
MatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix
Publisher's Version Video Info
Student Research Competition (Posters)
10:20 – 11:30, Oggioni
Increasing the Efficiency of Search-Based Unit Test Generation using Parameter Control
Publisher's Version Preprint
Enhancing Android Application Bug Reporting
Publisher's Version Preprint Video Info
Improving Energy Consumption in Android Apps
Publisher's Version
Automated Generation of Programming Language Quizzes
Publisher's Version
Spotting Familiar Code Snippet Structures for Program Comprehension
Publisher's Version Preprint
Combining Eye Tracking with Navigation Paths for Identification of Cross-Language Code Dependencies
Publisher's Version Preprint
A Textual Domain Specific Language for Requirement Modelling
Publisher's Version Preprint
Automated Attack Surface Approximation
Publisher's Version Preprint
Pockets: A Tool to Support Exploratory Programming for Novices and Educators
Publisher's Version
Break
11:00 – 11:30
Debugging (Research Papers)
11:30 – 13:05, Alabastro A, Chair: David Lo
Crowd Debugging
Publisher's Version
On the Use of Delta Debugging to Reduce Recordings and Facilitate Debugging of Web Applications
Publisher's Version Preprint Info
MemInsight: Platform-Independent Memory Debugging for JavaScript
Publisher's Version
Web Applications (Research Papers)
11:30 – 13:05, Alabastro B, Chair: Mira Mezini
JITProf: Pinpointing JIT-Unfriendly JavaScript Code
Publisher's Version Preprint Info
Cross-Language Program Slicing for Dynamic Web Applications
Publisher's Version
Detecting JavaScript Races That Matter
Publisher's Version Info
Configurable Systems (Research Papers)
11:30 – 13:05, Oggioni, Chair: Shiva Nejati
Performance-Influence Models for Highly Configurable Systems
Publisher's Version Preprint Info
Users Beware: Preference Inconsistencies Ahead
Best-Paper Award
Publisher's Version
Hey, You Have Given Me Too Many Knobs!: Understanding and Dealing with Over-Designed Configuration in System Software
Publisher's Version Preprint Video Info
Quality (Industry Papers)
11:30 – 13:05, Stucchi
Predicting Field Reliability
Publisher's Version
REMI: Defect Prediction for Efficient API Testing
Publisher's Version Preprint
OnSpot System: Test Impact Visibility during Code Edits in Real Software
Publisher's Version
DICE Project
11:30 – 13:05, Stampa
ESEC SC LM
13:05 – 14:30, Novelli
Lunch
13:05 – 14:30
Concurrency (Research Papers)
14:30 – 16:00, Alabastro A, Chair: Mauro Pezzè
What Change History Tells Us about Thread Synchronization
Publisher's Version Preprint
Finding Schedule-Sensitive Branches
Publisher's Version
Effective and Precise Dynamic Detection of Hidden Races for Java Programs
Publisher's Version Preprint
Program Analysis I (Research Papers)
14:30 – 16:00, Alabastro B, Chair: Darko Marinov
A User-Guided Approach to Program Analysis
Best-Paper Award
Publisher's Version
Hidden Truths in Dead Software Paths
Publisher's Version Preprint Info
P3: Partitioned Path Profiling
Publisher's Version
Studies of Software Engineering Research and Practice (Research Papers)
14:30 – 16:00, Oggioni, Chair: Jens Krinke
The Making of Cloud Applications: An Empirical Study on Software Development for the Cloud
Publisher's Version
An Empirical Study of Goto in C Code from GitHub Repositories
Publisher's Version Preprint
How Practitioners Perceive the Relevance of Software Engineering Research
Best-Paper Award
Publisher's Version
Software Process (Industry Papers)
14:30 – 16:00, Stucchi
Products, Developers, and Milestones: How Should I Build My N-Gram Language Model
Publisher's Version
Evaluating a Formal Scenario-Based Method for the Requirements Analysis in Automotive Software Engineering
Publisher's Version
Barriers and Enablers for Shortening Software Development Lead-Time in Mechatronics Organizations: A Case Study
Publisher's Version
DICE Project
14:30 – 16:00, Stampa
Break
16:00 – 16:30
Program Repair (Research Papers)
16:30 – 18:00, Alabastro A, Chair: Myra Cohen
Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair
Publisher's Version Preprint
Responsive Designs in a Snap
Publisher's Version
CLOTHO: Saving Programs from Malformed Strings and Incorrect String-Handling
Publisher's Version Info
Information Retrieval (Research Papers)
16:30 – 18:00, Alabastro B, Chair: Denys Poshyvanyk
Query-Based Configuration of Text Retrieval Solutions for Software Engineering Tasks
Publisher's Version Preprint Info
Information Retrieval and Spectrum Based Bug Localization: Better Together
Publisher's Version Preprint
Rule-Based Extraction of Goal-Use Case Models from Text
Publisher's Version Info
Prediction and Recommendation (Research Papers)
16:30 – 18:00, Oggioni, Chair: Tim Menzies
Heterogeneous Cross-Company Defect Prediction by Unified Metric Representation and CCA-Based Transfer Learning
Publisher's Version
Heterogeneous Defect Prediction
Publisher's Version Preprint
Clone-Based and Interactive Recommendation for Modifying Pasted Code
Publisher's Version Preprint
Requirements and Specification (Industry Papers)
16:30 – 18:00, Stucchi
Semantic Degrees for Industrie 4.0 Engineering: Deciding on the Degree of Semantic Formalization to Select Appropriate Technologies
Publisher's Version
Towards Automating the Security Compliance Value Chain
Publisher's Version
Requirements, Architecture, and Quality in a Mission Critical System: 12 Lessons Learned
Publisher's Version
DICE Project
16:30 – 18:00, Stampa
Social Dinner
19:00 – 22:00
Friday, September 4, 2015
Formal methods and continuous change: towards a happy marriage (ACM SIGSOFT Outstanding Research Award Talk)
09:00 – 10:00, Oggioni, Chair: Mark Harman
Formal methods and continuous change: towards a happy marriage
Carlo Ghezzi
Measurement and Metric (Research Papers)
10:00 – 11:00, Alabastro A, Chair: Kathryn Stolee
Summarizing and Measuring Development Activity
Publisher's Version Preprint Info
A Method to Identify and Correct Problematic Software Activity Data: Exploiting Capacity Constraints and Data Redundancies
Publisher's Version Preprint
Patterns and Coding Convention
10:00 – 11:00, Alabastro B, Chair: Emerson Murphy-Hill
A. Ampatzoglou, A. Chatzigeorgiou, S. Charalampidou, and P. Avgeriou. The Effect of GoF Design Patterns on Stability: A Case Study; To appear on IEEE TSE (available online at the time of writing)
Gamification for Enforcing Coding Conventions
Publisher's Version
Program Analysis II (Research Papers)
10:00 – 11:00, Oggioni, Chairs: Alessandra Gorla
Symbolic Execution of Programs with Heap Inputs
Publisher's Version
Automatically Deriving Pointer Reference Expressions from Binary Code for Memory Dump Analysis
Publisher's Version
Student Research Competition 1 (SRC - Finals)
10:00 – 11:00, Stucchi, Chairs: Andrew Begel and Anne Koziolek
Break
11:00 – 11:30
Search, Synthesis, and Verification (Research Papers)
11:30 – 13:10, Alabastro A, Chair: Domenico Bianculli
TLV: Abstraction through Testing, Learning, and Validation
Publisher's Version Preprint Info
Mimic: Computing Models for Opaque Code
Publisher's Version Preprint Info
Witness Validation and Stepwise Testification across Software Verifiers
Publisher's Version Preprint Info
Java and Object-Oriented Programming (Research Papers)
11:30 – 13:10, Alabastro B, Chair: Andrea Arcuri
Efficient and Reasonable Object-Oriented Concurrency
Publisher's Version Preprint
FlexJava: Language Support for Safe and Modular Approximate Programming
Publisher's Version
Getting to Know You: Towards a Capability Model for Java
Publisher's Version Preprint Info
Mobile Applications (Research Papers)
11:30 – 13:10, Oggioni, Chair: Federica Sarro
String Analysis for Java and Android Applications
Publisher's Version
Auto-completing Bug Reports for Android Applications
Publisher's Version Preprint Video Info
CLAPP: Characterizing Loops in Android Applications
Publisher's Version Info
Tool Demonstrations 1 (Tool Demonstrations)
11:30 – 13:10, Hall Bar
JSketch: Sketching for Java
Publisher's Version Preprint Info
Don't Panic: Reverse Debugging of Kernel Drivers
Publisher's Version Info
UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications
Publisher's Version
DexterJS: Robust Testing Platform for DOM-Based XSS Vulnerabilities
Publisher's Version Preprint Video Info
T3i: A Tool for Generating and Querying Test Suites for Java
Publisher's Version Video Info
iTrace: Enabling Eye Tracking on Software Artifacts within the IDE to Support Software Engineering Tasks
Publisher's Version Preprint Video Info
Student Research Competition 2 (SRC - Finals)
11:30 – 13:10, Stucchi, Chairs: Andrew Begel and Anne Koziolek
Lunch
13:10 – 14:30
Empirical Studies of Software Developers II (Research Papers)
14:30 – 16:05, Alabastro A, Chair: Massimiliano Di Penta
Quality and Productivity Outcomes Relating to Continuous Integration in GitHub
Publisher's Version
Developer Onboarding in GitHub: The Role of Prior Social Links and Language Experience
Publisher's Version
Impact of Developer Turnover on Quality in Open-Source Software
Publisher's Version Preprint Info
Symbolic Execution (Research Papers)
14:30 – 16:05, Alabastro B, Chairs: Alessandro Orso
MultiSE: Multi-path Symbolic Execution using Value Summaries
Best-Paper Award
Publisher's Version
Assertion Guided Symbolic Execution of Multithreaded Programs
Publisher's Version
Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution
Publisher's Version Preprint Info
Testing III (Research Papers)
14:30 – 16:05, Oggioni, Chair: Justyna Petke
Efficient Dependency Detection for Safe Java Test Acceleration
Publisher's Version Preprint
Turning Programs against Each Other: High Coverage Fuzz-Testing using Binary-Code Mutation and Dynamic Slicing
Publisher's Version Preprint
Guided Differential Testing of Certificate Validation in SSL/TLS Implementations
Publisher's Version Info
Tool Demonstrations 2 (Tool Demonstrations)
14:30 – 16:05, Hall Bar
Nyx: A Display Energy Optimizer for Mobile Web Apps
Publisher's Version
NARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements
Publisher's Version Info
Commit Guru: Analytics and Risk Prediction of Software Commits
Publisher's Version Preprint Info
OSSMETER: A Software Measurement Platform for Automatically Analysing Open Source Software Projects
Publisher's Version Preprint
Comprehensive Service Matching with MatchBox
Publisher's Version Preprint Video Info
UEDashboard: Awareness of Unusual Events in Commit Histories
Publisher's Version Preprint Info
MatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix
Publisher's Version Video Info
Closing
16:05 – 16:30, Oggioni, Chair: Mark Harman
Guided tour
16:30 – 19:00

Time stamp: 2020-09-27T14:41:55+02:00