ICSE Companion 2014 – Proceedings

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

Frontmatter

Message from the Chairs
Article: icsecomp14foreword-fm001-p (type: Frontmatter) doi:

Keynote

Socio-Technical Coordination (Keynote)
James Herbsleb
(Carnegie Mellon University, USA)
Article: icsecomp14keynotes-keynotesid1-p (type: Invited Talk Abstract (2 pages)) doi:

Software Engineering in Practice

Panel Session 1
Wed, Jun 4, 10:30 - 12:30, MR.1.5-6 (Chair: Gautam Shroff)

Ready-Set-Transfer: Exploring the Technology Transfer Readiness of Academic Research Projects (Panel)
Jane Cleland-Huang, Daniela Damian, and Smita Ghaisas
(DePaul University, USA; University of Victoria, Canada; Tata Consultancy Services, India)
Article: icsecomp14seip-seipid104-p (type: Short Paper) doi:

Software Engineering for the Web: The State of the Practice
Alex Nederlof, Ali Mesbah, and Arie van Deursen
(Delft University of Technology, Netherlands; University of British Columbia, Canada)
Article: icsecomp14seip-seipid111-p (type: Full Paper) doi:

Dependability, Safety, and Reliability
Wed, Jun 4, 14:00 - 16:00, MR.1.5-6 (Chair: Rene Just)

An Empirical Study of Structural Defects in Industrial Use-Cases
Deepti Parachuri, A. S. M. Sajeev, and Rakesh Shukla
(Infosys Labs, India; University of New England, Australia)
Article: icsecomp14seip-seipid28-p (type: Full Paper) doi:

Where Do Developers Log? An Empirical Study on Logging Practices in Industry
Qiang Fu, Jieming Zhu, Wenlu Hu, Jian-Guang Lou, Rui Ding, Qingwei Lin, Dongmei Zhang, and Tao Xie
(Microsoft Research, China; Chinese University of Hong Kong, China; Carnegie Mellon University, USA; University of Illinois at Urbana-Champaign, USA)
Article: icsecomp14seip-seipid110-p (type: Full Paper) doi:

Active Files as a Measure of Software Maintainability
Lukas Schulte, Hitesh Sajnani, and Jacek Czerwonka
(Northeastern University, USA; University of California at Irvine, USA; Microsoft, USA)
Article: icsecomp14seip-seipid93-p (type: Full Paper) doi:

Nondeterminism in MapReduce Considered Harmful? An Empirical Study on Non-commutative Aggregators in MapReduce Programs
Tian Xiao, Jiaxing Zhang, Hucheng Zhou, Zhenyu Guo, Sean McDirmid, Wei Lin, Wenguang Chen, and Lidong Zhou
(Tsinghua University, China; Microsoft Research, China; Microsoft Bing, USA)
Article: icsecomp14seip-seipid15-p (type: Full Paper) doi:

Processes and Agile Development
Wed, Jun 4, 16:30 - 19:00, MR.1.5-6 (Chair: T.S. Mohan)

Automated Software Integration Flows in Industry: A Multiple-Case Study
Daniel Ståhl and Jan Bosch
(Ericsson, Sweden; Chalmers, Sweden)
Article: icsecomp14seip-seipid4-p (type: Full Paper) doi:

How to Build a Good Practice Software Project Portfolio?
Hennie Huijgens, Rini van Solingen, and Arie van Deursen
(Delft University of Technology, Netherlands; Goverdson, Netherlands; Prowareness, Netherlands)
Article: icsecomp14seip-seipid49-p (type: Full Paper) doi:

Distributed-Pair Programming Can Work Well and Is Not Just Distributed Pair-Programming
Julia Schenk, Lutz Prechelt, and Stephan Salinger
(Freie Universität Berlin, Germany)
Article: icsecomp14seip-seipid90-p (type: Full Paper) doi:

Empirical Insights into the Perceived Benefits of Agile Software Engineering Practices: A Case Study from SAP
Christoph Tobias Schmidt, Srinivasa Ganesha Venkatesha, and Juergen Heymann
(University of Mannheim, Germany; SAP Labs, India; SAP, Germany)
Article: icsecomp14seip-seipid56-p (type: Full Paper) doi:

Evidence-Based Decision Making in Lean Software Project Management
Brian Fitzgerald, Mariusz Musiał, and Klaas-Jan Stol
(Lero, Ireland; University of Limerick, Ireland; Ericpol, Poland)
Article: icsecomp14seip-seipid78-p (type: Full Paper) doi:

Panel Session 2
Thu, Jun 5, 10:30 - 12:30, MR.1.5-6 (Chair: Arnaud Gotlieb)

Analyzing Software Data: After the Gold Rush (A Goldfish-Bowl Panel)
Tim Menzies, Christian Bird, and Thomas Zimmermann
(West Virginia University, USA; Microsoft Research, USA)
Article: icsecomp14seip-seipid23-p (type: Short Paper) doi:

Experiences Gamifying Developer Adoption of Practices and Tools
Will Snipes, Anil R. Nair, and Emerson Murphy-Hill
(ABB Research, USA; ABB Research, India; North Carolina State University, USA)
Article: icsecomp14seip-seipid51-p (type: Full Paper) doi:

Software Testing and Analysis
Thu, Jun 5, 14:00 - 16:00, MR.1.5-6 (Chair: R.D. Naik)

Objective Safety Compliance Checks for Source Code
Alois Mayr, Reinhold Plösch, and Matthias Saft
(JKU Linz, Austria; Siemens, Germany)
Article: icsecomp14seip-seipid18-p (type: Full Paper) doi:

