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

ICSE 2014 – Proceedings

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

Frontmatter

Title Page
Article: icse14foreword-fm000-p (type: Frontmatter) doi:
Message from the Chairs
Article: icse14foreword-fm001-p (type: Frontmatter) doi:
Committees
Article: icse14foreword-fm002-p (type: Frontmatter) doi:
Sponsors
Article: icse14foreword-fm003-p (type: Frontmatter) doi:

Technical Research

Perspectives on Software Engineering
Wed, Jun 4, 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 Article: icse14main-p007-p (type: Full Paper) doi:
Analyze This! 145 Questions for Data Scientists in Software Engineering
Andrew Begel and Thomas Zimmermann
(Microsoft Research, USA)
Article: icse14main-p028-p (type: Full Paper) doi:
The Dimensions of Software Engineering Success
Paul Ralph and Paul Kelly
(Lancaster University, UK)
Article: icse14main-p196-p (type: Full Paper) doi:
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)
Article: icse14main-p461-p (type: Full Paper) doi:

Testing 1
Wed, Jun 4, 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)
Article: icse14main-p368-p (type: Full Paper) doi:
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)
Article: icse14main-p025-p (type: Full Paper) doi:
Code Coverage for Suite Evaluation by Developers
Rahul Gopinath, Carlos Jensen, and Alex Groce
(Oregon State University, USA)
Article: icse14main-p297-p (type: Full Paper) doi:
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)
Article: icse14main-p089-p (type: Full Paper) doi:

Modeling
Wed, Jun 4, 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)
Article: icse14main-p042-p (type: Full Paper) doi:
TradeMaker: Automated Dynamic Analysis of Synthesized Tradespaces
Hamid Bagheri, Chong Tang, and Kevin Sullivan
(George Mason University, USA; University of Virginia, USA)
Article: icse14main-p358-p (type: Full Paper) doi:
Lifting Model Transformations to Product Lines
Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, and Marsha Chechik
(University of Toronto, Canada)
Article: icse14main-p247-p (type: Full Paper) doi:
Automated Goal Operationalisation Based on Interpolation and SAT Solving
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, and Sebastian Uchitel
(Universidad Nacional de Río Cuarto, Argentina; Imperial College London, UK; Universidad de Buenos Aires, Argentina)
Article: icse14main-p488-p (type: Full Paper) doi:

Configuration, Variability, and Clones
Wed, Jun 4, 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)
Article: icse14main-p324-p (type: Full Paper) doi:
Which Configuration Option Should I Change?
Sai Zhang and Michael D. Ernst
(University of Washington, USA)
Article: icse14main-p111-p (type: Full Paper) doi:
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)
Article: icse14main-p391-p (type: Full Paper) doi:
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)
Article: icse14main-p339-p (type: Full Paper) doi:

Social Aspects of Software Engineering
Wed, Jun 4, 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)
Article: icse14main-p108-p (type: Full Paper) doi:
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)
Article: icse14main-p299-p (type: Full Paper) doi:
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)
Article: icse14main-p416-p (type: Full Paper) doi:
Building It Together: Synchronous Development in OSS
Qi Xuan and Vladimir Filkov
(Zhejiang University of Technology, China; University of California at Davis, USA)
Article: icse14main-p051-p (type: Full Paper) doi:

Repair
Wed, Jun 4, 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
Martin Monperrus
(University of Lille, France; INRIA, France)
Article: icse14main-p489-p (type: Full Paper) doi:
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)
Article: icse14main-p410-p (type: Full Paper) doi:
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)
Article: icse14main-p126-p (type: Full Paper) doi:
MintHint: Automated Synthesis of Repair Hints
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade, and Alessandro Orso
(Indian Institute of Science, India; Georgia Tech, USA)
Article: icse14main-p154-p (type: Full Paper) doi:

