ASE 2012
2012 27th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Powered by
Conference Publishing Consulting

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

ASE 2012 – Proceedings

Contents - Abstracts - Authors

Preface

Title Page
Foreword
Committees
Sponsors

Keynotes

The GISMOE Challenge: Constructing the Pareto Program Surface Using Genetic Programming to Find Better Programs (Keynote Paper)
Mark HarmanORCID logo, 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)
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)

Debugging I

Practical Isolation of Failure-Inducing Changes for Debugging Regression Faults
Kai Yu, Mengxiang Lin, Jin Chen, and Xiangyu Zhang
(Beihang University, China)
Diversity Maximization Speedup for Fault Localization
Liang Gong, David LoORCID logo, Lingxiao Jiang ORCID logo, and Hongyu Zhang
(Tsinghua University, China; Singapore Management University, Singapore)
Improving the Effectiveness of Spectra-Based Fault Localization Using Specifications
Divya Gopinath, Razieh Nokhbeh Zaeem, and Sarfraz Khurshid
(University of Texas at Austin, USA)

Debugging II

To What Extent Could We Detect Field Defects? An Empirical Study of False Negatives in Static Bug Finding Tools
Ferdian Thung ORCID logo, Lucia, David LoORCID logo, Lingxiao Jiang ORCID logo, Foyzur Rahman, and Premkumar T. DevanbuORCID logo
(Singapore Management University, Singapore; UC Davis, USA)
Diagnosys: Automatic Generation of a Debugging Interface to the Linux Kernel
Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, and Gilles Muller ORCID logo
(University of Bordeaux, France; INRIA, France)
Duplicate Bug Report Detection with a Combination of Information Retrieval and Topic Modeling
Anh Tuan Nguyen, Tung Thanh Nguyen, Tien N. Nguyen, David LoORCID logo, and Chengnian Sun
(Iowa State University, USA; Singapore Management University, Singapore; National University of Singapore, Singapore)

Privacy, Security, and Performance

User-Aware Privacy Control via Extended Static-Information-Flow Analysis
Xusheng Xiao, Nikolai Tillmann, Manuel Fahndrich, Jonathan de Halleux ORCID logo, and Michal Moskal
(North Carolina State University, USA; Microsoft Research, USA)
Automatic Query Performance Assessment during the Retrieval of Software Artifacts
Sonia Haiduc, Gabriele Bavota, Rocco OlivetoORCID logo, Andrea De LuciaORCID logo, and Andrian Marcus
(Wayne State University, USA; University of Salerno, Italy; University of Molise, Italy)
Supporting Automated Vulnerability Analysis Using Formalized Vulnerability Signatures
Mohamed Almorsy, John Grundy, and Amani S. Ibrahim
(Swinburne University of Technology, Australia)

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)
Structured Merge with Auto-Tuning: Balancing Precision and Performance
Sven Apel, Olaf Leßenich, and Christian Lengauer
(University of Passau, Germany)
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)

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)
Using Unfoldings in Automated Testing of Multithreaded Programs
Kari Kähkönen, Olli Saarikivi, and Keijo Heljanko
(Aalto University, Finland)
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)

Prediction

Can I Clone This Piece of Code Here?
Xiaoyin Wang, Yingnong Dang, Lu Zhang, Dongmei Zhang ORCID logo, Erica Lan, and Hong Mei
(Peking University, China; Microsoft Research, China; Microsoft, USA)
Predicting Recurring Crash Stacks
Hyunmin Seo and Sunghun Kim
(Hong Kong University of Science and Technology, China)
Automated Inference of Goal-Oriented Performance Prediction Functions
Dennis Westermann, Jens Happe, Rouven Krebs, and Roozbeh Farahbod
(SAP Research, Germany)

Validation, Verification, and Consistency

Code Patterns for Automatically Validating Requirements-to-Code Traces
Achraf Ghabi and Alexander Egyed
(JKU Linz, Austria)
Unbounded Data Model Verification Using SMT Solvers
Jaideep Nijjar and Tevfik BultanORCID logo
(UC Santa Barbara, USA)
Computing Repair Trees for Resolving Inconsistencies in Design Models
Alexander Reder and Alexander Egyed
(JKU Linz, Austria)

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)
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)
Automatic Recovery of Statecharts from Procedural Code
Moria Abadi and Yishai A. Feldman
(Tel Aviv University, Israel; IBM Research, Israel)
Locating Distinguishing Features Using Diff Sets
Julia Rubin and Marsha Chechik ORCID logo
(University of Toronto, Canada; IBM Research, Israel)
Slicing and Replaying Code Change History
Katsuhisa Maruyama, Eijiro Kitsu, Takayuki Omori, and Shinpei Hayashi
(Ritsumeikan University, Japan; Tokyo Institute of Technology, Japan)
Generating Model Transformation Rules from Examples Using an Evolutionary Algorithm
Martin Faunes, Houari Sahraoui ORCID logo, and Mounir Boukadoum
(Université de Montréal, Canada; Université du Québec à Montréal, Canada)

Testing and Code Analysis (Short Papers)

Augmented Dynamic Symbolic Execution
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, and Jonathan de Halleux ORCID logo
(Saarland University, Germany; University of Sheffield, UK; Microsoft Research, USA)
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)
kbe-Anonymity: Test Data Anonymization for Evolving Programs
Lucia, David LoORCID logo, Lingxiao Jiang ORCID logo, and Aditya Budi
(Singapore Management University, Singapore)
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)
Fast and Precise Points-to Analysis with Incremental CFL-Reachability Summarisation: Preliminary Experience
Lei Shang, Yi Lu, and Jingling Xue ORCID logo
(University of New South Wales, Australia)

Detection and Refactoring (Short Papers)

Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
Alexandre Bartel, Jacques KleinORCID logo, Yves Le Traon, and Martin Monperrus
(University of Luxembourg, Luxembourg; SnT, Luxembourg; University of Lille, France; INRIA, France)
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)
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)
Boreas: An Accurate and Scalable Token-Based Approach to Code Clone Detection
Yang Yuan and Yao Guo
(Peking University, China)
Refactorings without Names
Friedrich Steimann ORCID logo and Jens von Pilgrim
(Fernuniversität in Hagen, Germany)
Automated API Migration in a User-Extensible Refactoring Tool for Erlang Programs
Huiqing Li and Simon Thompson
(University of Kent, UK)

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)
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)
Adaptability of Model Comparison Tools
Timo Kehrer, Udo Kelter, Pit Pietsch, and Maik Schmidt
(University of Siegen, Germany)

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)
Software Defect Prediction Using Semi-supervised Learning with Dimension Reduction
Huihua Lu, Bojan Cukic, and Mark Culp
(West Virginia University, USA)
Healing Online Service Systems via Mining Historical Issue Repositories
Rui Ding, Qiang Fu, Jian-Guang Lou, Qingwei Lin ORCID logo, Dongmei Zhang ORCID logo, Jiajun Shen, and Tao Xie
(Microsoft Research, China; Microsoft Research, USA; Shanghai Jiao Tong University, China; North Carolina State University, USA)
Automated Evaluation of Syntax Error Recovery
Maartje de Jonge and Eelco Visser ORCID logo
(TU Delft, Netherlands)

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)
GUITest: A Java Library for Fully Automated GUI Robustness Testing
Sebastian Bauersfeld and Tanja E. J. Vos
(Universitat Politècnica de València, Spain)
Observatory of Trends in Software Related Microblogs
Palakorn Achananuparp, Ibrahim Nelman Lubis, Yuan Tian, David LoORCID logo, and Ee-Peng Lim
(Singapore Management University, Singapore)
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)
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)
PuMoC: A CTL Model-Checker for Sequential Programs
Fu Song and Tayssir Touili
(CNRS, France; University Paris Diderot, France)
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)
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)

Tool Demonstrations 2

JStereoCode: Automatically Identifying Method and Class Stereotypes in Java Code
Laura Moreno and Andrian Marcus
(Wayne State University, USA)
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)
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)
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)
Communicating Continuous Integration Servers for Increasing Effectiveness of Automated Testing
Stefan Dösinger, Richard Mordinyi, and Stefan Biffl
(TU Vienna, Austria)
GZoltar: An Eclipse Plug-In for Testing and Debugging
José Campos, André Riboira, Alexandre Perez, and Rui AbreuORCID logo
(University of Porto, Portugal)
Semantic Patch Inference
Jesper Andersen, Anh Cuong Nguyen, David LoORCID logo, Julia L. Lawall, and Siau-Cheng Khoo
(University of Copenhagen, Denmark; National University of Singapore, Singapore; Singapore Management University, Singapore; INRIA, France)
REInDetector: A Framework for Knowledge-Based Requirements Engineering
Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, and John Grundy
(Swinburne University of Technology, Australia)

Doctoral Symposium

Formal Verification Techniques for Model Transformations Specified By-Demonstration
Sebastian Gabmeyer
(TU Vienna, Austria)
A Model-Driven Parser Generator with Reference Resolution Support
Luis Quesada
(University of Granada, Spain)
Property-Preserving Program Refinement
Yosuke Yamamoto
(University of Saskatchewan, Canada)
Predicting Software Complexity by Means of Evolutionary Testing
Ana Filipa Nogueira
(University of Coimbra, Portugal)
Identifying Refactoring Sequences for Improving Software Maintainability
Panita Meananeatra
(Thammasat University, Thailand; National Electronics and Computer Technology Center, Thailand)

proc time: 0.95