A Case Study on Testing, Commissioning, and Operation of Very-Large-Scale Software Systems
Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria)
Article: icsecomp14seip-seipid61-p (type: Full Paper) doi:

Assessing Model-Based Testing: An Empirical Study Conducted in Industry
Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, and Daniel Goldman
(Fraunhofer CESE, USA; Global Net Services, USA)
Article: icsecomp14seip-seipid74-p (type: Full Paper) doi:

Collecting and Leveraging a Benchmark of Build System Clones to Aid in Quality Assessments
Shane McIntosh, Martin Poehlmann, Elmar Juergens, Audris Mockus, Bram Adams, Ahmed E. Hassan, Brigitte Haupt, and Christian Wagner
(Queen's University, Canada; CQSE, Germany; Avaya Labs Research, USA; Polytechnique Montréal, Canada; Munich Re, Germany)
Article: icsecomp14seip-seipid68-p (type: Full Paper) doi:

Formal Development
Thu, Jun 5, 16:30 - 18:30, MR.1.5-6 (Chair: Vibha Sinha)

Improving Software through Automatic Untangling of Cyclic Dependencies
Maayan Goldstein and Dany Moshkovich
(IBM Research, Israel)
Article: icsecomp14seip-seipid41-p (type: Full Paper) doi:

A Systematic Approach to Transforming System Requirements into Model Checking Specifications
Daniel Aceituna, Hyunsook Do, and Sudarshan Srinivasan
(North Dakota State University, USA)
Article: icsecomp14seip-seipid103-p (type: Full Paper) doi:

A Candid Industrial Evaluation of Formal Software Verification using Model Checking
Matthew Bennion and Ibrahim Habli
(Rolls Royce, UK; University of York, UK)
Article: icsecomp14seip-seipid92-p (type: Full Paper) doi:

Architectural Dependency Analysis to Understand Rework Costs for Safety-Critical Systems
Robert L. Nord, Ipek Ozkaya, Raghvinder S. Sangwan, and Ronald J. Koontz
(SEI, USA; Pennsylvania State University, USA; Boeing, USA)
Article: icsecomp14seip-seipid72-p (type: Full Paper) doi:

Panel Session 3
Fri, Jun 6, 11:30 - 12:30, MR.1.5-6 (Chair: T.S. Mohan)

Characterization of Operational Failures from a Business Data Processing SaaS Platform
Catello Di Martino, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Geetika Goel, Santonu Sarkar, and Rajeshwari Ganesan
(University of Illinois at Urbana-Champaign, USA; Infosys Labs, India)
Article: icsecomp14seip-seipid32-p (type: Full Paper) doi:

Extrinsic Influence Factors in Software Reliability: A Study of 200,000 Windows Machines
Christian Bird, Venkatesh-Prasad Ranganath, Thomas Zimmermann, Nachiappan Nagappan, and Andreas Zeller
(Microsoft Research, USA; Kansas State University, USA; Microsoft, USA; Saarland University, Germany)
Article: icsecomp14seip-seipid42-p (type: Full Paper) doi:

Configuration and Requirements
Fri, Jun 6, 14:00 - 16:00, MR.1.5-6 (Chair: Rene Just)

Configurations Everywhere: Implications for Testing and Debugging in Practice
Dongpu Jin, Xiao Qu, Myra B. Cohen, and Brian Robinson
(University of Nebraska-Lincoln, USA; ABB Research, USA; ABB, USA)

Best SEIP Paper Article: icsecomp14seip-seipid96-p (type: Full Paper) doi:

Software Feature Location in Practice: Debugging Aircraft Simulation Systems
Salman Hoseini, Abdelwahab Hamou-Lhadj, Patrick Desrosiers, and Martin Tapp
(Concordia University, Canada; CAE, Canada)
Article: icsecomp14seip-seipid95-p (type: Full Paper) doi:

Deriving Requirements Model from Textual Use Cases
Kiran Prakash Sawant, Suman Roy, Srivibha Sripathi, François Plesse, and A. S. M. Sajeev
(Infosys Labs, India; MINES ParisTech, France; University of New England, Australia)
Article: icsecomp14seip-seipid77-p (type: Full Paper) doi:

Tracking Requirements Evolution by Using Issue Tickets: A Case Study of a Document Management and Approval System
Shinobu Saito, Yukako Iimura, Kenji Takahashi, Aaron K. Massey, and Annie I. Antón
(NTT DATA, Japan; NTT, Japan; NTT, USA; Georgia Tech, USA)
Article: icsecomp14seip-seipid94-p (type: Full Paper) doi:

Software Engineering Education and Training

MOOCs in Education and Training
Wed, Jun 4, 14:00 - 16:00, Hall 3 (Chair: Alessandro Garcia)

Using MOOCs to Reinvigorate Software Engineering Education (Keynote)
Armando Fox
(University of California at Berkeley, USA)
Article: icsecomp14seet-keynotesid2-p (type: Invited Talk Abstract (1 page)) doi:

Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Heather Miller, Philipp Haller, Lukas Rytz, and Martin Odersky
(EPFL, Switzerland; Typesafe, Switzerland)
Article: icsecomp14seet-seetp038-p (type: Full Paper) doi:

Collaborative Teaching and Training
Thu, Jun 5, 14:00 - 16:00, Hall 3 (Chair: Carlo Ghezzi)

Knowledge Transfer in Collaborative Teams: Experiences from a Two-Week Code Camp
Terhi Kilamo, Antti Nieminen, Janne Lautamäki, Timo Aho, Johannes Koskinen, Jarmo Palviainen, and Tommi Mikkonen
(Tampere University of Technology, Finland)
Article: icsecomp14seet-seetp018-p (type: Full Paper) doi:

Quasi-Crowdsourcing Testing for Educational Projects
Zhenyu Chen and Bin Luo
(Nanjing University, China)
Article: icsecomp14seet-seetp008-p (type: Full Paper) doi:

Teaching Reuse-Driven Software Engineering through Innovative Role Playing
Gerald Kotonya and Jaejoon Lee
(Lancaster University, UK)
Article: icsecomp14seet-seetp048-p (type: Full Paper) doi:

Towards a Supercollaborative Software Engineering MOOC
William Billingsley and Jim R. H. Steel
(NICTA, Australia; University of Queensland, Australia)
Article: icsecomp14seet-seetp031-p (type: Full Paper) doi:

Teaching Students to Understand Large Programs by Understanding Historical Context
Collin McMillan and Richard Oosterhoff
(University of Notre Dame, USA)
Article: icsecomp14seet-seetp033-p (type: Full Paper) doi:

Industry Needs and Innovative Teaching Methods
Thu, Jun 5, 16:30 - 18:30, Hall 3 (Chair: Ashish Sureka)

Investigating the Skill Gap between Graduating Students and Industry Expectations
Alex Radermacher, Gursimran Walia, and Dean Knudson
(North Dakota State University, USA)
Article: icsecomp14seet-seetp036-p (type: Full Paper) doi:

Deploying an Online Software Engineering Education Program in a Globally Distributed Organization
John Hudepohl, Alpana Dubey, Sylvie Moisy, Jessica Thompson, and Hans-Martin Niederer
(ABB, Switzerland; ABB, India; ABB, France; TimelyText, USA; SynSpace, Switzerland)
Article: icsecomp14seet-seetp044-p (type: Full Paper) doi:

Scenario-Based Programming: Reducing the Cognitive Load, Fostering Abstract Thinking
Giora Alexandron, Michal Armoni, Michal Gordon, and David Harel
(Weizmann Institute of Science, Israel)
Article: icsecomp14seet-seetp049-p (type: Full Paper) doi:

Lessons Learned Managing Distributed Software Engineering Courses
Reid Holmes, Michelle Craig, Karen Reid, and Eleni Stroulia
(University of Waterloo, Canada; University of Toronto, Canada; University of Alberta, Canada)
Article: icsecomp14seet-seetp037-p (type: Full Paper) doi:

Improving Student Software Projects
Fri, Jun 6, 10:30 - 12:30, Hall 3 (Chair: Ivica Crnkovic)

State-Based Monitoring and Goal-Driven Project Steering: Field Study of the SEMAT Essence Framework
Cécile Péraire and Todd Sedano
(Carnegie Mellon University, USA)
Article: icsecomp14seet-seetp014-p (type: Full Paper) doi:

Introduction of Continuous Delivery in Multi-Customer Project Courses
Stephan Krusche and Lukas Alperowitz
(TU München, Germany)
Article: icsecomp14seet-seetp041-p (type: Full Paper) doi:

Process Mining Software Repositories from Student Projects in an Undergraduate Software Engineering Course
Megha Mittal and Ashish Sureka
(IIIT Delhi, India)
Article: icsecomp14seet-seetp004-p (type: Full Paper) doi:

Comparing Test Quality Measures for Assessing Student-Written Tests
Stephen H. Edwards and Zalia Shams
(Virginia Tech, USA)
Article: icsecomp14seet-seetp042-p (type: Full Paper) doi:

Agility and Progressive Learning
Fri, Jun 6, 14:00 - 16:00, Hall 3 (Chair: Nelio Cacho)

An Inverted Classroom Experience: Engaging Students in Architectural Thinking for Agile Projects
Jane Cleland-Huang, Muhammad Ali Babar, and Mehdi Mirakhorli
(DePaul University, USA; University of Adelaide, Australia)
Article: icsecomp14seet-seetp012-p (type: Full Paper) doi:

Quantitative Assessment with Using Ticket Driven Development for Teaching Scrum Framework
Hiroshi Igaki, Naoki Fukuyasu, Sachio Saiki, Shinsuke Matsumoto, and Shinji Kusumoto
(Osaka University, Japan; Wakayama University, Japan; Kobe University, Japan)
Article: icsecomp14seet-seetp039-p (type: Full Paper) doi:

Teaching Students Scrum using LEGO Blocks
Maria Paasivaara, Ville Heikkilä, Casper Lassenius, and Towo Toivola
(Aalto University, Finland; F-Secure, Finland)
Article: icsecomp14seet-seetp054-p (type: Full Paper) doi:

A Compiler Project with Learning Progressions
Derek Rayside
(University of Waterloo, Canada)
Article: icsecomp14seet-seetp050-p (type: Full Paper) doi:

New Ideas and Emerging Results

Collaboration and Cloud
Wed, Jun 4, 10:30 - 12:30, MR.1.3-4 (Chair: Raghu Reddy)

Integrating Software Project Resources Using Source Code Identifiers
Laura Inozemtseva, Siddharth Subramanian, and Reid Holmes
(University of Waterloo, Canada)
Article: icsecomp14nier-nierid125-p (type: Short Paper) doi:

Development Context Driven Change Awareness and Analysis Framework
Anita Sarma, Josh Branchaud, Matthew B. Dwyer, Suzette Person, and Neha Rungta
(University of Nebraska-Lincoln, USA; NASA Langley Research Center, USA; NASA Ames Research Center, USA)
Article: icsecomp14nier-nierid143-p (type: Short Paper) doi:

New Opportunities for Extracting Insights from Cloud Based IDEs
Yi Wang, Patrick Wagstrom, Evelyn Duesterwald, and David Redmiles
(University of California at Irvine, USA; IBM Research, USA)
Article: icsecomp14nier-nierid106-p (type: Short Paper) doi:

Cloudlet-Based Cyber-Foraging for Mobile Systems in Resource-Constrained Edge Environments
Grace A. Lewis, Sebastian Echeverría, Soumya Simanta, Ben Bradshaw, and James Root
(SEI, USA)
Article: icsecomp14nier-nierid112-p (type: Short Paper) doi:

A Runtime Cloud Efficiency Software Quality Metric
Mark Shtern, Michael Smit, Bradley Simmons, and Marin Litoiu
(York University, Canada; Dalhousie University, Canada)
Article: icsecomp14nier-nierid107-p (type: Short Paper) doi:

Testing and Evolution
Wed, Jun 4, 14:00 - 16:00, MR.1.3-4 (Chair: Benoit Baudry)

Metamorphic Fault Tolerance: An Automated and Systematic Methodology for Fault Tolerance in the Absence of Test Oracle
Huai Liu, Iman I. Yusuf, Heinz W. Schmidt, and Tsong Yueh Chen
(RMIT University, Australia; Swinburne University of Technology, Australia)
Article: icsecomp14nier-nierid128-p (type: Short Paper) doi:

Software Bug Localization with Markov Logic
Sai Zhang and Congle Zhang
(University of Washington, USA)
Article: icsecomp14nier-nierid89-p (type: Short Paper) doi:

Steering Model-Based Oracles to Admit Real Program Behaviors
Gregory Gay, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Article: icsecomp14nier-nierid116-p (type: Short Paper) doi:

Shadow Symbolic Execution for Better Testing of Evolving Software
Cristian Cadar and Hristina Palikareva
(Imperial College London, UK)
Article: icsecomp14nier-nierid90-p (type: Short Paper) doi:

Leveraging P2P Networks to Address the Test Scenario Explosion Problem
Mark Micallef, Conrad Attard, Andrea Mangion, and Sebastian Attard
(University of Malta, Malta)
Article: icsecomp14nier-nierid77-p (type: Short Paper) doi:

A Framework to Advise Tests using Tests
Yurong Wang, Suzette Person, Sebastian Elbaum, and Matthew B. Dwyer
(University of Nebraska-Lincoln, USA; NASA Langley Research Center, USA)
Article: icsecomp14nier-nierid109-p (type: Short Paper) doi:

Human Inputs in Software Engineering and Adaptation
Wed, Jun 4, 16:30 - 18:30, MR.1.3-4 (Chair: Lilliana Pasquale)

Brainware: Synergizing Software Systems and Neural Inputs
Shihong Huang and Emmanuelle Tognoli
(Florida Atlantic University, USA)
Article: icsecomp14nier-nierid146-p (type: Short Paper) doi:

Quantifying Programmers' Mental Workload during Program Comprehension Based on Cerebral Blood Flow Measurement: A Controlled Experiment
Takao Nakagawa, Yasutaka Kamei, Hidetake Uwano, Akito Monden, Kenichi Matsumoto, and Daniel M. German
(NAIST, Japan; Kyushu University, Japan; Nara National College of Technology, Japan; University of Victoria, Canada)
Article: icsecomp14nier-nierid68-p (type: Short Paper) doi:

Who is the Expert? Combining Intention and Knowledge of Online Discussants in Collaborative RE Tasks
Itzel Morales-Ramirez, Matthieu Vergne, Mirko Morandini, Alberto Siena, Anna Perini, and Angelo Susi
(Fondazione Bruno Kessler, Italy; University of Trento, Italy)
Article: icsecomp14nier-nierid76-p (type: Short Paper) doi:

Who Asked What: Integrating Crowdsourced FAQs into API Documentation
Cong Chen and Kang Zhang
(University of Texas at Dallas, USA)
Article: icsecomp14nier-nierid117-p (type: Short Paper) doi:

A World Full of Surprises: Bayesian Theory of Surprise to Quantify Degrees of Uncertainty
Nelly Bencomo and Amel Belaggoun
(Aston University, UK; CEA, France)
Article: icsecomp14nier-nierid108-p (type: Short Paper) doi:

Modeling Self-Adaptive Software Systems with Learning Petri Nets
Zuohua Ding, Yuan Zhou, and MengChu Zhou
(Zhejiang Sci-Tech University, China; New Jersey Institute of Technology, USA)
Article: icsecomp14nier-nierid37-p (type: Short Paper) doi:

Learning and Mining
Thu, Jun 5, 10:30 - 12:30, MR.1.3-4 (Chair: Emerson Murphy-Hill)

Automatic Search Term Identification for Change Tasks
Katja Kevic and Thomas Fritz
(University of Zurich, Switzerland)
Article: icsecomp14nier-nierid91-p (type: Short Paper) doi:

An Automated Approach to Detect Violations with High Confidence in Incremental Code using a Learning System
Radhika D. Venkatasubramanyam and Shrinath Gupta
(Siemens, India)
Article: icsecomp14nier-nierid42-p (type: Short Paper) doi:

A Novel Quantitative Evaluation Approach for Software Project Schedules using Statistical Model Checking
Dehui Du, Mingsong Chen, Xiao Liu, and Yun Yang
(East China Normal University, China; Swinburne University of Technology, Australia)
Article: icsecomp14nier-nierid115-p (type: Short Paper) doi:

Reusable Execution Replay: Execution Record and Replay for Source Code Reuse
Ameer Armaly, Casey Ferris, and Collin McMillan
(University of Notre Dame, USA)
Article: icsecomp14nier-nierid67-p (type: Short Paper) doi:

Mining Precise Performance-Aware Behavioral Models from Existing Instrumentation
Tony Ohmann, Kevin Thai, Ivan Beschastnikh, and Yuriy Brun
(University of Massachusetts, USA; Facebook, USA; University of British Columbia, Canada)
Article: icsecomp14nier-nierid118-p (type: Short Paper) doi:

Writing Bidirectional Model Transformations as Intentional Updates
Tao Zan, Hugo Pacheco, and Zhenjiang Hu
(Graduate University for Advanced Studies, Japan; National Institute of Informatics, Japan)
Article: icsecomp14nier-nierid56-p (type: Short Paper) doi:

Bugs and Failures
Thu, Jun 5, 14:00 - 16:00, MR.1.3-4 (Chair: Abhik Roychoudhury)

Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches
Matias Martinez, Westley Weimer, and Martin Monperrus
(University of Lille, France; INRIA, France; University of Virginia, USA)
Article: icsecomp14nier-nierid41-p (type: Short Paper) doi:

Reproducing Software Failures by Exploiting the Action History of Undo Features
Tobias Roehm and Bernd Bruegge
(TU München, Germany)
Article: icsecomp14nier-nierid27-p (type: Short Paper) doi:

Bugarium: 3D Interaction for Supporting Large-Scale Bug Repositories Analysis
Papon Yongpisanpop, Hideaki Hata, and Kenichi Matsumoto
(NAIST, Japan)
Article: icsecomp14nier-nierid103-p (type: Short Paper) doi:

RegViz: Visual Debugging of Regular Expressions
Fabian Beck, Stefan Gulan, Benjamin Biegel, Sebastian Baltes, and Daniel Weiskopf
(University of Stuttgart, Germany; University of Trier, Germany)
Article: icsecomp14nier-nierid24-p (type: Short Paper) doi:

Characterizing Defect Trends in Software Support
Tung Thanh Nguyen, Evelyn Duesterwald, Tim Klinger, P. Santhanam, and Tien N. Nguyen
(Utah State University, USA; IBM Research, USA; Iowa State University, USA)
Article: icsecomp14nier-nierid31-p (type: Short Paper) doi:

On Failure Classification: The Impact of "Getting It Wrong"
Davide Falessi, Bill Kidwell, Jane Huffman Hayes, and Forrest Shull
(Fraunhofer CESE, USA; University of Kentucky, USA; SEI, USA)
Article: icsecomp14nier-nierid23-p (type: Short Paper) doi:

Process and Social Aspects
Thu, Jun 5, 16:30 - 18:30, MR.1.3-4 (Chair: Jane Cleland-Huang)

API as a Social Glue
Rohan Padhye, Debdoot Mukherjee, and Vibha Singhal Sinha
(IBM Research, India)
Article: icsecomp14nier-nierid58-p (type: Short Paper) doi:

Software Engineering for 'Social Good': Integrating Action Research, Participatory Design, and Agile Development
Maria Angela Ferrario, Will Simm, Peter Newman, Stephen Forshaw, and Jon Whittle
(Lancaster University, UK)
Article: icsecomp14nier-nierid11-p (type: Short Paper) doi:

Collaborative Infrastructure for Test-Driven Scientific Model Validation
Cyrus Omar, Jonathan Aldrich, and Richard C. Gerkin
(Carnegie Mellon University, USA; Arizona State University, USA)
Article: icsecomp14nier-nierid161-p (type: Short Paper) doi:

Lab-Based Action Design Research
Paul Ralph
(Lancaster University, UK)
Article: icsecomp14nier-nierid4-p (type: Short Paper) doi:

Flexible Product Line Engineering with a Virtual Platform
Michał Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Ștefan Stănciulescu, Andrzej Wąsowski, and Ina Schaefer
(University of Waterloo, Canada; University of Koblenz-Landau, Germany; IT University of Copenhagen, Denmark; TU Braunschweig, Germany)
Article: icsecomp14nier-nierid105-p (type: Short Paper) doi:

Compiler Error Notifications Revisited: An Interaction-First Approach for Helping Developers More Effectively Comprehend and Resolve Error Notifications
Titus Barik, Jim Witschey, Brittany Johnson, and Emerson Murphy-Hill
(North Carolina State University, USA)
Article: icsecomp14nier-nierid84-p (type: Short Paper) doi:

Formal Demonstrations

Automated Programming Support
Thu, Jun 5, 10:30 - 12:30, MR.G.1-3 (Chair: Andrew Begel)

ImpactMiner: A Tool for Change Impact Analysis
Bogdan Dit, Michael Wagner, Shasha Wen, Weilin Wang, Mario Linares-Vásquez, Denys Poshyvanyk, and Huzefa Kagdi
(College of William and Mary, USA; Wichita State University, USA)
Article: icsecomp14demo-demoid25-p (type: Short Paper) doi:

Migrating Code with Statistical Machine Translation
Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA; Utah State University, USA)
Article: icsecomp14demo-demoid23-p (type: Short Paper) doi:

LTSA-PCA: Tool Support for Compositional Reliability Analysis
Pedro Rodrigues, Emil Lupu, and Jeff Kramer
(Imperial College London, UK)
Article: icsecomp14demo-demoid17-p (type: Short Paper) doi:

DASHboards: Enhancing Developer Situational Awareness
Oleksii Kononenko, Olga Baysal, Reid Holmes, and Michael W. Godfrey
(University of Waterloo, Canada)
Article: icsecomp14demo-demoid32-p (type: Short Paper) doi:

Product Assignment Recommender
Jialiang Xie, Qimu Zheng, Minghui Zhou, and Audris Mockus
(Peking University, China; Avaya Labs Research, USA)
Article: icsecomp14demo-demoid37-p (type: Short Paper) doi:

Verily: A Web Framework for Creating More Reasonable Web Applications
John L. Singleton and Gary T. Leavens
(University of Central Florida, USA)
Article: icsecomp14demo-demoid8-p (type: Short Paper) doi:

VeriWS: A Tool for Verification of Combined Functional and Non-functional Requirements of Web Service Composition
Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, and Jin Song Dong
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)
Article: icsecomp14demo-demoid34-p (type: Short Paper) doi:

Software Understanding for Programmers and Researchers
Thu, Jun 5, 14:00 - 16:00, MR.G.1-3 (Chair: Tim Menzies)

SEWordSim: Software-Specific Word Similarity Database
Yuan Tian, David Lo, and Julia Lawall
(Singapore Management University, Singapore; INRIA, France; LIP6, France)
Article: icsecomp14demo-demoid18-p (type: Short Paper) doi:

BOAT: An Experimental Platform for Researchers to Comparatively and Reproducibly Evaluate Bug Localization Techniques
Xinyu Wang, David Lo, Xin Xia, Xingen Wang, Pavneet Singh Kochhar, Yuan Tian, Xiaohu Yang, Shanping Li, Jianling Sun, and Bo Zhou
(Zhejiang University, China; Singapore Management University, Singapore)
Article: icsecomp14demo-demoid10-p (type: Short Paper) doi:

VMVM: Unit Test Virtualization for Java
Jonathan Bell and Gail Kaiser
(Columbia University, USA)
Article: icsecomp14demo-demoid5-p (type: Short Paper) doi:

ViVA: A Visualization and Analysis Tool for Distributed Event-Based Systems
Youn Kyu Lee, Jae young Bang, Joshua Garcia, and Nenad Medvidovic
(University of Southern California, USA)
Article: icsecomp14demo-demoid30-p (type: Short Paper) doi:

Cookbook: In Situ Code Completion using Edit Recipes Learned from Examples
John Jacobellis, Na Meng, and Miryung Kim
(University of Texas at Austin, USA)
Article: icsecomp14demo-demoid27-p (type: Short Paper) doi:

