ASE 2012 – Proceedings

2012 27th IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3–7, 2012, Essen, Germany

Preface

Keynotes

The GISMOE Challenge: Constructing the Pareto Program Surface Using Genetic Programming to Find Better Programs (Keynote Paper)
Mark Harman, William B. Langdon, Yue Jia, David R. White, Andrea Arcuri, and John A. Clark
(University College London, UK; University of Glasgow, UK; Simula Research Laboratory, Norway; University of York, UK)
Article: ase12keynotes-key1-p (type: Invited Talk Paper) doi:

Re-founding Software Engineering – SEMAT at the Age of Three (Keynote Abstract)
Ivar Jacobson, Ian Spence, Pontus Johnson, and Mira Kajko-Mattsson
(Ivar Jacobson International, UK; KTH Royal Institute of Technology, Sweden)
Article: ase12keynotes-key2-p (type: Invited Talk Abstract) doi:

Debugging I

Practical Isolation of Failure-Inducing Changes for Debugging Regression Faults
Kai Yu, Mengxiang Lin, Jin Chen, and Xiangyu Zhang
(Beihang University, China)
Article: ase12main-p020-p (type: Full Paper) doi:

Diversity Maximization Speedup for Fault Localization
Liang Gong, David Lo, Lingxiao Jiang, and Hongyu Zhang
(Tsinghua University, China; Singapore Management University, Singapore)
Article: ase12main-p110-p (type: Full Paper) doi:

Improving the Effectiveness of Spectra-Based Fault Localization Using Specifications
Divya Gopinath, Razieh Nokhbeh Zaeem, and Sarfraz Khurshid
(University of Texas at Austin, USA)
Article: ase12main-p114-p (type: Full Paper) doi:

Debugging II

Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, and Gilles Muller
(University of Bordeaux, France; INRIA, France)
Article: ase12main-p064-p (type: Full Paper) doi:

Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling
Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, David Lo, and Chengnian Sun
(Iowa State University, USA; Singapore Management University, Singapore; National University of Singapore, Singapore)
Article: ase12main-p108-p (type: Full Paper) doi:

Privacy, Security, and Performance

User-Aware Privacy Control via Extended Static-Information-Flow Analysis
Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux, and Michal Moskal
(North Carolina State University, USA; Microsoft Research, USA)
Article: ase12main-p017-p (type: Full Paper) doi:

Automatic Query Performance Assessment during the Retrieval of Software Artifacts
Sonia Haiduc, Gabriele Bavota, Rocco Oliveto, Andrea De Lucia, and Andrian Marcus
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy)
Article: ase12main-p085-p (type: Full Paper) doi:

Supporting Automated Vulnerability Analysis Using Formalized Vulnerability Signatures
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
(Swinburne University of Technology, Australia)
Article: ase12main-p125-p (type: Full Paper) doi:

Configuration Management and QoS

A Qualitative Study on User Guidance Capabilities in Product Configuration Tools
Rick Rabiser, Paul Grünbacher, and Martin Lehofer
(JKU Linz, Austria; Siemens, Austria)
Article: ase12main-p001-p (type: Full Paper) doi:

Structured Merge with Auto-Tuning: Balancing Precision and Performance
Sven Apel, Olaf Leßenich, and Christian Lengauer
(University of Passau, Germany)
Article: ase12main-p024-p (type: Full Paper) doi:

An Automated Approach to Forecasting QoS Attributes Based on Linear and Non-linear Time Series Modeling
Ayman Amin, Lars Grunske, and Alan Colman
(Swinburne University of Technology, Australia; University of Kaiserslautern, Germany)
Article: ase12main-p126-p (type: Full Paper) doi:

Testing and Monitoring

Puzzle-Based Automatic Testing: Bringing Humans into the Loop by Solving Puzzles
Ning Chen and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Article: ase12main-p031-p (type: Full Paper) doi:

Using Unfoldings in Automated Testing of Multithreaded Programs
Kari Kähkönen, Olli Saarikivi, and Keijo Heljanko
(Aalto University, Finland)
Article: ase12main-p077-p (type: Full Paper) doi:

Runtime Monitoring of Software Energy Hotspots
Adel Noureddine, Aurelien Bourdon, Romain Rouvoy, and Lionel Seinturier
(INRIA, France; University of Lille, France; Institut Universitaire de France, France)
Article: ase12main-p029-p (type: Full Paper) doi:

Prediction

Can I Clone This Piece of Code Here?
Xiaoyin Wang, Yingnong Dang, Lu Zhang, Dongmei Zhang, Erica Lan, and Hong Mei
(Peking University, China; Microsoft Research, China; Microsoft, USA)
Article: ase12main-p021-p (type: Full Paper) doi:

Predicting Recurring Crash Stacks
Hyunmin Seo and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Article: ase12main-p027-p (type: Full Paper) doi:

Automated Inference of Goal-Oriented Performance Prediction Functions
Dennis Westermann, Jens Happe, Rouven Krebs, and Roozbeh Farahbod
(SAP Research, Germany)
Article: ase12main-p052-p (type: Full Paper) doi:

Validation, Verification, and Consistency

Code Patterns for Automatically Validating Requirements-to-Code Traces
Achraf Ghabi and Alexander Egyed
(JKU Linz, Austria)
Article: ase12main-p019-p (type: Full Paper) doi:

Unbounded Data Model Verification Using SMT Solvers
Jaideep Nijjar and Tevfik Bultan
(UC Santa Barbara, USA)
Article: ase12main-p106-p (type: Full Paper) doi:

Computing Repair Trees for Resolving Inconsistencies in Design Models
Alexander Reder and Alexander Egyed
(JKU Linz, Austria)
Article: ase12main-p053-p (type: Full Paper) doi:

Re-engineering, Program Understanding, and Model Transformation (Short Papers)

Supporting Automated Software Re-engineering Using Re-aspects
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
(Swinburne University of Technology, Australia)
Article: ase12main-p137-p (type: Short Paper) doi:

Supporting Operating System Kernel Data Disambiguation Using Points-to Analysis
Amani S. Ibrahim, John Grundy, James Hamlyn-Harris, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
Article: ase12main-p016-p (type: Short Paper) doi:

Automatic Recovery of Statecharts from Procedural Code
Moria Abadi and Yishai A. Feldman
(Tel Aviv University, Israel; IBM Research, Israel)
Article: ase12main-p030-p (type: Short Paper) doi:

Locating Distinguishing Features Using Diff Sets
Julia Rubin and Marsha Chechik
(University of Toronto, Canada; IBM Research, Israel)
Article: ase12main-p084-p (type: Short Paper) doi:

Slicing and Replaying Code Change History
Katsuhisa Maruyama, Eijiro Kitsu, Takayuki Omori, and Shinpei Hayashi
(Ritsumeikan University, Japan; Tokyo Institute of Technology, Japan)
Article: ase12main-p066-p (type: Short Paper) doi:

Generating Model Transformation Rules from Examples Using an Evolutionary Algorithm
Martin Faunes, Houari Sahraoui, and Mounir Boukadoum
(Université de Montréal, Canada; Université du Québec à Montréal, Canada)
Article: ase12main-p032-p (type: Short Paper) doi:

Testing and Code Analysis (Short Papers)

Augmented Dynamic Symbolic Execution
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, and Jonathan de Halleux
(Saarland University, Germany; University of Sheffield, UK; Microsoft Research, USA)
Article: ase12main-p060-p (type: Short Paper) doi:

Using GUI Ripping for Automated Testing of Android Applications
Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana, Salvatore De Carmine, and Atif M. Memon
(Università Federico II Napoli, Italy; University of Maryland, USA)
Article: ase12main-p089-p (type: Short Paper) doi:

kbe-Anonymity: Test Data Anonymization for Evolving Programs
Lucia, David Lo, Lingxiao Jiang, and Aditya Budi
(Singapore Management University, Singapore)
Article: ase12main-p041-p (type: Short Paper) doi:

Selection of Regression System Tests for Security Policy Evolution
JeeHyun Hwang, Tao Xie, Donia El Kateb, Tejeddine Mouelhi, and Yves Le Traon
(North Carolina State University, USA; University of Luxembourg, Luxembourg)
Article: ase12main-p057-p (type: Short Paper) doi:

Fast and Precise Points-to Analysis with Incremental CFL-Reachability Summarisation: Preliminary Experience
Lei Shang, Yi Lu, and Jingling Xue
(University of New South Wales, Australia)
Article: ase12main-p122-p (type: Short Paper) doi:

Detection and Refactoring (Short Papers)

Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Alexandre Bartel, Jacques Klein, Yves Le Traon, and Martin Monperrus
(University of Luxembourg, Luxembourg; SnT, Luxembourg; University of Lille, France; INRIA, France)
Article: ase12main-p010-p (type: Short Paper) doi:

Support Vector Machines for Anti-pattern Detection
Abdou Maiga, Nasir Ali, Neelesh Bhattacharya, Aminata Sabané, Yann-Gaël Guéhéneuc, Giuliano Antoniol, and Esma Aïmeur
(Université de Montréal, Canada; École Polytechnique de Montréal, Canada)
Article: ase12main-p112-p (type: Short Paper) doi:

Detection of Embedded Code Smells in Dynamic Web Applications
Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Anh Tuan Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article: ase12main-p102-p (type: Short Paper) doi:

Boreas: An Accurate and Scalable Token-Based Approach to Code Clone Detection
Yang Yuan and Yao Guo
(Peking University, China)
Article: ase12main-p028-p (type: Short Paper) doi:

Refactorings without Names
Friedrich Steimann and Jens von Pilgrim
(Fernuniversität in Hagen, Germany)
Article: ase12main-p090-p (type: Short Paper) doi:

Requirements Engineering and Model based Development (Short Papers)

Using Mobile Devices for Collaborative Requirements Engineering
Rainer Lutz, Sascha Schäfer, and Stephan Diehl
(University of Trier, Germany)
Article: ase12main-p026-p (type: Short Paper) doi:

Automatically Generating and Adapting Model Constraints to Support Co-evolution of Design Models
Andreas Demuth, Roberto E. Lopez-Herrejon, and Alexander Egyed
(JKU Linz, Austria)
Article: ase12main-p006-p (type: Short Paper) doi:

Adaptability of Model Comparison Tools
Timo Kehrer, Udo Kelter, Pit Pietsch, and Maik Schmidt
(University of Siegen, Germany)
Article: ase12main-p134-p (type: Short Paper) doi:

Defect Prediction and Recovery (Short Papers)

Predicting Common Web Application Vulnerabilities from Input Validation and Sanitization Code Patterns
Lwin Khin Shar and Hee Beng Kuan Tan
(Nanyang Technological University, Singapore)
Article: ase12main-p076-p (type: Short Paper) doi:

Software Defect Prediction Using Semi-supervised Learning with Dimension Reduction
Huihua Lu, Bojan Cukic, and Mark Culp
(West Virginia University, USA)
Article: ase12main-p081-p (type: Short Paper) doi:

Healing Online Service Systems via Mining Historical Issue Repositories
Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin, Dongmei Zhang, Jiajun Shen, and Tao Xie
(Microsoft Research, China; Microsoft Research, USA; Shanghai Jiao Tong University, China; North Carolina State University, USA)
Article: ase12main-p040-p (type: Short Paper) doi:

Automated Evaluation of Syntax Error Recovery
Maartje de Jonge and Eelco Visser
(TU Delft, Netherlands)
Article: ase12main-p059-p (type: Short Paper) doi:

Tool Demonstrations 1

MaramaAI: Tool Support for Capturing and Managing Consistency of Multi-lingual Requirements
Massila Kamalrudin, John Grundy, and John Hosking
(Universiti Teknikal Malaysia Melaka, Malaysia; Swinburne University of Technology, Australia; Australian National University, Australia)
Article: ase12demos-id1-p (type: Tool paper (4 pages)) doi:

GUITest: A Java Library for Fully Automated GUI Robustness Testing
Sebastian Bauersfeld and Tanja E. J. Vos
(Universitat Politècnica de València, Spain)
Article: ase12demos-id6-p (type: Tool paper (4 pages)) doi:

Observatory of Trends in Software Related Microblogs
Palakorn Achananuparp, Ibrahim Nelman Lubis, Yuan Tian, David Lo, and Ee-Peng Lim
(Singapore Management University, Singapore)
Article: ase12demos-id7-p (type: Tool paper (4 pages)) doi:

Arcade.PLC: A Verification Platform for Programmable Logic Controllers
Sebastian Biallas, Jörg Brauer, and Stefan Kowalewski
(RWTH Aachen University, Germany; Verified Systems International, Germany)
Article: ase12demos-id11-p (type: Tool paper (4 pages)) doi:

Test Suite Selection Based on Traceability Annotations
Yves Ledru, German Vega, Taha Triki, and Lydie du Bousquet
(UJF-Grenoble 1, France; Grenoble-INP, France; UPMF-Grenoble2, France; CNRS, France)
Article: ase12demos-id10-p (type: Tool paper (4 pages)) doi:

PuMoC: A CTL Model-Checker for Sequential Programs
Fu Song and Tayssir Touili
(CNRS, France; University Paris Diderot, France)
Article: ase12demos-id17-p (type: Tool paper (4 pages)) doi:

Weave Droid: Aspect-Oriented Programming on Android Devices: Fully Embedded or in the Cloud
Yliès Falcone and Sebastian Currea
(UJF-Grenoble 1, France; LIG, France)
Article: ase12demos-id28-p (type: Tool paper (4 pages)) doi:

Caprice: A Tool for Engineering Adaptive Privacy
Inah Omoronyia, Liliana Pasquale, Mazeiar Salehie, Luca Cavallaro, Gavin Doherty, and Bashar Nuseibeh
(Lero, Ireland; University of Limerick, Ireland; Trinity College Dublin, Ireland; Open University, UK)
Article: ase12demos-id35-p (type: Tool paper (4 pages)) doi:

Tool Demonstrations 2

JStereoCode: Automatically Identifying Method and Class Stereotypes in Java Code
Laura Moreno and Andrian Marcus
(Wayne State University, USA)
Article: ase12demos-id32-p (type: Tool paper (4 pages)) doi:

CHESS: A Model-Driven Engineering Tool Environment for Aiding the Development of Complex Industrial Systems
Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, and Tullio Vardanega
(Mälardalen University, Sweden; Intecs, Italy; University of Padova, Italy)
Article: ase12demos-id19-p (type: Tool paper (4 pages)) doi:

SYMake: A Build Code Analysis and Refactoring Tool for Makefiles
Ahmed Tamrawi, Hoan Anh Nguyen, Hung Viet Nguyen, and Tien N. Nguyen
(Iowa State University, USA)
Article: ase12demos-id34-p (type: Tool paper (4 pages)) doi:

Quokka: Visualising Interactions of Enterprise Software Environment Emulators
Cameron Hine, Jean-Guy Schneider, Jun Han, and Steve Versteeg
(Swinburne University of Technology, Australia; CA Labs, Australia)
Article: ase12demos-id15-p (type: Tool paper (4 pages)) doi:

Communicating Continuous Integration Servers for Increasing Effectiveness of Automated Testing
Stefan Dösinger, Richard Mordinyi, and Stefan Biffl
(TU Vienna, Austria)
Article: ase12demos-id18-p (type: Tool paper (4 pages)) doi:

GZoltar: An Eclipse Plug-In for Testing and Debugging
José Campos, André Riboira, Alexandre Perez, and Rui Abreu
(University of Porto, Portugal)
Article: ase12demos-id25-p (type: Tool paper (4 pages)) doi:

Semantic Patch Inference
Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, and Siau-Cheng Khoo
(University of Copenhagen, Denmark; National University of Singapore, Singapore; Singapore Management University, Singapore; INRIA, France)
Article: ase12demos-id37-p (type: Tool paper (4 pages)) doi:

REInDetector: A Framework for Knowledge-Based Requirements Engineering
Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, and John Grundy
(Swinburne University of Technology, Australia)
Article: ase12demos-id16-p (type: Tool paper (4 pages)) doi:

Doctoral Symposium

Formal Verification Techniques for Model Transformations Specified By-Demonstration
Sebastian Gabmeyer
(TU Vienna, Austria)
Article: ase12doctoral-id4-p (type: Short paper (4 pages)) doi:

A Model-Driven Parser Generator with Reference Resolution Support
Luis Quesada
(University of Granada, Spain)
Article: ase12doctoral-id1-p (type: Short paper (4 pages)) doi:

Property-Preserving Program Refinement
Yosuke Yamamoto
(University of Saskatchewan, Canada)
Article: ase12doctoral-id5-p (type: Short paper (4 pages)) doi:

Predicting Software Complexity by Means of Evolutionary Testing
Ana Filipa Nogueira
(University of Coimbra, Portugal)
Article: ase12doctoral-id2-p (type: Short paper (4 pages)) doi:

Identifying Refactoring Sequences for Improving Software Maintainability
Panita Meananeatra
(Thammasat University, Thailand; National Electronics and Computer Technology Center, Thailand)
Article: ase12doctoral-id3-p (type: Short paper (4 pages)) doi: