Powered by
Conference Publishing Consulting

2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2015), August 30 – September 4, 2015, Bergamo, Italy

ESEC/FSE 2015 – Proceedings

Contents - Abstracts - Authors
Twitter: https://twitter.com/FSEconf

Frontmatter

Title Page
Welcome from the Chairs
Committees
Sponsors

Research Papers

Adaptive Systems

Proactive Self-Adaptation under Uncertainty: A Probabilistic Model Checking Approach
Gabriel A. Moreno, Javier Cámara, David Garlan, and Bradley Schmerl
(SEI, USA; Carnegie Mellon University, USA)
Publisher's Version Article Search
Automated Multi-objective Control for Self-Adaptive Software Design
Antonio Filieri, Henry Hoffmann, and Martina Maggio
(University of Stuttgart, Germany; University of Chicago, USA; Lund University, Sweden)
Publisher's Version Article Search
Detecting Event Anomalies in Event-Based Systems
Gholamreza Safi, Arman Shahbazian, William G. J. Halfond, and Nenad Medvidovic
(University of Southern California, USA)
Publisher's Version Article Search Video Info

Software Quality

Suggesting Accurate Method and Class Names
Miltiadis Allamanis, Earl T. Barr, Christian Bird, and Charles Sutton
(University of Edinburgh, UK; University College London, UK; Microsoft Research, USA)
Publisher's Version Article Search Info
Measure It? Manage It? Ignore It? Software Practitioners and Technical Debt
Neil A. Ernst, Stephany Bellomo, Ipek Ozkaya, Robert L. Nord, and Ian Gorton
(SEI, USA)
Publisher's Version Article Search Info
Automatically Computing Path Complexity of Programs
Lucas Bang, Abdulbaki Aydin, and Tevfik Bultan
(University of California at Santa Barbara, USA)
Publisher's Version Article Search Info

Synthesis and Search-Based Approaches for Reactive Systems

Systematic Testing of Asynchronous Reactive Systems
Ankush Desai, Shaz Qadeer, and Sanjit A. Seshia
(University of California at Berkeley, USA; Microsoft Research, USA)
Publisher's Version Article Search Info
Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
Reza Matinnejad, Shiva Nejati, Lionel C. Briand, and Thomas Bruckmann
(University of Luxembourg, Luxembourg; Delphi Automotive Systems, Luxembourg)
Publisher's Version Article Search
GR(1) Synthesis for LTL Specification Patterns
Shahar Maoz and Jan Oliver Ringert
(Tel Aviv University, Israel)
Publisher's Version Article Search

Testing I

Modeling Readability to Improve Unit Tests
Ermira Daka, José Campos, Gordon Fraser, Jonathan Dorn, and Westley Weimer
(University of Sheffield, UK; University of Virginia, USA)
Publisher's Version Article Search
Improving Model-Based Test Generation by Model Decomposition
Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene
(Charles University in Prague, Czech Republic; University of Bergamo, Italy; University of Milan, Italy)
Publisher's Version Article Search
Synthesizing Tests for Detecting Atomicity Violations
Malavika Samak and Murali Krishna Ramanathan
(Indian Institute of Science, India)
Publisher's Version Article Search

Search-Based Approaches to Testing, Repair, and Energy Optimisation

Optimizing Energy Consumption of GUIs in Android Apps: A Multi-objective Approach
Mario Linares-Vásquez, Gabriele Bavota, Carlos Eduardo Bernal Cárdenas, Rocco Oliveto, Massimiliano Di Penta, and Denys Poshyvanyk
(College of William and Mary, USA; Free University of Bolzano, Italy; University of Molise, Italy; University of Sannio, Italy)
Publisher's Version Article Search Info
Generating TCP/UDP Network Data for Automated Unit Test Generation
Andrea Arcuri, Gordon Fraser, and Juan Pablo Galeotti
(Scienta, Norway; University of Luxembourg, Luxembourg; University of Sheffield, UK; Saarland University, Germany)
Publisher's Version Article Search
Staged Program Repair with Condition Synthesis
Fan Long and Martin Rinard
(Massachusetts Institute of Technology, USA)
Publisher's Version Article Search Info

Empirical Studies of Software Developers I

When, How, and Why Developers (Do Not) Test in Their IDEs
Moritz Beller, Georgios Gousios, Annibale Panichella, and Andy Zaidman
(Delft University of Technology, Netherlands; Radboud University Nijmegen, Netherlands)
Publisher's Version Article Search
How Developers Search for Code: A Case Study
Caitlin Sadowski, Kathryn T. Stolee, and Sebastian Elbaum
(Google, USA; Iowa State University, USA; University of Nebraska-Lincoln, USA)
Publisher's Version Article Search
Tracing Software Developers' Eyes and Interactions for Change Tasks
Katja Kevic, Braden M. Walters, Timothy R. Shaffer, Bonita Sharif, David C. Shepherd, and Thomas Fritz
(University of Zurich, Switzerland; Youngstown State University, USA; ABB Research, USA)
Publisher's Version Article Search Info

Testing II

Assertions Are Strongly Correlated with Test Suite Effectiveness
Yucheng Zhang and Ali Mesbah
(University of British Columbia, Canada)
Publisher's Version Article Search Info
Test Report Prioritization to Assist Crowdsourced Testing
Yang Feng, Zhenyu Chen, James A. Jones, Chunrong Fang, and Baowen Xu
(Nanjing University, China; University of California at Irvine, USA)
Publisher's Version Article Search
Comparing and Combining Test-Suite Reduction and Regression Test Selection
August Shi, Tifany Yung, Alex Gyori, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Publisher's Version Article Search

Security

Questions Developers Ask While Diagnosing Potential Security Vulnerabilities with Static Analysis
Justin Smith, Brittany Johnson, Emerson Murphy-Hill, Bill Chu, and Heather Richter Lipford
(North Carolina State University, USA; University of North Carolina at Charlotte, USA)
Publisher's Version Article Search Info
Quantifying Developers' Adoption of Security Tools
Jim Witschey, Olga Zielinska, Allaire Welk, Emerson Murphy-Hill, Chris Mayhorn, and Thomas Zimmermann
(North Carolina State University, USA; Microsoft Research, USA)
Publisher's Version Article Search
Auto-patching DOM-Based XSS at Scale
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, and Prateek Saxena
(National University of Singapore, Singapore)
Publisher's Version Article Search Info

Configurable Systems

Performance-Influence Models for Highly Configurable Systems
Norbert Siegmund, Alexander Grebhahn, Sven Apel, and Christian Kästner
(University of Passau, Germany; Carnegie Mellon University, USA)
Publisher's Version Article Search Info
Users Beware: Preference Inconsistencies Ahead
Farnaz Behrang, Myra B. Cohen, and Alessandro Orso
(Georgia Tech, USA; University of Nebraska-Lincoln, USA)
Publisher's Version Article Search
Hey, You Have Given Me Too Many Knobs!: Understanding and Dealing with Over-Designed Configuration in System Software
Tianyin Xu, Long Jin, Xuepeng Fan, Yuanyuan Zhou, Shankar Pasupathy, and Rukma Talwadker
(University of California at San Diego, USA; Huazhong University of Science and Technology, China; NetApp, USA)
Publisher's Version Article Search Video Info

Debugging

Crowd Debugging
Fuxiang Chen and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Publisher's Version Article Search
On the Use of Delta Debugging to Reduce Recordings and Facilitate Debugging of Web Applications
Mouna Hammoudi, Brian Burg, Gigon Bae, and Gregg Rothermel
(University of Nebraska-Lincoln, USA; University of Washington, USA)
Publisher's Version Article Search Info
MemInsight: Platform-Independent Memory Debugging for JavaScript
Simon Holm Jensen, Manu Sridharan, Koushik Sen, and Satish Chandra
(Snowflake Computing, USA; Samsung Research, USA; University of California at Berkeley, USA)
Publisher's Version Article Search

Web Applications

JITProf: Pinpointing JIT-Unfriendly JavaScript Code
Liang Gong, Michael Pradel, and Koushik Sen
(University of California at Berkeley, USA; TU Darmstadt, Germany)
Publisher's Version Article Search Info
Cross-Language Program Slicing for Dynamic Web Applications
Hung Viet Nguyen, Christian Kästner, and Tien N. Nguyen
(Iowa State University, USA; Carnegie Mellon University, USA)
Publisher's Version Article Search
Detecting JavaScript Races That Matter
Erdal Mutlu, Serdar Tasiran, and Benjamin Livshits
(Koç University, Turkey; Microsoft Research, USA)
Publisher's Version Article Search Info

