Accepted Papers

See ASE 2017 Conference Publishing for more details on the accepted papers.

Legend:
description Technical Research Paper
content_paste Experience Paper
lightbulb_outline New Idea Paper
import_contacts Journal First Paper
stars ACM Distinguished Paper
Test Generation
  • description Systematically Testing Background Services of Mobile Apps
    Li Lyna Zhang, Chieh-Jan Mike Liang, Yunxin Liu, and Enhong Chen
    University of Science and Technology of China, China; Microsoft Research, China
  • description Crowd Intelligence Enhances Automated Mobile Testing
    Ke Mao, Mark Harman, and Yue Jia
    University College London, UK; Facebook, UK
  • description EHBDroid: Beyond GUI Testing for Android Applications
    Wei Song, Xiangxing Qian, and Jeff Huang
    Nanjing University of Science and Technology, China; Texas A&M University, USA
  • lightbulb_outline Sketch-Guided GUI Test Generation for Mobile Applications
    Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
    Nanjing University, China
  • lightbulb_outline Saying 'Hi!' Is Not Enough: Mining Inputs for Effective Test Generation
    Luca Della Toffola, Cristian Alexandru Staicu, and Michael Pradel
    ETH Zurich, Switzerland; TU Darmstadt, Germany
  • description Learn&Fuzz: Machine Learning for Input Fuzzing
    Patrice Godefroid, Hila Peleg, and Rishabh Singh
    Microsoft Research, USA; Technion, Israel
Developers' Practice and Behavior
  • description The Impact of Continuous Integration on Other Software Development Practices: A Large-Scale Empirical Study
    Yangyang Zhao, Alexander Serebrenik, Yuming Zhou, Vladimir Filkov, and Bogdan Vasilescu
    Nanjing University, China; Eindhoven University of Technology, Netherlands; University of California at Davis, USA; Carnegie Mellon University, USA
  • description Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
    David Kavaler, Sasha Sirovica, Vincent Hellendoorn, Raul Aranovich, and Vladimir Filkov
    University of California at Davis, USA
  • description Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?
    Samim Mirhosseini and Chris Parnin
    North Carolina State University, USA
  • description Are Developers Aware of the Architectural Impact of Their Changes?
    Matheus Paixao, Jens Krinke, DongGyun Han, Chaiyong Ragkhitwetsagul, and Mark Harman
    University College London, UK
  • lightbulb_outline SentiCR: A Customized Sentiment Analysis Tool for Code Review Interactions
    Toufique Ahmed, Amiangshu Bosu, Anindya Iqbal, and Shahram Rahimi
    Bangladesh University of Engineering and Technology, Bangladesh; Southern Illinois University at Carbondale, USA
Program Synthesis
  • description Automatic Loop-Invariant Generation and Refinement through Selective Sampling
    Jiaying Li, Jun Sun, Li Li, Quang Loc Le, and Shang-Wei Lin
    Singapore University of Technology and Design, Singapore; Teesside University, UK; Nanyang Technological University, Singapore
  • description stars FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers
    Shang-Wei Lin, Jun Sun, Hao Xiao, Yang Liu, David Sanán, and Henri Hansen
    Nanyang Technological University, Singapore; Singapore University of Technology and Design, Singapore; Tampere University of Technology, Finland
  • description SymInfer: Inferring Program Invariants using Symbolic States
    ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser
    University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa
  • description Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers
    Alan Leung and Sorin Lerner
    University of California at San Diego, USA
  • lightbulb_outline Mining Constraints for Event-based Monitoring in Systems of Systems
    Thomas Krismayer, Rick Rabiser, and Paul Grünbacher
    JKU Linz, Austria
  • lightbulb_outline Programming Bots by Synthesizing Natural Language Expressions into API Invocations
    Shayan Zamanirad, Boualem Benatallah, Moshe Chai Barukh, Fabio Casati, and Carlos Rodriguez
    UNSW, Australia; University of Trento, Italy; Tomsk Polytechnic University, Russia
Documentation
  • description stars Detecting Fragile Comments
    Inderjot Kaur Ratol and Martin P. Robillard
    McGill University, Canada
  • description Improving Software Text Retrieval using Conceptual Knowledge in Source Code
    Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie
    Peking University, China
  • description Automatically Generating Commit Messages from Diffs using Neural Machine Translation
    Siyuan Jiang, Ameer Armaly, and Collin McMillan
    University of Notre Dame, USA
  • lightbulb_outline Improving Missing Issue-Commit Link Recovery using Positive and Unlabeled Data
    Yan Sun, Celia Chen, Qing Wang, and Barry Boehm
    University at Chinese Academy of Sciences, China; Institute of Software at Chinese Academy of Sciences, China; Occidental College, USA; University of Southern California, USA
  • lightbulb_outline APIBot: Question Answering Bot for API Documentation
    Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo
    Singapore Management University, Singapore
  • description Automatic Summarization of API Reviews
    Gias Uddin and Foutse Khomh
    McGill University, Canada; Polytechnique Montréal, Canada
