ASE 2016
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)
Powered by
Conference Publishing Consulting

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
Sponsors

Keynotes

Program Generation for Performance
Markus Püschel
(ETH Zurich, Switzerland)
Publisher's Version Article Search
Changing Microsoft's Build: Revolution or Evolution
Wolfram Schulte
(Microsoft, USA)
Publisher's Version Article Search
The Power of Probabilistic Thinking
David S. Rosenblum
(National University of Singapore, Singapore)
Publisher's Version Article Search

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)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search
Optimizing Customized Program Coverage
Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff Linderoth, and Ben Liblit
(University of Wisconsin-Madison, USA)
Publisher's Version Article Search Info
What Makes Killing a Mutant Hard
Willem Visser
(Stellenbosch University, South Africa)
Publisher's Version Article Search
Test Case Permutation to Improve Execution Time
Panagiotis Stratis and Ajitha Rajan
(University of Edinburgh, UK)
Publisher's Version Article Search

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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Deep Learning Code Fragments for Code Clone Detection
Martin White, Michele Tufano, Christopher Vendome, and Denys Poshyvanyk
(College of William and Mary, USA)
Publisher's Version Article Search Info

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)
Publisher's Version Article Search
Evaluating the Evaluations of Code Recommender Systems: A Reality Check
Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini
(TU Darmstadt, Germany)
Publisher's Version Article Search Info
Too Much Automation? The Bellwether Effect and Its Implications for Transfer Learning
Rahul Krishna, Tim Menzies, and Wei Fu
(North Carolina State University, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search Info

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)
Publisher's Version Article Search
Finding Access Control Bugs in Web Applications with CanCheck
Ivan Bocić and Tevfik Bultan
(University of California at Santa Barbara, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search

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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
QUICKAR: Automatic Query Reformulation for Concept Location using Crowdsourced Knowledge
Mohammad Masudur Rahman and Chanchal K. Roy
(University of Saskatchewan, Canada)
Publisher's Version Article Search Info

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)
Publisher's Version Article Search
Automated Model-Based Android GUI Testing using Multi-level GUI Comparison Criteria
Young-Min Baek and Doo-Hwan Bae
(KAIST, South Korea)
Publisher's Version Article Search Info
HybriDroid: Static Analysis Framework for Android Hybrid Applications
Sungho Lee, Julian Dolby, and Sukyoung Ryu
(KAIST, South Korea; IBM Research, USA)
Publisher's Version Article Search

Faults

Locus: Locating Bugs from Software Changes
Ming Wen, Rongxin Wu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)
Publisher's Version Article Search
Fine-Tuning Spectrum Based Fault Localisation with Frequent Method Item Sets
Gulsher Laghari, Alessandro Murgia, and Serge Demeyer
(University of Antwerp, Belgium)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search

Program Analysis

StraightTaint: Decoupled Offline Symbolic Taint Analysis
Jiang Ming, Dinghao Wu, Jun Wang, Gaoyao Xiao, and Peng Liu
(Pennsylvania State University, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search Info
What Developers Want and Need from Program Analysis: An Empirical Study
Maria Christakis and Christian Bird
(Microsoft Research, USA)
Publisher's Version Article Search
DistIA: A Cost-Effective Dynamic Impact Analysis for Distributed Programs
Haipeng Cai and Douglas Thain
(Washington State University, USA; University of Notre Dame, USA)
Publisher's Version Article Search Info

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)
Publisher's Version Article Search
LockPeeker: Detecting Latent Locks in Java APIs
Ziyi Lin, Hao Zhong, Yuting Chen, and Jianjun Zhao
(Shanghai Jiao Tong University, China; Kyushu University, Japan)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search

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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search Info
DSL-Maps: From Requirements to Design of Domain-Specific Languages
Ana Pescador and Juan de Lara
(Autonomous University of Madrid, Spain)
Publisher's Version Article Search Info
The IDE as a Scriptable Information System
Dimitar Asenov, Peter Müller, and Lukas Vogel
(ETH Zurich, Switzerland; Ergon Informatik, Switzerland)
Publisher's Version Article Search Video

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)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search
APEx: Automated Inference of Error Specifications for C APIs
Yuan Kang, Baishakhi Ray, and Suman Jana
(Columbia University, USA; University of Virginia, USA)
Publisher's Version Article Search

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)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search Info

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)
Publisher's Version Article Search Info
Conc-iSE: Incremental Symbolic Execution of Concurrent Software
Shengjian Guo, Markus Kusano, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
Publisher's Version Article Search
Model-Based Whitebox Fuzzing for Program Binaries
Van-Thuan Pham, Marcel Böhme, and Abhik Roychoudhury
(National University of Singapore, Singapore)
Publisher's Version Article Search Video
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)
Publisher's Version Article Search
Towards Bounded Model Checking using Nonlinear Programming Solver
Masataka Nishi
(Hitachi, Japan)
Publisher's Version Article Search

Design and Specs

Identifying Domain Elements from Textual Specifications
Jitendra Singh Thakur and Atul Gupta
(IIITDM Jabalpur, India; Jabalpur Engineering College, India)
Publisher's Version Article Search
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)
Publisher's Version Article Search Info
Efficient Detection of Inconsistencies in a Multi-developer Engineering Environment
Andreas Demuth, Markus Riedl-Ehrenleitner, and Alexander Egyed
(JKU Linz, Austria)
Publisher's Version Article Search
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)
Publisher's Version Article Search

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)
Publisher's Version Article Search
Towards Automatically Generating Descriptive Names for Unit Tests
Benwen Zhang, Emily Hill, and James Clause
(University of Delaware, USA; Drew University, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search

Code Comparison and Transformation

Move-Optimized Source Code Tree Differencing
Georg Dotzler and Michael Philippsen
(University of Erlangen-Nuremberg, Germany)
Publisher's Version Article Search Info
Migrating Cascading Style Sheets to Preprocessors by Introducing Mixins
Davood Mazinanian and Nikolaos Tsantalis
(Concordia University, Canada)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search

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)
Publisher's Version Article Search
Mining Input Grammars from Dynamic Taints
Matthias Höschele and Andreas Zeller
(Saarland University, Germany)
Publisher's Version Article Search
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)
Publisher's Version Article Search

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)
Publisher's Version Article Search Info
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)
Publisher's Version Article Search

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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search Video
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)
Publisher's Version Article Search Video
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)
Publisher's Version Article Search Video Info
BovInspector: Automatic Inspection and Repair of Buffer Overflow Vulnerabilities
Fengjuan Gao, Linzhang Wang, and Xuandong Li
(Nanjing University, China)
Publisher's Version Article Search Video

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)
Publisher's Version Article Search Video Info
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)
Publisher's Version Article Search
CVExplorer: Identifying Candidate Developers by Mining and Exploring Their Open Source Contributions
Gillian J. Greene and Bernd Fischer
(Stellenbosch University, South Africa)
Publisher's Version Article Search
Lightweight Collection and Storage of Software Repository Data with DataRover
Thomas Kowark, Christoph Matthies, Matthias Uflacker, and Hasso Plattner
(HPI, Germany)
Publisher's Version Article Search Video Info
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)
Publisher's Version Article Search Video
SuperMod: Tool Support for Collaborative Filtered Model-Driven Software Product Line Engineering
Felix Schwägerl and Bernhard Westfechtel
(University of Bayreuth, Germany)
Publisher's Version Article Search Video
AnModeler: A Tool for Generating Domain Models from Textual Specifications
Jitendra Singh Thakur and Atul Gupta
(IIITDM Jabalpur, India)
Publisher's Version Article Search
SimilarTech: Automatically Recommend Analogical Libraries across Different Programming Languages
Chunyang Chen and Zhenchang Xing
(Nanyang Technological University, Singapore)
Publisher's Version Article Search Video Info

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)
Publisher's Version Article Search Video Info
The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts
Martin Hentschel, Reiner Hähnle, and Richard Bubel
(TU Darmstadt, Germany)
Publisher's Version Article Search
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)
Publisher's Version Article Search
GUICat: GUI Testing as a Service
Lin Cheng, Jialiang Chang, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; University of Southern California, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search Video
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)
Publisher's Version Article Search Video Info

Doctoral Symposium

Towards Efficient and Effective Automatic Program Repair
Xuan-Bach D. Le
(Singapore Management University, Singapore)
Publisher's Version Article Search Info
Automated Testing and Notification of Mobile App Privacy Leak-Cause Behaviours
Joseph Chan Joo Keng
(Singapore Management University, Singapore)
Publisher's Version Article Search
Factoring Requirement Dependencies in Software Requirement Selection using Graphs and Integer Programming
Davoud Mougouei
(Flinders University, Australia)
Publisher's Version Article Search
Statistical Analysis of Large Sets of Models
Önder Babur
(Eindhoven University of Technology, Netherlands)
Publisher's Version Article Search
Developer Targeted Analytics: Supporting Software Development Decisions with Runtime Information
Jürgen Cito
(University of Zurich, Switzerland)
Publisher's Version Article Search
API Recommendation System for Software Development
Ferdian Thung
(Singapore Management University, Singapore)
Publisher's Version Article Search

proc time: 0.47