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)
Publisher's Version Article Search

Software Engineering in Practice

Panel Session 1

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 Article Search
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 Article Search

Dependability, Safety, and Reliability

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 Article Search
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 Article Search
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 Article Search
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 Article Search

Processes and Agile Development

Automated Software Integration Flows in Industry: A Multiple-Case Study
Daniel Ståhl and Jan Bosch
(Ericsson, Sweden; Chalmers, Sweden)
Publisher's Version Article Search
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 Article Search 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 Article Search
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 Article Search
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 Article Search

Panel Session 2

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 Article Search
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 Article Search

Software Testing and Analysis

Objective Safety Compliance Checks for Source Code
Alois Mayr, Reinhold Plösch, and Matthias Saft
(JKU Linz, Austria; Siemens, Germany)
Publisher's Version Article Search
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 Article Search
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 Article Search
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 Article Search

Formal Development

Improving Software through Automatic Untangling of Cyclic Dependencies
Maayan Goldstein and Dany Moshkovich
(IBM Research, Israel)
Publisher's Version Article Search
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 Article Search
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 Article Search
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 Article Search

Panel Session 3

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 Article Search
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 Article Search

Configuration and Requirements

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)
Publisher's Version Article Search 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 Article Search
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 Article Search
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 Article Search

Software Engineering Education and Training

MOOCs in Education and Training

Using MOOCs to Reinvigorate Software Engineering Education (Keynote)
Armando Fox
(University of California at Berkeley, USA)
Publisher's Version Article Search
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 Article Search

Collaborative Teaching and Training

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 Article Search
Quasi-Crowdsourcing Testing for Educational Projects
Zhenyu Chen and Bin Luo
(Nanjing University, China)
Publisher's Version Article Search
Teaching Reuse-Driven Software Engineering through Innovative Role Playing
Gerald Kotonya and Jaejoon Lee
(Lancaster University, UK)
Publisher's Version Article Search
Towards a Supercollaborative Software Engineering MOOC
William Billingsley and Jim R. H. Steel
(NICTA, Australia; University of Queensland, Australia)
Publisher's Version Article Search 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 Article Search

Industry Needs and Innovative Teaching Methods

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 Article Search
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 Article Search
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 Article Search
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 Article Search Video

Improving Student Software Projects

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

Agility and Progressive Learning

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

New Ideas and Emerging Results

Collaboration and Cloud

Integrating Software Project Resources Using Source Code Identifiers
Laura Inozemtseva, Siddharth Subramanian, and Reid Holmes
(University of Waterloo, Canada)
Publisher's Version Article Search 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 Article Search
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 Article Search
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)
Publisher's Version Article Search
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 Article Search

Testing and Evolution

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 Article Search
Software Bug Localization with Markov Logic
Sai Zhang and Congle Zhang
(University of Washington, USA)
Publisher's Version Article Search
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 Article Search
Shadow Symbolic Execution for Better Testing of Evolving Software
Cristian Cadar and Hristina Palikareva
(Imperial College London, UK)
Publisher's Version Article Search
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 Article Search
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 Article Search

Human Inputs in Software Engineering and Adaptation

Brainware: Synergizing Software Systems and Neural Inputs
Shihong Huang and Emmanuelle Tognoli
(Florida Atlantic University, USA)
Publisher's Version Article Search
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 Article Search
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 Article Search
Who Asked What: Integrating Crowdsourced FAQs into API Documentation
Cong Chen and Kang Zhang
(University of Texas at Dallas, USA)
Publisher's Version Article Search 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 Article Search
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 Article Search

Learning and Mining

Automatic Search Term Identification for Change Tasks
Katja Kevic and Thomas Fritz
(University of Zurich, Switzerland)
Publisher's Version Article Search
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 Article Search
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 Article Search
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 Article Search
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 Article Search 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 Article Search

Bugs and Failures

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

Process and Social Aspects

