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

Phone Layout
No Pictures
Monday, November 17, 2014
Invited Talk 1 (Doctoral Symposium)
09:00 – 10:00, Meeting Room 4
Invited Talk 1
Engineering Privacy and the Challenges of Transitioning Science to Practice (Tutorial)
09:00 – 10:30, Hall 1
Engineering Privacy and the Challenges of Transitioning Science to Practice
Travis Breaux
(CMU)
Software Analytics: Achievements and Challenges (Tutorial)
09:00 – 10:30, Hall 2
Software Analytics: Achievements and Challenges
Dongmei Zhang and Tao Xie
(MSR; NCSU)
Technical Presentations 1 (Doctoral Symposium)
10:00 – 10:30, Meeting Room 4
Diagnose Crashing Faults on Production Software
Rongxin Wu
(Hong Kong University of Science and Technology, China)
Publisher's Version
Technical Presentations 2 (Doctoral Symposium)
11:00 – 12:30, Meeting Room 4
Integrating Approaches for Feature Implementation
Benjamin Behringer
(University of Luxembourg, Luxembourg; htw saar, Germany)
Publisher's Version Preprint
Numerical Program Analysis and Testing
Zheng Gao
(University College London, UK)
Publisher's Version
Traceability and Model Checking to Support Safety Requirement Verification
Shuanglong Kan
(Nanjing University of Aeronautics and Astronautics, China)
Publisher's Version
Dealing with Uncertainty in Verification of Nondeterministic Systems
(National University of Singapore, Singapore)
Publisher's Version
Engineering Secure Software: On The Many Ways You Should Be Breaking Your Product (Tutorial)
11:00 – 12:30, Hall 1
Engineering Secure Software: On The Many Ways You Should Be Breaking Your Product
Andy Meneely
(RIT)
String Analysis (Tutorial)
11:00 – 12:30, Hall 2
String Analysis
Tevfik Bultan, Fang Yu, and Muath Alkhalaf
(UCSB; NCUT; KSU)
Technical Presentations 3 (Doctoral Symposium)
14:00 – 15:30, Meeting Room 4
Static Analysis Driven Performance and Energy Testing
Abhijeet Banerjee
(National University of Singapore, Singapore)
Publisher's Version Preprint
Autonomous Compliance Monitoring of Non-functional Properties
Marc Brünink
(National University of Singapore, Singapore)
Publisher's Version
Detecting, Isolating, and Enforcing Dependencies among and within Test Cases
(Columbia University, USA)
Publisher's Version
Improving the Software Testing Skills of Novices during Onboarding through Social Transparency
(Leibniz Universität Hannover, Germany)
Publisher's Version
Symbolic Techniques for Program Debugging and Repair (Tutorial)
14:00 – 15:30, Hall 1
Symbolic Techniques for Program Debugging and Repair
Abhik Roychoudhury and
(NUS; Samsung)
Engineering Cyberphysical System Software (Tutorial)
14:00 – 15:30, Hall 2
Engineering Cyberphysical System Software
Luca Mottola
(Politecnico di Milano; SICS)
Technical Presentations 4 (Doctoral Symposium)
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)
Publisher's Version
Social Media and Science 2.0 (Tutorial)
16:00 – 17:30, Hall 1
Social Media and Science 2.0
Felienne Hermans
(TU Delft)
Software Engineering for Cloud Applications (canceled) (Tutorial)
16:00 – 17:30, Hall 2
Software Engineering for Cloud Applications (canceled)
Mladen A. Vouk
(NCSU)
Invited Talk 2 (Doctoral Symposium)
16:30 – 17:30, Meeting Room 4
Invited Talk 2
Tuesday, November 18, 2014
Message from the Chairs
09:00 – 09:20, Auditorium
Message from the Chairs
Shing-Chi Cheung, Alessandro Orso, and Margaret-Anne Storey
(Hong Kong University of Science and Technology, China; Georgia Institute of Technology, USA; University of Victoria, Canada)
From Software Engineering to Software Systems (Invited Talk) (Award Talk)
09:20 – 10:20, Auditorium
From Software Engineering to Software Systems (Invited Talk)
Alexander L. Wolf
(Imperial College London, UK)
Publisher's Version
Morning Break
10:20 – 10:40, Pre-function Hall
Helping and Understanding Developers (Main Research)
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)
Publisher's Version Preprint
Software Developers’ Perceptions of Productivity
(University of Zurich, Switzerland; University of British Columbia, Canada; Microsoft Research, USA)
Publisher's Version Preprint 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)
Publisher's Version Preprint
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)
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
Jifeng Xuan and Martin Monperrus
(INRIA, France; University of Lille, France)
Publisher's Version Preprint
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)
Publisher's Version Preprint
A Foundation for Refactoring C with Macros
Jeffrey L. Overbey, Farnaz Behrang, and Munawar Hafiz
(Auburn University, USA)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Lunch
12:20 – 13:30, Happiness Cuisine
Static Analysis (Main Research)
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
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
Publisher's Version
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)
Publisher's Version Preprint 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
(University of California at Santa Barbara, USA; Harvey Mudd College, USA)
Publisher's Version Preprint
A Path-Sensitively Sliced Control Flow Graph
Joxan Jaffar and Vijayaraghavan Murali
(National University of Singapore, Singapore)
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
Jason Tsay, Laura Dabbish, and James Herbsleb
(Carnegie Mellon University, USA)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Mining Preconditions of APIs in Large-Scale Code Corpus
Hoan Anh Nguyen, Robert Dyer, Tien N. Nguyen, and Hridesh Rajan
(Iowa State University, USA)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Afternoon Break
15:10 – 15:30, Pre-function Hall
Formal Methods and Verification (Main Research)
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)
Publisher's Version
Powering the Static Driver Verifier using Corral
Akash Lal and Shaz Qadeer
(Microsoft Research, India; Microsoft Research, USA)
Publisher's Version Preprint
Verifying CTL-Live Properties of Infinite State Models using an SMT Solver
Amirhossein Vakili and Nancy A. Day
(University of Waterloo, Canada)
Publisher's Version Preprint
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)
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
Sebastian Elbaum, Gregg Rothermel, and John Penix
(University of Nebraska-Lincoln, USA; Google, USA)
Publisher's Version Preprint Info
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Tool Demonstrations (FSE Track)
17:15 – 18:00, Auditorium
Demo papers’ lightning talks
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)
Publisher's Version
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)
Publisher's Version
XMLMate: Evolutionary XML Test Generation
Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, and Andreas Zeller
(Saarland University, Germany)
Publisher's Version Preprint Video Info
CHOReOSynt: Enforcing Choreography Realizability in the Future Internet
Marco Autili, Davide Di Ruscio, Amleto Di Salle, and Alexander Perucci
(University of L'Aquila, Italy)
Publisher's Version Preprint
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)
Publisher's Version Preprint Video Info
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)
Publisher's Version
Omen+: A Precise Dynamic Deadlock Detector for Multithreaded Java Libraries
(Indian Institute of Science, India)
Publisher's Version
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)
Publisher's Version
Linking Sketches and Diagrams to Source Code Artifacts
Sebastian Baltes, Peter Schmitz, and Stephan Diehl
(University of Trier, Germany)
Publisher's Version Preprint
BumbleBee: A Refactoring Environment for Spreadsheet Formulas
Felienne Hermans and Danny Dig
(Delft University of Technology, Netherlands; Oregon State University, USA)
Publisher's Version Preprint
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint Video Info
ConceptCloud: A Tagcloud Browser for Software Archives
Gillian J. Greene and Bernd Fischer
(Stellenbosch University, South Africa)
Publisher's Version
Titan: A Toolset That Connects Software Architecture with Quality Analysis
Lu Xiao, Yuanfang Cai, and Rick Kazman
(Drexel University, USA; University of Hawaii, USA)
Publisher's Version
BugLocalizer: Integrated Tool Support for Bug Localization
Ferdian Thung, Tien-Duy B. Le, Pavneet Singh Kochhar, and David Lo
(Singapore Management University, Singapore)
Publisher's Version
Student Research Competition Posters (FSE Track)
18:00 – 20:30, Pre-function Hall
Detecting and Preventing the Architectural Roots of Bugs
Lu Xiao
(Drexel University, USA)
Publisher's Version
Estimating the Effectiveness of Spectrum-Based Fault Localization
Shuo Song
(Nanjing University, China)
Publisher's Version Preprint
Managing Lots of Models: The FaMine Approach
David Wille
(TU Braunschweig, Germany)
Publisher's Version Preprint
Social Network Analysis in Open Source Software Peer Review
Xin Yang
(Nara Institute of Science and Technology, Japan)
Publisher's Version
Towards a Theory of Architectural Styles
Diego Marmsoler
(TU München, Germany)
Publisher's Version Preprint
Software Programmer Management: A Machine Learning and Human Computer Interaction Framework for Optimal Task Assignment
Harry Raymond Joseph
(TU München, Germany)
Publisher's Version
Reception + Demo Posters
18:00 – 20:30, Pre-function Hall
Wednesday, November 19, 2014
Omlet: A Revolution against Big-Brother Social Networks (Invited Talk)
09:00 – 10:20, Auditorium
Omlet: A Revolution against Big-Brother Social Networks (Invited Talk)
Monica S. Lam
(Stanford University, USA)
Publisher's Version
Morning Break
10:20 – 10:40, Pre-function Hall
Improving Recommender Systems (Main Research)
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint Info
How Should We Measure Functional Sameness from Program Source Code? An Exploratory Study on Java Methods
Yoshiki Higo and Shinji Kusumoto
(Osaka University, Japan)
Publisher's Version Preprint Info
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)
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
Peng Liu, Omer Tripp, and Charles Zhang
(Wuhan University, China; IBM Research, USA; Hong Kong University of Science and Technology, China)
Publisher's Version
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)
Publisher's Version Preprint 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)
Publisher's Version Preprint Info
Sherlock: Scalable Deadlock Detection for Concurrent Programs
Mahdi Eslamimehr and Jens Palsberg
(University of California at Los Angeles, USA)
Publisher's Version Preprint
Lunch
12:20 – 13:30, Happiness Cuisine
Self Adaptation and Repair / Program Analysis Applications (Main Research)
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint
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)
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
Hyunmin Seo and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Publisher's Version Preprint
Solving Complex Path Conditions through Heuristic Search on Induced Polytopes
Peter Dinges and Gul Agha
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint Info
Statistical Symbolic Execution with Informed Sampling
(University of Stuttgart, Germany; Carnegie Mellon University, USA; NASA Ames Research Center, USA; Stellenbosch University, South Africa)
Publisher's Version Preprint
SymJS: Automatic Symbolic Testing of JavaScript Web Applications
Guodong Li, Esben Andreasen, and Indradeep Ghosh
(Fujitsu Labs, USA; Aarhus University, Denmark)
Publisher's Version Preprint
Afternoon Break
15:10 – 15:30, Pre-function Hall
Software Documentation (Main Research)
15:30 – 16:45, Auditorium, Chairs: Jane Cleland-Huang
Selection and Presentation Practices for Code Example Summarization
Annie T. T. Ying and Martin P. Robillard
(McGill University, Canada)
Publisher's Version Preprint
Mining Idioms from Source Code
(University of Edinburgh, UK)
Publisher's Version Preprint
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)
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
(Concordia University, Canada; University of British Columbia, Canada)
Publisher's Version Preprint
SAFEWAPI: Web API Misuse Detector for Web Applications
SungGyeong Bae, Hyunghun Cho, Inho Lim, and Sukyoung Ryu
(KAIST, South Korea; Samsung Electronics, South Korea)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Student Research Competition Presentations (FSE Track)
16:45 – 17:30, Auditorium
Selected contributions will be presented.
SIGSOFT Townhall Meeting
17:30 – 18:30, Pre-function Hall
Banquet
19:30 – 22:00, Laguna Palace Restaurant
Thursday, November 20, 2014
Visions and Challenges (FSE Track)
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)
Publisher's Version Preprint
Known Unknowns: Testing in the Presence of Uncertainty
Sebastian Elbaum and David S. Rosenblum
(University of Nebraska-Lincoln, USA; National University of Singapore, Singapore)
Publisher's Version Preprint
Speculative Reprogramming
(University of British Columbia, Canada; North Carolina State University, USA; University of Bordeaux, France)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Mining Micro-practices from Operational Data
Minghui Zhou and Audris Mockus
(Peking University, China; University of Tennessee, USA; Avaya Labs, USA)
Publisher's Version
Achieving Lightweight Trustworthy Traceability
Jane Cleland-Huang, Mona Rahimi, and Patrick Mäder
(DePaul University, USA; TU Ilmenau, Germany)
Publisher's Version Preprint
Software Maintenance like Maintenance in Other Engineering Disciplines
Gustavo Villavicencio
(Universidad Católica de Santiago del Estero, Argentina)
Publisher's Version
Morning Break
10:20 – 10:40, Pre-function Hall
Architecture and Design (Main Research)
10:40 – 12:20, Auditorium, Chair: James Herbsleb
Sketches and Diagrams in Practice
Sebastian Baltes and Stephan Diehl
(University of Trier, Germany)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Variable-Specific Resolutions for Feature Interactions
Cecylia Bocovich and Joanne M. Atlee
(University of Waterloo, Canada)
Publisher's Version Preprint
An Empirical Study on Program Comprehension with Reactive Programming
Guido Salvaneschi, Sven Amann, Sebastian Proksch, and Mira Mezini
(TU Darmstadt, Germany; Lancaster University, UK)
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
Yu Feng, Saswat Anand, Isil Dillig, and Alex Aiken
(University of Texas at Austin, USA; Stanford University, USA)
Publisher's Version Preprint
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)
Publisher's Version Preprint
EvoDroid: Segmented Evolutionary Testing of Android Apps
Riyadh Mahmood, Nariman Mirzaei, and Sam Malek
(George Mason University, USA)
Publisher's Version
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)
Publisher's Version Preprint Info
Lunch
12:20 – 13:30, Happiness Cuisine
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
Chen Huo and James Clause
(University of Delaware, USA)
Publisher's Version Preprint
On the Efficiency of Automated Testing
Marcel Böhme and Soumya Paul
(Saarland University, Germany; National University of Singapore, Singapore)
Publisher's Version Preprint
An Empirical Analysis of Flaky Tests
Qingzhou Luo, Farah Hariri, Lamyaa Eloussi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint
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)
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
Olga Baysal, Reid Holmes, and Michael W. Godfrey
(Université de Montréal, Canada; University of Waterloo, Canada)
Publisher's Version Preprint
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)
Publisher's Version
Learning to Rank Relevant Files for Bug Reports using Domain Knowledge
Xin Ye, Razvan Bunescu, and Chang Liu
(Ohio University, USA)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Afternoon Break
15:10 – 15:30, Pre-function Hall
Perspectives from Industry (FSE Session)
15:30 – 17:00, Auditorium, Chair: Wolfgang Emmerich
Experiences Developing Tools for Developers (Invited Talk)
John Penix
(Google, USA)
Publisher's Version
Are You Getting Traction? Tales from the Tech Transfer Trenches (Invited Talk)
Satish Chandra
(Samsung Electronics, USA)
Publisher's Version
Data Hard with a Vengeance (Invited Talk)
(Microsoft Research, USA)
Publisher's Version
Awards
17:00 – 17:15, Auditorium, Chair: Will Tracz
Ten Years with Evidence-Based Software Engineering. What Is It? Has It Had Any Impact? What’s Next? (Invited Talk) (Award Talk)
17:15 – 17:45, Auditorium, Chair: Will Tracz
Ten Years with Evidence-Based Software Engineering. What Is It? Has It Had Any Impact? What’s Next? (Invited Talk)
Magne Jørgensen
(Simula Research Laboratory, Norway)
Publisher's Version
Closing
17:45 – 18:00, Auditorium, Chair: Shing-Chi Cheung

Time stamp: 2019-09-21T03:05:26+02:00