FSE 2014 – Proceedings

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

Frontmatter

Keynote

Omlet: A Revolution against Big-Brother Social Networks (Invited Talk)
Monica S. Lam
(Stanford University, USA)
Article: fse14keynote-keynotesid1-p doi:

Award Talks

From Software Engineering to Software Systems (Invited Talk)
Alexander L. Wolf
(Imperial College London, UK)
Article: fse14invited-keynotesid2-p doi:

Perspectives from Industry
Thu, Nov 20, 15:30 - 17:00, Auditorium (Chair: Wolfgang Emmerich)

Experiences Developing Tools for Developers (Invited Talk)
John Penix
(Google, USA)
Article: fse14industry-industryid1-p doi:

Data Hard with a Vengeance (Invited Talk)
Thomas Zimmermann
(Microsoft Research, USA)
Article: fse14industry-industryid2-p doi:

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. Shepherd, Katja Kevic, Will Snipes, and Christoph Bräunlich
(University of Zurich, Switzerland; ABB Research, USA)
Article: fse14main-mainid176-p doi:

Software Developers’ Perceptions of Productivity
André N. Meyer, Thomas Fritz, Gail C. Murphy, and Thomas Zimmermann
(University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA)
Article: fse14main-mainid137-p doi:

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)
Article: fse14main-mainid250-p doi:

Feedback Generation for Performance Problems in Introductory Programming Assignments
Sumit Gulwani, Ivan Radiček, and Florian Zuleger
(Microsoft Research, USA; Vienna University of Technology, Austria)
Article: fse14main-mainid197-p doi:

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)
Article: fse14main-mainid177-p doi:

Automatically Generated Patches as Debugging Aids: A Human Study
Yida Tao, Jindae Kim, Sunghun Kim, and Chang Xu
(Hong Kong University of Science and Technology, China; Nanjing University, China)
Article: fse14main-mainid38-p doi:

A Foundation for Refactoring C with Macros
Jeffrey L. Overbey, Farnaz Behrang, and Munawar Hafiz
(Auburn University, USA)
Article: fse14main-mainid180-p doi:

Vector Abstraction and Concretization for Scalable Detection of Refactorings
Narcisa Andreea Milea, Lingxiao Jiang, and Siau-Cheng Khoo
(National University of Singapore, Singapore; Singapore Management University, Singapore)
Article: fse14main-mainid253-p doi:

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 Mezini
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
Article: fse14main-mainid69-p doi:

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)
Article: fse14main-mainid143-p doi:

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
(University of California at Santa Barbara, USA; Harvey Mudd College, USA)
Article: fse14main-mainid173-p doi:

A Path-Sensitively Sliced Control Flow Graph
Joxan Jaffar and Vijayaraghavan Murali
(National University of Singapore, Singapore)
Article: fse14main-mainid103-p doi:

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)
Article: fse14main-mainid81-p doi:

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)
Article: fse14main-mainid243-p doi:

Mining Preconditions of APIs in Large-Scale Code Corpus
Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan
(Iowa State University, USA)
Article: fse14main-mainid246-p doi:

Automatic Mining of Specifications from Invocation Traces and Method Invariants
Ivo Krka, Yuriy Brun, and Nenad Medvidovic
(Google, Switzerland; University of Massachusetts, USA; University of Southern California, USA)
Article: fse14main-mainid131-p doi:

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)
Article: fse14main-mainid231-p doi:

Powering the Static Driver Verifier using Corral
Akash Lal and Shaz Qadeer
(Microsoft Research, India; Microsoft Research, USA)
Article: fse14main-mainid146-p doi:

Verifying CTL-Live Properties of Infinite State Models using an SMT Solver
Amirhossein Vakili and Nancy A. Day
(University of Waterloo, Canada)
Article: fse14main-mainid194-p doi:

Efficient Runtime-Enforcement Techniques for Policy Weaving
Richard Joiner, Thomas Reps, Somesh Jha, Mohan Dhawan, and Vinod Ganapathy
(University of Wisconsin-Madison, USA; GrammaTech, USA; IBM Research, India; Rutgers University, USA)
Article: fse14main-mainid178-p doi:

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)
Article: fse14main-mainid188-p doi:

Balancing Trade-Offs in Test-Suite Reduction
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Article: fse14main-mainid236-p doi:

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)
Article: fse14main-mainid77-p doi:

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 Devanbu
(University of California at Davis, USA)
Article: fse14main-mainid48-p doi:

Learning Natural Coding Conventions
Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton
(University of Edinburgh, UK; University College London, UK; Microsoft Research, USA)
Article: fse14main-mainid102-p doi:

The Plastic Surgery Hypothesis
Earl T. Barr, Yuriy Brun, Premkumar Devanbu, Mark Harman, and Federica Sarro
(University College London, UK; University of Massachusetts, USA; University of California at Davis, USA)
Article: fse14main-mainid156-p doi:

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 Zhang
(Wuhan University, China; IBM Research, USA; Hong Kong University of Science and Technology, China)
Article: fse14main-mainid78-p doi:

AI: A Lightweight System for Tolerating Concurrency Bugs
Mingxing Zhang, Yongwei Wu, Shan Lu, Shanxiang Qi, Jinglei Ren, and Weimin Zheng
(Tsinghua University, China; University of Wisconsin-Madison, USA; University of Illinois at Urbana-Champaign, USA)
Article: fse14main-mainid114-p doi:

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)
Article: fse14main-mainid171-p doi:

Sherlock: Scalable Deadlock Detection for Concurrent Programs
Mahdi Eslamimehr and Jens Palsberg
(University of California at Los Angeles, USA)
Article: fse14main-mainid230-p doi:

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è, and Paolo Tonella
(University of Lugano, Switzerland; Saarland University, Germany; Fondazione Bruno Kessler, Italy)
Article: fse14main-mainid129-p doi:

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)
Article: fse14main-mainid216-p doi:

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)
Article: fse14main-mainid164-p doi:

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)
Article: fse14main-mainid208-p doi:

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)
Article: fse14main-mainid32-p doi:

Solving Complex Path Conditions through Heuristic Search on Induced Polytopes
Peter Dinges and Gul Agha
(University of Illinois at Urbana-Champaign, USA)
Article: fse14main-mainid130-p doi:

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)
Article: fse14main-mainid161-p doi:

SymJS: Automatic Symbolic Testing of JavaScript Web Applications
Guodong Li, Esben Andreasen, and Indradeep Ghosh
(Fujitsu Labs, USA; Aarhus University, Denmark)
Article: fse14main-mainid202-p doi:

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. Robillard
(McGill University, Canada)
Article: fse14main-mainid68-p doi:

Mining Idioms from Source Code
Miltiadis Allamanis and Charles Sutton
(University of Edinburgh, UK)
Article: fse14main-mainid167-p doi:

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)
Article: fse14main-mainid30-p doi:

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 Tsantalis, and Ali Mesbah
(Concordia University, Canada; University of British Columbia, Canada)
Article: fse14main-mainid72-p doi:

SAFEWAPI: Web API Misuse Detector for Web Applications
SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu
(KAIST, South Korea; Samsung Electronics, South Korea)
Article: fse14main-mainid222-p doi:

Building Call Graphs for Embedded Client-Side Code in Dynamic Web Applications
Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen
(Iowa State University, USA; Carnegie Mellon University, USA)
Article: fse14main-mainid264-p doi:

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)
Article: fse14main-mainid136-p doi:

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)
Article: fse14main-mainid64-p doi:

Variable-Specific Resolutions for Feature Interactions
Cecylia Bocovich and Joanne M. Atlee
(University of Waterloo, Canada)
Article: fse14main-mainid260-p doi:

An Empirical Study on Program Comprehension with Reactive Programming
Guido Salvaneschi, Sven Amann, Sebastian Proksch, and Mira Mezini
(TU Darmstadt, Germany; Lancaster University, UK)
Article: fse14main-mainid150-p doi:

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, and Alex Aiken
(University of Texas at Austin, USA; Stanford University, USA)
Article: fse14main-mainid28-p doi:

Detecting Energy Bugs and Hotspots in Mobile Apps
Abhijeet Banerjee, Lee Kee Chong, Sudipta Chattopadhyay, and Abhik Roychoudhury
(National University of Singapore, Singapore; Linköping University, Sweden)
Article: fse14main-mainid31-p doi:

EvoDroid: Segmented Evolutionary Testing of Android Apps
Riyadh Mahmood, Nariman Mirzaei, and Sam Malek
(George Mason University, USA)
Article: fse14main-mainid151-p doi:

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
(Queen's University, Canada; Rochester Institute of Technology, USA; Concordia University, Canada)
Article: fse14main-mainid182-p doi:

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)
Article: fse14main-mainid229-p doi:

On the Efficiency of Automated Testing
Marcel Böhme and Soumya Paul
(Saarland University, Germany; National University of Singapore, Singapore)
Article: fse14main-mainid244-p doi:

An Empirical Analysis of Flaky Tests
Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Article: fse14main-mainid232-p doi:

Are Mutants a Valid Substitute for Real Faults in Software Testing?
René Just, Darioush Jalali, Laura Inozemtseva, Michael D. Ernst, Reid Holmes, and Gordon Fraser
(University of Washington, USA; University of Waterloo, Canada; University of Sheffield, UK)
Article: fse14main-mainid265-p doi:

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. Godfrey
(Université de Montréal, Canada; University of Waterloo, Canada)
Article: fse14main-mainid125-p doi:

Panning Requirement Nuggets in Stream of Software Maintenance Tickets
Senthil Mani, Karthik Sankaranarayanan, Vibha Singhal Sinha, and Premkumar Devanbu
(IBM Research, India; University of California at Davis, USA)
Article: fse14main-mainid153-p doi:

Learning to Rank Relevant Files for Bug Reports using Domain Knowledge
Xin Ye, Razvan Bunescu, and Chang Liu
(Ohio University, USA)
Article: fse14main-mainid44-p doi:

Querying Sequential Software Engineering Data
Chengnian Sun, Haidong Zhang, Jian-Guang Lou, Hongyu Zhang, Qiang Wang, Dongmei Zhang, and Siau-Cheng Khoo
(University of California at Davis, USA; Microsoft Research, China; National University of Singapore, Singapore)
Article: fse14main-mainid170-p doi:

Tool Demonstrations
Tue, Nov 18, 17:15 - 18:00, Auditorium

Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of California at Davis, USA)
Article: fse14demo-demoid8-p doi:

A Tool Suite for the Model-Driven Software Engineering of Cyber-Physical Systems
Stefan Dziwok, Christopher Gerking, Steffen Becker, Sebastian Thiele, Christian Heinzemann, and Uwe Pohlmann
(University of Paderborn, Germany; Fraunhofer IPT, Germany)
Article: fse14demo-demoid9-p doi:

XMLMate: Evolutionary XML Test Generation
Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, and Andreas Zeller
(Saarland University, Germany)
Article: fse14demo-demoid7-p doi:

CHOReOSynt: Enforcing Choreography Realizability in the Future Internet
Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci
(University of L'Aquila, Italy)
Article: fse14demo-demoid12-p doi:

RaPiD: A Toolkit for Reliability Analysis of Non-deterministic Systems
Lin Gui, Jun Sun, Yang Liu, Truong Khanh Nguyen, and Jin Song Dong
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)
Article: fse14demo-demoid13-p doi:

Aalta: An LTL Satisfiability Checker over Infinite/Finite Traces
Jianwen Li, Yinbo Yao, Geguang Pu, Lijun Zhang, and Jifeng He
(East China Normal University, China; Institute of Software at Chinese Academy of Sciences, China)
Article: fse14demo-demoid11-p doi:

Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries
Malavika Samak and Murali Krishna Ramanathan
(Indian Institute of Science, India)
Article: fse14demo-demoid14-p doi:

Archie: A Tool for Detecting, Monitoring, and Preserving Architecturally Significant Code
Mehdi Mirakhorli, Ahmed Fakhry, Artem Grechko, Matteusz Wieloch, and Jane Cleland-Huang
(Rochester Institute of Technology, USA; DePaul University, USA)
Article: fse14demo-demoid16-p doi:

Linking Sketches and Diagrams to Source Code Artifacts
Sebastian Baltes, Peter Schmitz, and Stephan Diehl
(University of Trier, Germany)
Article: fse14demo-demoid23-p doi:

BumbleBee: A Refactoring Environment for Spreadsheet Formulas
Felienne Hermans and Danny Dig
(Delft University of Technology, Netherlands; Oregon State University, USA)
Article: fse14demo-demoid1-p doi:

RefDistiller: A Refactoring Aware Code Review Tool for Inspecting Manual Refactoring Edits
Everton L. G. Alves, Myoungkyu Song, and Miryung Kim
(University of Texas at Austin, USA; Federal University of Campina Grande, Brazil; University of California at Los Angeles, USA)
Article: fse14demo-demoid17-p doi:

Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes
Tianyi Zhang, Myoungkyu Song, and Miryung Kim
(University of California at Los Angeles, USA; University of Texas at Austin, USA)
Article: fse14demo-demoid15-p doi:

ConceptCloud: A Tagcloud Browser for Software Archives
Gillian J. Greene and Bernd Fischer
(Stellenbosch University, South Africa)
Article: fse14demo-demoid2-p doi:

Titan: A Toolset That Connects Software Architecture with Quality Analysis
Lu Xiao, Yuanfang Cai, and Rick Kazman
(Drexel University, USA; University of Hawaii, USA)
Article: fse14demo-demoid20-p doi:

BugLocalizer: Integrated Tool Support for Bug Localization
Ferdian Thung, Tien-Duy B. Le, Pavneet Singh Kochhar, and David Lo
(Singapore Management University, Singapore)
Article: fse14demo-demoid21-p doi:

Doctoral Symposium

Technical Presentations 1
Mon, Nov 17, 10:00 - 10:30, Meeting Room 4

Diagnose Crashing Faults on Production Software
Rongxin Wu
(Hong Kong University of Science and Technology, China)
Article: fse14doc-docid11-p doi:

Technical Presentations 2
Mon, Nov 17, 11:00 - 12:30, Meeting Room 4

Integrating Approaches for Feature Implementation
Benjamin Behringer
(University of Luxembourg, Luxembourg; htw saar, Germany)
Article: fse14doc-docid19-p doi:

Numerical Program Analysis and Testing
Zheng Gao
(University College London, UK)
Article: fse14doc-docid17-p doi:

Traceability and Model Checking to Support Safety Requirement Verification
Shuanglong Kan
(Nanjing University of Aeronautics and Astronautics, China)
Article: fse14doc-docid4-p doi:

Dealing with Uncertainty in Verification of Nondeterministic Systems
Yamilet R. Serrano Llerena
(National University of Singapore, Singapore)
Article: fse14doc-docid1-p doi:

Technical Presentations 3
Mon, Nov 17, 14:00 - 15:30, Meeting Room 4

Static Analysis Driven Performance and Energy Testing
Abhijeet Banerjee
(National University of Singapore, Singapore)
Article: fse14doc-docid12-p doi:

Autonomous Compliance Monitoring of Non-functional Properties
Marc Brünink
(National University of Singapore, Singapore)
Article: fse14doc-docid2-p doi:

Technical Presentations 4
Mon, Nov 17, 16:00 - 16:30, Meeting Room 4

Minimizing Software Conflicts through Proactive Detection of Conflicts and Task Scheduling
Bakhtiar Khan Kasi
(University of Nebraska-Lincoln, USA)
Article: fse14doc-docid6-p doi:

Student Research Competition Posters
Tue, Nov 18, 18:00 - 20:30, Pre-function Hall

Detecting and Preventing the Architectural Roots of Bugs
Lu Xiao
(Drexel University, USA)
Article: fse14src-srcid9-p doi:

Estimating the Effectiveness of Spectrum-Based Fault Localization
Shuo Song
(Nanjing University, China)
Article: fse14src-srcid10-p doi:

Managing Lots of Models: The FaMine Approach
David Wille
(TU Braunschweig, Germany)
Article: fse14src-srcid1-p doi:

Social Network Analysis in Open Source Software Peer Review
Xin Yang
(Nara Institute of Science and Technology, Japan)
Article: fse14src-srcid3-p doi:

Towards a Theory of Architectural Styles
Diego Marmsoler
(TU München, Germany)
Article: fse14src-srcid4-p doi:

Visions and Challenges
Thu, Nov 20, 09:00 - 10:20, Auditorium

Methodology and Culture: Drivers of Mediocrity in Software Engineering?
Marian Petre and Daniela Damian
(Open University, UK; University of Victoria, Canada)
Article: fse14vc-vcid21-p doi:

Known Unknowns: Testing in the Presence of Uncertainty
Sebastian Elbaum and David S. Rosenblum
(University of Nebraska-Lincoln, USA; National University of Singapore, Singapore)
Article: fse14vc-vcid10-p doi:

Speculative Reprogramming
Marc Palyart, Gail C. Murphy, Emerson Murphy-Hill, and Xavier Blanc
(University of British Columbia, Canada; North Carolina State University, USA; University of Bordeaux, France)
Article: fse14vc-vcid25-p doi:

A Variability Perspective of Mutation Analysis
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, and Pierre-Yves Schobbens
(University of Namur, Belgium; University of Luxembourg, Luxembourg; INRIA, France)
Article: fse14vc-vcid11-p doi:

Mining Micro-practices from Operational Data
Minghui Zhou and Audris Mockus
(Peking University, China; University of Tennessee, USA; Avaya Labs, USA)
Article: fse14vc-vcid13-p doi:

Achieving Lightweight Trustworthy Traceability
Jane Cleland-Huang, Mona Rahimi, and Patrick Mäder
(DePaul University, USA; TU Ilmenau, Germany)
Article: fse14vc-vcid16-p doi:

Software Maintenance like Maintenance in Other Engineering Disciplines
Gustavo Villavicencio
(Universidad Católica de Santiago del Estero, Argentina)
Article: fse14vc-vcid14-p doi:

FSE 2014 – Proceedings

Frontmatter

Keynote

Award Talks

Perspectives from Industry Thu, Nov 20, 15:30 - 17:00, Auditorium (Chair: Wolfgang Emmerich)

Technical Research

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Tool Demonstrations Tue, Nov 18, 17:15 - 18:00, Auditorium