ASE 2018 – Proceedings

33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018), September 3–7, 2018, Montpellier, France

Frontmatter

Keynotes

Software Heritage: Collecting, Preserving, and Sharing All Our Source Code (Keynote)
Roberto Di Cosmo
(Inria, France; University Paris Diderot, France)

Publisher's Version Article: ase18keynotes-idkn1-p doi:10.1145/3238147.3241985

Technical Research Papers

Performance

On Adopting Linters to Deal with Performance Concerns in Android Apps
Sarra Habchi, Xavier Blanc, and Romain Rouvoy
(Inria, France; University of Lille, France; University of Bordeaux, France)

Publisher's Version

Published Artifact

Artifacts Available Article: ase18main-p265-p doi:10.1145/3238147.3238197

PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames
Xue Han, Tingting Yu, and David Lo
(University of Kentucky, USA; Singapore Management University, Singapore)

Publisher's Version Article: ase18main-p354-p doi:10.1145/3238147.3238204

AutoConfig: Automatic Configuration Tuning for Distributed Message Systems
Liang Bao, Xin Liu, Ziheng Xu, and Baoyin Fang
(Xidian University, China; University of California at Davis, USA)

Publisher's Version Article: ase18main-p32-p doi:10.1145/3238147.3238175

Testing Studies

A Large-Scale Study of Test Coverage Evolution
Michael Hilton, Jonathan Bell, and Darko Marinov
(Carnegie Mellon University, USA; George Mason University, USA; University of Illinois at Urbana-Champaign, USA)

Publisher's Version Article: ase18main-p89-p doi:10.1145/3238147.3238183

Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes
Valerio Terragni and Mauro Pezzè
(University of Lugano, Switzerland)

Publisher's Version Article: ase18main-p494-p doi:10.1145/3238147.3238224

Build and Test Automation

Scalable Incremental Building with Dynamic Task Dependencies
Gabriël Konat, Sebastian Erdweg, and Eelco Visser
(Delft University of Technology, Netherlands)

Publisher's Version Article: ase18main-p260-p doi:10.1145/3238147.3238196

Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI
Keheliya Gallaba, Christian Macho, Martin Pinzger, and Shane McIntosh
(McGill University, Canada; University of Klagenfurt, Austria)

Publisher's Version Article: ase18main-p517-p doi:10.1145/3238147.3238171

Quality Assurance for Machine Learning Techniques

Automated Directed Fairness Testing
Sakshi Udeshi, Pryanshu Arora, and Sudipta Chattopadhyay
(Singapore University of Technology and Design, Singapore; BITS Pilani, India)

Publisher's Version Article: ase18main-p218-p doi:10.1145/3238147.3238165

Concolic Testing for Deep Neural Networks
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, and Daniel Kroening
(University of Oxford, UK; University of Liverpool, UK)

Publisher's Version Article: ase18main-p519-p doi:10.1145/3238147.3238172

DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems
Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang
(Harbin Institute of Technology, China; Nanyang Technological University, Singapore; Carnegie Mellon University, USA; Kyushu University, Japan; University of Illinois at Urbana-Champaign, USA; Monash University, Australia)

Publisher's Version Article: ase18main-p317-p doi:10.1145/3238147.3238202

DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems
Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, and Sarfraz Khurshid
(University of Texas at Austin, USA; Southern University of Science and Technology, China; University of Texas at Dallas, USA)

Publisher's Version Article: ase18main-p160-p doi:10.1145/3238147.3238187

Variability

Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search
Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, and Thomas Stifter
(University of Luxembourg, Luxembourg; Delft University of Technology, Netherlands; IEE, Luxembourg)

Publisher's Version Article: ase18main-p216-p doi:10.1145/3238147.3238192

Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems
Mukelabai Mukelabai, Damir Nešić, Salome Maro, Thorsten Berger, and Jan-Philipp Steghöfer
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; KTH, Sweden)

Publisher's Version Article: ase18main-p316-p doi:10.1145/3238147.3238201

Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps
Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, and Jingling Xue
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; UNSW, Australia)

Publisher's Version Article: ase18main-p103-p doi:10.1145/3238147.3238185

Mining and Crowd Sourcing

Characterizing the Natural Language Descriptions in Software Logging Statements
Pinjia He, Zhuangbin Chen, Shilin He, and Michael R. Lyu
(Chinese University of Hong Kong, China)

Publisher's Version Article: ase18main-p217-p doi:10.1145/3238147.3238193

Assessing the Type Annotation Burden
John-Paul Ore, Sebastian Elbaum, Carrick Detweiler, and Lambros Karkazis
(University of Nebraska-Lincoln, USA)

Publisher's Version Article: ase18main-p15-p doi:10.1145/3238147.3238173

Mining File Histories: Should We Consider Branches?
Vladimir Kovalenko, Fabio Palomba, and Alberto Bacchelli
(Delft University of Technology, Netherlands; University of Zurich, Switzerland)

Publisher's Version Article: ase18main-p335-p doi:10.1145/3238147.3238169

Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions
Yi Huang, Chunyang Chen, Zhenchang Xing, Tian Lin, and Yang Liu
(Australian National University, Australia; Monash University, Australia; Nanyang Technological University, Singapore)

Publisher's Version Article: ase18main-p387-p doi:10.1145/3238147.3238208

Security

ReScue: Crafting Regular Expression DoS Attacks
Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu
(Nanjing University, China)

Publisher's Version Article: ase18main-p53-p doi:10.1145/3238147.3238159

Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies
Ameni Ben Fadhel, Domenico Bianculli, and Lionel C. Briand
(University of Luxembourg, Luxembourg)

Publisher's Version Article: ase18main-p277-p doi:10.1145/3238147.3238167

ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
Bo Jiang, Ye Liu, and W. K. Chan
(Beihang University, China; City University of Hong Kong, China)

Publisher's Version

Published Artifact

Artifacts Available Article: ase18main-p52-p doi:10.1145/3238147.3238177

Developer Tools

SEEDE: Simultaneous Execution and Editing in a Development Environment
Steven P. Reiss, Qi Xin, and Jeff Huang
(Brown University, USA)

Publisher's Version Article: ase18main-p88-p doi:10.1145/3238147.3238182

Effective API Recommendation without Historical Software Repositories
Xiaoyu Liu, LiGuo Huang, and Vincent Ng
(Southern Methodist University, USA; University of Texas at Dallas, USA)

Publisher's Version Article: ase18main-p448-p doi:10.1145/3238147.3238216

API Method Recommendation without Worrying about the Task-API Knowledge Gap
Qiao Huang, Xin Xia, Zhenchang Xing, David Lo, and Xinyu Wang
(Zhejiang University, China; Monash University, Australia; Australian National University, Australia; Singapore Management University, Singapore)

Publisher's Version Article: ase18main-p200-p doi:10.1145/3238147.3238191

An Automated Approach to Estimating Code Coverage Measures via Execution Logs
Boyuan Chen, Jian Song, Peng Xu, Xing Hu, and Zhen Ming (Jack) Jiang
(York University, Canada; Baidu, China)

Publisher's Version Article: ase18main-p424-p doi:10.1145/3238147.3238214

Static Analysis

TRIMMER: Application Specialization for Code Debloating
Hashim Sharif, Muhammad Abubakar, Ashish Gehani, and Fareed Zaffar
(University of Illinois at Urbana-Champaign, USA; Lahore University of Management Sciences, Pakistan; SRI International, USA)

Publisher's Version Article: ase18main-p66-p doi:10.1145/3238147.3238160

A Unified Lattice Model and Framework for Purity Analyses
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, and Mira Mezini
(TU Darmstadt, Germany)

Publisher's Version Article: ase18main-p509-p doi:10.1145/3238147.3238226

Verification 1

Control Flow-Guided SMT Solving for Program Verification
Jianhui Chen and Fei He
(Tsinghua University, China)

Publisher's Version Article: ase18main-p450-p doi:10.1145/3238147.3238218

PaMpeR: Proof Method Recommendation System for Isabelle/HOL
Yutaka Nagashima and Yilun He
(Czech Technical University, Czechia; University of Innsbruck, Austria; University of Sydney, Australia)

Publisher's Version Article: ase18main-p396-p doi:10.1145/3238147.3238210

Maintenance and Machine Learning

Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?
Zhongxin Liu, Xin Xia, Ahmed E. Hassan, David Lo, Zhenchang Xing, and Xinyu Wang
(Zhejiang University, China; Monash University, Australia; Queen's University, Canada; Singapore Management University, Singapore; Australian National University, Australia)

Publisher's Version Article: ase18main-p192-p doi:10.1145/3238147.3238190

Deep Learning Based Feature Envy Detection
Hui Liu, Zhifeng Xu, and Yanzhen Zou
(Beijing Institute of Technology, China; Peking University, China)

Publisher's Version Article: ase18main-p247-p doi:10.1145/3238147.3238166

Improving Automatic Source Code Summarization via Deep Reinforcement Learning
Yao Wan, Zhou Zhao, Min Yang, Guandong Xu, Haochao Ying, Jian Wu, and Philip S. Yu
(Zhejiang University, China; Chinese Academy of Sciences, China; University of Technology Sydney, Australia; University of Illinois at Chicago, USA)

Publisher's Version Article: ase18main-p382-p doi:10.1145/3238147.3238206

Symbolic Execution

Template-Guided Concolic Testing via Online Learning
Sooyoung Cha, Seonho Lee, and Hakjoo Oh
(Korea University, South Korea)

Publisher's Version Article: ase18main-p521-p doi:10.1145/3238147.3238227

Android Testing via Synthetic Symbolic Execution
Xiang Gao, Shin Hwei Tan, Zhen Dong, and Abhik Roychoudhury
(National University of Singapore, Singapore; Southern University of Science and Technology, China)

Publisher's Version Article: ase18main-p507-p doi:10.1145/3238147.3238225

PARTI: A Multi-interval Theory Solver for Symbolic Execution
Oscar Soria Dustmann, Klaus Wehrle, and Cristian Cadar
(RWTH Aachen University, Germany; Imperial College London, UK)

Publisher's Version Article: ase18main-p68-p doi:10.1145/3238147.3238179

Maintenance

Client-Specific Equivalence Checking
Federico Mora, Yi Li, Julia Rubin, and Marsha Chechik
(University of Toronto, Canada; University of British Columbia, Canada)

Publisher's Version Article: ase18main-p55-p doi:10.1145/3238147.3238178

Replay without Recording of Production Bugs for Service Oriented Applications
Nipun Arora, Jonathan Bell, Franjo Ivančić, Gail Kaiser, and Baishakhi Ray
(Dropbox, USA; George Mason University, USA; Google, USA; Columbia University, USA)

Publisher's Version Article: ase18main-p141-p doi:10.1145/3238147.3238186

Reducing Interactive Refactoring Effort via Clustering-Based Multi-objective Search
Vahid Alizadeh and Marouane Kessentini
(University of Michigan, USA)

Publisher's Version Article: ase18main-p449-p doi:10.1145/3238147.3238217

Software Quality

FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage
Caroline Lemieux and Koushik Sen
(University of California at Berkeley, USA)

Publisher's Version Article: ase18main-p36-p doi:10.1145/3238147.3238176

Efficiently Manifesting Asynchronous Programming Errors in Android Apps
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, and Geguang Pu
(East China Normal University, China; Nanyang Technological University, Singapore; Chinese Academy of Sciences, China; New York University Shanghai, China)

Publisher's Version Article: ase18main-p446-p doi:10.1145/3238147.3238170

Expandable Group Identification in Spreadsheets
Wensheng Dou, Shi Han, Liang Xu, Dongmei Zhang, and Jun Wei
(University of Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Microsoft Research, China)

Publisher's Version Article: ase18main-p488-p doi:10.1145/3238147.3238222

Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug
Yun Lin, Jun Sun, Lyly Tran, Guangdong Bai, Haijun Wang, and Jinsong Dong
(National University of Singapore, Singapore; Singapore University of Technology and Design, Singapore; Singapore Institute of Technology, Singapore; Nanyang Technological University, Singapore)