Formal Verification
  • description iCoq: Regression Proof Selection for Large-Scale Verification Projects
    Ahmet Celik, Karl Palmskog, and Milos Gligoric
    University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA
  • description More Effective Interpolations in Software Model Checking
    Cong Tian, Zhao Duan, Zhenhua Duan, and C.H. Luke Ong
    Xidian University, China; University of Oxford, UK
  • lightbulb_outline Proof-Based Coverage Metrics for Formal Verification
    Elaheh Ghassabani, Andrew Gacek, Michael Whalen, Mats P. E. Heimdahl, and Lucas Wagner
    University of Minnesota, USA; Rockwell Collins, USA
  • lightbulb_outline Model Checker Execution Reports
    Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel
    University of Buenos Aires, Argentina; CONICET, Argentina
  • description Modular Verification of Interrupt-Driven Software
    Chungha Sung, Markus Kusano, and Chao Wang
    University of Southern California, USA; Virginia Tech, USA
  • description BProVe: A Formal Verification Framework for Business Process Models
    Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
    University of Camerino, Italy; DTU, Denmark
Security
  • description Static Detection of Asymptotic Resource Side-Channel Vulnerabilities in Web Applications
    Jia Chen, Oswaldo Olivo, Isil Dillig, and Calvin Lin
    University of Texas at Austin, USA
  • description PAD: Programming Third-Party Web Advertisement Censorship
    Weihang Wang, Yonghwi Kwon, Yunhui Zheng, Yousra Aafer, I. Luk Kim, Wen-Chuan Lee, Yingqi Liu, Weijie Meng, Xiangyu Zhang, and Patrick Eugster
    Purdue University, USA; IBM Research, USA; TU Darmstadt, Germany
  • description All about Activity Injection: Threats, Semantics, and Detection
    Sungho Lee, Sungjae Hwang, and Sukyoung Ryu
    KAIST, South Korea; LG Electronics, South Korea
  • description Detecting Information Flow by Mutating Input Data
    Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller
    Saarland University, Germany; National University of Singapore, Singapore
  • lightbulb_outline Automatically Assessing Crashes from Heap Overflows
    Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng
    Institute of Software at Chinese Academy of Sciences, China; National University of Singapore, Singapore
  • lightbulb_outline Learning to Share: Engineering Adaptive Decision-Support for Online Social Networks
    Yasmin Rafiq, Luke Dickens, Alessandra Russo, Arosha K. Bandara, Mu Yang, Avelie Stuart, Mark Levine, Gul Calikli, Blaine A. Price, and Bashar Nuseibeh
    Imperial College London, UK; University College London, UK; Open University, UK; University of Southampton, UK; University of Exeter, UK; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; Lero, Ireland
Mobile Development
  • description UI Driven Android Application Reduction
    Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
    Purdue University, USA; Huawei, USA
  • description SimplyDroid: Efficient Event Sequence Simplification for Android Application
    Bo Jiang, Yuxuan Wu, Teng Li, and W. K. Chan
    Beihang University, China; City University of Hong Kong, China
  • description Automated Cross-Platform Inconsistency Detection for Mobile Apps
    Mattia Fazzini and Alessandro Orso
    Georgia Institute of Technology, USA
  • import_contacts Detecting Plagiarized Mobile Apps using API Birthmarks
    Daeyoung Kim, Amruta Gokhale, Vinod Ganapathy, and Abhinav Srivastava
    Rutgers University, USA; AT&T Labs at Bedminster, USA
From Failures to Faults
  • description Comprehensive Failure Characterization
    Mitchell J. Gerrard and Matthew B. Dwyer
    University of Nebraska-Lincoln, USA
  • import_contacts Fault Localization using Itemset Mining under Constraints
    Mehdi Maamar, Nadjib Lazaar, Samir Loudni, and Yahia Lebbah
    University of Oran 1, Algeria; CNRS, France; University of Montpellier, France; LIRMM, France; University of Caen, France
  • description TrEKer: Tracing Error Propagation in Operating System Kernels
    Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri
    TU Darmstadt, Germany
  • lightbulb_outline RuntimeSearch: Ctrl+F for a Running Program
    Matúš Sulír and Jaroslav Porubän
    Technical University of Košice, Slovakia
Program Comprehension
Models
Reliability and Bugs
  • description A Comprehensive Study of Real-World Numerical Bug Characteristics
    Anthony Di Franco, Hui Guo, and Cindy Rubio-González
    University of California at Davis, USA
  • description A Comprehensive Study on Real World Concurrency Bugs in Node.js
    Jie Wang, Wensheng Dou, Yu Gao, Chushu Gao, Feng Qin, Kang Yin, and Jun Wei
    Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; Ohio State University, USA
  • import_contacts An Effective Change Recommendation Approach for Supplementary Bug Fixes
    Xin Xia and David Lo
    Zhejiang University, China; Singapore Management University, Singapore
  • import_contacts Understanding the Value of Considering Client Usage Context in Package Cohesion for Fault-Proneness Prediction
    Yangyang Zhao, Yibiao Yang, Hongmin Lu, Jinping Liu, Hareton Leung, Yansong Wu, Yuming Zhou, and Baowen Xu
    Nanjing University, China; Hong Kong Polytechnic University, China
  • import_contacts Meta-learning Based Selection of Software Reliability Models
    Rafael Caiuta, Aurora Pozo, and Silvia Regina Vergilio
    Federal University of Paraná, Brazil
Source Code Analysis
Symbolic Execution
Program Repair
Recommender Systems
  • description Boosting Complete-Code Tool for Partial Program
    Hao Zhong and Xiaoyin Wang
    Shanghai Jiao Tong University, China; University of Texas at San Antonio, USA
  • lightbulb_outline A Language Model for Statements of Software Code
    Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
    Tsinghua University, China
  • lightbulb_outline Context-Aware Integrated Development Environment Command Recommender Systems
    Marko Gasparic, Tural Gurbanov, and Francesco Ricci
    Free University of Bolzano, Italy
  • description Predicting Relevance of Change Recommendations
    Thomas Rolfsnes, Leon Moonen, and David Binkley
    Simula Research Laboratory, Norway; Loyola University Maryland, USA
  • description AnswerBot: Automated Generation of Answer Summary to Developers' Technical Questions
    Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo
    Zhejiang University, China; Singapore Management University, Singapore; Australian National University, Australia; University of British Columbia, Canada
  • lightbulb_outline Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
    Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye
    Beihang University, China
  • lightbulb_outline The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
    Sara Pérez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado
    Autonomous University of Madrid, Spain
Concurrency
  • description UNDEAD: Detecting and Preventing Deadlocks in Production Software
    Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
    University of Texas at San Antonio, USA; Institute of Software at Chinese Academy of Sciences, China
  • description Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride
    Mahmoud Abdelrasoul
    North Carolina State University, USA
  • description Parallel Bug-Finding in Concurrent Programs via Reduced Interleaving Instances
    Truc L. Nguyen, Peter Schrammel, Bernd Fischer, Salvatore La Torre, and Gennaro Parlato
    University of Southampton, UK; University of Sussex, UK; Stellenbosch University, South Africa; University of Salerno, Italy
  • description Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
    Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, and Yu David Liu
    Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA
  • lightbulb_outline Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
    Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri
    TU Darmstadt, Germany
Binary Analysis
  • description In-Memory Fuzzing for Binary Code Similarity Analysis
    Shuai Wang and Dinghao Wu
    Pennsylvania State University, USA
  • description DSIbin: Identifying Dynamic Data Structures in C/C++ Binaries
    Thomas Rupprecht, Xi Chen, David H. White, Jan H. Boockmann, Gerald Lüttgen, and Herbert Bos
    University of Bamberg, Germany; Microsoft, Canada; VU University Amsterdam, Netherlands
  • description Towards Robust Instruction-Level Trace Alignment of Binary Code
    Ulf Kargén and Nahid Shahmehri
    Linköping University, Sweden
  • description Testing Intermediate Representations for Binary Analysis
    Soomin Kim, Markus Faerevaag, Minkyu Jung, SeungIl Jung, DongYeop Oh, JongHyup Lee, and Sang Kil Cha
    KAIST, South Korea; Gachon University, South Korea
Testing
  • description Test Suite Parallelization in Open-Source Projects: A Study on Its Usage and Impact
    Jeanderson Candido, Luis Melo, and Marcelo d'Amorim
    Federal University of Pernambuco, Brazil
  • description Systematic Reduction of GUI Test Sequences
    Lin Cheng, Zijiang Yang, and Chao Wang
    Western Michigan University, USA; University of Southern California, USA
  • description Automatically Reducing Tree-Structured Test Inputs
    Satia Herfert, Jibesh Patra, and Michael Pradel
    TU Darmstadt, Germany
  • import_contacts Analysing the Fitness Landscape of Search-Based Software Testing Problems
    Aldeida Aleti, I. Moser, and Lars Grunske
    Monash University, Australia; Swinburne University of Technology, Australia; University of Stuttgart, Germany
  • description Synthetic Data Generation for Statistical Testing
    Ghanem Soltana, Mehrdad Sabetzadeh, and Lionel C. Briand
    University of Luxembourg, Luxembourg
Tool Demonstrations