ESEC/FSE 2013 – Proceedings

2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), August 18–26, 2013, Saint Petersburg, Russia

Preface

Keynotes

A Logical Revolution (Keynote)
Moshe Y. Vardi
(Rice University, USA)
Article: fse13keynotes-k1-p (type: Keynote (up to 10+1 pages)) doi:

Producing Software by Integration: Challenges and Research Directions (Keynote)
Paola Inverardi, Marco Autili, Davide Di Ruscio, Patrizio Pelliccione, and Massimo Tivoli
(University of l'Aquila, Italy)
Article: fse13keynotes-k2-p (type: Keynote (up to 10+1 pages)) doi:

Software Engineering for Mathematics (Keynote)
Georges Gonthier
(Microsoft Research, UK)
Article: fse13keynotes-k3-p (type: Keynote (up to 10+1 pages)) doi:

Panels

Empirical Answers to Fundamental Software Engineering Problems (Panel)
Bertrand Meyer, Harald Gall, Mark Harman, and Giancarlo Succi
(ETH Zurich, Switzerland; ITMO, Russia; Eiffel Software, USA; University of Zurich, Switzerland; University College London, UK; Microsoft Research, UK; Free University of Bozen, Italy)
Article: fse13panels-p1-p (type: Panel (up to 10+1 pages)) doi:

A Publication Culture in Software Engineering (Panel)
Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, and Moshe Y. Vardi
(CISCO, USA; Politecnico di Milano, Italy; DePaul University, USA; ETH Zurich, Switzerland; Microsoft Research, UK; University of L’Aquila, USA; Rice University, USA)
Article: fse13panels-p2-p (type: Panel (up to 10+1 pages)) doi:

AEC Summary

Artifact Evaluation (Summary)
Alexandre Bergel and Lorenzo Bettini
(University of Chile, Chile; Università di Torino, Italy)
Article: fse13misc-p4-p (type: Summary (up to 2 pages)) doi:

Technical Research

Testing I

Efficiency and Early Fault Detection with Lower and Higher Strength Combinatorial Interaction Testing
Justyna Petke, Shin Yoo, Myra B. Cohen, and Mark Harman
(University College London, UK; University of Nebraska-Lincoln, USA)
Article: fse13main-id142-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Con2colic Testing
Azadeh Farzan, Andreas Holzer, Niloofar Razavi, and Helmut Veith
(University of Toronto, Canada; Vienna University of Technology, Austria)
Article: fse13main-id218-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Boosting Concolic Testing via Interpolation
Joxan Jaffar, Vijayaraghavan Murali, and Jorge A. Navas
(National University of Singapore, Singapore; University of Melbourne, Australia)
Article: fse13main-id95-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Dynamic and Variable Software

Adequate Monitoring of Service Compositions
Antonia Bertolino, Eda Marchetti, and Andrea Morichetta
(ISTI-CNR, Italy)
Article: fse13main-id157-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Prediction of Atomic Web Services Reliability Based on K-Means Clustering
Marin Silic, Goran Delac, and Sinisa Srbljic
(University of Zagreb, Croatia)

Artifact Accepted for Presentation Article: fse13main-id87-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Scalable Analysis of Variable Software
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre, and Christian Lengauer
(University of Passau, Germany; CMU, USA)
Article: fse13main-id145-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Formal Reasoning

Bayesian Inference using Data Flow Analysis
Guillaume Claret, Sriram K. Rajamani, Aditya V. Nori, Andrew D. Gordon, and Johannes Borgström
(INRIA, France; Microsoft Research, India; Microsoft Research, UK; Uppsala University, Sweden)
Article: fse13main-id78-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Second-Order Constraints in Dynamic Invariant Inference
Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, and Michal Young
(University of Massachusetts at Amherst, USA; Goethe University Frankfurt, Germany; University of Athens, Greece; University of Oregon, USA)
Article: fse13main-id233-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Z3-str: A Z3-Based String Solver for Web Application Analysis
Yunhui Zheng, Xiangyu Zhang, and Vijay Ganesh
(Purdue University, USA; University of Waterloo, Canada)

Artifact Accepted for Presentation Article: fse13main-id232-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Empirical Studies I

An Empirical Analysis of the Co-evolution of Schema and Code in Database Applications
Dong Qiu, Bixin Li, and Zhendong Su
(Southeast University, China; UC Davis, USA)
Article: fse13main-id117-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Automated Oracles: An Empirical Study on Cost and Effectiveness
Cu D. Nguyen, Alessandro Marchetto, and Paolo Tonella
(Fondazione Bruno Kessler, Italy)
Article: fse13main-id136-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Sample Size vs. Bias in Defect Prediction
Foyzur Rahman, Daryl Posnett, Israel Herraiz, and Premkumar Devanbu
(UC Davis, USA; Universidad Politécnica de Madrid, Spain)
Article: fse13main-id50-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Parallel, Concurrent, and Distributed Systems

Finding Incorrect Compositions of Atomicity
Peng Liu, Julian Dolby, and Charles Zhang
(Hong Kong University of Science and Technology, China; IBM Research, USA)

Artifact Accepted for Presentation Article: fse13main-id138-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Tightfit: Adaptive Parallelization with Foresight
Omer Tripp and Noam Rinetzky
(Tel Aviv University, Israel)
Article: fse13main-id162-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Distributed Program Tracing
Diptikalyan Saha, Pankaj Dhoolia, and Gaurab Paul
(IBM Research, India; IIT Kharagpur, India)
Article: fse13main-id213-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Software Development Activities

Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation
Chris Hawblitzel, Shuvendu K. Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, and Scott Wadsworth
(Microsoft, USA)
Article: fse13main-id161-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Convergent Contemporary Software Peer Review Practices
Peter C. Rigby and Christian Bird
(Concordia University, Canada; Microsoft Research, USA)
Article: fse13main-id163-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects
Kelly Blincoe, Giuseppe Valetto, and Daniela Damian
(Drexel University, USA; University of Victoria, Canada)
Article: fse13main-id155-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Testing II

Dynodroid: An Input Generation System for Android Apps
Aravind Machiry, Rohan Tahiliani, and Mayur Naik
(Georgia Tech, USA)

Distinguished Artifact Article: fse13main-id212-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

KATCH: High-Coverage Testing of Software Patches
Paul Dan Marinescu and Cristian Cadar
(Imperial College London, UK)

Distinguished Artifact Article: fse13main-id150-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Termination Proofs from Tests
Aditya V. Nori and Rahul Sharma
(Microsoft Research, India; Stanford University, USA)
Article: fse13main-id9-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Dynamic Analysis

SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing Configurable Systems
Chang Hwan Peter Kim, Darko Marinov, Sarfraz Khurshid, Don Batory, Sabrina Souto, Paulo Barros, and Marcelo d'Amorim
(University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA; Groupon, USA; Federal University of Pernambuco, Brazil)
Article: fse13main-id235-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Cachetor: Detecting Cacheable Data to Remove Bloat
Khanh Nguyen and Guoqing Xu
(UC Irvine, USA)
Article: fse13main-id35-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Effective Dynamic Detection of Alias Analysis Errors
Jingyue Wu, Gang Hu, Yang Tang, and Junfeng Yang
(Columbia University, USA)
Article: fse13main-id152-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Models and Features

Feature Model Extraction from Large Collections of Informal Product Descriptions
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Cleland-Huang, and Patrick Heymans
(University of Namur, Belgium; DePaul University, USA; University of Rennes I, France; INRIA, France)
Article: fse13main-id221-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

N-Way Model Merging
Julia Rubin and Marsha Chechik
(IBM Research, Israel; University of Toronto, Canada)
Article: fse13main-id181-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Compiling Mockups to Flexible UIs
Nishant Sinha and Rezwana Karim
(IBM Research, India; Rutgers University, USA)

Artifact Accepted for Presentation Article: fse13main-id108-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Test and Analysis

Making Offline Analyses Continuous
Kıvanç Muşlu, Yuriy Brun, Michael D. Ernst, and David Notkin
(University of Washington, USA; University of Massachusetts at Amherst, USA)
Article: fse13main-id242-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Regression Tests to Expose Change Interaction Errors
Marcel Böhme, Bruno C. d. S. Oliveira, and Abhik Roychoudhury
(National University of Singapore, Singapore)
Article: fse13main-id116-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Differential Assertion Checking
Shuvendu K. Lahiri, Kenneth L. McMillan, Rahul Sharma, and Chris Hawblitzel
(Microsoft Research, USA; Stanford University, USA)
Article: fse13main-id217-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Maintenance and Evolution

Preventing Database Deadlocks in Applications
Mark Grechanik, B. M. Mainul Hossain, Ugo Buy, and Haisheng Wang
(University of Illinois at Chicago, USA; Oracle, USA)
Article: fse13main-id2-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Identifying Message Flow in Distributed Event-Based Systems
Joshua Garcia, Daniel Popescu, Gholamreza Safi, William G. J. Halfond, and Nenad Medvidovic
(University of Southern California, USA)
Article: fse13main-id248-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Improving Trace Accuracy through Data-Driven Configuration and Composition of Tracing Features
Sugandha Lohar, Sorawit Amornborvornwong, Andrea Zisman, and Jane Cleland-Huang
(DePaul University, USA; Open University, UK)
Article: fse13main-id121-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Formal Verification

Precision Reuse for Efficient Regression Verification
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, and Philipp Wendler
(University of Passau, Germany; ISP RAS, Russia)

Artifact Accepted for Presentation Article: fse13main-id113-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Cascading Verification: An Integrated Method for Domain-Specific Model Checking
Fokion Zervoudakis, David S. Rosenblum, Sebastian Elbaum, and Anthony Finkelstein
(University College London, UK; National University of Singapore, Singapore; University of Nebraska-Lincoln, USA)
Article: fse13main-id219-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Enhancing Symbolic Execution with Built-In Term Rewriting and Constrained Lazy Initialization
Pietro Braione, Giovanni Denaro, and Mauro Pezzè
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland)

Artifact Accepted for Presentation Article: fse13main-id126-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Model Inference and Synthesis

Mining Behavior Models from Enterprise Web Applications
Matthias Schur, Andreas Roth, and Andreas Zeller
(SAP, Germany; Saarland University, Germany)
Article: fse13main-id102-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications
Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, and Erika Gressi
(Leibniz Universität Hannover, Germany; University of Paderborn, Germany; University of Namur, Belgium; Politecnico di Milano, Italy)
Article: fse13main-id175-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Synthesis of Component and Connector Models from Crosscutting Structural Views
Shahar Maoz, Jan Oliver Ringert, and Bernhard Rumpe
(Tel Aviv University, Israel; RWTH Aachen University, Germany)

Artifact Accepted for Presentation Article: fse13main-id16-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Empirical Studies II

Searching for Better Configurations: A Rigorous Approach to Clone Evaluation
Tiantian Wang, Mark Harman, Yue Jia, and Jens Krinke
(Harbin Institute of Technology, China; University College London, UK)
Article: fse13main-id53-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Diversity in Software Engineering Research
Meiyappan Nagappan, Thomas Zimmermann, and Christian Bird
(Queen’s University, Canada; Microsoft Research, USA)

Artifact Accepted for Presentation Article: fse13main-id19-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

API Change and Fault Proneness: A Threat to the Success of Android Apps
Mario Linares-Vásquez, Gabriele Bavota, Carlos Bernal-Cárdenas, Massimiliano Di Penta, Rocco Oliveto, and Denys Poshyvanyk
(College of William and Mary, USA; University of Sannio, Italy; Universidad Nacional de Colombia, Colombia; University of Molise, Italy)
Article: fse13main-id110-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

JavaScript

Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs
(UC Berkeley, USA; Samsung Research, USA)
Article: fse13main-id185-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Practical Static Analysis of JavaScript Applications in the Presence of Frameworks and Libraries
Magnus Madsen, Benjamin Livshits, and Michael Fanning
(Aarhus University, Denmark; Microsoft Research, USA; Microsoft, USA)
Article: fse13main-id43-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Server Interface Descriptions for Automated Testing of JavaScript Web Applications
Casper S. Jensen, Anders Møller, and Zhendong Su
(Aarhus University, Denmark; UC Davis, USA)
Article: fse13main-id54-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Source Code and Programming

Explaining Inconsistent Code
Martin Schäf, Daniel Schwartz-Narbonne, and Thomas Wies
(United Nations University, China; New York University, USA)
Article: fse13main-id199-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

A Statistical Semantic Language Model for Source Code
Tung Thanh Nguyen, Anh Tuan Nguyen, Hoan Anh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article: fse13main-id234-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Crossing the Gap from Imperative to Functional Programming through Refactoring
Alex Gyori, Lyle Franklin, Danny Dig, and Jan Lahoda
(University of Illinois, USA; Ball State University, USA; Oregon State University, USA; Oracle, Czech Republic)

Artifact Accepted for Presentation Article: fse13main-id244-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Bug Detection

Scalable and Incremental Software Bug Detection
Scott McPeak, Charles-Henri Gros, and Murali Krishna Ramanathan
(Coverity, USA; Indian Institute of Science, India)
Article: fse13main-id51-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Inferring Project-Specific Bug Patterns for Detecting Sibling Bugs
Guangtai Liang, Qianxiang Wang, Tao Xie, and Hong Mei
(Peking University, China; University of Illinois at Urbana-Champaign, USA)
Article: fse13main-id57-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Mining Succinct Predicated Bug Signatures
Chengnian Sun and Siau-Cheng Khoo
(National University of Singapore, Singapore)

Artifact Accepted for Presentation Article: fse13main-id207-p (type: Full Paper (11 pages = 10 pages for text, appendices, figs + 1 page for refs)) doi:

Tool Demonstrations

Tool Demonstrations I

SocialCDE: A Social Awareness Tool for Global Software Teams
Fabio Calefato and Filippo Lanubile
(University of Bari, Italy)
Article: fse13tools-tid1-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

REDACT: Preventing Database Deadlocks from Application-Based Transactions
B. M. Mainul Hossain, Mark Grechanik, Ugo Buy, and Haisheng Wang
(University of Illinois at Chicago, USA; Oracle, USA)
Article: fse13tools-tid4-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

aPET: A Test Case Generation Tool for Concurrent Objects
Elvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, and Peter Y. H. Wong
(Complutense University of Madrid, Spain; SLD Fredhopper, Netherlands)
Article: fse13tools-tid8-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

Tool Demonstrations II

RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer, and Raul Gnaga
(University of Luxembourg, Luxembourg; SES TechCom, Luxembourg)
Article: fse13tools-tid6-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

RiTHM: A Tool for Enabling Time-Triggered Runtime Verification for C Programs
Samaneh Navabpour, Yogi Joshi, Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, and Sebastian Fischmeister
(University of Waterloo, Canada)
Article: fse13tools-tid9-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

PoMMaDe: Pushdown Model-Checking for Malware Detection
Fu Song and Tayssir Touili
(East China Normal University, China; CNRS, France; University Paris Diderot, France)
Article: fse13tools-tid5-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

RADA: A Tool for Reasoning about Algebraic Data Types with Abstractions
Tuan-Hung Pham and Michael W. Whalen
(University of Minnesota, USA)
Article: fse13tools-tid15-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

Tool Demonstrations III

Jalangi: A Tool Framework for Concolic Testing, Selective Record-Replay, and Dynamic Analysis of JavaScript
Koushik Sen, Swaroop Kalasapur, Tasneem Brutch, and Simon Gibbs
(UC Berkeley, USA; Samsung Research, USA)
Article: fse13tools-tid11-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

RSA-MBT: A Test Tool for Generating Test Artifacts Based on Models
Andrew Diniz da Costa, Ricardo Venieris, Gustavo Carvalho, and Carlos José Pereira de Lucena
(PUC-Rio, Brazil)
Article: fse13tools-tid2-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

USMMC: A Self-Contained Model Checker for UML State Machines
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, and Jin Song Dong
(National University of Singapore, Singapore; Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore)
Article: fse13tools-tid14-p (type: Short Paper (Tool Demonstration, 4 pages)) doi:

New Ideas

Analysis and Testing

Extracting URLs from JavaScript via Program Analysis
Qi Wang, Jingyu Zhou, Yuting Chen, Yizhou Zhang, and Jianjun Zhao
(Shanghai Jiao Tong University, China; Cornell University, USA)
Article: fse13newideas-nid32-p (type: Short Paper (4 pages)) doi:

Data Debugging with Continuous Testing
Kıvanç Muşlu, Yuriy Brun, and Alexandra Meliou
(University of Washington, USA; University of Massachusetts at Amherst, USA)
Article: fse13newideas-nid26-p (type: Short Paper (4 pages)) doi:

Iterative Test Suites Refinement for Elastic Computing Systems
Alessio Gambi, Antonio Filieri, and Schahram Dustdar
(University of Lugano, Switzerland; University of Stuttgart, Germany; Vienna University of Technology, Austria)
Article: fse13newideas-nid30-p (type: Short Paper (4 pages)) doi:

Using Fault History to Improve Mutation Reduction
Laura Inozemtseva, Hadi Hemmati, and Reid Holmes
(University of Waterloo, Canada; University of Manitoba, Canada)
Article: fse13newideas-nid21-p (type: Short Paper (4 pages)) doi:

Hunting Bugs

A Cost-Effectiveness Criterion for Applying Software Defect Prediction Models
Hongyu Zhang and S. C. Cheung
(Tsinghua University, China; ISCAS, China; Hong Kong University of Science and Technology, China)
Article: fse13newideas-nid18-p (type: Short Paper (4 pages)) doi:

BugMap: A Topographic Map of Bugs
Jiangtao Gong and Hongyu Zhang
(Tsinghua University, China; ISCAS, China)
Article: fse13newideas-nid4-p (type: Short Paper (4 pages)) doi:

Lexical Statistical Machine Translation for Language Migration
Anh Tuan Nguyen, Tung Thanh Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article: fse13newideas-nid34-p (type: Short Paper (4 pages)) doi:

Code Fragment Summarization
Annie T. T. Ying and Martin P. Robillard
(McGill University, Canada)
Article: fse13newideas-nid11-p (type: Short Paper (4 pages)) doi:

Understanding Software Development

Understanding Gamification Mechanisms for Software Development
Daniel J. Dubois and Giordano Tamburrelli
(Massachusetts Institute of Technology, USA; University of Lugano, Switzerland)
Article: fse13newideas-nid27-p (type: Short Paper (4 pages)) doi:

Toward Understanding the Causes of Unanswered Questions in Software Information Sites: A Case Study of Stack Overflow
Ripon K. Saha, Avigit K. Saha, and Dewayne E. Perry
(University of Texas at Austin, USA; University of Saskatchewan, Canada)
Article: fse13newideas-nid35-p (type: Short Paper (4 pages)) doi:

Where Is the Business Logic?
Yael Dubinsky, Yishai Feldman, and Maayan Goldstein
(IBM Research, Israel)
Article: fse13newideas-nid12-p (type: Short Paper (4 pages)) doi:

Towards Emotional Awareness in Software Development Teams
Emitza Guzman and Bernd Bruegge
(TU Munich, Germany)
Article: fse13newideas-nid19-p (type: Short Paper (4 pages)) doi:

Industrial Research

Implementing Sound Software-Engineering Practices in Companies

