ESEC/FSE 2018
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)

26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), November 4–9, 2018, Lake Buena Vista, FL, USA

Phone Layout
No Pictures
Tuesday, November 6, 2018
Messages from the Chairs
08:20 – 08:30
Messages from the Chairs
Behind Every Great Deep Learning Framework Is an Even Greater Programming Languages Concept (Keynote) (Invited Papers)
08:30 – 10:00
Behind Every Great Deep Learning Framework Is an Even Greater Programming Languages Concept (Keynote)
Publisher's Version
Doctorial Symposium
10:00 – 10:30
Student Research Competition
10:00 – 10:30
Practices and Tools for Better Software Testing
Publisher's Version Preprint
Automated Scenario-Based Integration Testing of Distributed Systems
Publisher's Version
Automated Support for Mobile Application Testing and Maintenance
Publisher's Version
Towards Learning-Augmented Languages
Publisher's Version
Moving towards Objective Measures of Program Comprehension
Publisher's Version
On the Adoption of Neural Networks in Modeling Software Reliability
Publisher's Version
Semantic Inference from Natural Language Privacy Policies and Android Code
Publisher's Version
Type Migration in Large-Scale Code Bases
Publisher's Version
Intelligent Bug Fixing with Software Bug Knowledge Graph
Publisher's Version
Reshaping Distributed Agile and Adaptive Development Environment
Publisher's Version
Quality Assurance Automation in Autonomous Systems
Publisher's Version
How Dance(Sport) Can Help to Produce Better Software
Publisher's Version
How Do Developers Resolve Merge Conflicts? An Investigation into the Processes, Tools, and Improvements
Publisher's Version Preprint
Feature-Interaction Aware Configuration Prioritization
Publisher's Version
Dara: Hybrid Model Checking of Distributed Systems
Publisher's Version
Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs
Publisher's Version
Mining Error-Handling Specifications for Systems Software
Publisher's Version
Diversity and Decorum in Open Source Communities
Publisher's Version
Concurrency and Races (Research Papers)
10:30 – 12:00
Log Mining (Research Papers)
10:30 – 12:00
Formal Analysis (Industry Papers)
10:30 – 12:00
Testing (Tool Demonstrations)
10:30 – 12:00
CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining
Publisher's Version
Using Finite-State Models for Log Differencing
Publisher's Version
Modeling and Testing a Family of Surgical Robots: An Experience Report
Publisher's Version Preprint
BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Publisher's Version
Testing Multithreaded Programs via Thread Speed Control
Publisher's Version Info
Identifying Impactful Service System Problems via Log Analysis
Publisher's Version
Efficient Static Checking of Library Updates
Publisher's Version
FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Publisher's Version Video Info
Data Race Detection on Compressed Traces
Publisher's Version Preprint Artifacts Available Artifacts Reusable Artifacts Functional
Themis: Automatically Testing Software for Discrimination
Publisher's Version Preprint Video Info
Practical AJAX Race Detection for JavaScript Web Applications
Publisher's Version Preprint Info Artifacts Available Artifacts Reusable Artifacts Functional
Vista: Web Test Repair using Computer Vision
Publisher's Version Preprint Video
Deep Learning (Research Papers)
13:30 – 15:00
Performance (Research Papers)
13:30 – 15:00
Software Analysis I (Research Papers)
13:30 – 15:00
Security (Industry Papers)
13:30 – 15:00
DeepSim: Deep Learning Code Functional Similarity
Publisher's Version
Learning to Sample: Exploiting Similarities across Environments to Learn Performance Models for Configurable Systems
Publisher's Version
RefiNym: Using Names to Refine Types
Publisher's Version
Are Mobile Banking Apps Secure? What Can Be Improved?
Publisher's Version
Deep Learning Type Inference
Publisher's Version Preprint Info
Performance Comprehension at WiredTiger
Publisher's Version
Darwinian Data Structure Selection
Publisher's Version Preprint Info
VulSeeker-Pro: Enhanced Semantic Learning Based Binary Vulnerability Seeker with Emulation
Publisher's Version
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Publisher's Version Preprint Info Artifacts Functional
MemFix: Static Analysis-Based Repair of Memory Deallocation Errors for C
Publisher's Version
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
Publisher's Version Preprint Info Artifacts Available Artifacts Functional
PAFL: Extend Fuzzing Optimizations of Single Mode to Industrial Parallel Mode
Publisher's Version
MODE: Automated Neural Network Model Debugging via State Differential Analysis and Input Selection
Publisher's Version
Software Development Challenges with Air-Gap Isolation
Publisher's Version
Developer Studies (Research Papers)
15:30 – 17:00
Security (Research Papers)
15:30 – 17:00
Testing I (Research Papers)
15:30 – 17:00
Bugs (Tool Demonstrations)
15:30 – 17:00
Towards a Theory of Software Development Expertise
Publisher's Version Preprint Info Artifacts Available Artifacts Reusable Artifacts Functional
The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale
Publisher's Version Preprint Artifacts Available Artifacts Reusable Artifacts Functional
Singularity: Pattern Fuzzing for Worst Case Complexity
Publisher's Version Artifacts Available Results Replicated
Augmenting Stack Overflow with API Usage Patterns Mined from GitHub
Publisher's Version Preprint Video Info
What Makes a Code Change Easier to Review: An Empirical Investigation on Code Change Reviewability
Publisher's Version Preprint
FraudDroid: Automated Ad Fraud Detection for Android Apps
Publisher's Version
Bug Synthesis: Challenging Bug-Finding Tools with Deep Faults
Publisher's Version
PowerStation: Automatically Detecting and Fixing Inefficiencies of Database-Backed Web Applications in IDE
Publisher's Version
Modify, Enhance, Select: Co-Evolution of Combinatorial Models and Test Plans
Publisher's Version Info
SketchFix: A Tool for Automated Program Repair Approach using Lazy Candidate Generation
Publisher's Version Video
WarningsGuru: Integrating Statistical Bug Models with Static Analysis to Provide Timely and Specific Bug Warnings
Publisher's Version Preprint Info
Wednesday, November 7, 2018
Mobile Apps (Research Papers)
10:30 – 12:00
NIER I (NIER)
10:30 – 12:00
End User Programming and Financial Applications (Industry Papers)
10:30 – 12:00
Mining (Tool Demonstrations)
10:30 – 12:00
AppFlow: Using Machine Learning to Synthesize Robust, Reusable UI Tests
Publisher's Version
Gamifying Static Analysis
Publisher's Version Preprint Info
Design and Validation of Precooked Developer Dashboards
Publisher's Version
DSM: A Specification Mining Tool using Recurrent Neural Network Based Language Model
Publisher's Version
Winning the App Production Rally
Publisher's Version
The Case for Experiment-Oriented Computing
Publisher's Version
Testing and Validating End User Programmed Calculated Fields
Publisher's Version
EClone: Detect Semantic Clones in Ethereum via Symbolic Transaction Sketch
Publisher's Version
On the Naturalness of Proofs
Publisher's Version
Automated Refactoring of Nested-IF Formulae in Spreadsheets
Publisher's Version
INFAR: Insight Extraction from App Reviews
Publisher's Version
Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development?
Publisher's Version
FACTS: Automated Black-Box Testing of FinTech Systems
Publisher's Version
PyDriller: Python Framework for Mining Software Repositories
Publisher's Version Preprint Video Info
How Are Spreadsheet Templates Used in Practice: A Case Study on Enron
Publisher's Version
DLFuzz: Differential Fuzzing Testing of Deep Learning Systems
Publisher's Version Preprint
Towards Data-Driven Vulnerability Prediction for Requirements
Publisher's Version
Software Analysis II (Research Papers)
13:30 – 15:00
Software Maintenance I (Research Papers)
13:30 – 15:00
NIER II (NIER)
13:30 – 15:00
Test Automation (Industry Papers)
13:30 – 15:00
Do Android Taint Analysis Tools Keep Their Promises?
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
One Size Does Not Fit All: An Empirical Study of Containerized Continuous Deployment Workflows
Publisher's Version Preprint
Beyond Testing Configurable Systems: Applying Variational Execution to Automatic Program Repair and Higher Order Mutation Testing
Publisher's Version
Regression Test Selection for TizenRT
Publisher's Version
Neural-Augmented Static Analysis of Android Communication
Publisher's Version
Be Careful of When: An Empirical Study on Time-Related Misuse of Issue Tracking Data
Publisher's Version
Software Fairness
Publisher's Version Preprint Info
Building Lean Continuous Integration and Delivery Pipelines by Applying DevOps Principles: A Case Study at Varidesk
Publisher's Version
Oreo: Detection of Clones in the Twilight Zone
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Do the Dependency Conflicts in My Project Matter?
Publisher's Version Info Artifacts Available Artifacts Reusable Artifacts Functional
Software Engineering Collaboratories (SEClabs) and Collaboratories as a Service (CaaS)
Publisher's Version Preprint
The Impact of Failing, Flaky, and High Failure Tests on the Number of Crash Reports Associated with Firefox Builds
Publisher's Version Preprint
Towards Counterexample-Guided k-Induction for Fast Bug Detection
Publisher's Version Preprint Video Info
Salient-Class Location: Help Developers Understand Code Change in Code Review
Publisher's Version
Towards Quantifying the Development Value of Code Contributions
Publisher's Version
Operationalizing Human Values in Software: A Research Roadmap
Publisher's Version
Mining (Research Papers)
15:30 – 17:00
Symbolic Execution and Constraint Solving (Research Papers)
15:30 – 17:00
Models (Tool Demonstrations)
15:30 – 17:00
NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection
Publisher's Version
Concurrency Verification with Maximal Path Causality
Publisher's Version
A Formal Verification Tool for Ethereum VM Bytecode
Publisher's Version Preprint Video Info
Path-Based Function Embedding and Its Application to Error-Handling Specification Mining
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
ASketch: A Sketching Framework for Alloy
Publisher's Version
Symbolic Execution with Existential Second-Order Constraints
Publisher's Version
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Publisher's Version Preprint Video Info
Parameterized Model Counting for String and Numeric Constraints
Publisher's Version Artifacts Available Artifacts Functional
VT-Revolution: Interactive Programming Tutorials Made Possible
Publisher's Version
Thursday, November 8, 2018
Ten Years of Hunting for Similar Code for Fun and Profit (Keynote) (Invited Papers)
08:30 – 10:00
Ten Years of Hunting for Similar Code for Fun and Profit (Keynote)
Publisher's Version
Debugging and Bug Localization (Research Papers)
10:30 – 12:00
Estimation and Prediction (Research Papers)
10:30 – 12:00
Models (Research Papers)
10:30 – 12:00
Probabilistic Reasoning (Research Papers)
10:30 – 12:00
Repair and Synthesis (Research Papers)
10:30 – 12:00
Software Maintenance II (Research Papers)
10:30 – 12:00
Automated Patch Extraction via Syntax- and Semantics-Aware Delta Debugging on Source Code Changes
Publisher's Version Info
A Novel Automated Approach for Software Effort Estimation Based on Data Augmentation
Publisher's Version
Putback-Based Bidirectional Model Transformations
Publisher's Version Info
Phys: Probabilistic Physical Unit Assignment and Inconsistency Detection
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Detecting Speech Act Types in Developer Question/Answer Conversations during Bug Repair
Publisher's Version
Large-Scale Study of Substitutability in the Presence of Effects
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Feedback-Directed Differential Testing of Interactive Debuggers
Publisher's Version Artifacts Available Artifacts Reusable Artifacts Functional
Predicting Node Failure in Cloud Service Systems
Publisher's Version
Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT
Publisher's Version Preprint Info
Testing Probabilistic Programming Systems
Publisher's Version
Visual Web Test Repair
Publisher's Version Preprint Video Info
An Empirical Study on Crash Recovery Bugs in Large-Scale Distributed Systems
Publisher's Version
Improving IR-Based Bug Localization with Context-Aware Query Reformulation
Publisher's Version Preprint Info Artifacts Available Artifacts Reusable Artifacts Functional
Applications of Psychological Science for Actionable Analytics
Publisher's Version Preprint
Verifying the Long-Run Behavior of Probabilistic System Models in the Presence of Uncertainty
Publisher's Version
Syntax-Guided Synthesis of Datalog Programs
Publisher's Version Artifacts Available Artifacts Functional
Complementing Global and Local Contexts in Representing API Descriptions to Improve API Retrieval Tasks
Publisher's Version
How Should Compilers Explain Problems to Developers?
Publisher's Version Preprint
Ecosystems and Crowdsourcing (Research Papers)
15:30 – 17:00
Energy (Research Papers)
15:30 – 17:00
Testing II (Research Papers)
15:30 – 17:00
Ecosystem-Level Determinants of Sustained Activity in Open-Source Projects: A Case Study of the PyPI Ecosystem
Publisher's Version Artifacts Reusable Artifacts Functional
Detection of Energy Inefficiencies in Android Wear Watch Faces
Publisher's Version Artifacts Available Artifacts Functional
Optimizing Test Prioritization via Test Distribution Analysis
Publisher's Version
Stochastic Energy Optimization for Mobile GPS Applications
Publisher's Version
How Well Are Regular Expressions Tested in the Wild?
Publisher's Version
Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations using PAF
Publisher's Version

Time stamp: 2020-08-04T00:16:18+02:00