Formal Analysis
Wed, Jun 4, 14:00 - 16:00, MR.1.1-2 (Chair: Vittorio Cortellessa)

Mining Behavior Models from User-Intensive Web Applications
Carlo Ghezzi, Mauro Pezzè, Michele Sama, and Giordano Tamburrelli
(Politecnico di Milano, Italy; University of Lugano, Switzerland; Touchtype, UK)
Article: icse14main-p032-p (type: Full Paper) doi:
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)
Article: icse14main-p080-p (type: Full Paper) doi:
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)
Article: icse14main-p264-p (type: Full Paper) doi:
Perturbation Analysis of Stochastic Systems with Empirical Distribution Parameters
Guoxin Su and David S. Rosenblum
(National University of Singapore, Singapore)
Article: icse14main-p137-p (type: Full Paper) doi:

Configuration Management
Wed, Jun 4, 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)
Article: icse14main-p473-p (type: Full Paper) doi:
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)
Article: icse14main-p330-p (type: Full Paper) doi:
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)
Article: icse14main-p188-p (type: Full Paper) doi:
Influence of Social and Technical Factors for Evaluating Contribution in GitHub
Jason Tsay, Laura Dabbish, and James Herbsleb
(Carnegie Mellon University, USA)
Article: icse14main-p440-p (type: Full Paper) doi:

Software Understanding
Wed, Jun 4, 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 Article: icse14main-p253-p (type: Full Paper) doi:
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)
Article: icse14main-p117-p (type: Full Paper) doi:
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 Article: icse14main-p103-p (type: Full Paper) doi:
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)
Article: icse14main-p237-p (type: Full Paper) doi:

Prediction
Wed, Jun 4, 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)
Article: icse14main-p468-p (type: Full Paper) doi:
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)
Article: icse14main-p255-p (type: Full Paper) doi:
Coverage Is Not Strongly Correlated with Test Suite Effectiveness
Laura Inozemtseva and Reid Holmes
(University of Waterloo, Canada)
ACM Distinguished Paper Article: icse14main-p263-p (type: Full Paper) doi:
How to Make Best Use of Cross-Company Data in Software Effort Estimation?
Leandro L. Minku and Xin Yao
(University of Birmingham, UK)
Article: icse14main-p011-p (type: Full Paper) doi:

Concurrency
Wed, Jun 4, 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)
Article: icse14main-p037-p (type: Full Paper) doi:
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)
Article: icse14main-p101-p (type: Full Paper) doi:
Unleashing Concurrency for Irregular Data Structures
Peng Liu and Charles Zhang
(Wuhan University, China; Hong Kong University of Science and Technology, China)
Article: icse14main-p293-p (type: Full Paper) doi:
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)
Article: icse14main-p430-p (type: Full Paper) doi:

Apps and Energy
Thu, Jun 5, 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)
Article: icse14main-p379-p (type: Full Paper) doi:
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)
Article: icse14main-p348-p (type: Full Paper) doi:
Making Web Applications More Energy Efficient for OLED Smartphones
Ding Li, Angelica Huyen Tran, and William G. J. Halfond
(University of Southern California, USA)
Article: icse14main-p472-p (type: Full Paper) doi:

Testing 2
Thu, Jun 5, 10:30 - 12:30, Hall 1 (Chair: Phil McMinn)

Micro Execution
Patrice Godefroid
(Microsoft Research, USA)
Article: icse14main-p277-p (type: Full Paper) doi:
Unit Test Virtualization with VMVM
Jonathan Bell and Gail Kaiser
(Columbia University, USA)
ACM Distinguished Paper Article: icse14main-p107-p (type: Full Paper) doi:
Interpolated N-Grams for Model Based Testing
Paolo Tonella, Roberto Tiella, and Cu Duy Nguyen
(Fondazione Bruno Kessler, Italy; University of Luxembourg, Luxembourg)
Article: icse14main-p071-p (type: Full Paper) doi:
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)
Article: icse14main-p436-p (type: Full Paper) doi:

Code Contracts, Invariants, and Robustness
Thu, Jun 5, 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 Article: icse14main-p424-p (type: Full Paper) doi:
Case Studies and Tools for Contract Specifications
Todd W. Schiller, Kellen Donohue, Forrest Coward, and Michael D. Ernst
(University of Washington, USA)
Article: icse14main-p331-p (type: Full Paper) doi:
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)
Article: icse14main-p289-p (type: Full Paper) doi:
Inductive Verification of Data Model Invariants for Web Applications
Ivan Bocić and Tevfik Bultan
(University of California at Santa Barbara, USA)
Article: icse14main-p304-p (type: Full Paper) doi:

Search and APIs
Thu, Jun 5, 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)
Article: icse14main-p393-p (type: Full Paper) doi:
Live API Documentation
Siddharth Subramanian, Laura Inozemtseva, and Reid Holmes
(University of Waterloo, Canada)
Article: icse14main-p432-p (type: Full Paper) doi:
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 Article: icse14main-p110-p (type: Full Paper) doi:
Spotting Working Code Examples
Iman Keivanloo, Juergen Rilling, and Ying Zou
(Queen's University, Canada; Concordia University, Canada)
Article: icse14main-p359-p (type: Full Paper) doi:

Adaptive Systems
Thu, Jun 5, 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)
Article: icse14main-p427-p (type: Full Paper) doi:
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)
Article: icse14main-p220-p (type: Full Paper) doi:
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)
Article: icse14main-p008-p (type: Full Paper) doi:
Integrating Adaptive User Interface Capabilities in Enterprise Applications
Pierre A. Akiki, Arosha K. Bandara, and Yijun Yu
(Open University, UK)
Article: icse14main-p018-p (type: Full Paper) doi:

Build and Package Management
Thu, Jun 5, 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)
Article: icse14main-p135-p (type: Full Paper) doi:
Understanding and Improving Software Build Teams
Shaun Phillips, Thomas Zimmermann, and Christian Bird
(University of Calgary, Canada; Microsoft Research, USA)
Article: icse14main-p286-p (type: Full Paper) doi:
Towards Efficient Optimization in Package Management Systems
Alexey Ignatiev, Mikoláš Janota, and Joao Marques-Silva
(INESC-ID, Portugal; University College Dublin, Ireland)
Article: icse14main-p418-p (type: Full Paper) doi:
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)
Article: icse14main-p202-p (type: Full Paper) doi:

Mining
Thu, Jun 5, 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)
Article: icse14main-p217-p (type: Full Paper) doi:
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)
Article: icse14main-p369-p (type: Full Paper) doi:
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)
Article: icse14main-p408-p (type: Full Paper) doi:
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)
Article: icse14main-p446-p (type: Full Paper) doi:

Automated Bug Detection and Repair
Thu, Jun 5, 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)
Article: icse14main-p421-p (type: Full Paper) doi:
Automated Memory Leak Detection for Production Use
Changhee Jung, Sangho Lee, Easwaran Raman, and Santosh Pande
(Virginia Tech, USA; Georgia Tech, USA; Google, USA)
Article: icse14main-p428-p (type: Full Paper) doi:
Vejovis: Suggesting Fixes for JavaScript Faults
Frolin S. Ocariza, Jr., Karthik Pattabiraman, and Ali Mesbah
(University of British Columbia, Canada)
Article: icse14main-p153-p (type: Full Paper) doi:
Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation
Wensheng Dou, Shing-Chi Cheung, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; Hong Kong University of Science and Technology, China)
Article: icse14main-p441-p (type: Full Paper) doi:

Requirements
Fri, Jun 6, 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)
Article: icse14main-p082-p (type: Full Paper) doi:
Distilling Privacy Requirements for Mobile Applications
Keerthi Thomas, Arosha K. Bandara, Blaine A. Price, and Bashar Nuseibeh
(Open University, UK; University of Limerick, Ireland)
Article: icse14main-p057-p (type: Full Paper) doi:
Uncertainty, Risk, and Information Value in Software Requirements and Architecture
Emmanuel Letier, David Stefan, and Earl T. Barr
(University College London, UK)
Article: icse14main-p052-p (type: Full Paper) doi:
Requirements Fixation
Rahul Mohanani, Paul Ralph, and Ben Shreeve
(Lancaster University, UK)
Article: icse14main-p034-p (type: Full Paper) doi:

Testing and Conformance Verification
Fri, Jun 6, 10:30 - 12:30, Hall 1 (Chair: 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)
Article: icse14main-p400-p (type: Full Paper) doi:
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)
Article: icse14main-p234-p (type: Full Paper) doi:
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)
Article: icse14main-p346-p (type: Full Paper) doi:
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)
Article: icse14main-p357-p (type: Full Paper) doi:

Modeling and Interfaces
Fri, Jun 6, 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)
Article: icse14main-p258-p (type: Full Paper) doi:
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)
Article: icse14main-p063-p (type: Full Paper) doi:
Controlled Modeling Environment using Flexibly-Formatted Spreadsheets
Hisashi Miyashita, Hideki Tai, and Shunichi Amano
(Cybernet Systems, Japan; IBM Research, Japan)
Article: icse14main-p024-p (type: Full Paper) doi:
Feature Maintenance with Emergent Interfaces
Márcio Ribeiro, Paulo Borba, and Christian Kästner
(Federal University of Alagoas, Brazil; Federal University of Pernambuco, Brazil; Carnegie Mellon University, USA)
Article: icse14main-p351-p (type: Full Paper) doi:

Apps and Verification
Fri, Jun 6, 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
(Queen's University, Canada; York University, Canada; BlackBerry, Canada)
Article: icse14main-p184-p (type: Full Paper) doi:
Characterizing and Detecting Performance Bugs for Smartphone Applications
Yepang Liu, Chang Xu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Nanjing University, China)
ACM Distinguished Paper Article: icse14main-p014-p (type: Full Paper) doi:
Checking App Behavior Against App Descriptions
Alessandra Gorla, Ilaria Tavecchia, Florian Gross, and Andreas Zeller
(Saarland University, Germany)
Article: icse14main-p292-p (type: Full Paper) doi:
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)
Article: icse14main-p403-p (type: Full Paper) doi:

Symbolic Execution
Fri, Jun 6, 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)
Article: icse14main-p411-p (type: Full Paper) doi:
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)
Article: icse14main-p463-p (type: Full Paper) doi:
Symbolic Assume-Guarantee Reasoning through BDD Learning
Fei He, Bow-Yaw Wang, Liangze Yin, and Lei Zhu
(Tsinghua University, China; Academia Sinica, Taiwan)
Article: icse14main-p121-p (type: Full Paper) doi:
Enhancing Symbolic Execution with Veritesting
Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley
(Carnegie Mellon University, USA)
ACM Distinguished Paper Article: icse14main-p362-p (type: Full Paper) doi:

Refactoring and Reverse Engineering
Fri, Jun 6, 14:00 - 16:00, MR.1.3-4 (Chair: Miryung Kim)

Manual Refactoring Changes with Automated Refactoring Validation
Xi Ge and Emerson Murphy-Hill
(North Carolina State University, USA)
Article: icse14main-p301-p (type: Full Paper) doi:
Alternate Refactoring Paths Reveal Usability Problems
Mohsen Vakilian and Ralph E. Johnson
(University of Illinois at Urbana-Champaign, USA)
Article: icse14main-p309-p (type: Full Paper) doi:
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 Article: icse14main-p426-p (type: Full Paper) doi:
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)
Article: icse14main-p374-p (type: Full Paper) doi:

proc time: 0.18