Atlas: A New Way to Explore Software, Build Analysis Tools
Tom Deering, Suresh Kothari, Jeremias Sauceda, and Jon Mathews
(Iowa State University, USA; EnSoft, USA)
Article: icsecomp14demo-demoid6-p (type: Short Paper) doi:

Teamscale: Software Quality Control in Real-Time
Lars Heinemann, Benjamin Hummel, and Daniela Steidl
(CQSE, Germany)
Article: icsecomp14demo-demoid2-p (type: Short Paper) doi:

ICSE Posters
Thu, Jun 5, 16:00 - 18:30, MR.G.4-6

APISynth: A New Graph-Based API Recommender System
Chen Lv, Wei Jiang, Yue Liu, and Songlin Hu
(University of Chinese Academy of Sciences, China; Institute of Computing Technology at Chinese Academy of Sciences, China; Greatwall Drilling Company, China)
Article: icsecomp14posters-postersid17-p (type: Poster Paper) doi:

Shedding Light on Distributed System Executions
Jenny Abrahamson, Ivan Beschastnikh, Yuriy Brun, and Michael D. Ernst
(Facebook, USA; University of British Columbia, Canada; University of Massachusetts, USA; University of Washington, USA)
Article: icsecomp14posters-postersid45-p (type: Poster Paper) doi:

Fault Localization for Build Code Errors in Makefiles
Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article: icsecomp14posters-postersid46-p (type: Poster Paper) doi:

Avoiding Deadlocks using Stalemate and Dimmunix
Surabhi Pandey, Sushanth Bhat, and Vivek Shanbhag
(IIIT Bangalore, India)
Article: icsecomp14posters-postersid12-p (type: Poster Paper) doi:

Assuring System Goals under Uncertainty with Active Formal Models of Self-Adaptation
M. Usman Iftikhar and Danny Weyns
(Linnaeus University, Sweden)
Article: icsecomp14posters-postersid44-p (type: Poster Paper) doi:

Timing Challenges in Automotive Software Architectures
Licong Zhang, Reinhard Schneider, Alejandro Masrur, Martin Becker, Martin Geier, and Samarjit Chakraborty
(TU München, Germany; TU Chemnitz, Germany)
Article: icsecomp14posters-postersid41-p (type: Poster Paper) doi:

An Adaptive Bayesian Approach for URL Selection to Test Performance of Large Scale Web-Based Systems
Alim Ul Gias and Kazi Sakib
(University of Dhaka, Bangladesh)
Article: icsecomp14posters-postersid50-p (type: Poster Paper) doi:

DEECo: An Ecosystem for Cyber-Physical Systems
Rima Al Ali, Tomas Bures, Ilias Gerostathopoulos, Petr Hnetynka, Jaroslav Keznikl, Michal Kit, and Frantisek Plasil
(Charles University, Czech Republic)
Article: icsecomp14posters-postersid51-p (type: Poster Paper) doi:

Calibrating Use Case Points
Ali Bou Nassif, Luiz Fernando Capretz, and Danny Ho
(University of Western Ontario, Canada; NFA Estimation, Canada)
Article: icsecomp14posters-postersid39-p (type: Poster Paper) doi:

The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems
Steffen Becker, Stefan Dziwok, Christopher Gerking, Christian Heinzemann, Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann
(University of Paderborn, Germany; Fraunhofer IPT, Germany)
Article: icsecomp14posters-postersid43-p (type: Poster Paper) doi:

Model-Driven Development of Diverse User Interfaces
Zhiyi Ma, Wei Zhang, and Chih-Yi Yeh
(Peking University, China)
Article: icsecomp14posters-postersid6-p (type: Poster Paper) doi:

Statistical Learning of API Mappings for Language Migration
Anh Tuan Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA; Utah State University, USA)
Article: icsecomp14posters-postersid49-p (type: Poster Paper) doi:

Asymmetric Software Structures in the Linux Kernel
Lei Wang, Ping Wang, and Zhen Wang
(Beihang University, China)
Article: icsecomp14posters-postersid2-p (type: Poster Paper) doi:

Towards Designing Assistive Software Applications for Discrete Trial Training
Valerie Picardo, Samuel Metson, Rashina Hoda, Robert Amor, Angela Arnold-Saritepe, Rebecca Sharp, and Denys Brand
(University of Auckland, New Zealand)
Article: icsecomp14posters-postersid7-p (type: Poster Paper) doi:

An Optimized Design Approach for Extending HMI Systems with Mobile Devices
Manasvi Jain, Rahul Raj CP, and Seshubabu Tolety
(Siemens, India)
Article: icsecomp14posters-postersid15-p (type: Poster Paper) doi:

Proposing a Theory of Gamification Effectiveness
Bilal Amir and Paul Ralph
(Sur University College, Oman; Lancaster University, UK)
Article: icsecomp14posters-postersid40-p (type: Poster Paper) doi:

Modeling and Model Checking by Modular Approach
Mo Xia, Guiming Luo, and Mian Sun
(Tsinghua University, China)
Article: icsecomp14posters-postersid8-p (type: Poster Paper) doi:

Hybrid Test Data Generation
Zicong Liu, Zhenyu Chen, Chunrong Fang, and Qingkai Shi
(Nanjing University, China)
Article: icsecomp14posters-postersid26-p (type: Poster Paper) doi:

Software Defect Prediction Based on Collaborative Representation Classification
Xiao-Yuan Jing, Zhi-Wu Zhang, Shi Ying, Feng Wang, and Yang-Ping Zhu
(Wuhan University, China; Nanjing University of Posts and Telecommunications, China)
Article: icsecomp14posters-postersid28-p (type: Poster Paper) doi:

Doctoral Symposium

Mature A
Tue, Jun 3, 11:00 - 12:30, MR.2.1 (Chair: Shing-Chi Cheung)

COASTmed: Software Architectures for Delivering Customizable, Policy-Based Differential Web Services
Alegria Baquero
(University of California at Irvine, USA)
Article: icsecomp14doc-docp008-p (type: Short Paper) doi:

Formal Verification Problems in a Big Data World: Towards a Mighty Synergy
Matteo Camilli
(University of Milan, Italy)
Article: icsecomp14doc-docp016-p (type: Short Paper) doi:

Cross-Platform Testing and Maintenance of Web and Mobile Applications
Shauvik Roy Choudhary
(Georgia Tech, USA)
Article: icsecomp14doc-docp031-p (type: Short Paper) doi:

Mature B
Tue, Jun 3, 11:00 - 12:30, MR.1.10 (Chair: Leonardo Mariani)

Human Aspects, Gamification, and Social Media in Collaborative Software Engineering
Bogdan Vasilescu
(Eindhoven University of Technology, Netherlands)
Article: icsecomp14doc-docp020-p (type: Short Paper) doi:

ReuseSEEM: An Approach to Support the Definition, Modeling, and Analysis of Software Ecosystems
Rodrigo Pereira dos Santos
(COPPE, Brazil; Federal University of Rio de Janeiro, Brazil)
Article: icsecomp14doc-docp024-p (type: Short Paper) doi:

Summarization of Complex Software Artifacts
Laura Moreno
(Wayne State University, USA)
Article: icsecomp14doc-docp029-p (type: Short Paper) doi:

Initial A
Tue, Jun 3, 14:00 - 15:30, MR.2.1 (Chair: Leonardo Mariani)

Performance Analysis of Object-Oriented Software
David Maplesden
(University of Auckland, New Zealand)
Article: icsecomp14doc-docp007-p (type: Short Paper) doi:

Improving Exception Handling with Recommendations
Eiji Adachi Barbosa
(PUC-Rio, Brazil)
Article: icsecomp14doc-docp014-p (type: Short Paper) doi:

Verifying Incomplete and Evolving Specifications
Claudio Menghi
(Politecnico di Milano, Italy)
Article: icsecomp14doc-docp019-p (type: Short Paper) doi:

Quantitative Properties of Software Systems: Specification, Verification, and Synthesis
Srđan Krstić
(Politecnico di Milano, Italy)
Article: icsecomp14doc-docp023-p (type: Short Paper) doi:

Initial B
Tue, Jun 3, 14:00 - 15:30, MR.1.10 (Chair: Wolfgang Emmerich)

Automatic Generation of Cost-Effective Test Oracles
Alberto Goffi
(University of Lugano, Switzerland)
Article: icsecomp14doc-docp003-p (type: Short Paper) doi:

Dynamic Data-Flow Testing
Mattia Vivanti
(University of Lugano, Switzerland)
Article: icsecomp14doc-docp004-p (type: Short Paper) doi:

Holistic Recommender Systems for Software Engineering
Luca Ponzanelli
(University of Lugano, Switzerland)
Article: icsecomp14doc-docp006-p (type: Short Paper) doi:

Understanding the Dynamics of Test-Driven Development
Davide Fucci
(University of Oulu, Finland)
Article: icsecomp14doc-docp011-p (type: Short Paper) doi:

On the Use of Visualization for Supporting Software Reuse
Marcelo Schots
(COPPE, Brazil; Federal University of Rio de Janeiro, Brazil)
Article: icsecomp14doc-docp026-p (type: Short Paper) doi:

Initial C
Tue, Jun 3, 14:00 - 15:30, MR.1.7 (Chair: Shing-Chi Cheung)

Understanding the Redundancy of Software Systems
Andrea Mattavelli
(University of Lugano, Switzerland)
Article: icsecomp14doc-docp002-p (type: Short Paper) doi:

Study of Task Processes for Improving Programmer Productivity
Damodaram Kamma
(IIIT Delhi, India)
Article: icsecomp14doc-docp009-p (type: Short Paper) doi:

Enhancing Feature Interfaces for Supporting Software Product Line Maintenance
Bruno B. P. Cafeo
(PUC-Rio, Brazil)
Article: icsecomp14doc-docp017-p (type: Short Paper) doi:

Supporting Evolution and Maintenance of Android Apps
Mario Linares-Vásquez
(College of William and Mary, USA)
Article: icsecomp14doc-docp021-p (type: Short Paper) doi:

ACM Student Research Competition
Thu, Jun 5, 15:30 - 16:30, MR.2.1 (Chair: Romain Robbes; Aditya Nori)

Exception Handling for Dynamic Information Flow Control
Abhishek Bichhawat
(Saarland University, Germany)
Article: icsecomp14src-srcp003-p (type: Short Paper) doi:

Automatic Performance Modeling of Multithreaded Programs
Alexander Tarvo
(Brown University, USA)
Article: icsecomp14src-srcp009-p (type: Short Paper) doi:

Incremental Reachability Checking of KernelC Programs using Matching Logic
Alessandro Maria Rizzi
(Politecnico di Milano, Italy)
Article: icsecomp14src-srcp011-p (type: Short Paper) doi:

Exploiting Undefined Behaviors for Efficient Symbolic Execution
Asankhaya Sharma
(National University of Singapore, Singapore)
Article: icsecomp14src-srcp013-p (type: Short Paper) doi:

Identifying Caching Opportunities, Effortlessly
Alejandro Infante
(University of Chile, Chile)
Article: icsecomp14src-srcp014-p (type: Short Paper) doi:

Program Transformations to Fix C Buffer Overflow
Alex Shaw
(Auburn University, USA)
Article: icsecomp14src-srcp018-p (type: Short Paper) doi:

Characteristics of the Vulnerable Code Changes Identified through Peer Code Review
Amiangshu Bosu
(University of Alabama, USA)
Article: icsecomp14src-srcp019-p (type: Short Paper) doi:

Privacy and Security Requirements Framework for the Internet of Things (IoT)
Israa Alqassem
(Masdar Institute of Science and Technology, United Arab Emirates)
Article: icsecomp14src-srcp024-p (type: Short Paper) doi:

ICSE Companion 2014 – Proceedings

Frontmatter

Keynote

Software Engineering in Practice

Panel Session 1 Wed, Jun 4, 10:30 - 12:30, MR.1.5-6 (Chair: Gautam Shroff)

Dependability, Safety, and Reliability Wed, Jun 4, 14:00 - 16:00, MR.1.5-6 (Chair: Rene Just)

Processes and Agile Development Wed, Jun 4, 16:30 - 19:00, MR.1.5-6 (Chair: T.S. Mohan)

Panel Session 2 Thu, Jun 5, 10:30 - 12:30, MR.1.5-6 (Chair: Arnaud Gotlieb)

Software Testing and Analysis Thu, Jun 5, 14:00 - 16:00, MR.1.5-6 (Chair: R.D. Naik)

Formal Development Thu, Jun 5, 16:30 - 18:30, MR.1.5-6 (Chair: Vibha Sinha)

Panel Session 3 Fri, Jun 6, 11:30 - 12:30, MR.1.5-6 (Chair: T.S. Mohan)

Configuration and Requirements Fri, Jun 6, 14:00 - 16:00, MR.1.5-6 (Chair: Rene Just)

Software Engineering Education and Training

MOOCs in Education and Training Wed, Jun 4, 14:00 - 16:00, Hall 3 (Chair: Alessandro Garcia)

Collaborative Teaching and Training Thu, Jun 5, 14:00 - 16:00, Hall 3 (Chair: Carlo Ghezzi)

Industry Needs and Innovative Teaching Methods Thu, Jun 5, 16:30 - 18:30, Hall 3 (Chair: Ashish Sureka)

Improving Student Software Projects Fri, Jun 6, 10:30 - 12:30, Hall 3 (Chair: Ivica Crnkovic)

Agility and Progressive Learning Fri, Jun 6, 14:00 - 16:00, Hall 3 (Chair: Nelio Cacho)

New Ideas and Emerging Results

Collaboration and Cloud Wed, Jun 4, 10:30 - 12:30, MR.1.3-4 (Chair: Raghu Reddy)

Testing and Evolution Wed, Jun 4, 14:00 - 16:00, MR.1.3-4 (Chair: Benoit Baudry)

Human Inputs in Software Engineering and Adaptation Wed, Jun 4, 16:30 - 18:30, MR.1.3-4 (Chair: Lilliana Pasquale)

Learning and Mining Thu, Jun 5, 10:30 - 12:30, MR.1.3-4 (Chair: Emerson Murphy-Hill)

Bugs and Failures Thu, Jun 5, 14:00 - 16:00, MR.1.3-4 (Chair: Abhik Roychoudhury)

Process and Social Aspects Thu, Jun 5, 16:30 - 18:30, MR.1.3-4 (Chair: Jane Cleland-Huang)