API as a Social Glue
Rohan Padhye, Debdoot Mukherjee, and Vibha Singhal Sinha
(IBM Research, India)
Publisher's Version Article Search
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 Article Search
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 Article Search
Lab-Based Action Design Research
Paul Ralph
(Lancaster University, UK)
Publisher's Version Article Search
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 Article Search 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)
Publisher's Version Article Search

Formal Demonstrations

Automated Programming Support

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 Article Search 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 Article Search
LTSA-PCA: Tool Support for Compositional Reliability Analysis
Pedro Rodrigues, Emil Lupu, and Jeff Kramer
(Imperial College London, UK)
Publisher's Version Article Search
DASHboards: Enhancing Developer Situational Awareness
Oleksii Kononenko, Olga Baysal, Reid Holmes, and Michael W. Godfrey
(University of Waterloo, Canada)
Publisher's Version Article Search
Product Assignment Recommender
Jialiang Xie, Qimu Zheng, Minghui Zhou, and Audris Mockus
(Peking University, China; Avaya Labs Research, USA)
Publisher's Version Article Search
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 Article Search 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 Article Search

Software Understanding for Programmers and Researchers

SEWordSim: Software-Specific Word Similarity Database
Yuan Tian, David Lo, and Julia Lawall
(Singapore Management University, Singapore; INRIA, France; LIP6, France)
Publisher's Version Article Search 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 Article Search Video
VMVM: Unit Test Virtualization for Java
Jonathan Bell and Gail Kaiser
(Columbia University, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search Video Info
Teamscale: Software Quality Control in Real-Time
Lars Heinemann, Benjamin Hummel, and Daniela Steidl
(CQSE, Germany)
Publisher's Version Article Search

ICSE Posters

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 Article Search
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 Article Search 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 Article Search
Avoiding Deadlocks using Stalemate and Dimmunix
Surabhi Pandey, Sushanth Bhat, and Vivek Shanbhag
(IIIT Bangalore, India)
Publisher's Version Article Search
Assuring System Goals under Uncertainty with Active Formal Models of Self-Adaptation
M. Usman Iftikhar and Danny Weyns
(Linnaeus University, Sweden)
Publisher's Version Article Search
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 Article Search
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 Article Search
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 Article Search 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 Article Search
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 Article Search
Model-Driven Development of Diverse User Interfaces
Zhiyi Ma, Wei Zhang, and Chih-Yi Yeh
(Peking University, China)
Publisher's Version Article Search
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 Article Search
Asymmetric Software Structures in the Linux Kernel
Lei Wang, Ping Wang, and Zhen Wang
(Beihang University, China)
Publisher's Version Article Search
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 Article Search
An Optimized Design Approach for Extending HMI Systems with Mobile Devices
Manasvi Jain, Rahul Raj CP, and Seshubabu Tolety
(Siemens, India)
Publisher's Version Article Search
Proposing a Theory of Gamification Effectiveness
Bilal Amir and Paul Ralph
(Sur University College, Oman; Lancaster University, UK)
Publisher's Version Article Search
Modeling and Model Checking by Modular Approach
Mo Xia, Guiming Luo, and Mian Sun
(Tsinghua University, China)
Publisher's Version Article Search
Hybrid Test Data Generation
Zicong Liu, Zhenyu Chen, Chunrong Fang, and Qingkai Shi
(Nanjing University, China)
Publisher's Version Article Search
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 Article Search

Doctoral Symposium

Mature A

COASTmed: Software Architectures for Delivering Customizable, Policy-Based Differential Web Services
Alegria Baquero
(University of California at Irvine, USA)
Publisher's Version Article Search
Formal Verification Problems in a Big Data World: Towards a Mighty Synergy
Matteo Camilli
(University of Milan, Italy)
Publisher's Version Article Search
Cross-Platform Testing and Maintenance of Web and Mobile Applications
Shauvik Roy Choudhary
(Georgia Tech, USA)
Publisher's Version Article Search

Mature B

Human Aspects, Gamification, and Social Media in Collaborative Software Engineering
Bogdan Vasilescu
(Eindhoven University of Technology, Netherlands)
Publisher's Version Article Search
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 Article Search
Summarization of Complex Software Artifacts
Laura Moreno
(Wayne State University, USA)
Publisher's Version Article Search

Initial A

Nirikshan: Process Mining Software Repositories to Identify Inefficiencies, Imperfections, and Enhance Existing Process Capabilities
Monika Gupta
(IIIT Delhi, India)
Publisher's Version Article Search
Performance Analysis of Object-Oriented Software
David Maplesden
(University of Auckland, New Zealand)
Publisher's Version Article Search
Improving Exception Handling with Recommendations
Eiji Adachi Barbosa
(PUC-Rio, Brazil)
Publisher's Version Article Search
Verifying Incomplete and Evolving Specifications
Claudio Menghi
(Politecnico di Milano, Italy)
Publisher's Version Article Search
Quantitative Properties of Software Systems: Specification, Verification, and Synthesis
Srđan Krstić
(Politecnico di Milano, Italy)
Publisher's Version Article Search

Initial B

Automatic Generation of Cost-Effective Test Oracles
Alberto Goffi
(University of Lugano, Switzerland)
Publisher's Version Article Search
Dynamic Data-Flow Testing
Mattia Vivanti
(University of Lugano, Switzerland)
Publisher's Version Article Search
Holistic Recommender Systems for Software Engineering
Luca Ponzanelli
(University of Lugano, Switzerland)
Publisher's Version Article Search
Understanding the Dynamics of Test-Driven Development
Davide Fucci
(University of Oulu, Finland)
Publisher's Version Article Search
On the Use of Visualization for Supporting Software Reuse
Marcelo Schots
(COPPE, Brazil; Federal University of Rio de Janeiro, Brazil)
Publisher's Version Article Search

Initial C

Understanding the Redundancy of Software Systems
Andrea Mattavelli
(University of Lugano, Switzerland)
Publisher's Version Article Search
Study of Task Processes for Improving Programmer Productivity
Damodaram Kamma
(IIIT Delhi, India)
Publisher's Version Article Search
Improving Enterprise Software Maintenance Efficiency through Mining Software Repositories in an Industry Context
Senthil Mani
(IIIT Delhi, India)
Publisher's Version Article Search
Enhancing Feature Interfaces for Supporting Software Product Line Maintenance
Bruno B. P. Cafeo
(PUC-Rio, Brazil)
Publisher's Version Article Search
Supporting Evolution and Maintenance of Android Apps
Mario Linares-Vásquez
(College of William and Mary, USA)
Publisher's Version Article Search

ACM Student Research Competition

Exception Handling for Dynamic Information Flow Control
Abhishek Bichhawat
(Saarland University, Germany)
Publisher's Version Article Search
Automatic Performance Modeling of Multithreaded Programs
Alexander Tarvo
(Brown University, USA)
Publisher's Version Article Search
Incremental Reachability Checking of KernelC Programs using Matching Logic
Alessandro Maria Rizzi
(Politecnico di Milano, Italy)
Publisher's Version Article Search
Exploiting Undefined Behaviors for Efficient Symbolic Execution
Asankhaya Sharma
(National University of Singapore, Singapore)
Publisher's Version Article Search Video Info
Identifying Caching Opportunities, Effortlessly
Alejandro Infante
(University of Chile, Chile)
Publisher's Version Article Search
Program Transformations to Fix C Buffer Overflow
Alex Shaw
(Auburn University, USA)
Publisher's Version Article Search
Characteristics of the Vulnerable Code Changes Identified through Peer Code Review
Amiangshu Bosu
(University of Alabama, USA)
Publisher's Version Article Search 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 Article Search

proc time: 0.58