WCRE 2013 – Proceedings

2013 20th Working Conference on Reverse Engineering (WCRE), October 14-17, 2013, Koblenz, Germany

Preface

Title Page
Article: wcre13foreword-fm000-p (type: Frontmatter) doi:

Message from the Chairs
Article: wcre13foreword-fm001-p (type: Frontmatter) doi:

Committees
Article: wcre13foreword-fm002-p (type: Frontmatter) doi:

Invited Papers

Genetic Programming for Reverse Engineering (Invited Paper)
Mark Harman, William B. Langdon, and Westley Weimer
(University College London, UK; University of Virginia, USA)
Article: wcre13inv-invid1-p (type: Invited paper (10 pages)) doi:

The First Decade of GUI Ripping: Extensions, Applications, and Broader Impacts (Invited Paper)
Atif Memon, Ishan Banerjee, Bao N. Nguyen, and Bryan Robbins
(University of Maryland at College Park, USA)
Article: wcre13inv-invid2-p (type: Invited paper (10 pages)) doi:

Reverse Engineering in Industry (Panel Paper)
Ralf Lämmel
(University of Koblenz-Landau, Germany)
Article: wcre13inv-invid3-p (type: Panel paper (1 page)) doi:

Main Research Track

Binary Reverse Engineering

Who Allocated My Memory? Detecting Custom Memory Allocators in C Binaries
Xi Chen, Asia Slowinska, and Herbert Bos
(VU University Amsterdam, Netherlands)
Article: wcre13main-idm73-p (type: Research paper (10 pages)) doi:

MemPick: High-Level Data Structure Detection in C/C++ Binaries
Istvan Haller, Asia Slowinska, and Herbert Bos
(VU University Amsterdam, Netherlands)
Article: wcre13main-idm104-p (type: Research paper (10 pages)) doi:

Reconstructing Program Memory State from Multi-gigabyte Instruction Traces to Support Interactive Analysis
Brendan Cleary, Patrick Gorman, Eric Verbeek, Margaret-Anne Storey, Martin Salois, and Frederic Painchaud
(University of Victoria, Canada; Defence R&D Canada, Canada)
Article: wcre13main-idm120-p (type: Research paper (10 pages)) doi:

Static Binary Rewriting without Supplemental Information: Overcoming the Tradeoff between Coverage and Correctness
Matthew Smithson, Khaled ElWazeer, Kapil Anand, Aparna Kotha, and Rajeev Barua
(University of Maryland at College Park, USA)
Article: wcre13main-idm75-p (type: Research paper (10 pages)) doi:

Bug Management

An Incremental Update Framework for Efficient Retrieval from Software Libraries for Bug Localization
Shivani Rao, Henry Medeiros, and Avinash Kak
(Purdue University, USA)
Article: wcre13main-idm36-p (type: Research paper (10 pages)) doi:

Accurate Developer Recommendation for Bug Resolution
Xin Xia, David Lo, Xinyu Wang, and Bo Zhou
(Zhejiang University, China; Singapore Management University, Singapore)
Article: wcre13main-idm51-p (type: Research paper (10 pages)) doi:

Has This Bug Been Reported?
Kaiping Liu, Hee Beng Kuan Tan, and Hongyu Zhang
(Nanyang Technological University, Singapore; Tsinghua University, China)
Article: wcre13main-idm67-p (type: Research paper (10 pages)) doi:

Automatic Recovery of Root Causes from Bug-Fixing Changes
Ferdian Thung, David Lo, and Lingxiao Jiang
(Singapore Management University, Singapore)
Article: wcre13main-idm92-p (type: Research paper (10 pages)) doi:

Clones

Distilling Useful Clones by Contextual Differencing
Zhenchang Xing, Yinxing Xue, and Stanislaw Jarzabek
(Nanyang Technological University, Singapore; National University of Singapore, Singapore)
Article: wcre13main-idm137-p (type: Research paper (10 pages)) doi:

Effects of Cloned Code on Software Maintainability: A Replicated Developer Study
Debarshi Chatterji, Jeffrey C. Carver, Nicholas A. Kraft, and Jan Harder
(University of Alabama, USA; University of Bremen, Germany)
Article: wcre13main-idm105-p (type: Research paper (10 pages)) doi:

Human Studies

The Influence of Non-technical Factors on Code Review
Olga Baysal, Oleksii Kononenko, Reid Holmes, and Michael W. Godfrey
(University of Waterloo, Canada)
Article: wcre13main-idm78-p (type: Research paper (10 pages)) doi:

Understanding Project Dissemination on a Social Coding Site
Jing Jiang, Li Zhang, and Lei Li
(Beihang University, China)
Article: wcre13main-idm20-p (type: Research paper (10 pages)) doi:

What Help Do Developers Seek, When and How?
Hongwei Li, Zhenchang Xing, Xin Peng, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)
Article: wcre13main-idm52-p (type: Research paper (10 pages)) doi:

Towards Understanding How Developers Spend Their Effort during Maintenance Activities
Zéphyrin Soh, Foutse Khomh, Yann-Gaël Guéhéneuc, and Giuliano Antoniol
(Polytechnique Montréal, Canada)
Article: wcre13main-idm125-p (type: Research paper (10 pages)) doi:

Re-documenting Legacy Code

Leveraging Specifications of Subcomponents to Mine Precise Specifications of Composite Components
Ziying Dai, Xiaoguang Mao, Yan Lei, and Liqian Chen
(National University of Defense Technology, China)
Article: wcre13main-idm45-p (type: Research paper (10 pages)) doi:

A Model-Driven Graph-Matching Approach for Design Pattern Detection
Mario Luca Bernardi, Marta Cimitile, and Giuseppe Antonio Di Lucca
(University of Sannio, Italy; Unitelma Sapienza University, Italy)
Article: wcre13main-idm71-p (type: Research paper (10 pages)) doi:

Recommendation Systems

Automated Library Recommendation
Ferdian Thung, David Lo, and Julia Lawall
(Singapore Management University, Singapore; INRIA, France)
Article: wcre13main-idm49-p (type: Research paper (10 pages)) doi:

Automatic Discovery of Function Mappings between Similar Libraries
Cédric Teyton, Jean-Rémy Falleri, and Xavier Blanc
(University of Bordeaux, France)
Article: wcre13main-idm15-p (type: Research paper (10 pages)) doi:

Find Your Library Experts
Cédric Teyton, Jean-Rémy Falleri, Floréal Morandat, and Xavier Blanc
(University of Bordeaux, France)
Article: wcre13main-idm37-p (type: Research paper (10 pages)) doi:

Refactoring and Re-modularization

Towards Automatically Improving Package Structure while Respecting Original Design Decisions
Hani Abdeen, Houari Sahraoui, Osama Shata, Nicolas Anquetil, and Stéphane Ducasse
(Qatar University, Qatar; Université de Montréal, Canada; INRIA, France)
Article: wcre13main-idm48-p (type: Research paper (10 pages)) doi:

Heuristics for Discovering Architectural Violations
Cristiano Maffort, Marco Tulio Valente, Mariza Bigonha, Nicolas Anquetil, and André Hora
(UFMG, Brazil; INRIA, France)
Article: wcre13main-idm47-p (type: Research paper (10 pages)) doi:

Recommending Move Method Refactorings using Dependency Sets
Vitor Sales, Ricardo Terra, Luis Fernando Miranda, and Marco Tulio Valente
(UFMG, Brazil; UFSJ, Brazil)
Article: wcre13main-idm61-p (type: Research paper (10 pages)) doi:

Do Developers Care about Code Smells? An Exploratory Survey
Aiko Yamashita and Leon Moonen
(Mesan, Norway; Simula Research Laboratory, Norway)
Article: wcre13main-idm31-p (type: Research paper (10 pages)) doi:

Security and Testing

LigRE: Reverse-Engineering of Control and Data Flow Models for Black-Box XSS Detection
Fabien Duchène, Sanjay Rawat, Jean-Luc Richier, and Roland Groz
(LIG, France; Ensimag, France)
Article: wcre13main-idm33-p (type: Research paper (10 pages)) doi:

Circe: A Grammar-Based Oracle for Testing Cross-Site Scripting in Web Applications
Andrea Avancini and Mariano Ceccato
(Fondazione Bruno Kessler, Italy)
Article: wcre13main-idm96-p (type: Research paper (10 pages)) doi:

Capture-Replay vs. Programmable Web Testing: An Empirical Assessment during Test Case Evolution
Maurizio Leotta, Diego Clerissi, Filippo Ricca, and Paolo Tonella
(University of Genova, Italy; Fondazione Bruno Kessler, Italy)
Article: wcre13main-idm116-p (type: Research paper (10 pages)) doi:

Software Maintenance

Clustering Static Analysis Defect Reports to Reduce Maintenance Costs
Zachary P. Fry and Westley Weimer
(University of Virginia, USA)
Article: wcre13main-idm2-p (type: Research paper (10 pages)) doi:

Lehman's Laws in Agile and Non-agile Projects
Kelley Duran, Gabbie Burns, and Paul Snell
(Rochester Institute of Technology, USA)
Article: wcre13main-idm77-p (type: Research paper (10 pages)) doi:

Inferring Extended Finite State Machine Models from Software Executions
Neil Walkinshaw, Ramsay Taylor, and John Derrick
(University of Leicester, UK; University of Sheffield, UK)
Article: wcre13main-idm99-p (type: Research paper (10 pages)) doi:

Comparing and Combining Evolutionary Couplings from Interactions and Commits
Fasil Bantelay, Motahareh Bahrami Zanjani, and Huzefa Kagdi
(Wichita State University, USA)
Article: wcre13main-idm55-p (type: Research paper (10 pages)) doi:

Software Quality

Improving SOA Antipatterns Detection in Service Based Systems by Mining Execution Traces
Mathieu Nayrolles, Naouel Moha, and Petko Valtchev
(Université du Québec à Montréal, Canada)
Article: wcre13main-idm112-p (type: Research paper (10 pages)) doi:

Mining System Specific Rules from Change Patterns
André Hora, Nicolas Anquetil, Stéphane Ducasse, and Marco Tulio Valente
(INRIA, France; University of Lille, France; UFMG, Brazil)
Article: wcre13main-idm39-p (type: Research paper (10 pages)) doi:

Empirical Evidence of Code Decay: A Systematic Mapping Study
Ajay Bandi, Byron J. Williams, and Edward B. Allen
(Mississippi State University, USA)
Article: wcre13main-idm30-p (type: Research paper (10 pages)) doi:

Mining the Relationship between Anti-patterns Dependencies and Fault-Proneness
Fehmi Jaafar, Yann-Gaël Guéhéneuc, Sylvie Hamel, and Foutse Khomh
(Polytechnique Montréal, Canada; Université de Montréal, Canada)
Article: wcre13main-idm122-p (type: Research paper (10 pages)) doi:

Traceability and Feature Location

Leveraging Historical Co-change Information for Requirements Traceability
Nasir Ali, Fehmi Jaafar, and Ahmed E. Hassan
(Queen's University, Canada; Université de Montréal, Canada)
Article: wcre13main-idm126-p (type: Research paper (10 pages)) doi:

Using Relationships for Matching Textual Domain Models with Existing Code
Raghavan Komondoor, Indrajit Bhattacharya, Deepak D'Souza, and Sachin Kale
(Indian Institute of Science, India; IBM Research, India)
Article: wcre13main-idm21-p (type: Research paper (10 pages)) doi:

On the Effectiveness of Accuracy of Automated Feature Location Technique
Takashi Ishio, Shinpei Hayashi, Hiroshi Kazato, and Tsuyoshi Oshima
(Osaka University, Japan; Tokyo Institute of Technology, Japan; NTT Data Intellilink, Japan; NTT, Japan)
Article: wcre13main-idm79-p (type: Research paper (10 pages)) doi:

On the Effect of Program Exploration on Maintenance Tasks
Zéphyrin Soh, Foutse Khomh, Yann-Gaël Guéhéneuc, Giuliano Antoniol, and Bram Adams
(Polytechnique Montréal, Canada)
Article: wcre13main-idm123-p (type: Research paper (10 pages)) doi:

Practice Track

Practice Papers I

Documenting APIs with Examples: Lessons Learned with the APIMiner Platform
João Eduardo Montandon, Hudson Borges, Daniel Felix, and Marco Tulio Valente
(UFMG, Brazil)
Article: wcre13practice-idm46-p (type: Practice paper (8 pages)) doi:

Extracting Business Rules from COBOL: A Model-Based Framework
Valerio Cosentino, Jordi Cabot, Patrick Albert, Philippe Bauquel, and Jacques Perronnet
(AtlanMod, France; IBM, France)
Article: wcre13practice-idm9-p (type: Practice paper (8 pages)) doi:

Evaluating Architecture Stability of Software Projects
Lerina Aversano, Marco Molfetta, and Maria Tortorella
(University of Sannio, Italy)
Article: wcre13practice-idm119-p (type: Practice paper (8 pages)) doi:

Migrating a Large Scale Legacy Application to SOA: Challenges and Lessons Learned
Ravi Khadka, Amir Saeidi, Slinger Jansen, Jurriaan Hage, and Geer P. Haas
(Utrecht University, Netherlands; IBM, Netherlands)
Article: wcre13practice-idm133-p (type: Practice paper (8 pages)) doi:

Practice Papers II

Assessing the Complexity of Upgrading Software Modules
Bram Schoenmakers, Niels van Den Broek, Istvan Nagy, Bogdan Vasilescu, and Alexander Serebrenik
(ASML, Netherlands; Eindhoven University of Technology, Netherlands)
Article: wcre13practice-idm4-p (type: Practice paper (8 pages)) doi:

Analyzing PL/1 Legacy Ecosystems: An Experience Report
Erik Aeschlimann, Mircea Lungu, Oscar Nierstrasz, and Carl Worms
(University of Bern, Switzerland; Credit Suisse, Switzerland)
Article: wcre13practice-idm107-p (type: Practice paper (8 pages)) doi:

Psyb0t Malware: A Step-by-Step Decompilation Case Study
Lukáš Ďurfina, Jakub Křoustek, and Petr Zemek
(Brno University of Technology, Czech Republic)
Article: wcre13practice-idm63-p (type: Practice paper (8 pages)) doi:

ERA Track

Reusing Reused Code
Tomoya Ishihara, Keisuke Hotta, Yoshiki Higo, and Shinji Kusumoto
(Osaka University, Japan)
Article: wcre13era-idm50-p (type: ERA paper (5 pages)) doi:

Specification Extraction by Symbolic Execution
Josef Pichler
(Software Competence Center Hagenberg, Austria)
Article: wcre13era-idm87-p (type: ERA paper (5 pages)) doi:

An IDE-Based Context-Aware Meta Search Engine
Mohammad Masudur Rahman, Shamima Yeasmin, and Chanchal K. Roy
(University of Saskatchewan, Canada)
Article: wcre13era-idm129-p (type: ERA paper (5 pages)) doi:

An Approach to Clone Detection in Behavioural Models
Elizabeth P. Antony, Manar H. Alalfi, and James R. Cordy
(Queen's University, Canada)
Article: wcre13era-idm140-p (type: ERA paper (5 pages)) doi:

Tool Demonstrations

MemBrush: A Practical Tool to Detect Custom Memory Allocators in C Binaries
Xi Chen, Asia Slowinska, and Herbert Bos
(VU University Amsterdam, Netherlands)
Article: wcre13tools-ido13-p (type: Tool demo paper (2 pages)) doi:

MemPick: A Tool for Data Structure Detection
Istvan Haller, Asia Slowinska, and Herbert Bos
(VU University Amsterdam, Netherlands)
Article: wcre13tools-ido11-p (type: Tool demo paper (2 pages)) doi:

Gelato: GEneric LAnguage TOols for Model-Driven Analysis of Legacy Software Systems
Amir Saeidi, Jurriaan Hage, Ravi Khadka, and Slinger Jansen
(Utrecht University, Netherlands)
Article: wcre13tools-ido16-p (type: Tool demo paper (2 pages)) doi:

Extracting Business Rules from COBOL: A Model-Based Tool
Valerio Cosentino, Jordi Cabot, Patrick Albert, Philippe Bauquel, and Jacques Perronnet
(AtlanMod, France; IBM, France)
Article: wcre13tools-ido5-p (type: Tool demo paper (2 pages)) doi:

Detecting Dependencies in Enterprise JavaBeans with SQuAVisiT
Alexandru Sutii, Serguei Roubtsov, and Alexander Serebrenik
(Eindhoven University of Technology, Netherlands)
Article: wcre13tools-ido12-p (type: Tool demo paper (2 pages)) doi:

REdiffs: Refactoring-Aware Difference Viewer for Java
Shinpei Hayashi, Sirinut Thangthumachit, and Motoshi Saeki
(Tokyo Institute of Technology, Japan)
Article: wcre13tools-ido18-p (type: Tool demo paper (2 pages)) doi:

CCCD: Concolic Code Clone Detection
Daniel E. Krutz and Emad Shihab
(Rochester Institute of Technology, USA)
Article: wcre13tools-ido4-p (type: Tool demo paper (2 pages)) doi:

Workshop Summaries

3rd Workshop on Mining Unstructured Data
Alberto Bacchelli, Nicolas Bettenburg, Latifa Guerrouj, and Sonia Haiduc
(Delft University of Technology, Netherlands; Queen's University, Canada; Polytechnique Montréal, Canada; Florida State University, USA)
Article: wcre13workshops-ido7-p (type: Workshop paper (2 pages)) doi:

Workshop on Open and Original Problems in Software Language Engineering
Anya Helene Bagge and Vadim Zaytsev
(University of Bergen, Norway; CWI, Netherlands)
Article: wcre13workshops-ido8-p (type: Workshop paper (2 pages)) doi: