36th International Conference on Software Engineering (ICSE 2014), May 31 – June 7, 2014, Hyderabad, India

Phone Layout
No Pictures
Saturday, May 31, 2014
MSR 2014 Day 1 (Co-located Event)
08:15 – 18:00, MR.G.1-3
MSR Banquet
19:00 – 21:30, Novotel Pool Lawns
Sunday, June 1, 2014
MSR 2014 Day 2 (Co-located Event)
08:30 – 18:10, MR.G.1-3
T7: How Software Engineering Research can Benefit from Ethnographic Methods (Tutorial)
09:00 – 17:30, MR.1.3, Chairs: Yvonne Dittrich, Cleidson de Souza, and Helen Sharp
Monday, June 2, 2014
SEAMS 2014 Day 1 (Co-located Event)
08:30 – 17:30, MR.G.6
ICPC 2014 Day 1 (Co-located Event)
08:45 – 18:00, MR.G.1-2
T1: The Art and Science of Analyzing Software Data (Tutorial)
09:00 – 12:30, MR.1.2, Chairs: Tim Menzies, Christian Bird, Thomas Zimmermann, Leandro L. Minku, and Burak Turhan
MOBILESoft 2014 Day 1 (Co-located Event)
09:00 – 17:40, MR.1.3
T3: Efficiently Mining Source Code with Boa (Tutorial)
09:00 – 12:30, MR.1.5, Chairs: Robert Dyer, Haam Nguyen, Hridesh Rajan, and Tien Nguyen
T5: Best Practices and Pitfalls for Statistical Analysis of SE Data (Tutorial)
09:00 – 12:30, MR.1.6, Chairs: Audris Mockus, Meiyappan Nagappan, and Ahmed E. Hassan
T2: Fundamentals of Dependable Computing for Software Engineers (Tutorial)
09:00 – 17:30, MR.1.9, Chair: John Knight
T4: Software Fault Tolerance for NextGen Systems: Milieu of Models and Methods (Tutorial)
14:00 – 17:30, MR.1.2, Chairs: Santonu Sarkar and Rajeshwari Ganesan
T6: Presentation Techniques: Structure, Story and Support of a Scientific Talk (Tutorial)
14:00 – 17:30, MR.1.5, Chair: Felienne Hermans
ICPC, MOBILESoft & SEAMS Banquet
19:00 – 21:30, Hall 5-6
Tuesday, June 3, 2014
SEAMS 2014 Day 2 (Co-located Event)
08:30 – 17:40, MR.G.6
MOBILESoft 2014 Day 2 (Co-located Event)
09:00 – 17:45, MR.1.3
TB1: Theory and Practice of Software Requirements Patterns (Tutorial)
09:00 – 12:30, MR.1.7, Chair: Xavier Franch
T14: Understanding Active Learning - MOOCs, SPOCs & Blended Learning (Tutorial)
09:00 – 12:30, MR.1.9, Chair: Adam A. Porter
T8: Essence - A Foundation for Software Development Games (Tutorial)
09:00 – 12:30, MR.2.3-4, Chairs: Shihong Huang, Ivar Jacobson, Panwei Ng, Mira Kajko-Mattsson, and Arne Berre
T10: Case Study Research Methodology for Software Engineering: Observational Case Studies and Technical Action Research (Tutorial)
09:00 – 12:30, MR.2.5, Chair: Roel Wieringa
T9: Software Design Quality in Practice (Tutorial)
09:00 – 12:30, MR.2.6, Chairs: Ganesh Samarthyam, Tushar Sharma, and Girish Suryanaraya
ICPC 2014 Day 2 (Co-located Event)
09:00 – 18:00, MR.G.1-2
TB2: Modeling and Verification of Multi-Agent Systems (Tutorial)
09:00 – 12:30, Speaker's Preparation Office 2.1, Chairs: Neha Rungta and Franco Raimondi
NFS - David Rosenblum (New Faculty and Researcher Symposium)
09:15 – 10:00, MR.1.4
NFS - Group Activity (New Faculty and Researcher Symposium)
10:30 – 11:00, MR.1.4
NFS - Sriram Rajamani (New Faculty and Researcher Symposium)
11:00 – 11:45, MR.1.4
NFS - Jim Herbsleb (New Faculty and Researcher Symposium)
11:45 – 12:30, MR.1.4
NFS - Jo Atlee (New Faculty and Researcher Symposium)
14:00 – 14:45, MR.1.4
T13: Meta Models and Meta Execution Models (Tutorial)
14:00 – 17:30, MR.1.9, Chairs: P. Radha Krishna and Kamal Karlapalem
T15: Reinvigorating Software Engineering Education with SaaS, Cloud Computing, MOOCs, and SPOCs (Tutorial)
14:00 – 17:30, MR.2.3-4, Chairs: Armando Fox
T12: Social Network Analysis for Software Engineering (Tutorial)
14:00 – 17:30, MR.2.5, Chairs: Ramsuri Narayanam, Seema Nagar, and Amit A. Nanavati
T11: Software Engineering for Mobile Development: Challenges, Tools, and Techniques (Tutorial)
14:00 – 17:30, MR.2.6, Chairs: Yael Dubinsky and Aharon Abadi
TB3: Goal Modeling Requirements Engineering in the i* Framework (Tutorial)
14:00 – 17:30, Speaker's Preparation Office 2.1, Chair: Xavier Franch
NFS - Junior Faculty and Researchers (New Faculty and Researcher Symposium)
14:45 – 16:00, MR.1.4
NFS - Junior Faculty and Researchers
, , , , and
NFS - Andreas Zeller (New Faculty and Researcher Symposium)
16:30 – 17:15, MR.1.4
NFS - Discussion and Wrapup (New Faculty and Researcher Symposium)
17:15 – 18:00, MR.1.4
ICSE Reception
19:00 – 21:00, Hall 5-6
Wednesday, June 4, 2014
AM Break
10:00 – 10:30
Modeling (Technical Research)
10:30 – 12:30, Hall 2, Chair: Joanne Atlee
Verifying Component and Connector Models against Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
(Tel Aviv University, Israel; RWTH Aachen University, Germany)
Publisher's Version
TradeMaker: Automated Dynamic Analysis of Synthesized Tradespaces
Hamid Bagheri, Chong Tang, and Kevin Sullivan
(George Mason University, USA; University of Virginia, USA)
Publisher's Version Preprint
Lifting Model Transformations to Product Lines
Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, and Marsha Chechik
(University of Toronto, Canada)
Publisher's Version
Automated Goal Operationalisation Based on Interpolation and SAT Solving
(Universidad Nacional de Río Cuarto, Argentina; Imperial College London, UK; Universidad de Buenos Aires, Argentina)
Publisher's Version Preprint Video
Perspectives on Software Engineering (Technical Research)
10:30 – 12:30, Hall 3, Chair: Audris Mockus
Cowboys, Ankle Sprains, and Keepers of Quality: How Is Video Game Development Different from Software Development?
Emerson Murphy-Hill, Thomas Zimmermann, and Nachiappan Nagappan
(North Carolina State University, USA; Microsoft Research, USA)
ACM Distinguished Paper
Publisher's Version Preprint
Analyze This! 145 Questions for Data Scientists in Software Engineering
Andrew Begel and Thomas Zimmermann
(Microsoft Research, USA)
Publisher's Version Preprint Info
The Dimensions of Software Engineering Success
Paul Ralph and Paul Kelly
(Lancaster University, UK)
Publisher's Version Preprint
How Do Professionals Perceive Legacy Systems and Software Modernization?
Ravi Khadka, Belfrit V. Batlajery, Amir M. Saeidi, Slinger Jansen, and Jurriaan Hage
(Utrecht University, Netherlands)
Publisher's Version Preprint
Configuration, Variability, and Clones (Technical Research)
10:30 – 12:30, MR.1.1-2, Chair: Katsuro Inoue
Mining Configuration Constraints: Static Analyses and Empirical Results
Sarah Nadi, Thorsten Berger, Christian Kästner, and Krzysztof Czarnecki
(University of Waterloo, Canada; IT University of Copenhagen, Denmark; Carnegie Mellon University, USA)
Publisher's Version Preprint Info
Which Configuration Option Should I Change?
Sai Zhang and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Preprint
Detecting Differences across Multiple Instances of Code Clones
Yun Lin, Zhenchang Xing, Yinxing Xue, Yang Liu, Xin Peng, Jun Sun, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore; National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore)
Publisher's Version Preprint
Achieving Accuracy and Scalability Simultaneously in Detecting Application Clones on Android Markets
Kai Chen, Peng Liu, and Yingjun Zhang
(Pennsylvania State University, USA; Institute of Information Engineering at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version Preprint
Testing 1 (Technical Research)
10:30 – 12:30, MR.G.1-3, Chair: Paolo Tonella
SimRT: An Automated Framework to Support Regression Testing for Data Races
Tingting Yu, Witawas Srisa-an, and Gregg Rothermel
(University of Nebraska-Lincoln, USA)
Publisher's Version Preprint
Performance Regression Testing Target Prioritization via Performance Risk Analysis
Peng Huang, Xiao Ma, Dongcai Shen, and Yuanyuan Zhou
(University of California at San Diego, USA; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint Video Info
Code Coverage for Suite Evaluation by Developers
Rahul Gopinath, Carlos Jensen, and Alex Groce
(Oregon State University, USA)
Publisher's Version Preprint
Time Pressure: A Controlled Experiment of Test Case Development and Requirements Review
Mika V. Mäntylä, Kai Petersen, Timo O. A. Lehtinen, and Casper Lassenius
(Aalto University, Finland; Blekinge Institute of Technology, Sweden)
Publisher's Version Preprint Info
FSE OC Meeting
12:30 – 14:00, MR.1.7
ACM TOSEM
12:30 – 14:00, MR.1.9
ICSE 2015 Program and Reviewing Committees Meeting
12:30 – 14:00, MR.2.1
Lunch
12:30 – 14:00
Executive Committee Meeting
14:00 – 18:30, MR 1.9
Social Aspects of Software Engineering (Technical Research)
14:00 – 16:00, Hall 2, Chair: Christian Bird
Two's Company, Three's a Crowd: A Case Study of Crowdsourcing Software Development
Klaas-Jan Stol and Brian Fitzgerald
(Lero, Ireland; University of Limerick, Ireland)
Publisher's Version Preprint Info
Does Latitude Hurt while Longitude Kills? Geographical and Temporal Separation in a Large Scale Software Development Project
Patrick Wagstrom and Subhajit Datta
(IBM Research, USA; Singapore University of Technology and Design, Singapore)
Publisher's Version
Software Engineering at the Speed of Light: How Developers Stay Current using Twitter
Leif Singer, Fernando Figueira Filho, and Margaret-Anne Storey
(University of Victoria, Canada; Federal University of Rio Grande do Norte, Brazil)
Publisher's Version Preprint Info
Building It Together: Synchronous Development in OSS
Qi Xuan and Vladimir Filkov
(Zhejiang University of Technology, China; University of California at Davis, USA)
Publisher's Version
Formal Analysis (Technical Research)
14:00 – 16:00, MR.1.1-2, Chair: Vittorio Cortellessa
Mining Behavior Models from User-Intensive Web Applications
Carlo Ghezzi, , Michele Sama, and Giordano Tamburrelli
(Politecnico di Milano, Italy; University of Lugano, Switzerland; Touchtype, UK)
Publisher's Version Preprint
Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes
Steven Arzt and Eric Bodden
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
Publisher's Version Preprint Info
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
Antonio Filieri, Henry Hoffmann, and Martina Maggio
(University of Stuttgart, Germany; University of Chicago, USA; Lund University, Sweden)
Publisher's Version Preprint
Perturbation Analysis of Stochastic Systems with Empirical Distribution Parameters
Guoxin Su and David S. Rosenblum
(National University of Singapore, Singapore)
Publisher's Version
Repair (Technical Research)
14:00 – 16:00, MR.G.1-3, Chair: Mark Harman
A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair
(University of Lille, France; INRIA, France)
Publisher's Version Preprint
Data-Guided Repair of Selection Statements
Divya Gopinath, Sarfraz Khurshid, Diptikalyan Saha, and Satish Chandra
(University of Texas at Austin, USA; IBM Research, India; Samsung Electronics, USA)
Publisher's Version
The Strength of Random Search on Automated Program Repair
Yuhua Qi, Xiaoguang Mao, Yan Lei, Ziying Dai, and Chengsong Wang
(National University of Defense Technology, China)
Publisher's Version Preprint
MintHint: Automated Synthesis of Repair Hints
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, and Alessandro Orso
(Indian Institute of Science, India; Georgia Tech, USA)
Publisher's Version Preprint Video
PM Break
16:00 – 16:30
Prediction (Technical Research)
16:30 – 18:30, Hall 2, Chair: Per Runeson
Dictionary Learning Based Software Defect Prediction
Xiao-Yuan Jing, Shi Ying, Zhi-Wu Zhang, Shan-Shan Wu, and Jin Liu
(Wuhan University, China; Nanjing University of Posts and Telecommunications, China)
Publisher's Version
Comparing Static Bug Finders and Statistical Prediction
Foyzur Rahman, Sameer Khatri, Earl T. Barr, and Premkumar Devanbu
(University of California at Davis, USA; University College London, UK)
Publisher's Version Preprint
Coverage Is Not Strongly Correlated with Test Suite Effectiveness
Laura Inozemtseva and Reid Holmes
(University of Waterloo, Canada)
ACM Distinguished Paper
Publisher's Version Preprint Video Info
How to Make Best Use of Cross-Company Data in Software Effort Estimation?
Leandro L. Minku and Xin Yao
(University of Birmingham, UK)
Publisher's Version Preprint
Configuration Management (Technical Research)
16:30 – 18:30, Hall 3, Chair: Leonardo Murta
How Do Centralized and Distributed Version Control Systems Impact Software Changes?
Caius Brindescu, Mihai Codoban, Sergii Shmarkatiuk, and Danny Dig
(Oregon State University, USA)
Publisher's Version Preprint Info
Transition from Centralized to Decentralized Version Control Systems: A Case Study on Reasons, Barriers, and Outcomes
Kıvanç Muşlu, Christian Bird, Nachiappan Nagappan, and Jacek Czerwonka
(University of Washington, USA; Microsoft Research, USA; Microsoft, USA)
Publisher's Version Preprint
An Exploratory Study of the Pull-Based Software Development Model
Georgios Gousios, Martin Pinzger, and Arie van Deursen
(Delft University of Technology, Netherlands; University of Klagenfurt, Austria)
Publisher's Version Preprint
Influence of Social and Technical Factors for Evaluating Contribution in GitHub
Jason Tsay, Laura Dabbish, and James Herbsleb
(Carnegie Mellon University, USA)
Publisher's Version
Concurrency (Technical Research)
16:30 – 18:30, MR.1.1-2, Chair: Henry Muccini
CARE: Cache Guided Deterministic Replay for Concurrent Java Programs
Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lu
(Nanjing University, China)
Publisher's Version Preprint
Inferring Models of Concurrent Systems from Logs of Their Behavior with CSight
Ivan Beschastnikh, Yuriy Brun, Michael D. Ernst, and Arvind Krishnamurthy
(University of British Columbia, Canada; University of Massachusetts, USA; University of Washington, USA)
Publisher's Version Preprint Info
Unleashing Concurrency for Irregular Data Structures
Peng Liu and Charles Zhang
(Wuhan University, China; Hong Kong University of Science and Technology, China)
Publisher's Version
ConLock: A Constraint-Based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs
Yan Cai, Shangru Wu, and W. K. Chan
(City University of Hong Kong, China)
Publisher's Version Preprint
Software Understanding (Technical Research)
16:30 – 18:30, MR.G.1-3, Chair: Margaret M. Burnett
Understanding JavaScript Event-Based Interactions
Saba Alimadadi, Sheldon Sequeira, Ali Mesbah, and Karthik Pattabiraman
(University of British Columbia, Canada)
ACM Distinguished Paper
Publisher's Version Preprint
Understanding Understanding Source Code with Functional Magnetic Resonance Imaging
Janet Siegmund, Christian Kästner, Sven Apel, Chris Parnin, Anja Bethmann, Thomas Leich, Gunter Saake, and André Brechmann
(University of Passau, Germany; Carnegie Mellon University, USA; Georgia Tech, USA; Leibniz Institute for Neurobiology, Germany; Metop Research Institute, Germany; University of Magdeburg, Germany)
Publisher's Version Preprint
Improving Automated Source Code Summarization via an Eye-Tracking Study of Programmers
Paige Rodeghero, Collin McMillan, Paul W. McBurney, Nigel Bosch, and Sidney D'Mello
(University of Notre Dame, USA)
ACM Distinguished Paper
Publisher's Version
Using Psycho-Physiological Measures to Assess Task Difficulty in Software Development
Thomas Fritz, Andrew Begel, Sebastian C. Müller, Serap Yigit-Elliott, and Manuela Züger
(University of Zurich, Switzerland; Microsoft Research, USA; Exponent, USA)
Publisher's Version Preprint
SIGSOFT/IEEE CS TCSE Town Hall
18:30 – 19:30, Hall 2
ICSE SC Meeting
19:00 – 21:00, MR.2.3-4
Thursday, June 5, 2014
Some Lessons Learned while Creating a Real MOOC-based Masters of Science (Keynote)
08:30 – 10:00, Hall 3, Chairs: Lionel Briand
Charles Lee Isbell, Jr. received his B.S. in Computer Science in 1990 from the Georgia Institute of Technology and his Ph.D. in Computer Science from the Massachusetts Institute of Technology in 1998. After four years at AT&T Labs/Research, he returned to Georgia Tech to join the faculty of the College of Computing. Charles’ research interests are varied, but recently he has been building autonomous agents that engage in life-long learning when in the presence of thousands of other intelligent agents, including humans. His work has been featured in the popular media, including the New York Times and the Washington Post as well as in technical collections. Charles also pursues reform in computing education. He was a developer of Threads, Georgia Tech’s new structuring principle for computing curricula. Recently, he has assumed the role of the Senior Associate Dean for the College.
AM Break
10:00 – 10:30
Testing 2 (Technical Research)
10:30 – 12:30, Hall 1, Chair: Phil McMinn
Micro Execution
Patrice Godefroid
(Microsoft Research, USA)
Publisher's Version Preprint
Unit Test Virtualization with VMVM
Jonathan Bell and Gail Kaiser
(Columbia University, USA)
ACM Distinguished Paper
Publisher's Version Preprint Info
Interpolated N-Grams for Model Based Testing
(Fondazione Bruno Kessler, Italy; University of Luxembourg, Luxembourg)
Publisher's Version Preprint Video
An Analysis of the Relationship between Conditional Entropy and Failed Error Propagation in Software Testing
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, and Mark Harman
(Middlesex University, UK; University College London, UK; Brunel University, UK)
Publisher's Version
Code Contracts, Invariants, and Robustness (Technical Research)
10:30 – 12:30, Hall 2, Chair: Andreas Zeller
Trading Robustness for Maintainability: An Empirical Study of Evolving C# Programs
Nélio Cacho, Thiago César, Thomas Filipe, Eliezio Soares, Arthur Cassio, Rafael Souza, Israel Garcia, Eiji Adachi Barbosa, and Alessandro Garcia
(Federal University of Rio Grande do Norte, Brazil; PUC-Rio, Brazil)
ACM Distinguished Paper
Publisher's Version Preprint
Case Studies and Tools for Contract Specifications
Todd W. Schiller, Kellen Donohue, Forrest Coward, and Michael D. Ernst
(University of Washington, USA)
Publisher's Version Preprint Info
Using Dynamic Analysis to Generate Disjunctive Invariants
ThanhVu Nguyen, Deepak Kapur, Westley Weimer, and Stephanie Forrest
(University of New Mexico, USA; University of Virginia, USA)
Publisher's Version Preprint
Inductive Verification of Data Model Invariants for Web Applications
(University of California at Santa Barbara, USA)
Publisher's Version Preprint
Apps and Energy (Technical Research)
10:30 – 12:30, Hall 3, Chair: Massimiliano Di Penta
SEEDS: A Software Engineer's Energy-Optimization Decision Support Framework
Irene Manotas, Lori Pollock, and James Clause
(University of Delaware, USA)
Publisher's Version Preprint
APE: An Annotation Language and Middleware for Energy-Efficient Mobile Application Development
Nima Nikzad, Octav Chipara, and William G. Griswold
(University of California at San Diego, USA; University of Iowa, USA)
Publisher's Version Preprint
Making Web Applications More Energy Efficient for OLED Smartphones
Ding Li, Angelica Huyen Tran, and William G. J. Halfond
(University of Southern California, USA)
Publisher's Version
ISSTA Steering Committee Meeting
12:30 – 14:00, MR 1.7
JSS Editorial Board Meeting
12:30 – 14:00, MR 2.2
ICSE 2015 Organizing Committee Meeting
12:30 – 14:00, MR.1.1
IEEE TSE Editorial Board
12:30 – 14:00, MR.1.2
TCSE EC
12:30 – 14:00, MR.1.9
SIGSOFT EC
12:30 – 14:00, MR.2.1
Lunch
12:30 – 14:00
Search and APIs (Technical Research)
14:00 – 16:00, Hall 1, Chair: Yuriy Brun
How Do API Documentation and Static Typing Affect API Usability?
Stefan Endrikat, Stefan Hanenberg, Romain Robbes, and Andreas Stefik
(University of Duisburg-Essen, Germany; University of Chile, Chile; University of Nevada at Las Vegas, USA)
Publisher's Version Preprint
Live API Documentation
Siddharth Subramanian, Laura Inozemtseva, and Reid Holmes
(University of Waterloo, Canada)
Publisher's Version Preprint Video Info
CodeHint: Dynamic and Interactive Synthesis of Code Snippets
Joel Galenson, Philip Reames, Rastislav Bodik, Björn Hartmann, and Koushik Sen
(University of California at Berkeley, USA)
Awarded as Prof. R. Narasimhan Lecture
Publisher's Version Preprint Video Info
Spotting Working Code Examples
Iman Keivanloo, Juergen Rilling, and Ying Zou
(Queen's University, Canada; Concordia University, Canada)
Publisher's Version Preprint
Adaptive Systems (Technical Research)
14:00 – 16:00, Hall 2, Chair: Sam Malek
Self-Adaptation through Incremental Generative Model Transformations at Runtime
Bihuan Chen, Xin Peng, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Open University, UK; University of Limerick, Ireland)
Publisher's Version Preprint
Hope for the Best, Prepare for the Worst: Multi-tier Control for Adaptive Systems
Nicolas D'Ippolito, Víctor Braberman, Jeff Kramer, Jeff Magee, Daniel Sykes, and Sebastian Uchitel
(Imperial College London, UK; Universidad de Buenos Aires, Argentina)
Publisher's Version Preprint Video
Brownout: Building More Robust Cloud Applications
Cristian Klein, Martina Maggio, Karl-Erik Årzén, and Francisco Hernández-Rodriguez
(Umeå University, Sweden; Lund University, Sweden)
Publisher's Version Preprint Info
Integrating Adaptive User Interface Capabilities in Enterprise Applications
Pierre A. Akiki, Arosha K. Bandara, and Yijun Yu
(Open University, UK)
Publisher's Version Preprint Video Info
PM Break
16:00 – 16:30
Build and Package Management (Technical Research)
16:30 – 18:30, Hall 1, Chair: Arie van Deursen
Programmers' Build Errors: A Case Study (at Google)
Hyunmin Seo, Caitlin Sadowski, Sebastian Elbaum, Edward Aftandilian, and Robert Bowdidge
(Hong Kong University of Science and Technology, China; Google, USA; University of Nebraska-Lincoln, USA)
Publisher's Version Preprint
Understanding and Improving Software Build Teams
Shaun Phillips, Thomas Zimmermann, and Christian Bird
(University of Calgary, Canada; Microsoft Research, USA)
Publisher's Version Preprint
Towards Efficient Optimization in Package Management Systems
Alexey Ignatiev, Mikoláš Janota, and Joao Marques-Silva
(INESC-ID, Portugal; University College Dublin, Ireland)
Publisher's Version Preprint
Easing Software Component Repository Evolution
Jérôme Vouillon, Mehdi Dogguy, and Roberto Di Cosmo
(University Paris Diderot, France; CNRS, France; EDF, France; Debian, France; INRIA, France)
Publisher's Version Preprint Info
Mining (Technical Research)
16:30 – 18:30, Hall 2, Chair: Premkumar Devanbu
AR-Miner: Mining Informative Reviews for Developers from Mobile App Marketplace
Ning Chen, Jialiu Lin, Steven C. H. Hoi, Xiaokui Xiao, and Boshen Zhang
(Nanyang Technological University, Singapore; Carnegie Mellon University, USA)
Publisher's Version Preprint
Mining Billions of AST Nodes to Study Actual and Potential Usage of Java Language Features
Robert Dyer, Hridesh Rajan, Hoan Anh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Publisher's Version Preprint Info
Mining Interprocedural, Data-Oriented Usage Patterns in JavaScript Web Applications
Hung Viet Nguyen, Hoan Anh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Publisher's Version
Mining Fine-Grained Code Changes to Detect Unknown Change Patterns
Stas Negara, Mihai Codoban, Danny Dig, and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA; Oregon State University, USA)
Publisher's Version Preprint
Automated Bug Detection and Repair (Technical Research)
16:30 – 18:30, MR.G.1-3, Chair: Tim Menzies
Detecting Memory Leaks through Introspective Dynamic Behavior Modeling using Machine Learning
Sangho Lee, Changhee Jung, and Santosh Pande
(Georgia Tech, USA; Virginia Tech, USA)
Publisher's Version
Automated Memory Leak Detection for Production Use
Changhee Jung, Sangho Lee, Easwaran Raman, and Santosh Pande
(Virginia Tech, USA; Georgia Tech, USA; Google, USA)
Publisher's Version
Vejovis: Suggesting Fixes for JavaScript Faults
Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah
(University of British Columbia, Canada)
Publisher's Version Preprint
Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation
(Institute of Software at Chinese Academy of Sciences, China; Hong Kong University of Science and Technology, China)
Publisher's Version
ESEC Steering Committee Meeting
18:00 – 21:00, MR.1.9
SRC Committee Meeting
18:00 – 21:00, MR.G.3
ICSE Banquet
19:00 – 22:00, N Convention
Friday, June 6, 2014
Round Table on Emerging Software Engineering Challenges (Panel)
08:30 – 10:00, Hall 3, Chair: Pankaj Jalote
K. Ananth Krishnan is an M. Tech. in Computer Science and an M.Sc in Physics from the Indian Institute of Technology, Delhi. He also has a Bachelor's degree in Physics from Fergusson College, Pune. He joined TCS in February 1988, straight from campus. Ananth is currently the Chief Technology Officer of TCS and chairs the TCS Corporate Technology Board. He is a member of the TCS Corporate Think-Tank since 1999, and has led several strategic initiatives. He has been a Principal Architect and Lead Consultant in the Architecture and Technology Consulting Practice, and earlier the head of the TCS Systems Management and the Systems Software Group.

Jeannette M. Wing is Corporate Vice President, Microsoft Research. She is on leave from Carnegie Mellon University, where she is President’s Professor of Computer Science and twice served as the Head of the Computer Science Department. From 2007-2010 she was the Assistant Director of the Computer and Information Science and Engineering Directorate at the National Science Foundation. She received her B.S and M.S. degrees in Computer Science and Engineering in 1979 and her Ph.D. degree in Computer Science in 1983, all from the Massachusetts Institute of Technology. Her general research interests are in the areas of trustworthy computing, specification and verification, concurrent and distributed systems, programming languages, and software engineering. Her current interests are in the foundations of security and privacy. She was or is on the editorial board of twelve journals, including the Journal of the ACM and Communications of the ACM.

Vishnu Bhat (@BhatVishnu) heads the Cloud, Mobility and Infrastructure Management Services units and drives the vision of delivering digital transformation and infrastructure management initiatives for clients. Vishnu has been with Infosys for 21 years and earlier led the Cloud and System Integration unit at Infosys. Prior to that, he was Chief Operating Officer (COO) for Infosys Australia. As COO, he integrated an acquired subsidiary, building a strong footprint in the market. He also headed the Global Development Centre in Toronto and delivery operations for Canada. Vishnu represents Infosys as a steering committee member at the Open Data Center Alliance (ODCA) and has joined the ODCA Board of Directors. Vishnu is a widely recognized leader in the industry for his vision and expertise in delivering transformational impact for enterprises through digital technologies such as Cloud, Big Data and Mobility. He has been recognized as one of the 101 Trust Leaders in Cloud and Hosting, 2014 by Total Product Marketing.
AM Break
10:00 – 10:30
Testing and Conformance Verification (Technical Research)
10:30 – 12:30, Hall 1, Chairs: Alessandro Orso
Exploring Variability-Aware Execution for Testing Plugin-Based Web Applications
Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen
(Iowa State University, USA; Carnegie Mellon University, USA)
Publisher's Version
A Study of Equivalent and Stubborn Mutation Operators using Human Analysis of Equivalence
Xiangjuan Yao, Mark Harman, and Yue Jia
(China University of Mining and Technology, China; University College London, UK)
Publisher's Version Preprint Info
Cross-Checking Oracles from Intrinsic Software Redundancy
Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, and Mauro Pezzè
(University of Lugano, Switzerland; Saarland University, Germany; University of Milano-Bicocca, Italy)
Publisher's Version Preprint Video
Mind the Gap: Assessing the Conformance of Software Traceability to Relevant Guidelines
Patrick Rempel, Patrick Mäder, Tobias Kuschke, and Jane Cleland-Huang
(TU Ilmenau, Germany; DePaul University, USA)
Publisher's Version Preprint Video
Modeling and Interfaces (Technical Research)
10:30 – 12:30, MR.1.3-4, Chair: Sven Apel
Effects of Using Examples on Structural Model Comprehension: A Controlled Experiment
Dina Zayan, Michał Antkiewicz, and Krzysztof Czarnecki
(University of Waterloo, Canada)
Publisher's Version Info
Design Rule Spaces: A New Form of Architecture Insight
Lu Xiao, Yuanfang Cai, and Rick Kazman
(Drexel University, USA; University of Hawaii, USA; SEI, USA)
Publisher's Version
Controlled Modeling Environment using Flexibly-Formatted Spreadsheets
Hisashi Miyashita, Hideki Tai, and Shunichi Amano
(Cybernet Systems, Japan; IBM Research, Japan)
Publisher's Version Preprint
Feature Maintenance with Emergent Interfaces
(Federal University of Alagoas, Brazil; Federal University of Pernambuco, Brazil; Carnegie Mellon University, USA)
Publisher's Version Preprint Info
Requirements (Technical Research)
10:30 – 12:30, MR.G.1-3, Chair: Daniel Amyot
Us and Them: A Study of Privacy Requirements Across North America, Asia, and Europe
Swapneel Sheth, Gail Kaiser, and Walid Maalej
(Columbia University, USA; University of Hamburg, Germany)
Publisher's Version Preprint
Distilling Privacy Requirements for Mobile Applications
Keerthi Thomas, Arosha K. Bandara, Blaine A. Price, and Bashar Nuseibeh
(Open University, UK; University of Limerick, Ireland)
Publisher's Version Preprint
Uncertainty, Risk, and Information Value in Software Requirements and Architecture
Emmanuel Letier, David Stefan, and Earl T. Barr
(University College London, UK)
Publisher's Version Preprint
Requirements Fixation
Rahul Mohanani, Paul Ralph, and Ben Shreeve
(Lancaster University, UK)
Publisher's Version Preprint Video
ICSE 2016 Meeting
12:30 – 14:00, MR.1.2
Lunch
12:30 – 14:00
Symbolic Execution (Technical Research)
14:00 – 16:00, Hall 1, Chair: Michael Whalen
Patch Verification via Multiversion Interprocedural Control Flow Graphs
Wei Le and Shannon D. Pattison
(Rochester Institute of Technology, USA)
Publisher's Version Preprint
Property Differencing for Incremental Checking
Guowei Yang, Sarfraz Khurshid, Suzette Person, and Neha Rungta
(Texas State University, USA; University of Texas at Austin, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA)
Publisher's Version Preprint
Symbolic Assume-Guarantee Reasoning through BDD Learning
Fei He, Bow-Yaw Wang, Liangze Yin, and Lei Zhu
(Tsinghua University, China; Academia Sinica, Taiwan)
Publisher's Version Preprint
Enhancing Symbolic Execution with Veritesting
Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley
(Carnegie Mellon University, USA)
ACM Distinguished Paper
Publisher's Version Preprint
Refactoring and Reverse Engineering (Technical Research)
14:00 – 16:00, MR.1.3-4, Chair: Miryung Kim
Manual Refactoring Changes with Automated Refactoring Validation
(North Carolina State University, USA)
Publisher's Version Preprint
Alternate Refactoring Paths Reveal Usability Problems
Mohsen Vakilian and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Preprint Info
A Study and Toolkit for Asynchronous Programming in C#
Semih Okur, David L. Hartveld, Danny Dig, and Arie van Deursen
(University of Illinois at Urbana-Champaign, USA; Delft University of Technology, Netherlands; Oregon State University, USA)
ACM Distinguished Paper
Publisher's Version Preprint Info
Reuse-Oriented Reverse Engineering of Functional Components from X86 Binaries
Dohyeong Kim, William N. Sumner, Xiangyu Zhang, Dongyan Xu, and Hira Agrawal
(Purdue University, USA; Simon Fraser University, Canada; Applied Communications Sciences, USA)
Publisher's Version
Apps and Verification (Technical Research)
14:00 – 16:00, MR.G.1-3, Chair: Luciano Baresi
Detecting Performance Anti-patterns for Applications Developed using Object-Relational Mapping
Parminder Flora, Weiyi Shang, Zhen Ming Jiang, and Ahmed E. Hassan
(BlackBerry, Canada; Queen's University, Canada; York University, Canada)
Publisher's Version Preprint
Characterizing and Detecting Performance Bugs for Smartphone Applications
(Hong Kong University of Science and Technology, China; Nanjing University, China)
ACM Distinguished Paper
Publisher's Version Preprint Info
Checking App Behavior Against App Descriptions
Alessandra Gorla, Ilaria Tavecchia, Florian Gross, and Andreas Zeller
(Saarland University, Germany)
Publisher's Version Preprint
AsDroid: Detecting Stealthy Behaviors in Android Applications by User Interface and Program Behavior Contradiction
Jianjun Huang, Xiangyu Zhang, Lin Tan, Peng Wang, and Bin Liang
(Purdue University, USA; University of Waterloo, Canada; Renmin University of China, China)
Publisher's Version Preprint
PM Break
16:00 – 16:30
Closing and Awards
16:30 – 18:00, Hall 3
ICSE 2014 Debrief
18:00 – 18:45, Hall 3
ICSE OC Final Get-Together
19:30 – 22:00, Hall 1
Saturday, June 7, 2014
The Business Side of Software - Emerging Challenges and Opportunities (Workshop)
09:00 – 17:30, MR.1.3-4
FSE 2014 PC Meeting Day 1
09:00 – 17:30, MR.1.5-6
FSE PC Dinner
19:00 – 22:00, Rubaiyat Restaurant
Sunday, June 8, 2014
FSE 2014 PC Meeting Day 2
09:00 – 17:30, MR.1.5-6

Time stamp: 2019-07-18T09:43:58+02:00