ASE 2018 – Proceedings

Frontmatter

Keynotes

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


@InProceedings{ASE18p1, author = {Roberto Di Cosmo}, title = {Software Heritage: Collecting, Preserving, and Sharing All Our Source Code (Keynote)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3238147.3241985}, year = {2018}, } Publisher's Version

Automated Requirements Engineering Challenges with Examples from Small Unmanned Aerial Systems (Keynote)
Jane Cleland-Huang
(University of Notre Dame, USA)


@InProceedings{ASE18p3, author = {Jane Cleland-Huang}, title = {Automated Requirements Engineering Challenges with Examples from Small Unmanned Aerial Systems (Keynote)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3238147.3241986}, year = {2018}, } Publisher's Version

Implementation Science for Software Engineering: Bridging the Gap between Research and Practice (Keynote)
Lauren Herckis
(Carnegie Mellon University, USA)


@InProceedings{ASE18p5, author = {Lauren Herckis}, title = {Implementation Science for Software Engineering: Bridging the Gap between Research and Practice (Keynote)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {5-4}, doi = {10.1145/3238147.3264581}, year = {2018}, } Publisher's Version

The Need for Context in Software Engineering (IEEE CS Harlan Mills Award Keynote)
Gail C. Murphy
(University of British Columbia, Canada)


@InProceedings{ASE18p7, author = {Gail C. Murphy}, title = {The Need for Context in Software Engineering (IEEE CS Harlan Mills Award Keynote)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3238147.3241987}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p9, author = {Sarra Habchi and Xavier Blanc and Romain Rouvoy}, title = {On Adopting Linters to Deal with Performance Concerns in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3238147.3238197}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available

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)


@InProceedings{ASE18p21, author = {Xue Han and Tingting Yu and David Lo}, title = {PerfLearner: Learning from Bug Reports to Understand and Generate Performance Test Frames}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3238147.3238204}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p33, author = {Liang Bao and Xin Liu and Ziheng Xu and Baoyin Fang}, title = {AutoConfig: Automatic Configuration Tuning for Distributed Message Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3238147.3238175}, year = {2018}, } Publisher's Version

Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning
Andrew Habib and Michael Pradel
(TU Darmstadt, Germany)


@InProceedings{ASE18p45, author = {Andrew Habib and Michael Pradel}, title = {Is This Class Thread-Safe? Inferring Documentation using Graph-Based Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3238147.3238212}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p57, author = {Michael Hilton and Jonathan Bell and Darko Marinov}, title = {A Large-Scale Study of Test Coverage Evolution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {57-56}, doi = {10.1145/3238147.3238183}, year = {2018}, } Publisher's Version

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


@InProceedings{ASE18p69, author = {Valerio Terragni and Mauro Pezzè}, title = {Effectiveness and Challenges in Generating Concurrent Tests for Thread-Safe Classes}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3238147.3238224}, year = {2018}, } Publisher's Version

Build and Test Automation

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


@InProceedings{ASE18p81, author = {Gabriël Konat and Sebastian Erdweg and Eelco Visser}, title = {Scalable Incremental Building with Dynamic Task Dependencies}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3238147.3238196}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p93, author = {Keheliya Gallaba and Christian Macho and Martin Pinzger and Shane McIntosh}, title = {Noise and Heterogeneity in Historical Build Data: An Empirical Study of Travis CI}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {93-92}, doi = {10.1145/3238147.3238171}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p105, author = {Sakshi Udeshi and Pryanshu Arora and Sudipta Chattopadhyay}, title = {Automated Directed Fairness Testing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {105-104}, doi = {10.1145/3238147.3238165}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p117, author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening}, title = {Concolic Testing for Deep Neural Networks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {117-116}, doi = {10.1145/3238147.3238172}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p129, author = {Lei Ma and Felix Juefei-Xu and Fuyuan Zhang and Jiyuan Sun and Minhui Xue and Bo Li and Chunyang Chen and Ting Su and Li Li and Yang Liu and Jianjun Zhao and Yadong Wang}, title = {DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3238147.3238202}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p141, author = {Mengshi Zhang and Yuqun Zhang and Lingming Zhang and Cong Liu and Sarfraz Khurshid}, title = {DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3238147.3238187}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p153, author = {Raja Ben Abdessalem and Annibale Panichella and Shiva Nejati and Lionel C. Briand and Thomas Stifter}, title = {Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3238147.3238192}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p165, author = {Mukelabai Mukelabai and Damir Nešić and Salome Maro and Thorsten Berger and Jan-Philipp Steghöfer}, title = {Tackling Combinatorial Explosion: A Study of Industrial Needs and Practices for Analyzing Highly Configurable Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {165-164}, doi = {10.1145/3238147.3238201}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p177, author = {Dongjie He and Lian Li and Lei Wang and Hengjie Zheng and Guangwei Li and Jingling Xue}, title = {Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3238147.3238185}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p189, author = {Pinjia He and Zhuangbin Chen and Shilin He and Michael R. Lyu}, title = {Characterizing the Natural Language Descriptions in Software Logging Statements}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {189-188}, doi = {10.1145/3238147.3238193}, year = {2018}, } Publisher's Version

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


@InProceedings{ASE18p201, author = {John-Paul Ore and Sebastian Elbaum and Carrick Detweiler and Lambros Karkazis}, title = {Assessing the Type Annotation Burden}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3238147.3238173}, year = {2018}, } Publisher's Version

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


@InProceedings{ASE18p213, author = {Vladimir Kovalenko and Fabio Palomba and Alberto Bacchelli}, title = {Mining File Histories: Should We Consider Branches?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {213-212}, doi = {10.1145/3238147.3238169}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p225, author = {Yi Huang and Chunyang Chen and Zhenchang Xing and Tian Lin and Yang Liu}, title = {Tell Them Apart: Distilling Technology Differences from Crowd-Scale Comparison Discussions}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3238147.3238208}, year = {2018}, } Publisher's Version

Security

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


@InProceedings{ASE18p237, author = {Yuju Shen and Yanyan Jiang and Chang Xu and Ping Yu and Xiaoxing Ma and Jian Lu}, title = {ReScue: Crafting Regular Expression DoS Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {237-236}, doi = {10.1145/3238147.3238159}, year = {2018}, } Publisher's Version

TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization
Jie Liu, Diyu Wu, and Jingling Xue
(UNSW, Australia)


@InProceedings{ASE18p249, author = {Jie Liu and Diyu Wu and Jingling Xue}, title = {TDroid: Exposing App Switching Attacks in Android with Control Flow Specialization}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {249-248}, doi = {10.1145/3238147.3238188}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p261, author = {Ameni Ben Fadhel and Domenico Bianculli and Lionel C. Briand}, title = {Model-Driven Run-Time Enforcement of Complex Role-Based Access Control Policies}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3238147.3238167}, year = {2018}, } Publisher's Version

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


@InProceedings{ASE18p273, author = {Bo Jiang and Ye Liu and W. K. Chan}, title = {ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3238147.3238177}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available

Developer Tools

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


@InProceedings{ASE18p285, author = {Steven P. Reiss and Qi Xin and Jeff Huang}, title = {SEEDE: Simultaneous Execution and Editing in a Development Environment}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {285-284}, doi = {10.1145/3238147.3238182}, year = {2018}, } Publisher's Version

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


@InProceedings{ASE18p297, author = {Xiaoyu Liu and LiGuo Huang and Vincent Ng}, title = {Effective API Recommendation without Historical Software Repositories}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {297-296}, doi = {10.1145/3238147.3238216}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p309, author = {Qiao Huang and Xin Xia and Zhenchang Xing and David Lo and Xinyu Wang}, title = {API Method Recommendation without Worrying about the Task-API Knowledge Gap}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3238147.3238191}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p321, author = {Boyuan Chen and Jian Song and Peng Xu and Xing Hu and Zhen Ming (Jack) Jiang}, title = {An Automated Approach to Estimating Code Coverage Measures via Execution Logs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3238147.3238214}, year = {2018}, } Publisher's Version

Static Analysis

How Many of All Bugs Do We Find? A Study of Static Bug Detectors
Andrew Habib and Michael Pradel
(TU Darmstadt, Germany)


@InProceedings{ASE18p333, author = {Andrew Habib and Michael Pradel}, title = {How Many of All Bugs Do We Find? A Study of Static Bug Detectors}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {333-332}, doi = {10.1145/3238147.3238213}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p345, author = {Hashim Sharif and Muhammad Abubakar and Ashish Gehani and Fareed Zaffar}, title = {TRIMMER: Application Specialization for Code Debloating}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {345-344}, doi = {10.1145/3238147.3238160}, year = {2018}, } Publisher's Version

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


@InProceedings{ASE18p357, author = {Dominik Helm and Florian Kübler and Michael Eichberg and Michael Reif and Mira Mezini}, title = {A Unified Lattice Model and Framework for Purity Analyses}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {357-356}, doi = {10.1145/3238147.3238226}, year = {2018}, } Publisher's Version

Verification 1

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


@InProceedings{ASE18p369, author = {Jianhui Chen and Fei He}, title = {Control Flow-Guided SMT Solving for Program Verification}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {369-368}, doi = {10.1145/3238147.3238218}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p381, author = {Yutaka Nagashima and Yilun He}, title = {PaMpeR: Proof Method Recommendation System for Isabelle/HOL}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3238147.3238210}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p393, author = {Zhongxin Liu and Xin Xia and Ahmed E. Hassan and David Lo and Zhenchang Xing and Xinyu Wang}, title = {Neural-Machine-Translation-Based Commit Message Generation: How Far Are We?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {393-392}, doi = {10.1145/3238147.3238190}, year = {2018}, } Publisher's Version

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


@InProceedings{ASE18p405, author = {Hui Liu and Zhifeng Xu and Yanzhen Zou}, title = {Deep Learning Based Feature Envy Detection}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {405-404}, doi = {10.1145/3238147.3238166}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p417, author = {Yao Wan and Zhou Zhao and Min Yang and Guandong Xu and Haochao Ying and Jian Wu and Philip S. Yu}, title = {Improving Automatic Source Code Summarization via Deep Reinforcement Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {417-416}, doi = {10.1145/3238147.3238206}, year = {2018}, } Publisher's Version

Symbolic Execution

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


@InProceedings{ASE18p429, author = {Sooyoung Cha and Seonho Lee and Hakjoo Oh}, title = {Template-Guided Concolic Testing via Online Learning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {429-428}, doi = {10.1145/3238147.3238227}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p441, author = {Xiang Gao and Shin Hwei Tan and Zhen Dong and Abhik Roychoudhury}, title = {Android Testing via Synthetic Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3238147.3238225}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p453, author = {Oscar Soria Dustmann and Klaus Wehrle and Cristian Cadar}, title = {PARTI: A Multi-interval Theory Solver for Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {453-452}, doi = {10.1145/3238147.3238179}, year = {2018}, } Publisher's Version

Maintenance

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


@InProceedings{ASE18p465, author = {Federico Mora and Yi Li and Julia Rubin and Marsha Chechik}, title = {Client-Specific Equivalence Checking}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {465-464}, doi = {10.1145/3238147.3238178}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p477, author = {Nipun Arora and Jonathan Bell and Franjo Ivančić and Gail Kaiser and Baishakhi Ray}, title = {Replay without Recording of Production Bugs for Service Oriented Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3238147.3238186}, year = {2018}, } Publisher's Version

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


@InProceedings{ASE18p489, author = {Vahid Alizadeh and Marouane Kessentini}, title = {Reducing Interactive Refactoring Effort via Clustering-Based Multi-objective Search}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {489-488}, doi = {10.1145/3238147.3238217}, year = {2018}, } Publisher's Version

Software Quality

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


@InProceedings{ASE18p501, author = {Caroline Lemieux and Koushik Sen}, title = {FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3238147.3238176}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p513, author = {Lingling Fan and Ting Su and Sen Chen and Guozhu Meng and Yang Liu and Lihua Xu and Geguang Pu}, title = {Efficiently Manifesting Asynchronous Programming Errors in Android Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {513-512}, doi = {10.1145/3238147.3238170}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p525, author = {Wensheng Dou and Shi Han and Liang Xu and Dongmei Zhang and Jun Wei}, title = {Expandable Group Identification in Spreadsheets}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {525-524}, doi = {10.1145/3238147.3238222}, year = {2018}, } Publisher's Version

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)


@InProceedings{ASE18p537, author = {Yun Lin and Jun Sun and Lyly Tran and Guangdong Bai and Haijun Wang and Jinsong Dong}, title = {Break the Dead End of Dynamic Slicing: Localizing Data and Control Omission Bug}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {537-536}, doi = {10.1145/3238147.3238163}, year = {2018}, } Publisher's Version

Architecture and Requirements

A Genetic Algorithm for Goal-Conflict Identification
Renzo Degiovanni, Facundo Molina, Germán Regis, and Nazareno Aguirre
(National University of Río Cuarto, Argentina; CONICET, Argentina)


@InProceedings{ASE18p549, author = {Renzo Degiovanni and Facundo Molina and Germán Regis and Nazareno Aguirre}, title = {A Genetic Algorithm for Goal-Conflict Identification}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {549-548}, doi = {10.1145/3238147.3238220}, year = {2018}, } Publisher's Version

Mobile Analysis

Understanding and Detecting Callback Compatibility Issues for Android Applications
Huaxun Huang, Lili Wei, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China)


@InProceedings{ASE18p561, author = {Huaxun Huang and Lili Wei and Yepang Liu and Shing-Chi Cheung}, title = {Understanding and Detecting Callback Compatibility Issues for Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3238147.3238181}, year = {2018}, } Publisher's Version

Detecting and Summarizing GUI Changes in Evolving Mobile Apps
Kevin Moran, Cody Watson, John Hoskins, George Purnell, and Denys Poshyvanyk
(College of William and Mary, USA)


@InProceedings{ASE18p573, author = {Kevin Moran and Cody Watson and John Hoskins and George Purnell and Denys Poshyvanyk}, title = {Detecting and Summarizing GUI Changes in Evolving Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {573-572}, doi = {10.1145/3238147.3238203}, year = {2018}, } Publisher's Version

Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps
Yixue Zhao, Paul Wat, Marcelo Schmitt Laser, and Nenad Medvidović
(University of Southern California, USA)


@InProceedings{ASE18p585, author = {Yixue Zhao and Paul Wat and Marcelo Schmitt Laser and Nenad Medvidović}, title = {Empirically Assessing Opportunities for Prefetching and Caching in Mobile Apps}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {585-584}, doi = {10.1145/3238147.3238215}, year = {2018}, } Publisher's Version

Safe Stream-Based Programming with Refinement Types
Benno Stein, Lazaro Clapp, Manu Sridharan, and Bor-Yuh Evan Chang
(University of Colorado Boulder, USA; Uber Technologies, USA)


@InProceedings{ASE18p597, author = {Benno Stein and Lazaro Clapp and Manu Sridharan and Bor-Yuh Evan Chang}, title = {Safe Stream-Based Programming with Refinement Types}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {597-596}, doi = {10.1145/3238147.3238174}, year = {2018}, } Publisher's Version

Repair

Automated Model Repair for Alloy
Kaiyuan Wang, Allison Sullivan, and Sarfraz Khurshid
(University of Texas at Austin, USA)


@InProceedings{ASE18p609, author = {Kaiyuan Wang and Allison Sullivan and Sarfraz Khurshid}, title = {Automated Model Repair for Alloy}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {609-608}, doi = {10.1145/3238147.3238162}, year = {2018}, } Publisher's Version

PFix: Fixing Concurrency Bugs Based on Memory Access Patterns
Huarui Lin, Zan Wang, Shuang Liu, Jun Sun, Dongdi Zhang, and Guangning Wei
(Tianjin University, China; Singapore University of Technology and Design, Singapore)


@InProceedings{ASE18p621, author = {Huarui Lin and Zan Wang and Shuang Liu and Jun Sun and Dongdi Zhang and Guangning Wei}, title = {PFix: Fixing Concurrency Bugs Based on Memory Access Patterns}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3238147.3238198}, year = {2018}, } Publisher's Version

Generating Reusable Web Components from Mockups
Mohammad Bajammal, Davood Mazinanian, and Ali Mesbah
(University of British Columbia, Canada)


@InProceedings{ASE18p633, author = {Mohammad Bajammal and Davood Mazinanian and Ali Mesbah}, title = {Generating Reusable Web Components from Mockups}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {633-632}, doi = {10.1145/3238147.3238194}, year = {2018}, } Publisher's Version

Semantic Crash Bucketing
Rijnard van Tonder, John Kotheimer, and Claire Le Goues
(Carnegie Mellon University, USA)


@InProceedings{ASE18p645, author = {Rijnard van Tonder and John Kotheimer and Claire Le Goues}, title = {Semantic Crash Bucketing}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {645-644}, doi = {10.1145/3238147.3238200}, year = {2018}, } Publisher's Version

Verification 2

A Symbolic Model Checking Approach to the Analysis of String and Length Constraints
Hung-En Wang, Shih-Yu Chen, Fang Yu, and Jie-Hong R. Jiang
(National Taiwan University, Taiwan; National Chengchi University, Taiwan)


@InProceedings{ASE18p657, author = {Hung-En Wang and Shih-Yu Chen and Fang Yu and Jie-Hong R. Jiang}, title = {A Symbolic Model Checking Approach to the Analysis of String and Length Constraints}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {657-656}, doi = {10.1145/3238147.3238189}, year = {2018}, } Publisher's Version

Domain-Independent Multi-threaded Software Model Checking
Dirk Beyer and Karlheinz Friedberger
(LMU Munich, Germany)


@InProceedings{ASE18p669, author = {Dirk Beyer and Karlheinz Friedberger}, title = {Domain-Independent Multi-threaded Software Model Checking}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {669-668}, doi = {10.1145/3238147.3238195}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available

Scheduling Constraint Based Abstraction Refinement for Weak Memory Models
Liangze Yin, Wei Dong, Wanwei Liu, and Ji Wang
(National University of Defense Technology, China)


@InProceedings{ASE18p681, author = {Liangze Yin and Wei Dong and Wanwei Liu and Ji Wang}, title = {Scheduling Constraint Based Abstraction Refinement for Weak Memory Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3238147.3238223}, year = {2018}, } Publisher's Version

Code Differencing and Merging

Datalog-Based Scalable Semantic Diffing of Concurrent Programs
Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, and Chao Wang
(University of Southern California, USA; Microsoft Research, USA; University of Paris Diderot, France)


@InProceedings{ASE18p693, author = {Chungha Sung and Shuvendu K. Lahiri and Constantin Enea and Chao Wang}, title = {Datalog-Based Scalable Semantic Diffing of Concurrent Programs}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {693-692}, doi = {10.1145/3238147.3238211}, year = {2018}, } Publisher's Version

αDiff: Cross-Version Binary Code Similarity Detection with DNN
Bingchang Liu, Wei Huo, Chao Zhang, Wenchao Li, Feng Li, Aihua Piao, and Wei Zou
(Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Tsinghua University, China)


@InProceedings{ASE18p705, author = {Bingchang Liu and Wei Huo and Chao Zhang and Wenchao Li and Feng Li and Aihua Piao and Wei Zou}, title = {αDiff: Cross-Version Binary Code Similarity Detection with DNN}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {705-704}, doi = {10.1145/3238147.3238199}, year = {2018}, } Publisher's Version

ClDiff: Generating Concise Linked Code Differences
Kaifeng Huang, Bihuan Chen, Xin Peng, Daihong Zhou, Ying Wang, Yang Liu, and Wenyun Zhao
(Fudan University, China; Nanyang Technological University, Singapore)


@InProceedings{ASE18p717, author = {Kaifeng Huang and Bihuan Chen and Xin Peng and Daihong Zhou and Ying Wang and Yang Liu and Wenyun Zhao}, title = {ClDiff: Generating Concise Linked Code Differences}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {717-716}, doi = {10.1145/3238147.3238219}, year = {2018}, } Publisher's Version

Mobile Security

Characterizing and Identifying Misexposed Activities in Android Applications
Jiwei Yan, Xi Deng, Ping Wang, Tianyong Wu, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)


@InProceedings{ASE18p729, author = {Jiwei Yan and Xi Deng and Ping Wang and Tianyong Wu and Jun Yan and Jian Zhang}, title = {Characterizing and Identifying Misexposed Activities in Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {729-728}, doi = {10.1145/3238147.3238164}, year = {2018}, } Publisher's Version

A Tale of Two Cities: How WebView Induces Bugs to Android Applications
Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, and Huaxun Huang
(Hong Kong University of Science and Technology, China; Southern University of Science and Technology, China)


@InProceedings{ASE18p741, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing-Chi Cheung and Huaxun Huang}, title = {A Tale of Two Cities: How WebView Induces Bugs to Android Applications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {741-740}, doi = {10.1145/3238147.3238180}, year = {2018}, } Publisher's Version

Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution
Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, and Jianhua Zhao
(Nanjing University, China; Purdue University, USA)


@InProceedings{ASE18p753, author = {Zhenhao Tang and Juan Zhai and Minxue Pan and Yousra Aafer and Shiqing Ma and Xiangyu Zhang and Jianhua Zhao}, title = {Dual-Force: Understanding WebView Malware via Cross-Language Forced Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {753-752}, doi = {10.1145/3238147.3238221}, year = {2018}, } Publisher's Version

Self-Protection of Android Systems from Inter-component Communication Attacks
Mahmoud Hammad, Joshua Garcia, and Sam Malek
(University of California at Irvine, USA)


@InProceedings{ASE18p765, author = {Mahmoud Hammad and Joshua Garcia and Sam Malek}, title = {Self-Protection of Android Systems from Inter-component Communication Attacks}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {765-764}, doi = {10.1145/3238147.3238207}, year = {2018}, } Publisher's Version

Experience Papers

An Empirical Study of Android Test Generation Tools in Industrial Cases
Wenyu Wang, Dengfeng Li, Wei Yang, Yurui Cao, Zhenwen Zhang, Yuetang Deng, and Tao Xie
(University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA; Tencent, China)


@InProceedings{ASE18p777, author = {Wenyu Wang and Dengfeng Li and Wei Yang and Yurui Cao and Zhenwen Zhang and Yuetang Deng and Tao Xie}, title = {An Empirical Study of Android Test Generation Tools in Industrial Cases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {777-776}, doi = {10.1145/3238147.3240465}, year = {2018}, } Publisher's Version

Achieving Test Automation with Testers without Coding Skills: An Industrial Report
Davrondzhon Gafurov, Arne Erik Hurum, and Martin Markman
(Norwegian Directorate of eHealth, Norway)


@InProceedings{ASE18p789, author = {Davrondzhon Gafurov and Arne Erik Hurum and Martin Markman}, title = {Achieving Test Automation with Testers without Coding Skills: An Industrial Report}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {789-788}, doi = {10.1145/3238147.3240463}, year = {2018}, } Publisher's Version

Navigating the Maze: The Impact of Configurability in Bioinformatics Software
Mikaela Cashman, Myra B. Cohen, Priya Ranjan, and Robert W. Cottingham
(University of Nebraska-Lincoln, USA; Oak Ridge National Laboratory, USA)


@InProceedings{ASE18p801, author = {Mikaela Cashman and Myra B. Cohen and Priya Ranjan and Robert W. Cottingham}, title = {Navigating the Maze: The Impact of Configurability in Bioinformatics Software}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3238147.3240466}, year = {2018}, } Publisher's Version

Automatically Testing Implementations of Numerical Abstract Domains
Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, and Peter Müller
(ETH Zurich, Switzerland; MPI-SWS, Germany)


@InProceedings{ASE18p813, author = {Alexandra Bugariu and Valentin Wüstholz and Maria Christakis and Peter Müller}, title = {Automatically Testing Implementations of Numerical Abstract Domains}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {813-812}, doi = {10.1145/3238147.3240464}, year = {2018}, } Publisher's Version

Experiences Applying Automated Architecture Analysis Tool Suites
Ran Mo, Will Snipes, Yuanfang Cai, Srini Ramaswamy, Rick Kazman, and Martin Naedele
(Central China Normal University, China; ABB Corporate Research, USA; Drexel University, USA; ABB, USA; Carnegie Mellon University, USA; University of Hawaii, USA; ABB, Switzerland)


@InProceedings{ASE18p825, author = {Ran Mo and Will Snipes and Yuanfang Cai and Srini Ramaswamy and Rick Kazman and Martin Naedele}, title = {Experiences Applying Automated Architecture Analysis Tool Suites}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {825-824}, doi = {10.1145/3238147.3240467}, year = {2018}, } Publisher's Version

New Ideas Papers

Continuous Code Quality: Are We (Really) Doing That?
Carmine Vassallo, Fabio Palomba, Alberto Bacchelli, and Harald C. Gall
(University of Zurich, Switzerland)


@InProceedings{ASE18p837, author = {Carmine Vassallo and Fabio Palomba and Alberto Bacchelli and Harald C. Gall}, title = {Continuous Code Quality: Are We (Really) Doing That?}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3238147.3240729}, year = {2018}, } Publisher's Version

RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis
Foyzul Hassan, Rodney Rodriguez, and Xiaoyin Wang
(University of Texas at San Antonio, USA)


@InProceedings{ASE18p843, author = {Foyzul Hassan and Rodney Rodriguez and Xiaoyin Wang}, title = {RUDSEA: Recommending Updates of Dockerfiles via Software Environment Analysis}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {843-842}, doi = {10.1145/3238147.3240470}, year = {2018}, } Publisher's Version

Delta Debugging Microservice Systems
Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding
(Fudan University, China; University of Illinois at Urbana-Champaign, USA; Singapore University of Technology and Design, Singapore)


@InProceedings{ASE18p849, author = {Xiang Zhou and Xin Peng and Tao Xie and Jun Sun and Wenhai Li and Chao Ji and Dan Ding}, title = {Delta Debugging Microservice Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {849-848}, doi = {10.1145/3238147.3240730}, year = {2018}, } Publisher's Version

Personalized Teammate Recommendation for Crowdsourced Software Developers
Luting Ye, Hailong Sun, Xu Wang, and Jiaruijue Wang
(Beihang University, China; Beijing Advanced Innovation Center for Big Data and Brain Computing, China)


@InProceedings{ASE18p855, author = {Luting Ye and Hailong Sun and Xu Wang and Jiaruijue Wang}, title = {Personalized Teammate Recommendation for Crowdsourced Software Developers}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {855-854}, doi = {10.1145/3238147.3240472}, year = {2018}, } Publisher's Version

S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts
Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China; Peking University, China; Ant Financial, China)


@InProceedings{ASE18p861, author = {Han Liu and Chao Liu and Wenqi Zhao and Yu Jiang and Jiaguang Sun}, title = {S-gram: Towards Semantic-Aware Security Auditing for Ethereum Smart Contracts}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3238147.3240728}, year = {2018}, } Publisher's Version

An Evolutionary Approach for Analyzing Alloy Specifications
Jianghao Wang, Hamid Bagheri, and Myra B. Cohen
(University of Nebraska-Lincoln, USA)


@InProceedings{ASE18p867, author = {Jianghao Wang and Hamid Bagheri and Myra B. Cohen}, title = {An Evolutionary Approach for Analyzing Alloy Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {867-866}, doi = {10.1145/3238147.3240468}, year = {2018}, } Publisher's Version

A Neural Framework for Retrieval and Summarization of Source Code
Qingying Chen and Minghui Zhou
(Peking University, China)


@InProceedings{ASE18p873, author = {Qingying Chen and Minghui Zhou}, title = {A Neural Framework for Retrieval and Summarization of Source Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {873-872}, doi = {10.1145/3238147.3240471}, year = {2018}, } Publisher's Version

An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation
Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, and Denys Poshyvanyk
(College of William and Mary, USA; University of Lugano, Switzerland; University of Sannio, Italy)


@InProceedings{ASE18p879, author = {Michele Tufano and Cody Watson and Gabriele Bavota and Massimiliano Di Penta and Martin White and Denys Poshyvanyk}, title = {An Empirical Investigation into Learning Bug-Fixing Patches in the Wild via Neural Machine Translation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {879-878}, doi = {10.1145/3238147.3240732}, year = {2018}, } Publisher's Version

Loop Path Reduction by State Pruning
Jianxiong Gao and Steven S. Lumetta
(University of Illinois at Urbana-Champaign, USA)


@InProceedings{ASE18p885, author = {Jianxiong Gao and Steven S. Lumetta}, title = {Loop Path Reduction by State Pruning}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3238147.3240731}, year = {2018}, } Publisher's Version

node2defect: Using Network Embedding to Improve Software Defect Prediction
Yu Qu, Ting Liu, Jianlei Chi, Yangxu Jin, Di Cui, Ancheng He, and Qinghua Zheng
(Xi'an Jiaotong University, China)


@InProceedings{ASE18p891, author = {Yu Qu and Ting Liu and Jianlei Chi and Yangxu Jin and Di Cui and Ancheng He and Qinghua Zheng}, title = {node2defect: Using Network Embedding to Improve Software Defect Prediction}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {891-890}, doi = {10.1145/3238147.3240469}, year = {2018}, } Publisher's Version

Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds
Manasi Patwardhan, Abhishek Sainani, Richa Sharma, Shirish Karande, and Smita Ghaisas
(TCS Research, India)


@InProceedings{ASE18p897, author = {Manasi Patwardhan and Abhishek Sainani and Richa Sharma and Shirish Karande and Smita Ghaisas}, title = {Towards Automating Disambiguation of Regulations: Using the Wisdom of Crowds}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {897-896}, doi = {10.1145/3238147.3240727}, year = {2018}, } Publisher's Version

Tool Demonstrations

jStanley: Placing a Green Thumb on Java Collections
Rui Pereira, Pedro Simão, Jácome Cunha, and João Saraiva
(INESC TEC, Portugal; University of Minho, Portugal; NOVA-LINCS, Portugal; Universidade Nova Lisboa, Portugal)


@InProceedings{ASE18p903, author = {Rui Pereira and Pedro Simão and Jácome Cunha and João Saraiva}, title = {jStanley: Placing a Green Thumb on Java Collections}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {903-902}, doi = {10.1145/3238147.3240473}, year = {2018}, } Publisher's Version

SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation
Farah Hariri and August Shi
(University of Illinois at Urbana-Champaign, USA)


@InProceedings{ASE18p907, author = {Farah Hariri and August Shi}, title = {SRCIROR: A Toolset for Mutation Testing of C Source Code and LLVM Intermediate Representation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {907-906}, doi = {10.1145/3238147.3240482}, year = {2018}, } Publisher's Version

Lightweight Source Code Monitoring with Triggr
Alim Ozdemir, Ayse Tosun, Hakan Erdogmus, and Rui Abreu
(Istanbul Technical University, Turkey; Carnegie Mellon University, USA; University of Lisbon, Portugal)


@InProceedings{ASE18p911, author = {Alim Ozdemir and Ayse Tosun and Hakan Erdogmus and Rui Abreu}, title = {Lightweight Source Code Monitoring with Triggr}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {911-910}, doi = {10.1145/3238147.3240486}, year = {2018}, } Publisher's Version

OCELOT: A Search-Based Test-Data Generation Tool for C
Simone Scalabrino, Giovanni Grano, Dario Di Nucci, Michele Guerra, Andrea De Lucia, Harald C. Gall, and Rocco Oliveto
(University of Molise, Italy; University of Zurich, Switzerland; Vrije Universiteit Brussel, Belgium; University of Salerno, Italy)


@InProceedings{ASE18p915, author = {Simone Scalabrino and Giovanni Grano and Dario Di Nucci and Michele Guerra and Andrea De Lucia and Harald C. Gall and Rocco Oliveto}, title = {OCELOT: A Search-Based Test-Data Generation Tool for C}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {915-914}, doi = {10.1145/3238147.3240477}, year = {2018}, } Publisher's Version

Live Versioning of Web Applications through Refactoring
Julián Grigera, Juan Cruz Gardey, Alejandra Garrido, and Gustavo Rossi
(National University of La Plata, Argentina; CIC, Argentina; CONICET, Argentina)


@InProceedings{ASE18p919, author = {Julián Grigera and Juan Cruz Gardey and Alejandra Garrido and Gustavo Rossi}, title = {Live Versioning of Web Applications through Refactoring}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {919-918}, doi = {10.1145/3238147.3240483}, year = {2018}, } Publisher's Version

code_call_lens: Raising the Developer Awareness of Critical Code
Andrea Janes, Michael Mairegger, and Barbara Russo
(Free University of Bolzano, Italy)


@InProceedings{ASE18p923, author = {Andrea Janes and Michael Mairegger and Barbara Russo}, title = {code_call_lens: Raising the Developer Awareness of Critical Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {923-922}, doi = {10.1145/3238147.3240488}, year = {2018}, } Publisher's Version

Code2graph: Automatic Generation of Static Call Graphs for Python Source Code
Gharib Gharibi, Rashmi Tripathi, and Yugyung Lee
(University of Missouri-Kansas City, USA)


@InProceedings{ASE18p927, author = {Gharib Gharibi and Rashmi Tripathi and Yugyung Lee}, title = {Code2graph: Automatic Generation of Static Call Graphs for Python Source Code}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {927-926}, doi = {10.1145/3238147.3240484}, year = {2018}, } Publisher's Version

The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications
Julien Brunel, David Chemouil, Alcino Cunha, and Nuno Macedo
(ONERA, France; University of Toulouse, France; INESC TEC, Portugal; University of Minho, Portugal)


@InProceedings{ASE18p931, author = {Julien Brunel and David Chemouil and Alcino Cunha and Nuno Macedo}, title = {The Electrum Analyzer: Model Checking Relational First-Order Temporal Specifications}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {931-930}, doi = {10.1145/3238147.3240475}, year = {2018}, } Publisher's Version

ESBMC 5.0: An Industrial-Strength C Model Checker
Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer, and Denis A. Nicole
(University of Southampton, UK; Federal University of Amazonas, Brazil; University of Bristol, UK; University of Manchester, UK; Stellenbosch University, South Africa)


@InProceedings{ASE18p935, author = {Mikhail R. Gadelha and Felipe R. Monteiro and Jeremy Morse and Lucas C. Cordeiro and Bernd Fischer and Denis A. Nicole}, title = {ESBMC 5.0: An Industrial-Strength C Model Checker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {935-934}, doi = {10.1145/3238147.3240481}, year = {2018}, } Publisher's Version

L-CMP: An Automatic Learning-Based Parameterized Verification Tool
Jialun Cao, Yongjian Li, and Jun Pang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of Luxembourg, Luxembourg)


@InProceedings{ASE18p939, author = {Jialun Cao and Yongjian Li and Jun Pang}, title = {L-CMP: An Automatic Learning-Based Parameterized Verification Tool}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {939-938}, doi = {10.1145/3238147.3240487}, year = {2018}, } Publisher's Version

VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary
Jian Gao, Xin Yang, Ying Fu, Yu Jiang, and Jiaguang Sun
(Tsinghua University, China)


@InProceedings{ASE18p943, author = {Jian Gao and Xin Yang and Ying Fu and Yu Jiang and Jiaguang Sun}, title = {VulSeeker: A Semantic Learning Based Vulnerability Seeker for Cross-Platform Binary}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {943-942}, doi = {10.1145/3238147.3240480}, year = {2018}, } Publisher's Version

CPA-SymExec: Efficient Symbolic Execution in CPAchecker
Dirk Beyer and Thomas Lemberger
(LMU Munich, Germany)


@InProceedings{ASE18p947, author = {Dirk Beyer and Thomas Lemberger}, title = {CPA-SymExec: Efficient Symbolic Execution in CPAchecker}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {947-946}, doi = {10.1145/3238147.3240478}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available

CANAL: A Cache Timing Analysis Framework via LLVM Transformation
Chungha Sung, Brandon Paulsen, and Chao Wang
(University of Southern California, USA)


@InProceedings{ASE18p951, author = {Chungha Sung and Brandon Paulsen and Chao Wang}, title = {CANAL: A Cache Timing Analysis Framework via LLVM Transformation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3238147.3240485}, year = {2018}, } Publisher's Version

Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration
Oscar Luis Vera-Pérez, Martin Monperrus, and Benoit Baudry
(Inria, France; KTH, Sweden)


@InProceedings{ASE18p955, author = {Oscar Luis Vera-Pérez and Martin Monperrus and Benoit Baudry}, title = {Descartes: A PITest Engine to Detect Pseudo-Tested Methods: Tool Demonstration}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {955-954}, doi = {10.1145/3238147.3240474}, year = {2018}, } Publisher's Version

DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores
Mohammad Roohitavaf and Sandeep Kulkarni
(Michigan State University, USA)


@InProceedings{ASE18p959, author = {Mohammad Roohitavaf and Sandeep Kulkarni}, title = {DKVF: A Framework for Rapid Prototyping and Evaluating Distributed Key-Value Stores}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {959-958}, doi = {10.1145/3238147.3240476}, year = {2018}, } Publisher's Version

DroidMate-2: A Platform for Android Test Generation
Nataniel P. Borges Jr., Jenny Hotzkow, and Andreas Zeller
(Saarland University, Germany)


@InProceedings{ASE18p963, author = {Nataniel P. Borges Jr. and Jenny Hotzkow and Andreas Zeller}, title = {DroidMate-2: A Platform for Android Test Generation}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {963-962}, doi = {10.1145/3238147.3240479}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available

Doctoral Symposium

Session 1

Assessing and Evaluating Functional Suitability of Software
Philipp Haindl
(JKU Linz, Austria)


@InProceedings{ASE18p967, author = {Philipp Haindl}, title = {Assessing and Evaluating Functional Suitability of Software}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {967-966}, doi = {10.1145/3238147.3241531}, year = {2018}, } Publisher's Version

Session 2

Automatic Mining of Constraints for Monitoring Systems of Systems
Thomas Krismayer
(JKU Linz, Austria)


@InProceedings{ASE18p971, author = {Thomas Krismayer}, title = {Automatic Mining of Constraints for Monitoring Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {971-970}, doi = {10.1145/3238147.3241532}, year = {2018}, } Publisher's Version

Towards Automatic Restrictification of CUDA Kernel Arguments
Rokiatou Diarra
(University of Paris-Sud, France)


@InProceedings{ASE18p975, author = {Rokiatou Diarra}, title = {Towards Automatic Restrictification of CUDA Kernel Arguments}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {975-974}, doi = {10.1145/3238147.3241533}, year = {2018}, } Publisher's Version

A DSL for Requirements in the Context of a Seamless Approach
Florian Galinier
(IRIT, France; University of Toulouse, France)


@InProceedings{ASE18p979, author = {Florian Galinier}, title = {A DSL for Requirements in the Context of a Seamless Approach}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {979-978}, doi = {10.1145/3238147.3241538}, year = {2018}, } Publisher's Version

Session 3

A Multi-objective Framework for Effective Performance Fault Injection in Distributed Systems
Luca Traini
(University of L'Aquila, Italy)


@InProceedings{ASE18p983, author = {Luca Traini}, title = {A Multi-objective Framework for Effective Performance Fault Injection in Distributed Systems}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {983-982}, doi = {10.1145/3238147.3241535}, year = {2018}, } Publisher's Version

Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI Models
David Sferruzza
(LS2N, France)


@InProceedings{ASE18p987, author = {David Sferruzza}, title = {Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI Models}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {987-986}, doi = {10.1145/3238147.3241536}, year = {2018}, } Publisher's Version

Differential Program Analysis with Fuzzing and Symbolic Execution
Yannic Noller
(Humboldt-Universität zu Berlin, Germany)


@InProceedings{ASE18p991, author = {Yannic Noller}, title = {Differential Program Analysis with Fuzzing and Symbolic Execution}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {991-990}, doi = {10.1145/3238147.3241537}, year = {2018}, } Publisher's Version

Software Engineering Techniques Applied to Relational Databases
Julien Delplanque
(University of Lille, France; CNRS, France; Inria, France)


@InProceedings{ASE18p995, author = {Julien Delplanque}, title = {Software Engineering Techniques Applied to Relational Databases}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {995-994}, doi = {10.1145/3238147.3241534}, year = {2018}, } Publisher's Version

Journal-First Papers

Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract)
Nada Almasri, Luay Tahat, and Bogdan Korel
(Gulf University for Science and Technology, Kuwait; Illinois Institute of Technology, USA)


@InProceedings{ASE18p999, author = {Nada Almasri and Luay Tahat and Bogdan Korel}, title = {Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {999-998}, doi = {10.1145/3238147.3241984}, year = {2018}, } Publisher's Version

Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract)
Davide Falessi, Massimiliano Di Penta, Gerardo Canfora, and Giovanni Cantone
(California Polytechnic State University, USA; University of Sannio, Italy; University of Rome Tor Vergata, Italy)


@InProceedings{ASE18p1000, author = {Davide Falessi and Massimiliano Di Penta and Gerardo Canfora and Giovanni Cantone}, title = {Estimating the Number of Remaining Links in Traceability Recovery (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1000-999}, doi = {10.1145/3238147.3241982}, year = {2018}, } Publisher's Version

Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)
Felipe R. Monteiro, Mário A. P. Garcia, Lucas C. Cordeiro, and Eddie B. de Lima Filho
(Federal University of Amazonas, Brazil; University of Manchester, UK; TPV Technology, Brazil)


@InProceedings{ASE18p1001, author = {Felipe R. Monteiro and Mário A. P. Garcia and Lucas C. Cordeiro and Eddie B. de Lima Filho}, title = {Bounded Model Checking of C++ Programs Based on the Qt Cross-Platform Framework (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3238147.3241981}, year = {2018}, } Publisher's Version

Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)
Paola Accioly, Paulo Borba, and Guilherme Cavalcanti
(Federal University of Pernambuco, Brazil)


@InProceedings{ASE18p1002, author = {Paola Accioly and Paulo Borba and Guilherme Cavalcanti}, title = {Understanding Semi-structured Merge Conflict Characteristics in Open-Source Java Projects (Journal-First Abstract)}, booktitle = {Proc.\ ASE}, publisher = {ACM}, pages = {1002-1001}, doi = {10.1145/3238147.3241983}, year = {2018}, } Publisher's Version

proc time: 0.77