Precise Range Analysis on Large Industry Code
Shrawan Kumar, Bharti Chimdyalwar, and Ulka Shrotri
(Tata Consultancy Services, India)
Article: fse13industrial-ind6-p (type: Short Paper (Industrial Track, 4 pages)) doi:

Agreements for Software Reuse in Corporations
Thijmen de Gooijer and Heiko Koziolek
(ABB Research, Sweden; ABB Research, Germany)
Article: fse13industrial-ind9-p (type: Short Paper (Industrial Track, 4 pages)) doi:

Good Technology Makes the Difficult Task Easy
Andrey Terekhov
(Saint-Petersburg State University, Russia)
Article: fse13industrial-ind7-p (type: Short Paper (Industrial Track, 4 pages)) doi:

Approaches to Quality

ShAir: Extensible Middleware for Mobile Peer-to-Peer Resource Sharing
Daniel J. Dubois, Yosuke Bando, Konosuke Watanabe, and Henry Holtzman
(Massachusetts Institute of Technology, USA; Toshiba, Japan)
Article: fse13industrial-ind20-p (type: Short Paper (Industrial Track, 4 pages)) doi:

Risky Files: An Approach to Focus Quality Improvement Effort
Audris Mockus, Randy Hackbarth, and John Palframan
(Avaya Labs Research, USA)
Article: fse13industrial-ind11-p (type: Short Paper (Industrial Track, 4 pages)) doi:

System Reliability Calculation Based on the Run-Time Analysis of Ladder Program
Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
Article: fse13industrial-ind17-p (type: Short Paper (Industrial Track, 4 pages)) doi:

Effective Industry Use of Software-Engineering Tools

h-ubu: An Industrial-Strength Service-Oriented Component Framework for JavaScript Applications
Clement Escoffier, Philippe Lalanda, and Nicolas Rempulsky
(Grenoble University, France; Ubidreams, France)
Article: fse13industrial-ind15-p (type: Short Paper (Industrial Track, 4 pages)) doi:

Design and Optimization of Multi-clocked Embedded Systems using Formal Technique
Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)
Article: fse13industrial-ind8-p (type: Short Paper (Industrial Track, 4 pages)) doi:

The Economics of Static Analysis Tools
Rahul Kumar and Aditya V. Nori
(Microsoft Research, India)
Article: fse13industrial-ind4-p (type: Short Paper (Industrial Track, 4 pages)) doi:

Doctoral Symposium

Doctoral Papers 1

Automatically Describing Software Faults
Nicholas DiGiuseppe
(UC Irvine, USA)
Article: fse13doctoral-doc3-p (type: Short Paper (4 pages)) doi:

Fuzzy Service Matching in On-The-Fly Computing
Marie Christin Platenius
(University of Paderborn, Germany)
Article: fse13doctoral-doc2-p (type: Short Paper (4 pages)) doi:

Doctoral Papers 2

PHRT: A Model and Programmable Tool for Hardware Reengineering Automation
Oleg Nenashev
(Saint Petersburg State Polytechnical University, Russia)
Article: fse13doctoral-doc1-p (type: Short Paper (4 pages)) doi:

Using Topic Models to Understand the Evolution of a Software Ecosystem
Nicolas Lopez
(UC Irvine, USA)
Article: fse13doctoral-doc7-p (type: Short Paper (4 pages)) doi:

Doctoral Papers 3

Automotive Architecture Description and Its Quality
Yanja Dajsuren
(Eindhoven University of Technology, Netherlands)
Article: fse13doctoral-doc6-p (type: Short Paper (4 pages)) doi:

Towards Open Architecture System
Bahtijar Vogel
(Linnaeus University, Sweden)
Article: fse13doctoral-doc4-p (type: Short Paper (4 pages)) doi:

Doctoral Papers 4

A Framework for Defining the Dynamic Semantics of DSLs
Ulyana Tikhonova
(Eindhoven University of Technology, Netherlands)
Article: fse13doctoral-doc8-p (type: Short Paper (4 pages)) doi: