Powered by
Conference Publishing Consulting

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

FSE 2014 – Proceedings

Contents - Abstracts - Authors
Online Calendar - iCal File
Twitter: https://twitter.com/FSEconf

Technical Research

Helping and Understanding Developers
Tue, Nov 18, 10:40 - 12:20, Auditorium (Chair: Martin Robillard)

Developers’ Code Context Models for Change Tasks
Thomas Fritz, David C. ShepherdORCID logo, Katja Kevic, Will Snipes, and Christoph Bräunlich
(University of Zurich, Switzerland; ABB Research, USA)
Software Developers’ Perceptions of Productivity
André N. Meyer, Thomas Fritz, Gail C. Murphy, and Thomas ZimmermannORCID logo
(University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA)
Info
Enablers, Inhibitors, and Perceptions of Testing in Novice Software Teams
Raphael Pham, Stephan Kiesling, Olga Liskin, Leif Singer, and Kurt Schneider
(Leibniz Universität Hannover, Germany; University of Victoria, Canada)
Feedback Generation for Performance Problems in Introductory Programming Assignments
Sumit GulwaniORCID logo, Ivan Radiček, and Florian Zuleger
(Microsoft Research, USA; Vienna University of Technology, Austria)
Info

Debugging and Refactoring
Tue, Nov 18, 10:40 - 12:20, Hall 4-7 (Chair: Satish Chandra)

Test Case Purification for Improving Fault Localization
Jifeng Xuan and Martin Monperrus
(INRIA, France; University of Lille, France)
Automatically Generated Patches as Debugging Aids: A Human Study
Yida Tao, Jindae Kim, Sunghun Kim, and Chang XuORCID logo
(Hong Kong University of Science and Technology, China; Nanjing University, China)
A Foundation for Refactoring C with Macros
Jeffrey L. Overbey, Farnaz Behrang, and Munawar Hafiz
(Auburn University, USA)
Vector Abstraction and Concretization for Scalable Detection of Refactorings
Narcisa Andreea Milea, Lingxiao Jiang ORCID logo, and Siau-Cheng Khoo
(National University of Singapore, Singapore; Singapore Management University, Singapore)

Static Analysis
Tue, Nov 18, 13:30 - 15:10, Auditorium (Chair: Jianjun Zhao)

FlowTwist: Efficient Context-Sensitive Inside-Out Taint Analysis for Large Codebases
Johannes Lerch, Ben Hermann, Eric Bodden, and Mira MeziniORCID logo
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
ORBS: Language-Independent Program Slicing
David Binkley, Nicolas Gold, Mark Harman, Syed Islam, Jens Krinke, and Shin Yoo
(Loyola University Maryland, USA; University College London, UK)
Info
JSAI: A Static Analysis Platform for JavaScript
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf ORCID logo
(University of California at Santa Barbara, USA; Harvey Mudd College, USA)
A Path-Sensitively Sliced Control Flow Graph
Joxan JaffarORCID logo and Vijayaraghavan Murali
(National University of Singapore, Singapore)

Mining Software Repositories
Tue, Nov 18, 13:30 - 15:10, Hall 4-7 (Chair: Thomas Zimmermann)

Let's Talk About It: Evaluating Contributions through Discussion in GitHub
Jason Tsay, Laura Dabbish, and James Herbsleb
(Carnegie Mellon University, USA)
A Large Scale Study of Programming Languages and Code Quality in Github
Baishakhi Ray, Daryl Posnett, Vladimir Filkov, and Premkumar Devanbu
(University of California at Davis, USA)
Mining Preconditions of APIs in Large-Scale Code Corpus
Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan ORCID logo
(Iowa State University, USA)
Automatic Mining of Specifications from Invocation Traces and Method Invariants
Ivo Krka, Yuriy BrunORCID logo, and Nenad Medvidovic ORCID logo
(Google, Switzerland; University of Massachusetts, USA; University of Southern California, USA)

Formal Methods and Verification
Tue, Nov 18, 15:30 - 17:10, Auditorium (Chair: Tevfik Bultan)

Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models
Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, and Martin Leucker
(University of Namur, Belgium; INRIA, France; University of Lübeck, Germany)
Powering the Static Driver Verifier using Corral
Akash LalORCID logo and Shaz Qadeer
(Microsoft Research, India; Microsoft Research, USA)
Verifying CTL-Live Properties of Infinite State Models using an SMT Solver
Amirhossein Vakili and Nancy A. Day
(University of Waterloo, Canada)
Efficient Runtime-Enforcement Techniques for Policy Weaving
Richard Joiner, Thomas RepsORCID logo, Somesh Jha ORCID logo, Mohan Dhawan, and Vinod Ganapathy
(University of Wisconsin-Madison, USA; GrammaTech, USA; IBM Research, India; Rutgers University, USA)

