22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), November 16–21, 2014, Hong Kong, China

Phone Layout
No Pictures
Tuesday, November 18, 2014
Helping and Understanding Developers (Main Research)
10:40 – 12:20, Auditorium, Chair: Martin Robillard
Developers’ Code Context Models for Change Tasks
Publisher's Version Preprint
Software Developers’ Perceptions of Productivity
Publisher's Version Preprint Info
Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams
Publisher's Version Preprint
Feedback Generation for Performance Problems in Introductory Programming Assignments
Publisher's Version Preprint Info
Debugging and Refactoring (Main Research)
10:40 – 12:20, Hall 4-7, Chairs: Satish Chandra
Test Case Purification for Improving Fault Localization
Publisher's Version Preprint
Automatically Generated Patches as Debugging Aids: A Human Study
Publisher's Version Preprint
A Foundation for Refactoring C with Macros
Publisher's Version Preprint
Vector Abstraction and Concretization for Scalable Detection of Refactorings
Publisher's Version Preprint
Static Analysis (Main Research)
13:30 – 15:10, Auditorium, Chair: Jianjun Zhao
FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases
Publisher's Version
ORBS: Language-Independent Program Slicing
Publisher's Version Preprint Info
JSAI: A Static Analysis Platform for JavaScript
Publisher's Version Preprint
A Path-Sensitively Sliced Control Flow Graph
Publisher's Version Preprint
Mining Software Repositories (Main Research)
13:30 – 15:10, Hall 4-7, Chair: Thomas Zimmermann
Let's Talk About It: Evaluating Contributions through Discussion in GitHub
Publisher's Version Preprint
A Large Scale Study of Programming Languages and Code Quality in Github
Publisher's Version Preprint
Mining Preconditions of APIs in Large-Scale Code Corpus
Publisher's Version Preprint
Automatic Mining of Specifications from Invocation Traces and Method Invariants
Publisher's Version Preprint
Formal Methods and Verification (Main Research)
15:30 – 17:10, Auditorium, Chair: Tevfik Bultan
Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models
Publisher's Version
Powering the Static Driver Verifier using Corral
Publisher's Version Preprint
Verifying CTL-Live Properties of Infinite State Models using an SMT Solver
Publisher's Version Preprint
Efficient Runtime-Enforcement Techniques for Policy Weaving
Publisher's Version Preprint
Regression Testing (Main Research)
15:30 – 17:10, Hall 4-7, Chair: Willem Visser
Techniques for Improving Regression Testing in Continuous Integration Development Environments
Publisher's Version Preprint Info
Balancing Trade-Offs in Test-Suite Reduction
Publisher's Version Preprint
Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study
Publisher's Version Preprint
Wednesday, November 19, 2014
Improving Recommender Systems (Main Research)
10:40 – 12:20, Auditorium, Chair: Nenad Medvidovic
On the Localness of Software
Publisher's Version Preprint
Learning Natural Coding Conventions
Publisher's Version Preprint Info
How Should We Measure Functional Sameness from Program Source Code? An Exploratory Study on Java Methods
Publisher's Version Preprint Info
The Plastic Surgery Hypothesis
Publisher's Version Preprint
Concurrency and Parallelism (Main Research)
10:40 – 12:20, Hall 4-7, Chair: Sarfraz Khurshid
Grail: Context-Aware Fixing of Concurrency Bugs
Publisher's Version
AI: A Lightweight System for Tolerating Concurrency Bugs
Publisher's Version Preprint Info
Retrofitting Concurrency for Android Applications through Refactoring
Publisher's Version Preprint Info
Sherlock: Scalable Deadlock Detection for Concurrent Programs
Publisher's Version Preprint
Self Adaptation and Repair / Program Analysis Applications (Main Research)
13:30 – 15:10, Auditorium, Chair: Sebastian Uchitel
Search-Based Synthesis of Equivalent Method Sequences
Publisher's Version Preprint
Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems
Publisher's Version Preprint
Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection
Publisher's Version Preprint
Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs
Publisher's Version Preprint
Symbolic Execution (Main Research)
13:30 – 15:10, Hall 4-7, Chair: Charles Zhang
How We Get There: A Context-Guided Search Strategy in Concolic Testing
Publisher's Version Preprint
Solving Complex Path Conditions through Heuristic Search on Induced Polytopes
Publisher's Version Preprint Info
Statistical Symbolic Execution with Informed Sampling
Publisher's Version Preprint
SymJS: Automatic Symbolic Testing of JavaScript Web Applications
Publisher's Version Preprint
Software Documentation (Main Research)
15:30 – 16:45, Auditorium, Chairs: Jane Cleland-Huang
Selection and Presentation Practices for Code Example Summarization
Publisher's Version Preprint
Mining Idioms from Source Code
Publisher's Version Preprint
Automatic Generation of Release Notes
Publisher's Version Preprint
Web Apps (Main Research)
15:30 – 16:45, Hall 4-7, Chair: Luciano Baresi
Discovering Refactoring Opportunities in Cascading Style Sheets
Publisher's Version Preprint
SAFEWAPI: Web API Misuse Detector for Web Applications
Publisher's Version Preprint
Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications
Publisher's Version Preprint
Thursday, November 20, 2014
Architecture and Design (Main Research)
10:40 – 12:20, Auditorium, Chair: James Herbsleb
Sketches and Diagrams in Practice
Publisher's Version Preprint
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study
Publisher's Version Preprint
Variable-Specific Resolutions for Feature Interactions
Publisher's Version Preprint
An Empirical Study on Program Comprehension with Reactive Programming
Publisher's Version
Mobile Apps (Main Research)
10:40 – 12:20, Hall 4-7, Chair: Antonio Carzaniga
Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis
Publisher's Version Preprint
Detecting Energy Bugs and Hotspots in Mobile Apps
Publisher's Version Preprint
EvoDroid: Segmented Evolutionary Testing of Android Apps
Publisher's Version
Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps
Publisher's Version Preprint Info
Testing and Oracles (Main Research)
13:30 – 15:10, Auditorium, Chair: Prem Devanbu
Improving Oracle Quality by Detecting Brittle Assertions and Unused Inputs in Tests
Publisher's Version Preprint
On the Efficiency of Automated Testing
Publisher's Version Preprint
An Empirical Analysis of Flaky Tests
Publisher's Version Preprint
Are Mutants a Valid Substitute for Real Faults in Software Testing?
Publisher's Version Preprint
Evolution and Maintenance (Main Research)
13:30 – 15:10, Hall 4-7, Chair: Massimiliano Di Penta
No Issue Left Behind: Reducing Information Overload in Issue Tracking
Publisher's Version Preprint
Panning Requirement Nuggets in Stream of Software Maintenance Tickets
Publisher's Version
Learning to Rank Relevant Files for Bug Reports using Domain Knowledge
Publisher's Version Preprint
Querying Sequential Software Engineering Data
Publisher's Version Preprint

Time stamp: 2020-09-21T17:23:02+02:00