ASE 2016
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)

Powered by

31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), September 3–7, 2016, Singapore, Singapore

ASE 2016 – Proceedings

Contents - Abstracts - Authors

Twitter: https://twitter.com/ASEConf2016

Frontmatter

Title Page

Message from the Chairs

ASE 2016 Organization

Keynotes

Program Generation for Performance
Markus Püschel
(ETH Zurich, Switzerland)

Changing Microsoft's Build: Revolution or Evolution
Wolfram Schulte
(Microsoft, USA)

The Power of Probabilistic Thinking
David S. Rosenblum
(National University of Singapore, Singapore)

Main Research Papers

Test Evaluation

An Empirical Investigation into the Nature of Test Smells
Michele Tufano, Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk
(College of William and Mary, USA; University of Salerno, Italy; University of Lugano, Switzerland; University of Sannio, Italy; University of Molise, Italy)

Evaluating Non-adequate Test-Case Reduction
Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, and Alex Groce
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)

Optimizing Customized Program Coverage
Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff Linderoth, and Ben Liblit
(University of Wisconsin-Madison, USA)

What Makes Killing a Mutant Hard
Willem Visser
(Stellenbosch University, South Africa)

Test Case Permutation to Improve Execution Time
Panagiotis Stratis and Ajitha Rajan
(University of Edinburgh, UK)

Learning

Predicting Semantically Linkable Knowledge in Developer Online Forums via Convolutional Neural Network
Bowen Xu, Deheng Ye, Zhenchang Xing, Xin Xia, Guibin Chen, and Shanping Li
(Zhejiang University, China; Nanyang Technological University, Singapore)

Testing Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks
Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, and Thomas Stifter
(University of Luxembourg, Luxembourg; IEE, Luxembourg)

Privacy Preserving via Interval Covering Based Subclass Division and Manifold Learning Based Bi-directional Obfuscation for Effort Estimation
Fumin Qi, Xiao-Yuan Jing, Xiaoke Zhu, Fei Wu, and Li Cheng
(Wuhan University, China; Nanjing University of Posts and Telecommunications, China; Henan University, China)

Deep Learning Code Fragments for Code Clone Detection
Martin White, Michele Tufano, Christopher Vendome, and Denys Poshyvanyk
(College of William and Mary, USA)

Recommendation and Automation

Automatically Recommending Code Reviewers Based on Their Expertise: An Empirical Comparison
Christoph Hannebauer, Michael Patalas, Sebastian Stünkel, and Volker Gruhn
(University of Duisburg-Essen, Germany)

Evaluating the Evaluations of Code Recommender Systems: A Reality Check
Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini
(TU Darmstadt, Germany)

Too Much Automation? The Bellwether Effect and Its Implications for Transfer Learning
Rahul Krishna, Tim Menzies, and Wei Fu
(North Carolina State University, USA)

Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding
Marcelino Rodriguez-Cancio, Benoit Combemale, and Benoit Baudry
(University of Rennes 1, France; INRIA, France)

Model-Based Testing and Oracles

Visualization of Combinatorial Models and Test Plans
Rachel Tzoref-Brill, Paul Wojciak, and Shahar Maoz
(Tel Aviv University, Israel; IBM Research, Israel; IBM, USA)

Finding Access Control Bugs in Web Applications with CanCheck
Ivan Bocić and Tevfik Bultan
(University of California at Santa Barbara, USA)

SOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities
Mariano Ceccato, Cu D. Nguyen, Dennis Appelt, and Lionel C. Briand
(Fondazione Bruno Kessler, Italy; University of Luxembourg, Luxembourg)

Supporting Oracle Construction via Static Analysis
Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie, and Hong Mei
(Peking University, China; University of Texas at Dallas, USA)

Crowdsourcing

Local-Based Active Classification of Test Report to Assist Crowdsourced Testing
Junjie Wang, Song Wang, Qiang Cui, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Waterloo, Canada)

Multi-objective Test Report Prioritization using Image Understanding
Yang Feng, James A. Jones, Zhenyu Chen, and Chunrong Fang
(University of California at Irvine, USA; Nanjing University, China)

CrowdService: Serving the Individuals through Mobile Crowdsourcing and Service Composition
Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; University of Limerick, Ireland)

QUICKAR: Automatic Query Reformulation for Concept Location using Crowdsourced Knowledge
Mohammad Masudur Rahman and Chanchal K. Roy
(University of Saskatchewan, Canada)

Android

Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps
Lili Wei, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)

Automated Model-Based Android GUI Testing using Multi-level GUI Comparison Criteria
Young-Min Baek and Doo-Hwan Bae
(KAIST, South Korea)

HybriDroid: Static Analysis Framework for Android Hybrid Applications
Sungho Lee, Julian Dolby, and Sukyoung Ryu
(KAIST, South Korea; IBM Research, USA)

Faults

Locus: Locating Bugs from Software Changes
Ming Wen, Rongxin Wu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)

Fine-Tuning Spectrum Based Fault Localisation with Frequent Method Item Sets
Gulsher Laghari, Alessandro Murgia, and Serge Demeyer
(University of Antwerp, Belgium)

Recommending Relevant Classes for Bug Reports using Multi-objective Search
Rafi Almhana, Wiem Mkaouer, Marouane Kessentini, and Ali Ouni
(University of Michigan, USA; Osaka University, Japan)

An Empirical Study on Dependence Clusters for Effort-Aware Fault-Proneness Prediction
Yibiao Yang, Mark Harman, Jens Krinke, Syed Islam, David Binkley, Yuming Zhou, and Baowen Xu
(Nanjing University, China; University College London, UK; University of East London, UK; Loyola University Maryland, USA)

Program Analysis

StraightTaint: Decoupled Offline Symbolic Taint Analysis
Jiang Ming, Dinghao Wu, Jun Wang, Gaoyao Xiao, and Peng Liu
(Pennsylvania State University, USA)

IncA: A DSL for the Definition of Incremental Program Analyses
Tamás Szabó, Sebastian Erdweg, and Markus Voelter
(itemis, Germany; Delft University of Technology, Netherlands)

What Developers Want and Need from Program Analysis: An Empirical Study
Maria Christakis and Christian Bird
(Microsoft Research, USA)

DistIA: A Cost-Effective Dynamic Impact Analysis for Distributed Programs
Haipeng Cai and Douglas Thain
(Washington State University, USA; University of Notre Dame, USA)

Locks and Races

Radius Aware Probabilistic Testing of Deadlocks with Guarantees
Yan Cai and Zijiang Yang
(Institute of Software at Chinese Academy of Sciences, China; Western Michigan University, USA)

LockPeeker: Detecting Latent Locks in Java APIs
Ziyi Lin, Hao Zhong, Yuting Chen, and Jianjun Zhao
(Shanghai Jiao Tong University, China; Kyushu University, Japan)

Sound Static Deadlock Analysis for C/Pthreads
Daniel Kroening, Daniel Poetzl, Peter Schrammel, and Björn Wachter
(University of Oxford, UK; University of Sussex, UK; SSW-Trading, Germany)

Static Race Detection for Device Drivers: The Goblint Approach
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, and Ralf Vogler
(University of Tartu, Estonia; TU Munich, Germany)

Empirical Studies and New Ideas

An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier
Martin Hentschel, Reiner Hähnle, and Richard Bubel
(TU Darmstadt, Germany)

Traceability Maintenance: Factors and Guidelines
Salome Maro, Anthony Anjorin, Rebekka Wohlrab, and Jan-Philipp Steghöfer
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Paderborn, Germany)

Usage, Costs, and Benefits of Continuous Integration in Open-Source Projects
Michael Hilton, Timothy Tunnell, Kai Huang, Darko Marinov, and Danny Dig
(Oregon State University, USA; University of Illinois, USA)

DSL-Maps: From Requirements to Design of Domain-Specific Languages
Ana Pescador and Juan de Lara
(Autonomous University of Madrid, Spain)

The IDE as a Scriptable Information System
Dimitar Asenov, Peter Müller, and Lukas Vogel
(ETH Zurich, Switzerland; Ergon Informatik, Switzerland)

Inference

Inferring Annotations for Device Drivers from Verification Histories
Zvonimir Pavlinovic, Akash Lal, and Rahul Sharma
(New York University, USA; Microsoft Research, India; Stanford University, USA)

Array Length Inference for C Library Bindings
Alisa J. Maas, Henrique Nazaré, and Ben Liblit
(University of Wisconsin-Madison, USA; Federal University of Minas Gerais, Brazil)

APEx: Automated Inference of Error Specifications for C APIs
Yuan Kang, Baishakhi Ray, and Suman Jana
(Columbia University, USA; University of Virginia, USA)

Interactions, Deltas, Goals

On Essential Configuration Complexity: Measuring Interactions in Highly-Configurable Systems
Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, and Gunter Saake
(University of Magdeburg, Germany; Carnegie Mellon University, USA; TU Braunschweig, Germany)

Precise Semantic History Slicing through Dynamic Delta Refinement
Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik
(University of Toronto, Canada; Massachusetts Institute of Technology, USA)

Goal-Conflict Detection Based on Temporal Satisfiability Checking
Renzo Degiovanni, Nicolas Ricci, Dalal Alrajeh, Pablo Castro, and Nazareno Aguirre
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; Imperial College London, UK)

Symbolic Execution

Symbolic Execution of Stored Procedures in Database Management Systems
Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, and Junaid Haroon Siddiqui
(Lahore University of Management Sciences, Pakistan)

Conc-iSE: Incremental Symbolic Execution of Concurrent Software
Shengjian Guo, Markus Kusano, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)

Model-Based Whitebox Fuzzing for Program Binaries
Van-Thuan Pham, Marcel Böhme, and Abhik Roychoudhury
(National University of Singapore, Singapore)

Symbolic Execution of Complex Program Driven by Machine Learning Based Constraint Solving
Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, and Xuandong Li
(Nanjing University, China)

Towards Bounded Model Checking using Nonlinear Programming Solver
Masataka Nishi
(Hitachi, Japan)

Design and Specs

Identifying Domain Elements from Textual Specifications
Jitendra Singh Thakur and Atul Gupta
(IIITDM Jabalpur, India; Jabalpur Engineering College, India)

Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern Matching
Sven Peldszus, Géza Kulcsár, Malte Lochau, and Sandro Schulze
(University of Koblenz-Landau, Germany; TU Darmstadt, Germany; TU Hamburg, Germany)

Efficient Detection of Inconsistencies in a Multi-developer Engineering Environment
Andreas Demuth, Markus Riedl-Ehrenleitner, and Alexander Egyed
(JKU Linz, Austria)

How Good Are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications
Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Roşu, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)

Test Generation

Greedy Combinatorial Test Case Generation using Unsatisfiable Cores
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and Eun-Hye Choi
(University of Innsbruck, Austria; JKU Linz, Austria; AIST, Japan)

Towards Automatically Generating Descriptive Names for Unit Tests
Benwen Zhang, Emily Hill, and James Clause
(University of Delaware, USA; Drew University, USA)

Applying Combinatorial Test Data Generation to Big Data Applications
Nan Li, Yu Lei, Haider Riaz Khan, Jingshu Liu, and Yun Guo
(Medidata Solutions, USA; University of Texas at Arlington, USA; George Mason University, USA)

Generating Test Cases to Expose Concurrency Bugs in Android Applications
Hongyin Tang, Guoquan Wu, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China)

Automatic Test Image Generation using Procedural Noise
Matthew Patrick, Matthew D. Castle, Richard O. J. H. Stutt, and Christopher A. Gilligan
(University of Cambridge, UK)

Code Comparison and Transformation

Move-Optimized Source Code Tree Differencing
Georg Dotzler and Michael Philippsen
(University of Erlangen-Nuremberg, Germany)

Migrating Cascading Style Sheets to Preprocessors by Introducing Mixins
Davood Mazinanian and Nikolaos Tsantalis
(Concordia University, Canada)

Automatic Runtime Recovery via Error Handler Synthesis
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, and Zhendong Su
(Nanjing University, China; University of California at Davis, USA)

Mining Revision Histories to Detect Cross-Language Clones without Intermediates
Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, and Jianjun Zhao
(Shanghai Jiao Tong University, China; Singapore Management University, Singapore; Kyushu University, Japan)

Battery-Aware Transformations in Mobile Applications
Jürgen Cito, Julia Rubin, Phillip Stanley-Marbell, and Martin Rinard
(University of Zurich, Switzerland; Massachusetts Institute of Technology, USA)

Language

Bugram: Bug Detection with N-gram Language Models
Song Wang, Devin Chollak, Dana Movshovitz-Attias, and Lin Tan
(University of Waterloo, Canada; Carnegie Mellon University, USA)

Mining Input Grammars from Dynamic Taints
Matthias Höschele and Andreas Zeller
(Saarland University, Germany)

Phrase-Based Extraction of User Opinions in Mobile App Reviews
Phong Minh Vu, Hung Viet Pham, Tam The Nguyen, and Tung Thanh Nguyen
(Utah State University, USA)

Mining and Retrieval

Practical Guidelines for Change Recommendation using Association Rule Mining
Leon Moonen, Stefano Di Alesio, David Binkley, and Thomas Rolfsnes
(Simula Research Laboratory, Norway; Loyola University Maryland, USA)

Learning a Dual-Language Vector Space for Domain-Specific Cross-Lingual Question Retrieval
Guibin Chen, Chunyang Chen, Zhenchang Xing, and Bowen Xu
(Nanyang Technological University, Singapore; Zhejiang University, China)

Demonstrations

Mobile and Security

Reflection-Aware Static Analysis of Android Apps
Li Li, Tegawendé F. Bissyandé, Damien Octeau, and Jacques Klein
(University of Luxembourg, Luxembourg; Pennsylvania State University, USA)

Relda2: An Effective Static Analysis Tool for Resource Leak Detection in Android Apps
Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China)

An End-User Oriented Tool Suite for Development of Mobile Applications
Zhongyi Zhai, Bo Cheng, Meng Niu, Zhaoning Wang, Yimeng Feng, and Junliang Chen
(Beijing University of Posts and Telecommunications, China)

Model Driven Design of Heterogeneous Synchronous Embedded Systems
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of Illinois at Urbana-Champaign, USA)

MACKE: Compositional Analysis of Low-Level Vulnerabilities with Symbolic Execution
Saahil Ognawala, Martín Ochoa, Alexander Pretschner, and Tobias Limmer
(TU Munich, Germany; Singapore University of Technology and Design, Singapore; Siemens, Germany)

BovInspector: Automatic Inspection and Repair of Buffer Overflow Vulnerabilities
Fengjuan Gao, Linzhang Wang, and Xuandong Li
(Nanjing University, China)

Performance, Recommendation, and Analysis

CORRECT: Code Reviewer Recommendation at GitHub for Vendasta Technologies
Mohammad Masudur Rahman, Chanchal K. Roy, Jesse Redl, and Jason A. Collins
(University of Saskatchewan, Canada; Vendasta Technologies, Canada; Google, USA)

ProcessPAIR: A Tool for Automated Performance Analysis and Improvement Recommendation in Software Development
Mushtaq Raza and João Pascoal Faria
(University of Porto, Portugal; INESC TEC, Portugal)

CVExplorer: Identifying Candidate Developers by Mining and Exploring Their Open Source Contributions
Gillian J. Greene and Bernd Fischer
(Stellenbosch University, South Africa)

Lightweight Collection and Storage of Software Repository Data with DataRover
Thomas Kowark, Christoph Matthies, Matthias Uflacker, and Hasso Plattner
(HPI, Germany)

Visual Contract Extractor: A Tool for Reverse Engineering Visual Contracts using Dynamic Analysis
Abdullah Alshanqiti, Reiko Heckel, and Timo Kehrer
(University of Leicester, UK; Politecnico di Milano, Italy)

SuperMod: Tool Support for Collaborative Filtered Model-Driven Software Product Line Engineering
Felix Schwägerl and Bernhard Westfechtel
(University of Bayreuth, Germany)

AnModeler: A Tool for Generating Domain Models from Textual Specifications
Jitendra Singh Thakur and Atul Gupta
(IIITDM Jabalpur, India)

SimilarTech: Automatically Recommend Analogical Libraries across Different Programming Languages
Chunyang Chen and Zhenchang Xing
(Nanyang Technological University, Singapore)

Testing, Validation, and Verification

TeeVML: Tool Support for Semi-automatic Integration Testing Environment Emulation
Jian Liu, John Grundy, Iman Avazpour, and Mohamed Abdelrazek
(Swinburne University of Technology, Australia; Deakin University, Australia)

The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts
Martin Hentschel, Reiner Hähnle, and Richard Bubel
(TU Darmstadt, Germany)

Verifying Simulink Stateflow Model: Timed Automata Approach
Yixiao Yang, Yu Jiang, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of Illinois at Urbana-Champaign, USA)

GUICat: GUI Testing as a Service
Lin Cheng, Jialiang Chang, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; University of Southern California, USA)

An Automated Collaborative Requirements Engineering Tool for Better Validation of Requirements
Nor Aiza Moketar, Massila Kamalrudin, Safiah Sidek, Mark Robinson, and John Grundy
(Technical University of Malaysia Malacca, Malaysia; Fulgent, USA; Deakin University, Australia)

An Extensible Framework for Variable-Precision Data-Flow Analyses in MPS
Tamás Szabó, Simon Alperovich, Markus Voelter, and Sebastian Erdweg
(itemis, Germany; Delft University of Technology, Netherlands; JetBrains, Czechia)

Doctoral Symposium

Towards Efficient and Effective Automatic Program Repair
Xuan-Bach D. Le
(Singapore Management University, Singapore)

Automated Testing and Notification of Mobile App Privacy Leak-Cause Behaviours
Joseph Chan Joo Keng
(Singapore Management University, Singapore)

Factoring Requirement Dependencies in Software Requirement Selection using Graphs and Integer Programming
Davoud Mougouei
(Flinders University, Australia)

Statistical Analysis of Large Sets of Models
Önder Babur
(Eindhoven University of Technology, Netherlands)

Developer Targeted Analytics: Supporting Software Development Decisions with Runtime Information
Jürgen Cito
(University of Zurich, Switzerland)

API Recommendation System for Software Development
Ferdian Thung
(Singapore Management University, Singapore)

proc time: 0.92