Regression Testing
Tue, Nov 18, 15:30 - 17:10, Hall 4-7 (Chair: Willem Visser)

Techniques for Improving Regression Testing in Continuous Integration Development Environments
Sebastian Elbaum, Gregg Rothermel, and John Penix
(University of Nebraska-Lincoln, USA; Google, USA)
Info
Balancing Trade-Offs in Test-Suite Reduction
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko MarinovORCID logo
(University of Illinois at Urbana-Champaign, USA)
Identifying the Characteristics of Vulnerable Code Changes: An Empirical Study
Amiangshu Bosu, Jeffrey C. Carver, Munawar Hafiz, Patrick Hilley, and Derek Janni
(University of Alabama, USA; Auburn University, USA; Providence College, USA; Lewis & Clark College, USA)

Improving Recommender Systems
Wed, Nov 19, 10:40 - 12:20, Auditorium (Chair: Nenad Medvidovic)

On the Localness of Software
Zhaopeng Tu, Zhendong Su, and Premkumar DevanbuORCID logo
(University of California at Davis, USA)
Learning Natural Coding Conventions
Miltiadis Allamanis, Earl T. Barr ORCID logo, Christian Bird, and Charles Sutton
(University of Edinburgh, UK; University College London, UK; Microsoft Research, USA)
Info
How Should We Measure Functional Sameness from Program Source Code? An Exploratory Study on Java Methods
Yoshiki HigoORCID logo and Shinji Kusumoto
(Osaka University, Japan)
Info
The Plastic Surgery Hypothesis
Earl T. Barr ORCID logo, Yuriy BrunORCID logo, Premkumar DevanbuORCID logo, Mark HarmanORCID logo, and Federica SarroORCID logo
(University College London, UK; University of Massachusetts, USA; University of California at Davis, USA)

Concurrency and Parallelism
Wed, Nov 19, 10:40 - 12:20, Hall 4-7 (Chair: Sarfraz Khurshid)

Grail: Context-Aware Fixing of Concurrency Bugs
Peng Liu, Omer Tripp, and Charles ZhangORCID logo
(Wuhan University, China; IBM Research, USA; Hong Kong University of Science and Technology, China)
AI: A Lightweight System for Tolerating Concurrency Bugs
Mingxing Zhang, Yongwei Wu ORCID logo, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng
(Tsinghua University, China; University of Wisconsin-Madison, USA; University of Illinois at Urbana-Champaign, USA)
Info
Retrofitting Concurrency for Android Applications through Refactoring
Yu Lin, Cosmin Radoi, and Danny Dig
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
Info
Sherlock: Scalable Deadlock Detection for Concurrent Programs
Mahdi Eslamimehr and Jens PalsbergORCID logo
(University of California at Los Angeles, USA)

Self Adaptation and Repair / Program Analysis Applications
Wed, Nov 19, 13:30 - 15:10, Auditorium (Chair: Sebastian Uchitel)

Search-Based Synthesis of Equivalent Method Sequences
Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro PezzèORCID logo, and Paolo Tonella
(University of Lugano, Switzerland; Saarland University, Germany; Fondazione Bruno Kessler, Italy)
Beyond the Rainbow: Self-Adaptive Failure Avoidance in Configurable Systems
Jacob Swanson, Myra B. Cohen, Matthew B. Dwyer, Brady J. Garvin, and Justin Firestone
(University of Nebraska-Lincoln, USA)
Semantics-Based Obfuscation-Resilient Binary Code Similarity Comparison with Applications to Software Plagiarism Detection
Lannan Luo, Jiang Ming, Dinghao Wu, Peng Liu, and Sencun Zhu
(Pennsylvania State University, USA)
Focus-Shifting Patterns of OSS Developers and Their Congruence with Call Graphs
Qi Xuan, Aaron Okano, Premkumar Devanbu, and Vladimir Filkov
(University of California at Davis, USA; Zhejiang University of Technology, China)

Symbolic Execution
Wed, Nov 19, 13:30 - 15:10, Hall 4-7 (Chair: Charles Zhang)

How We Get There: A Context-Guided Search Strategy in Concolic Testing
Hyunmin Seo and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Solving Complex Path Conditions through Heuristic Search on Induced Polytopes
Peter Dinges and Gul Agha
(University of Illinois at Urbana-Champaign, USA)
Info
Statistical Symbolic Execution with Informed Sampling
Antonio Filieri, Corina S. Păsăreanu, Willem Visser, and Jaco Geldenhuys
(University of Stuttgart, Germany; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa)
SymJS: Automatic Symbolic Testing of JavaScript Web Applications
Guodong Li, Esben Andreasen, and Indradeep Ghosh
(Fujitsu Labs, USA; Aarhus University, Denmark)

Software Documentation
Wed, Nov 19, 15:30 - 16:45, Auditorium (Chair: Jane Cleland-Huang)

Selection and Presentation Practices for Code Example Summarization
Annie T. T. Ying and Martin P. RobillardORCID logo
(McGill University, Canada)
Mining Idioms from Source Code
Miltiadis Allamanis and Charles Sutton
(University of Edinburgh, UK)
Automatic Generation of Release Notes
Laura Moreno, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrian Marcus, and Gerardo Canfora
(University of Texas at Dallas, USA; University of Sannio, Italy; University of Molise, Italy)

Web Apps
Wed, Nov 19, 15:30 - 16:45, Hall 4-7 (Chair: Luciano Baresi)

Discovering Refactoring Opportunities in Cascading Style Sheets
Davood Mazinanian, Nikolaos TsantalisORCID logo, and Ali Mesbah
(Concordia University, Canada; University of British Columbia, Canada)
SAFEWAPI: Web API Misuse Detector for Web Applications
SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung RyuORCID logo
(KAIST, South Korea; Samsung Electronics, South Korea)
Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications
Hung Viet Nguyen, Christian KästnerORCID logo, and Tien N. Nguyen
(Iowa State University, USA; Carnegie Mellon University, USA)

Architecture and Design
Thu, Nov 20, 10:40 - 12:20, Auditorium (Chair: James Herbsleb)

Sketches and Diagrams in Practice
Sebastian Baltes and Stephan Diehl
(University of Trier, Germany)
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study
Klaus-Benedikt Schultis, Christoph Elsner, and Daniel Lohmann
(Siemens, Germany; University of Erlangen-Nuremberg, Germany)
Variable-Specific Resolutions for Feature Interactions
Cecylia Bocovich and Joanne M. Atlee
(University of Waterloo, Canada)
An Empirical Study on Program Comprehension with Reactive Programming
Guido Salvaneschi ORCID logo, Sven Amann, Sebastian Proksch, and Mira Mezini ORCID logo
(TU Darmstadt, Germany; Lancaster University, UK)

Mobile Apps
Thu, Nov 20, 10:40 - 12:20, Hall 4-7 (Chair: Antonio Carzaniga)

Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis
Yu Feng, Saswat Anand, Isil Dillig ORCID logo, and Alex AikenORCID logo
(University of Texas at Austin, USA; Stanford University, USA)
Detecting Energy Bugs and Hotspots in Mobile Apps
Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, and Abhik RoychoudhuryORCID logo
(National University of Singapore, Singapore; Linköping University, Sweden)
EvoDroid: Segmented Evolutionary Testing of Android Apps
Riyadh Mahmood, Nariman Mirzaei, and Sam Malek
(George Mason University, USA)
Prioritizing the Devices to Test Your App on: A Case Study of Android Game Apps
Hammad Khalid, Meiyappan Nagappan, Emad Shihab, and Ahmed E. Hassan ORCID logo
(Queen's University, Canada; Rochester Institute of Technology, USA; Concordia University, Canada)
Info

Testing and Oracles
Thu, Nov 20, 13:30 - 15:10, Auditorium (Chair: Prem Devanbu)

Improving Oracle Quality by Detecting Brittle Assertions and Unused Inputs in Tests
Chen Huo and James Clause
(University of Delaware, USA)
On the Efficiency of Automated Testing
Marcel Böhme and Soumya Paul
(Saarland University, Germany; National University of Singapore, Singapore)
An Empirical Analysis of Flaky Tests
Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, and Darko MarinovORCID logo
(University of Illinois at Urbana-Champaign, USA)
Are Mutants a Valid Substitute for Real Faults in Software Testing?
René Just ORCID logo, Darioush Jalali, Laura Inozemtseva, Michael D. ErnstORCID logo, Reid Holmes, and Gordon Fraser
(University of Washington, USA; University of Waterloo, Canada; University of Sheffield, UK)

Evolution and Maintenance
Thu, Nov 20, 13:30 - 15:10, Hall 4-7 (Chair: Massimiliano Di Penta)

No Issue Left Behind: Reducing Information Overload in Issue Tracking
Olga Baysal, Reid Holmes, and Michael W. GodfreyORCID logo
(Université de Montréal, Canada; University of Waterloo, Canada)
Panning Requirement Nuggets in Stream of Software Maintenance Tickets
Senthil Mani, Karthik Sankaranarayanan, Vibha Singhal Sinha, and Premkumar DevanbuORCID logo
(IBM Research, India; University of California at Davis, USA)
Learning to Rank Relevant Files for Bug Reports using Domain Knowledge
Xin Ye, Razvan Bunescu, and Chang Liu
(Ohio University, USA)
Querying Sequential Software Engineering Data
Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang ORCID logo, and Siau-Cheng Khoo
(University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore)

proc time: 0.84