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

Phone Layout
No Pictures
Tuesday, June 3, 2014
Invited Talks (Doctoral Symposium)
09:00 – 10:30, MR.2.1, Chair: Shing-Chi Cheung
Mature B (Doctoral Symposium)
11:00 – 12:30, MR.1.10, Chair: Leonardo Mariani
Human Aspects, Gamification, and Social Media in Collaborative Software Engineering
(Eindhoven University of Technology, Netherlands)
Publisher's Version Preprint
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)
Publisher's Version
Summarization of Complex Software Artifacts
Laura Moreno
(Wayne State University, USA)
Publisher's Version
Mature A (Doctoral Symposium)
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)
Publisher's Version
Formal Verification Problems in a Big Data World: Towards a Mighty Synergy
Matteo Camilli
(University of Milan, Italy)
Publisher's Version
Cross-Platform Testing and Maintenance of Web and Mobile Applications
Shauvik Roy Choudhary
(Georgia Tech, USA)
Publisher's Version
Initial B (Doctoral Symposium)
14:00 – 15:30, MR.1.10, Chair: Wolfgang Emmerich
Automatic Generation of Cost-Effective Test Oracles
Alberto Goffi
(University of Lugano, Switzerland)
Publisher's Version Preprint
Dynamic Data-Flow Testing
Mattia Vivanti
(University of Lugano, Switzerland)
Publisher's Version
Holistic Recommender Systems for Software Engineering
(University of Lugano, Switzerland)
Publisher's Version
Understanding the Dynamics of Test-Driven Development
Davide Fucci
(University of Oulu, Finland)
Publisher's Version
On the Use of Visualization for Supporting Software Reuse
Marcelo Schots
(COPPE, Brazil; Federal University of Rio de Janeiro, Brazil)
Publisher's Version
Initial C (Doctoral Symposium)
14:00 – 15:30, MR.1.7, Chair: Shing-Chi Cheung
Understanding the Redundancy of Software Systems
Andrea Mattavelli
(University of Lugano, Switzerland)
Publisher's Version Preprint
Study of Task Processes for Improving Programmer Productivity
Damodaram Kamma
(IIIT Delhi, India)
Publisher's Version
Improving Enterprise Software Maintenance Efficiency through Mining Software Repositories in an Industry Context
Senthil Mani
(IIIT Delhi, India)
Publisher's Version
Enhancing Feature Interfaces for Supporting Software Product Line Maintenance
Bruno B. P. Cafeo
(PUC-Rio, Brazil)
Publisher's Version Preprint
Supporting Evolution and Maintenance of Android Apps
Mario Linares-Vásquez
(College of William and Mary, USA)
Publisher's Version Preprint
Initial A (Doctoral Symposium)
14:00 – 15:30, MR.2.1, Chair: Leonardo Mariani
Nirikshan: Process Mining Software Repositories to Identify Inefficiencies, Imperfections, and Enhance Existing Process Capabilities
Monika Gupta
(IIIT Delhi, India)
Publisher's Version
Performance Analysis of Object-Oriented Software
David Maplesden
(University of Auckland, New Zealand)
Publisher's Version
Improving Exception Handling with Recommendations
Eiji Adachi Barbosa
(PUC-Rio, Brazil)
Publisher's Version Preprint
Verifying Incomplete and Evolving Specifications
Claudio Menghi
(Politecnico di Milano, Italy)
Publisher's Version
Quantitative Properties of Software Systems: Specification, Verification, and Synthesis
Srđan Krstić
(Politecnico di Milano, Italy)
Publisher's Version
Working Groups (Doctoral Symposium)
16:00 – 17:00, MR.2.1
Summary and Survey (Doctoral Symposium)
17:00 – 17:30, MR.2.1, Chairs: Shing-Chi Cheung and Leonardo Mariani
Wednesday, June 4, 2014
Socio-Technical Coordination (Keynote)
08:30 – 10:00, Hall 3, Chair: André van der Hoek
James Herbsleb is a Professor in the Institute for Software Research in the School of Computer Science at Carnegie Mellon University, where he serves as Director of the PhD program in Computation, Organizations, and Society. His research interests lie primarily in the intersection of software engineering, computer-supported cooperative work, and socio-technical systems, focusing on such areas as geographically distributed development teams and large-scale open source development. He holds a PhD in psychology, and an MS in computer science. His research has won several awards at ICSE, including the Most Influential Paper award in 2010, Honorable Mention for Most Influential Paper award in 2011, and ACM Distinguished Paper Award in 2011. For no apparent reason, he also holds a Juris Doctor degree and is a member of the Michigan Bar Association (inactive). For about two decades, he has worked with assorted colleagues and minions to try to understand the complex and dynamic relationship between human collaboration and the software that the humans are designing and using. On his optimistic days, he feels he has made a bit of progress.
Socio-Technical Coordination (Keynote)
(Carnegie Mellon University, USA)
Publisher's Version
Panel Session 1 (Software Engineering in Practice)
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)
Publisher's Version
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)
Publisher's Version
Collaboration and Cloud (New Ideas and Emerging Results)
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)
Publisher's Version Preprint Info
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)
Publisher's Version
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)
Publisher's Version Preprint
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
Publisher's Version
A Runtime Cloud Efficiency Software Quality Metric
Mark Shtern, Michael Smit, Bradley Simmons, and Marin Litoiu
(York University, Canada; Dalhousie University, Canada)
Publisher's Version Preprint
Dependability, Safety, and Reliability (Software Engineering in Practice)
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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
MOOCs in Education and Training (Software Engineering Education and Training)
14:00 – 16:00, Hall 3, Chairs: Alessandro Garcia
Using MOOCs to Reinvigorate Software Engineering Education (Keynote)
Armando Fox
(University of California at Berkeley, USA)
Publisher's Version
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)
Publisher's Version
Testing and Evolution (New Ideas and Emerging Results)
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)
Publisher's Version
Software Bug Localization with Markov Logic
Sai Zhang and Congle Zhang
(University of Washington, USA)
Publisher's Version Preprint
Steering Model-Based Oracles to Admit Real Program Behaviors
Gregory Gay, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Publisher's Version Preprint
Shadow Symbolic Execution for Better Testing of Evolving Software
Cristian Cadar and Hristina Palikareva
(Imperial College London, UK)
Publisher's Version Preprint
Leveraging P2P Networks to Address the Test Scenario Explosion Problem
Mark Micallef, Conrad Attard, Andrea Mangion, and Sebastian Attard
(University of Malta, Malta)
Publisher's Version
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)
Publisher's Version
Processes and Agile Development (Software Engineering in Practice)
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)
Publisher's Version
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)
Publisher's Version Video
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)
Publisher's Version
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Human Inputs in Software Engineering and Adaptation (New Ideas and Emerging Results)
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)
Publisher's Version Preprint
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)
Publisher's Version
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)
Publisher's Version
Who Asked What: Integrating Crowdsourced FAQs into API Documentation
Cong Chen and Kang Zhang
(University of Texas at Dallas, USA)
Publisher's Version Preprint Video
A World Full of Surprises: Bayesian Theory of Surprise to Quantify Degrees of Uncertainty
Nelly Bencomo and Amel Belaggoun
(Aston University, UK; CEA, France)
Publisher's Version
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)
Publisher's Version
Thursday, June 5, 2014
Panel Session 2 (Software Engineering in Practice)
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)
Publisher's Version
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)
Publisher's Version
Learning and Mining (New Ideas and Emerging Results)
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)
Publisher's Version
An Automated Approach to Detect Violations with High Confidence in Incremental Code using a Learning System
Radhika D. Venkatasubramanyam and Shrinath Gupta
(Siemens, India)
Publisher's Version
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)
Publisher's Version
Reusable Execution Replay: Execution Record and Replay for Source Code Reuse
Ameer Armaly, Casey Ferris, and Collin McMillan
(University of Notre Dame, USA)
Publisher's Version
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)
Publisher's Version Preprint Info
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)
Publisher's Version
Automated Programming Support (Formal Demonstrations)
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)
Publisher's Version Video Info
Migrating Code with Statistical Machine Translation
Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA; Utah State University, USA)
Publisher's Version
LTSA-PCA: Tool Support for Compositional Reliability Analysis
Pedro Rodrigues, Emil Lupu, and Jeff Kramer
(Imperial College London, UK)
Publisher's Version Preprint
DASHboards: Enhancing Developer Situational Awareness
Oleksii Kononenko, Olga Baysal, Reid Holmes, and Michael W. Godfrey
(University of Waterloo, Canada)
Publisher's Version Preprint
Product Assignment Recommender
Jialiang Xie, Qimu Zheng, Minghui Zhou, and Audris Mockus
(Peking University, China; Avaya Labs Research, USA)
Publisher's Version
Verily: A Web Framework for Creating More Reasonable Web Applications
John L. Singleton and Gary T. Leavens
(University of Central Florida, USA)
Publisher's Version Video
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)
Publisher's Version
Software Testing and Analysis (Software Engineering in Practice)
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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version Preprint
Collaborative Teaching and Training (Software Engineering Education and Training)
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)
Publisher's Version
Quasi-Crowdsourcing Testing for Educational Projects
Zhenyu Chen and Bin Luo
(Nanjing University, China)
Publisher's Version Preprint
Teaching Reuse-Driven Software Engineering through Innovative Role Playing
Gerald Kotonya and Jaejoon Lee
(Lancaster University, UK)
Publisher's Version
Towards a Supercollaborative Software Engineering MOOC
William Billingsley and Jim R. H. Steel
(NICTA, Australia; University of Queensland, Australia)
Publisher's Version Preprint Video Info
Teaching Students to Understand Large Programs by Understanding Historical Context
Collin McMillan and Richard Oosterhoff
(University of Notre Dame, USA)
Publisher's Version
Bugs and Failures (New Ideas and Emerging Results)
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)
Publisher's Version
Reproducing Software Failures by Exploiting the Action History of Undo Features
Tobias Roehm and Bernd Bruegge
(TU München, Germany)
Publisher's Version
Bugarium: 3D Interaction for Supporting Large-Scale Bug Repositories Analysis
Papon Yongpisanpop, Hideaki Hata, and Kenichi Matsumoto
(NAIST, Japan)
Publisher's Version Preprint Info
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)
Publisher's Version Preprint Info
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)
Publisher's Version
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)
Publisher's Version
Software Understanding for Programmers and Researchers (Formal Demonstrations)
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)
Publisher's Version Video
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)
Publisher's Version Video
VMVM: Unit Test Virtualization for Java
Jonathan Bell and Gail Kaiser
(Columbia University, USA)
Publisher's Version Preprint Video Info
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)
Publisher's Version Preprint Video
Cookbook: In Situ Code Completion using Edit Recipes Learned from Examples
John Jacobellis, Na Meng, and Miryung Kim
(University of Texas at Austin, USA)
Publisher's Version Video
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)
Publisher's Version Video Info
Teamscale: Software Quality Control in Real-Time
Lars Heinemann, Benjamin Hummel, and Daniela Steidl
(CQSE, Germany)
Publisher's Version
ACM Student Research Competition (Presentations)
15:30 – 16:30, MR.2.1, Chairs: Romain Robbes and Aditya Nori
Exception Handling for Dynamic Information Flow Control
Abhishek Bichhawat
(Saarland University, Germany)
Publisher's Version
Automatic Performance Modeling of Multithreaded Programs
Alexander Tarvo
(Brown University, USA)
Publisher's Version
Incremental Reachability Checking of KernelC Programs using Matching Logic
Alessandro Maria Rizzi
(Politecnico di Milano, Italy)
Publisher's Version
Exploiting Undefined Behaviors for Efficient Symbolic Execution
Asankhaya Sharma
(National University of Singapore, Singapore)
Publisher's Version Preprint Video Info
Identifying Caching Opportunities, Effortlessly
Alejandro Infante
(University of Chile, Chile)
Publisher's Version
Program Transformations to Fix C Buffer Overflow
Alex Shaw
(Auburn University, USA)
Publisher's Version
Characteristics of the Vulnerable Code Changes Identified through Peer Code Review
Amiangshu Bosu
(University of Alabama, USA)
Publisher's Version Preprint Video Info
Privacy and Security Requirements Framework for the Internet of Things (IoT)
Israa Alqassem
(Masdar Institute of Science and Technology, United Arab Emirates)
Publisher's Version
ICSE Posters (Posters)
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)
Publisher's Version
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)
Publisher's Version Preprint Info
Fault Localization for Build Code Errors in Makefiles
Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Publisher's Version
Avoiding Deadlocks using Stalemate and Dimmunix
Surabhi Pandey, Sushanth Bhat, and Vivek Shanbhag
(IIIT Bangalore, India)
Publisher's Version
Assuring System Goals under Uncertainty with Active Formal Models of Self-Adaptation
(Linnaeus University, Sweden)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint Info
Calibrating Use Case Points
Ali Bou Nassif, Luiz Fernando Capretz, and Danny Ho
(University of Western Ontario, Canada; NFA Estimation, Canada)
Publisher's Version
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)
Publisher's Version
Model-Driven Development of Diverse User Interfaces
Zhiyi Ma, Wei Zhang, and Chih-Yi Yeh
(Peking University, China)
Publisher's Version
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)
Publisher's Version
Asymmetric Software Structures in the Linux Kernel
Lei Wang, Ping Wang, and Zhen Wang
(Beihang University, China)
Publisher's Version
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)
Publisher's Version Preprint
An Optimized Design Approach for Extending HMI Systems with Mobile Devices
Manasvi Jain, Rahul Raj CP, and Seshubabu Tolety
(Siemens, India)
Publisher's Version
Proposing a Theory of Gamification Effectiveness
Bilal Amir and Paul Ralph
(Sur University College, Oman; Lancaster University, UK)
Publisher's Version Preprint
Modeling and Model Checking by Modular Approach
Mo Xia, Guiming Luo, and Mian Sun
(Tsinghua University, China)
Publisher's Version
Hybrid Test Data Generation
Zicong Liu, Zhenyu Chen, Chunrong Fang, and Qingkai Shi
(Nanjing University, China)
Publisher's Version
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)
Publisher's Version
Formal Development (Software Engineering in Practice)
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)
Publisher's Version
A Systematic Approach to Transforming System Requirements into Model Checking Specifications
Daniel Aceituna, Hyunsook Do, and Sudarshan Srinivasan
(North Dakota State University, USA)
Publisher's Version
A Candid Industrial Evaluation of Formal Software Verification using Model Checking
Matthew Bennion and Ibrahim Habli
(Rolls Royce, UK; University of York, UK)
Publisher's Version Preprint
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)
Publisher's Version
Industry Needs and Innovative Teaching Methods (Software Engineering Education and Training)
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)
Publisher's Version
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)
Publisher's Version
Scenario-Based Programming: Reducing the Cognitive Load, Fostering Abstract Thinking
Giora Alexandron, Michal Armoni, Michal Gordon, and David Harel
(Weizmann Institute of Science, Israel)
Publisher's Version
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)
Publisher's Version Preprint Video
Process and Social Aspects (New Ideas and Emerging Results)
16:30 – 18:30, MR.1.3-4, Chairs: Jane Cleland-Huang
API as a Social Glue
Rohan Padhye, Debdoot Mukherjee, and Vibha Singhal Sinha
(IBM Research, India)
Publisher's Version
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)
Publisher's Version
Collaborative Infrastructure for Test-Driven Scientific Model Validation
Cyrus Omar, Jonathan Aldrich, and Richard C. Gerkin
(Carnegie Mellon University, USA; Arizona State University, USA)
Publisher's Version
Lab-Based Action Design Research
Paul Ralph
(Lancaster University, UK)
Publisher's Version Preprint
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)
Publisher's Version Preprint Info
Compiler Error Notifications Revisited: An Interaction-First Approach for Helping Developers More Effectively Comprehend and Resolve Error Notifications
(North Carolina State University, USA)
Publisher's Version Preprint
Friday, June 6, 2014
Panel Session 3 (Intro) (Software Engineering in Practice)
10:30 – 11:30, MR.1.5-6, Chair: T.S. Mohan
Industry Panel Discussion
Panelists: Sanjoy Paul, Pranav Tiwari, Prasad Dhanyamraju, and Pradeep Balachandran (Google, HCL, IBM, Accenture)
Moderator: Jim Herbsleb (Carnegie Mellon University)
Improving Student Software Projects (Software Engineering Education and Training)
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)
Publisher's Version
Introduction of Continuous Delivery in Multi-Customer Project Courses
Stephan Krusche and Lukas Alperowitz
(TU München, Germany)
Publisher's Version
Process Mining Software Repositories from Student Projects in an Undergraduate Software Engineering Course
Megha Mittal and Ashish Sureka
(IIIT Delhi, India)
Publisher's Version
Comparing Test Quality Measures for Assessing Student-Written Tests
Stephen H. Edwards and Zalia Shams
(Virginia Tech, USA)
Publisher's Version
Panel Session 3 (Software Engineering in Practice)
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)
Publisher's Version Preprint
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)
Publisher's Version Preprint
Configuration and Requirements (Software Engineering in Practice)
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
Publisher's Version Preprint Video
Software Feature Location in Practice: Debugging Aircraft Simulation Systems
Salman Hoseini, Abdelwahab Hamou-Lhadj, Patrick Desrosiers, and Martin Tapp
(Concordia University, Canada; CAE, Canada)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
Agility and Progressive Learning (Software Engineering Education and Training)
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)
Publisher's Version
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)
Publisher's Version
Teaching Students Scrum using LEGO Blocks
Maria Paasivaara, Ville Heikkilä, Casper Lassenius, and Towo Toivola
(Aalto University, Finland; F-Secure, Finland)
Publisher's Version
A Compiler Project with Learning Progressions
Derek Rayside
(University of Waterloo, Canada)
Publisher's Version

Time stamp: 2019-06-14T21:43:05+02:00