Powered by
Conference Publishing Consulting

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

ICSE Companion 2014 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
Committees
Sponsors

Keynote

Socio-Technical Coordination (Keynote)
James Herbsleb
(Carnegie Mellon University, USA)

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 ORCID logo, and Smita Ghaisas
(DePaul University, USA; University of Victoria, Canada; Tata Consultancy Services, India)
Software Engineering for the Web: The State of the Practice
Alex Nederlof, Ali Mesbah, and Arie van Deursen ORCID logo
(Delft University of Technology, Netherlands; University of British Columbia, Canada)

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)
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 ORCID logo, Dongmei Zhang ORCID logo, and Tao Xie
(Microsoft Research, China; Chinese University of Hong Kong, China; Carnegie Mellon University, USA; University of Illinois at Urbana-Champaign, USA)
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)
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 ORCID logo, and Lidong Zhou
(Tsinghua University, China; Microsoft Research, China; Microsoft Bing, USA)

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)
How to Build a Good Practice Software Project Portfolio?
Hennie Huijgens, Rini van Solingen, and Arie van Deursen ORCID logo
(Delft University of Technology, Netherlands; Goverdson, Netherlands; Prowareness, Netherlands)
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)
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)
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)

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 ZimmermannORCID logo
(West Virginia University, USA; Microsoft Research, USA)
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)

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)
A Case Study on Testing, Commissioning, and Operation of Very-Large-Scale Software Systems
Michael Vierhauser ORCID logo, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria)
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)
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 ORCID logo, Brigitte Haupt, and Christian Wagner
(Queen's University, Canada; CQSE, Germany; Avaya Labs Research, USA; Polytechnique Montréal, Canada; Munich Re, Germany)

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)
A Systematic Approach to Transforming System Requirements into Model Checking Specifications
Daniel Aceituna, Hyunsook Do, and Sudarshan Srinivasan
(North Dakota State University, USA)
A Candid Industrial Evaluation of Formal Software Verification using Model Checking
Matthew Bennion and Ibrahim Habli
(Rolls Royce, UK; University of York, UK)
Architectural Dependency Analysis to Understand Rework Costs for Safety-Critical Systems
Robert L. Nord, Ipek Ozkaya ORCID logo, Raghvinder S. Sangwan, and Ronald J. Koontz
(SEI, USA; Pennsylvania State University, USA; Boeing, USA)

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)
Extrinsic Influence Factors in Software Reliability: A Study of 200,000 Windows Machines
Christian Bird, Venkatesh-Prasad Ranganath, Thomas ZimmermannORCID logo, Nachiappan Nagappan, and Andreas Zeller
(Microsoft Research, USA; Kansas State University, USA; Microsoft, USA; Saarland University, Germany)

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)
Video Best SEIP Paper
Software Feature Location in Practice: Debugging Aircraft Simulation Systems
Salman Hoseini, Abdelwahab Hamou-Lhadj, Patrick Desrosiers, and Martin Tapp
(Concordia University, Canada; CAE, Canada)
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)
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)

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 ORCID logo
(University of California at Berkeley, USA)
Functional Programming For All! Scaling a MOOC for Students and Professionals Alike
Heather Miller, Philipp Haller, Lukas Rytz, and Martin Odersky ORCID logo
(EPFL, Switzerland; Typesafe, Switzerland)

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)
Quasi-Crowdsourcing Testing for Educational Projects
Zhenyu Chen and Bin Luo ORCID logo
(Nanjing University, China)
Teaching Reuse-Driven Software Engineering through Innovative Role Playing
Gerald Kotonya and Jaejoon Lee
(Lancaster University, UK)
Towards a Supercollaborative Software Engineering MOOC
William Billingsley and Jim R. H. Steel
(NICTA, Australia; University of Queensland, Australia)
Video Info
Teaching Students to Understand Large Programs by Understanding Historical Context
Collin McMillan ORCID logo and Richard Oosterhoff
(University of Notre Dame, USA)

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)
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)
Scenario-Based Programming: Reducing the Cognitive Load, Fostering Abstract Thinking
Giora Alexandron, Michal Armoni, Michal Gordon, and David Harel
(Weizmann Institute of Science, Israel)
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)
Video

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)
Introduction of Continuous Delivery in Multi-Customer Project Courses
Stephan Krusche and Lukas Alperowitz
(TU München, Germany)
Process Mining Software Repositories from Student Projects in an Undergraduate Software Engineering Course
Megha Mittal and Ashish Sureka
(IIIT Delhi, India)
Comparing Test Quality Measures for Assessing Student-Written Tests
Stephen H. Edwards and Zalia Shams
(Virginia Tech, USA)

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)
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)
Teaching Students Scrum using LEGO Blocks
Maria Paasivaara, Ville Heikkilä, Casper Lassenius, and Towo Toivola
(Aalto University, Finland; F-Secure, Finland)
A Compiler Project with Learning Progressions
Derek Rayside
(University of Waterloo, Canada)

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)
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)
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)
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)
A Runtime Cloud Efficiency Software Quality Metric
Mark Shtern, Michael Smit, Bradley Simmons, and Marin Litoiu
(York University, Canada; Dalhousie University, Canada)

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 ChenORCID logo
(RMIT University, Australia; Swinburne University of Technology, Australia)
Software Bug Localization with Markov Logic
Sai Zhang and Congle Zhang
(University of Washington, USA)
Steering Model-Based Oracles to Admit Real Program Behaviors
Gregory Gay ORCID logo, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Shadow Symbolic Execution for Better Testing of Evolving Software
Cristian CadarORCID logo and Hristina Palikareva
(Imperial College London, UK)
Leveraging P2P Networks to Address the Test Scenario Explosion Problem
Mark Micallef, Conrad Attard, Andrea Mangion, and Sebastian Attard
(University of Malta, Malta)
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)

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)
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 ORCID logo, and Daniel M. German
(NAIST, Japan; Kyushu University, Japan; Nara National College of Technology, Japan; University of Victoria, Canada)
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 ORCID logo
(Fondazione Bruno Kessler, Italy; University of Trento, Italy)
Who Asked What: Integrating Crowdsourced FAQs into API Documentation
Cong Chen and Kang Zhang
(University of Texas at Dallas, USA)
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)
Modeling Self-Adaptive Software Systems with Learning Petri Nets
Zuohua Ding, Yuan ZhouORCID logo, and MengChu Zhou
(Zhejiang Sci-Tech University, China; New Jersey Institute of Technology, USA)

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)
An Automated Approach to Detect Violations with High Confidence in Incremental Code using a Learning System
Radhika D. Venkatasubramanyam and Shrinath Gupta
(Siemens, India)
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)
Reusable Execution Replay: Execution Record and Replay for Source Code Reuse
Ameer Armaly, Casey Ferris, and Collin McMillan ORCID logo
(University of Notre Dame, USA)
Mining Precise Performance-Aware Behavioral Models from Existing Instrumentation
Tony Ohmann, Kevin Thai, Ivan Beschastnikh ORCID logo, and Yuriy BrunORCID logo
(University of Massachusetts, USA; Facebook, USA; University of British Columbia, Canada)
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)

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)
Reproducing Software Failures by Exploiting the Action History of Undo Features
Tobias Roehm and Bernd Bruegge
(TU München, Germany)
Bugarium: 3D Interaction for Supporting Large-Scale Bug Repositories Analysis
Papon Yongpisanpop, Hideaki Hata, and Kenichi Matsumoto ORCID logo
(NAIST, Japan)
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)
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)
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)

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)
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)
Collaborative Infrastructure for Test-Driven Scientific Model Validation
Cyrus Omar, Jonathan AldrichORCID logo, and Richard C. Gerkin
(Carnegie Mellon University, USA; Arizona State University, USA)
Lab-Based Action Design Research
Paul Ralph
(Lancaster University, UK)
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ąsowskiORCID logo, and Ina Schaefer
(University of Waterloo, Canada; University of Koblenz-Landau, Germany; IT University of Copenhagen, Denmark; TU Braunschweig, Germany)
Info
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)

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 PoshyvanykORCID logo, and Huzefa Kagdi
(College of William and Mary, USA; Wichita State University, USA)
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)
LTSA-PCA: Tool Support for Compositional Reliability Analysis
Pedro Rodrigues, Emil Lupu, and Jeff Kramer
(Imperial College London, UK)
DASHboards: Enhancing Developer Situational Awareness
Oleksii Kononenko, Olga Baysal, Reid Holmes, and Michael W. GodfreyORCID logo
(University of Waterloo, Canada)
Product Assignment Recommender
Jialiang Xie, Qimu Zheng, Minghui Zhou, and Audris Mockus
(Peking University, China; Avaya Labs Research, USA)
Verily: A Web Framework for Creating More Reasonable Web Applications
John L. Singleton and Gary T. LeavensORCID logo
(University of Central Florida, USA)
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 ORCID logo, and Jin Song Dong
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore)

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 LoORCID logo, and Julia Lawall
(Singapore Management University, Singapore; INRIA, France; LIP6, France)
Video
BOAT: An Experimental Platform for Researchers to Comparatively and Reproducibly Evaluate Bug Localization Techniques
Xinyu Wang, David LoORCID logo, Xin Xia, Xingen Wang, Pavneet Singh Kochhar, Yuan Tian, Xiaohu Yang ORCID logo, Shanping Li ORCID logo, Jianling Sun, and Bo Zhou
(Zhejiang University, China; Singapore Management University, Singapore)
Video
VMVM: Unit Test Virtualization for Java
Jonathan Bell and Gail Kaiser ORCID logo
(Columbia University, USA)
Video Info
ViVA: A Visualization and Analysis Tool for Distributed Event-Based Systems
Youn Kyu Lee, Jae young Bang, Joshua Garcia, and Nenad Medvidovic ORCID logo
(University of Southern California, USA)
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)
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)
Video Info
Teamscale: Software Quality Control in Real-Time
Lars Heinemann, Benjamin Hummel, and Daniela Steidl
(CQSE, Germany)

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)
Shedding Light on Distributed System Executions
Jenny Abrahamson, Ivan Beschastnikh ORCID logo, Yuriy BrunORCID logo, and Michael D. ErnstORCID logo
(Facebook, USA; University of British Columbia, Canada; University of Massachusetts, USA; University of Washington, USA)
Info
Fault Localization for Build Code Errors in Makefiles
Jafar Al-Kofahi, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Avoiding Deadlocks using Stalemate and Dimmunix
Surabhi Pandey, Sushanth Bhat, and Vivek Shanbhag
(IIIT Bangalore, India)
Assuring System Goals under Uncertainty with Active Formal Models of Self-Adaptation
M. Usman Iftikhar and Danny Weyns
(Linnaeus University, Sweden)
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)
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)
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)
Info
Calibrating Use Case Points
Ali Bou Nassif, Luiz Fernando Capretz, and Danny Ho
(University of Western Ontario, Canada; NFA Estimation, Canada)
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)
Model-Driven Development of Diverse User Interfaces
Zhiyi Ma, Wei Zhang, and Chih-Yi Yeh
(Peking University, China)
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)
Asymmetric Software Structures in the Linux Kernel
Lei Wang, Ping Wang, and Zhen Wang
(Beihang University, China)
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)
An Optimized Design Approach for Extending HMI Systems with Mobile Devices
Manasvi Jain, Rahul Raj CP, and Seshubabu Tolety
(Siemens, India)
Proposing a Theory of Gamification Effectiveness
Bilal Amir and Paul Ralph
(Sur University College, Oman; Lancaster University, UK)
Modeling and Model Checking by Modular Approach
Mo Xia, Guiming Luo, and Mian Sun
(Tsinghua University, China)
Hybrid Test Data Generation
Zicong Liu, Zhenyu Chen, Chunrong Fang, and Qingkai Shi
(Nanjing University, China)
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)

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)
Formal Verification Problems in a Big Data World: Towards a Mighty Synergy
Matteo Camilli
(University of Milan, Italy)
Cross-Platform Testing and Maintenance of Web and Mobile Applications
Shauvik Roy Choudhary
(Georgia Tech, USA)

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)
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)
Summarization of Complex Software Artifacts
Laura Moreno
(Wayne State University, USA)

Initial A
Tue, Jun 3, 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)
Performance Analysis of Object-Oriented Software
David Maplesden
(University of Auckland, New Zealand)
Improving Exception Handling with Recommendations
Eiji Adachi Barbosa
(PUC-Rio, Brazil)
Verifying Incomplete and Evolving Specifications
Claudio Menghi
(Politecnico di Milano, Italy)
Quantitative Properties of Software Systems: Specification, Verification, and Synthesis
Srđan Krstić
(Politecnico di Milano, Italy)

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)
Dynamic Data-Flow Testing
Mattia Vivanti
(University of Lugano, Switzerland)
Holistic Recommender Systems for Software Engineering
Luca Ponzanelli
(University of Lugano, Switzerland)
Understanding the Dynamics of Test-Driven Development
Davide Fucci
(University of Oulu, Finland)
On the Use of Visualization for Supporting Software Reuse
Marcelo Schots
(COPPE, Brazil; Federal University of Rio de Janeiro, Brazil)

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)
Study of Task Processes for Improving Programmer Productivity
Damodaram Kamma
(IIIT Delhi, India)
Improving Enterprise Software Maintenance Efficiency through Mining Software Repositories in an Industry Context
Senthil Mani
(IIIT Delhi, India)
Enhancing Feature Interfaces for Supporting Software Product Line Maintenance
Bruno B. P. Cafeo
(PUC-Rio, Brazil)
Supporting Evolution and Maintenance of Android Apps
Mario Linares-Vásquez
(College of William and Mary, USA)

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)
Automatic Performance Modeling of Multithreaded Programs
Alexander Tarvo
(Brown University, USA)
Incremental Reachability Checking of KernelC Programs using Matching Logic
Alessandro Maria Rizzi
(Politecnico di Milano, Italy)
Exploiting Undefined Behaviors for Efficient Symbolic Execution
Asankhaya Sharma
(National University of Singapore, Singapore)
Video Info
Identifying Caching Opportunities, Effortlessly
Alejandro Infante
(University of Chile, Chile)
Program Transformations to Fix C Buffer Overflow
Alex Shaw
(Auburn University, USA)
Characteristics of the Vulnerable Code Changes Identified through Peer Code Review
Amiangshu Bosu
(University of Alabama, USA)
Video Info
Privacy and Security Requirements Framework for the Internet of Things (IoT)
Israa Alqassem
(Masdar Institute of Science and Technology, United Arab Emirates)

proc time: 0.91