Studies of Software Engineering Research and Practice

The Making of Cloud Applications: An Empirical Study on Software Development for the Cloud
Jürgen Cito, Philipp Leitner, Thomas Fritz, and Harald C. Gall
(University of Zurich, Switzerland)
Publisher's Version Article Search
An Empirical Study of Goto in C Code from GitHub Repositories
Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric Tanter, Shane McIntosh, Audris Mockus, and Ahmed E. Hassan
(Rochester Institute of Technology, USA; University of Chile, Chile; Kyushu University, Japan; McGill University, Canada; University of Tennessee, USA; Queen's University, Canada)
Publisher's Version Article Search
How Practitioners Perceive the Relevance of Software Engineering Research
David Lo, Nachiappan Nagappan, and Thomas Zimmermann
(Singapore Management University, Singapore; Microsoft Research, USA)
Publisher's Version Article Search

Concurrency

What Change History Tells Us about Thread Synchronization
Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu, and Shan Lu
(Columbia University, USA; North Carolina State University, USA; University of Wisconsin-Madison, USA; University of Chicago, USA)
Publisher's Version Article Search
Finding Schedule-Sensitive Branches
Jeff Huang and Lawrence Rauchwerger
(Texas A&M University, USA)
Publisher's Version Article Search
Effective and Precise Dynamic Detection of Hidden Races for Java Programs
Yan Cai and Lingwei Cao
(Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version Article Search

Program Analysis I

A User-Guided Approach to Program Analysis
Ravi Mangal, Xin Zhang, Aditya V. Nori, and Mayur Naik
(Georgia Tech, USA; Microsoft Research, UK)
Publisher's Version Article Search
Hidden Truths in Dead Software Paths
Michael Eichberg, Ben Hermann, Mira Mezini, and Leonid Glanz
(TU Darmstadt, Germany)
Publisher's Version Article Search Info
P3: Partitioned Path Profiling
Mohammed Afraz, Diptikalyan Saha, and Aditya Kanade
(Indian Institute of Science, India; IBM Research, India)
Publisher's Version Article Search

Prediction and Recommendation

Heterogeneous Cross-Company Defect Prediction by Unified Metric Representation and CCA-Based Transfer Learning
Xiaoyuan Jing, Fei Wu, Xiwei Dong, Fumin Qi, and Baowen Xu
(Wuhan University, China; Nanjing University of Posts and Telecommunications, China; Nanjing University, China)
Publisher's Version Article Search
Heterogeneous Defect Prediction
Jaechang Nam and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Publisher's Version Article Search
Clone-Based and Interactive Recommendation for Modifying Pasted Code
Yun Lin, Xin Peng, Zhenchang Xing, Diwen Zheng, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)
Publisher's Version Article Search

Program Repair

Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair
Edward K. Smith, Earl T. Barr, Claire Le Goues, and Yuriy Brun
(University of Massachusetts at Amherst, USA; University College London, UK; Carnegie Mellon University, USA; University of Massachusetts, USA)
Publisher's Version Article Search
Responsive Designs in a Snap
Nishant Sinha and Rezwana Karim
(IBM Research, India; Rutgers University, USA)
Publisher's Version Article Search
CLOTHO: Saving Programs from Malformed Strings and Incorrect String-Handling
Aritra Dhar, Rahul Purandare, Mohan Dhawan, and Suresh Rangaswamy
(Xerox Research Center, India; IIIT Delhi, India; IBM Research, India)
Publisher's Version Article Search Info

Information Retrieval

Query-Based Configuration of Text Retrieval Solutions for Software Engineering Tasks
Laura Moreno, Gabriele Bavota, Sonia Haiduc, Massimiliano Di Penta, Rocco Oliveto, Barbara Russo, and Andrian Marcus
(University of Texas at Dallas, USA; Free University of Bolzano, Italy; Florida State University, USA; University of Sannio, Italy; University of Molise, Italy)
Publisher's Version Article Search Info
Information Retrieval and Spectrum Based Bug Localization: Better Together
Tien-Duy B. Le, Richard J. Oentaryo, and David Lo
(Singapore Management University, Singapore)
Publisher's Version Article Search
Rule-Based Extraction of Goal-Use Case Models from Text
Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
Publisher's Version Article Search Info

Program Analysis II

Symbolic Execution of Programs with Heap Inputs
Pietro Braione, Giovanni Denaro, and Mauro Pezzè
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)
Publisher's Version Article Search
Automatically Deriving Pointer Reference Expressions from Binary Code for Memory Dump Analysis
Yangchun Fu, Zhiqiang Lin, and David Brumley
(University of Texas at Dallas, USA; Carnegie Mellon University, USA)
Publisher's Version Article Search

Measurement and Metric

Summarizing and Measuring Development Activity
Christoph Treude, Fernando Figueira Filho, and Uirá Kulesza
(Federal University of Rio Grande do Norte, Brazil)
Publisher's Version Article Search Info
A Method to Identify and Correct Problematic Software Activity Data: Exploiting Capacity Constraints and Data Redundancies
Qimu Zheng, Audris Mockus, and Minghui Zhou
(Peking University, China; University of Tennessee, USA)
Publisher's Version Article Search

Patterns and Coding Convention

Gamification for Enforcing Coding Conventions
Christian R. Prause and Matthias Jarke
(DLR, Germany; RWTH Aachen University, Germany)
Publisher's Version Article Search

Mobile Applications

String Analysis for Java and Android Applications
Ding Li, Yingjun Lyu, Mian Wan, and William G. J. Halfond
(University of Southern California, USA)
Publisher's Version Article Search
Auto-completing Bug Reports for Android Applications
Kevin Moran, Mario Linares-Vásquez, Carlos Bernal-Cárdenas, and Denys Poshyvanyk
(College of William and Mary, USA)
Publisher's Version Article Search Video Info
CLAPP: Characterizing Loops in Android Applications
Yanick Fratantonio, Aravind Machiry, Antonio Bianchi, Christopher Kruegel, and Giovanni Vigna
(University of California at Santa Barbara, USA)
Publisher's Version Article Search Info

Search, Synthesis, and Verification

TLV: Abstraction through Testing, Learning, and Validation
Jun Sun, Hao Xiao, Yang Liu, Shang-Wei Lin, and Shengchao Qin
(Singapore University of Technology and Design, Singapore; Nanyang Technological University, Singapore; Teesside University, UK; Shenzhen University, China)
Publisher's Version Article Search Info
Mimic: Computing Models for Opaque Code
Stefan Heule, Manu Sridharan, and Satish Chandra
(Stanford University, USA; Samsung Research, USA)
Publisher's Version Article Search Info Artifacts Available
Witness Validation and Stepwise Testification across Software Verifiers
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, and Andreas Stahlbauer
(University of Passau, Germany; University of Freiburg, Germany)
Publisher's Version Article Search Info Artifacts Available

Java and Object-Oriented Programming

Efficient and Reasonable Object-Oriented Concurrency
Scott West, Sebastian Nanz, and Bertrand Meyer
(Google, Switzerland; ETH Zurich, Switzerland)
Publisher's Version Article Search
FlexJava: Language Support for Safe and Modular Approximate Programming
Jongse Park, Hadi Esmaeilzadeh, Xin Zhang, Mayur Naik, and William Harris
(Georgia Tech, USA)
Publisher's Version Article Search
Getting to Know You: Towards a Capability Model for Java
Ben Hermann, Michael Reif, Michael Eichberg, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Article Search Info

Testing III

Efficient Dependency Detection for Safe Java Test Acceleration
Jonathan Bell, Gail Kaiser, Eric Melski, and Mohan Dattatreya
(Columbia University, USA; Electric Cloud, USA)
Publisher's Version Article Search
Turning Programs against Each Other: High Coverage Fuzz-Testing using Binary-Code Mutation and Dynamic Slicing
Ulf Kargén and Nahid Shahmehri
(Linköping University, Sweden)
Publisher's Version Article Search
Guided Differential Testing of Certificate Validation in SSL/TLS Implementations
Yuting Chen and Zhendong Su
(Shanghai Jiao Tong University, China; University of California at Davis, USA)
Publisher's Version Article Search Info

Empirical Studies of Software Developers II

Quality and Productivity Outcomes Relating to Continuous Integration in GitHub
Bogdan Vasilescu, Yue Yu, Huaimin Wang, Premkumar Devanbu, and Vladimir Filkov
(University of California at Davis, USA; National University of Defense Technology, China)
Publisher's Version Article Search
Developer Onboarding in GitHub: The Role of Prior Social Links and Language Experience
Casey Casalnuovo, Bogdan Vasilescu, Premkumar Devanbu, and Vladimir Filkov
(University of California at Davis, USA)
Publisher's Version Article Search
Impact of Developer Turnover on Quality in Open-Source Software
Matthieu Foucault, Marc Palyart, Xavier Blanc, Gail C. Murphy, and Jean-Rémy Falleri
(University of Bordeaux, France; University of British Columbia, Canada)
Publisher's Version Article Search Info

Symbolic Execution

MultiSE: Multi-path Symbolic Execution using Value Summaries
Koushik Sen, George Necula, Liang Gong, and Wontae Choi
(University of California at Berkeley, USA)
Publisher's Version Article Search
Assertion Guided Symbolic Execution of Multithreaded Programs
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, and Aarti Gupta
(Virginia Tech, USA; Western Michigan University, USA; Princeton University, USA)
Publisher's Version Article Search
Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution
Mateus Borges, Antonio Filieri, Marcelo D'Amorim, and Corina S. Păsăreanu
(University of Stuttgart, Germany; Federal University of Pernambuco, Brazil; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
Publisher's Version Article Search Info

New Ideas

Human Aspects of Software Engineering

Bespoke Tools: Adapted to the Concepts Developers Know
Brittany Johnson, Rahul Pandita, Emerson Murphy-Hill, and Sarah Heckman
(North Carolina State University, USA)
Publisher's Version Article Search
I Heart Hacker News: Expanding Qualitative Research Findings by Analyzing Social News Websites
Titus Barik, Brittany Johnson, and Emerson Murphy-Hill
(ABB Research, USA; North Carolina State University, USA)
Publisher's Version Article Search
GitSonifier: Using Sound to Portray Developer Conflict History
Kevin J. North, Shane Bolan, Anita Sarma, and Myra B. Cohen
(University of Nebraska-Lincoln, USA)
Publisher's Version Article Search
Automatically Recommending Test Code Examples to Inexperienced Developers
Raphael Pham, Yauheni Stoliar, and Kurt Schneider
(Leibniz Universität Hannover, Germany)
Publisher's Version Article Search
Using Software Theater for the Demonstration of Innovative Ubiquitous Applications
Han Xu, Stephan Krusche, and Bernd Bruegge
(TU München, Germany)
Publisher's Version Article Search

Validation, Verification, and Testing

Behavioral Log Analysis with Statistical Guarantees
Nimrod Busany and Shahar Maoz
(Tel Aviv University, Israel)
Publisher's Version Article Search
Inner Oracles: Input-Specific Assertions on Internal States
Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, and Tian Lan
(Peking University, China)
Publisher's Version Article Search Info
Targeted Program Transformations for Symbolic Execution
Cristian Cadar
(Imperial College London, UK)
Publisher's Version Article Search
Crash Reproduction via Test Case Mutation: Let Existing Test Cases Help
Jifeng Xuan, Xiaoyuan Xie, and Martin Monperrus
(Wuhan University, China; University of Lille, France; INRIA, France)
Publisher's Version Article Search
RDIT: Race Detection from Incomplete Traces
Arun K. Rajagopalan and Jeff Huang
(Texas A&M University, USA)
Publisher's Version Article Search

Maintenance and Evolution

TACO: Test Suite Augmentation for Concurrent Programs
Tingting Yu
(University of Kentucky, USA)
Publisher's Version Article Search
Navigating through the Archipelago of Refactorings
Apostolos V. Zarras, Theofanis Vartziotis, and Panos Vassiliadis
(University of Ioannina, Greece)
Publisher's Version Article Search
Detecting Semantic Merge Conflicts with Variability-Aware Execution
Hung Viet Nguyen, My Huu Nguyen, Son Cuu Dang, Christian Kästner, and Tien N. Nguyen
(Iowa State University, USA; Ho Chi Minh City University of Science, Vietnam; University of Technology Sydney, Australia; Carnegie Mellon University, USA)
Publisher's Version Article Search
Product Lines Can Jeopardize Their Trade Secrets
Mathieu Acher, Guillaume Bécan, Benoit Combemale, Benoit Baudry, and Jean-Marc Jézéquel
(University of Rennes 1, France; INRIA, France; IRISA, France)
Publisher's Version Article Search

Tool Demonstrations

JSketch: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama
(University of Maryland, USA; Massachusetts Institute of Technology, USA)
Publisher's Version Article Search Info
Don't Panic: Reverse Debugging of Kernel Drivers
Pavel Dovgalyuk, Denis Dmitriev, and Vladimir Makarov
(Russian Academy of Sciences, Russia)
Publisher's Version Article Search Info
UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications
Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, and Zohaib Iqbal
(University of Luxembourg, Luxembourg; National University of Computer and Emerging Sciences, Pakistan)
Publisher's Version Article Search
DexterJS: Robust Testing Platform for DOM-Based XSS Vulnerabilities
Inian Parameshwaran, Enrico Budianto, Shweta Shinde, Hung Dang, Atul Sadhu, and Prateek Saxena
(National University of Singapore, Singapore)
Publisher's Version Article Search Video Info
T3i: A Tool for Generating and Querying Test Suites for Java
I. S. Wishnu B. Prasetya
(Utrecht University, Netherlands)
Publisher's Version Article Search Video Info
iTrace: Enabling Eye Tracking on Software Artifacts within the IDE to Support Software Engineering Tasks
Timothy R. Shaffer, Jenna L. Wise, Braden M. Walters, Sebastian C. Müller, Michael Falcone, and Bonita Sharif
(Youngstown State University, USA; University of Zurich, Switzerland)
Publisher's Version Article Search Video Info
Nyx: A Display Energy Optimizer for Mobile Web Apps
Ding Li, Angelica Huyen Tran, and William G. J. Halfond
(University of Southern California, USA)
Publisher's Version Article Search
NARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements
Chetan Arora, Mehrdad Sabetzadeh, Arda Goknil, Lionel C. Briand, and Frank Zimmer
(University of Luxembourg, Luxembourg; SES TechCom, Luxembourg)
Publisher's Version Article Search Info
Commit Guru: Analytics and Risk Prediction of Software Commits
Christoffer Rosen, Ben Grawi, and Emad Shihab
(Rochester Institute of Technology, USA; Concordia University, Canada)
Publisher's Version Article Search Info
OSSMETER: A Software Measurement Platform for Automatically Analysing Open Source Software Projects
Davide Di Ruscio, Dimitris S. Kolovos, Ioannis Korkontzelos, Nicholas Matragkas, and Jurgen J. Vinju
(University of L'Aquila, Italy; University of York, UK; University of Manchester, UK; CWI, Netherlands)
Publisher's Version Article Search
Comprehensive Service Matching with MatchBox
Paul Börding, Melanie Bruns, and Marie Christin Platenius
(University of Paderborn, Germany)
Publisher's Version Article Search Video Info
UEDashboard: Awareness of Unusual Events in Commit Histories
Larissa Leite, Christoph Treude, and Fernando Figueira Filho
(Federal University of Rio Grande do Norte, Brazil)
Publisher's Version Article Search Info
MatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix
Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, João Bosco Ferreira Filho, Benoit Baudry, Nicolas Sannier, and Jean-Marc Davril
(University of Rennes 1, France; INRIA, France; IRISA, France; University of Luxembourg, Luxembourg; University of Namur, Belgium)
Publisher's Version Article Search Video Info

Industry Papers

Quality

Predicting Field Reliability
Pete Rotella, Sunita Chulani, and Devesh Goyal
(Cisco Systems, USA)
Publisher's Version Article Search
REMI: Defect Prediction for Efficient API Testing
Mijung Kim, Jaechang Nam, Jaehyuk Yeon, Soonhwang Choi, and Sunghun Kim
(Hong Kong University of Science and Technology, China; Samsung Electronics, South Korea)
Publisher's Version Article Search
OnSpot System: Test Impact Visibility during Code Edits in Real Software
Muhammad Umar Janjua
(Microsoft, USA)
Publisher's Version Article Search

Software Process

Products, Developers, and Milestones: How Should I Build My N-Gram Language Model
Juliana Saraiva, Christian Bird, and Thomas Zimmermann
(Federal University of Pernambuco, Brazil; Microsoft Research, USA)
Publisher's Version Article Search
Evaluating a Formal Scenario-Based Method for the Requirements Analysis in Automotive Software Engineering
Joel Greenyer, Max Haase, Jörg Marhenke, and Rene Bellmer
(Leibniz Universität Hannover, Germany; IAV, Germany)
Publisher's Version Article Search
Barriers and Enablers for Shortening Software Development Lead-Time in Mechatronics Organizations: A Case Study
Mahshad M.Mahally, Miroslaw Staron, and Jan Bosch
(Volvo, Sweden; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Publisher's Version Article Search

Requirements and Specification

Semantic Degrees for Industrie 4.0 Engineering: Deciding on the Degree of Semantic Formalization to Select Appropriate Technologies
Chih-Hong Cheng, Tuncay Guelfirat, Christian Messinger, Johannes O. Schmitt, Matthias Schnelte, and Peter Weber
(ABB Research, Germany)
Publisher's Version Article Search
Towards Automating the Security Compliance Value Chain
Smita Ghaisas, Manish Motwani, Balaji Balasubramaniam, Anjali Gajendragadkar, Rahul Kelkar, and Harrick Vin
(Tata Consultancy Services, India)
Publisher's Version Article Search
Requirements, Architecture, and Quality in a Mission Critical System: 12 Lessons Learned
Aapo Koski and Tommi Mikkonen
(Insta DefSec, Finland; Tampere University of Technology, Finland)
Publisher's Version Article Search

Doctoral Symposium

Decentralized Self-Adaptation in Large-Scale Distributed Systems
Luca Florio
(Politecnico di Milano, Italy)
Publisher's Version Article Search
Vehicle Level Continuous Integration in the Automotive Industry
Sebastian Vöst
(University of Stuttgart, Germany)
Publisher's Version Article Search
Quantifying Architectural Debts
Lu Xiao
(Drexel University, USA)
Publisher's Version Article Search
User-Centric Security: Optimization of the Security-Usability Trade-Off
Denis Feth
(Fraunhofer IESE, Germany)
Publisher's Version Article Search
Automated Unit Test Generation for Evolving Software
Sina Shamshiri
(University of Sheffield, UK)
Publisher's Version Article Search

Student Research Competition

Increasing the Efficiency of Search-Based Unit Test Generation using Parameter Control
Thomas White
(University of Sheffield, UK)
Publisher's Version Article Search
Enhancing Android Application Bug Reporting
Kevin Moran
(College of William and Mary, USA)
Publisher's Version Article Search Video Info
Improving Energy Consumption in Android Apps
Carlos Bernal-Cárdenas
(College of William and Mary, USA)
Publisher's Version Article Search
Automated Generation of Programming Language Quizzes
Shuktika Jain
(IIIT Delhi, India)
Publisher's Version Article Search
Spotting Familiar Code Snippet Structures for Program Comprehension
Venkatesh Vinayakarao
(IIIT Delhi, India)
Publisher's Version Article Search
Combining Eye Tracking with Navigation Paths for Identification of Cross-Language Code Dependencies
Martin Konopka
(Slovak University of Technology in Bratislava, Slovakia)
Publisher's Version Article Search
A Textual Domain Specific Language for Requirement Modelling
Oyindamola Olajubu
(University of Northampton, UK)
Publisher's Version Article Search
Automated Attack Surface Approximation
Christopher Theisen
(North Carolina State University, USA)
Publisher's Version Article Search
Pockets: A Tool to Support Exploratory Programming for Novices and Educators
Erina Makihara
(NAIST, Japan)
Publisher's Version Article Search

proc time: 0.96