Accepted Papers

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

Test Generation
  • 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
  • Crowd Intelligence Enhances Automated Mobile Testing
    Ke Mao, Mark Harman, and Yue Jia
    University College London, UK; Facebook, UK
  • 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
  • Sketch-Guided GUI Test Generation for Mobile Applications
    Chucheng Zhang, Haoliang Cheng, Enyi Tang, Xin Chen, Lei Bu, and Xuandong Li
    Nanjing University, China
  • 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
  • Learn&Fuzz: Machine Learning for Input Fuzzing
    Patrice Godefroid, Hila Peleg, and Rishabh Singh
    Microsoft Research, USA; Technion, Israel
Developers' Practice and Behavior
  • 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
  • Perceived Language Complexity in GitHub Issue Discussions and Their Effect on Issue Resolution
    David Kavaler, Sasha Sirovica, Vincent J. Hellendoorn, Raul Aranovich, and Vladimir Filkov
    University of California at Davis, USA
  • Can Automated Pull Requests Encourage Software Developers to Upgrade Out-of-Date Dependencies?
    Samim Mirhosseini and Chris Parnin
    North Carolina State University, USA
  • 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
  • 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
  • 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
  • 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
  • SymInfer: Inferring Program Invariants using Symbolic States
    ThanhVu Nguyen, Matthew B. Dwyer, and Willem Visser
    University of Nebraska-Lincoln, USA; Stellenbosch University, South Africa
  • Parsimony: An IDE for Example-Guided Synthesis of Lexers and Parsers
    Alan Leung and Sorin Lerner
    University of California at San Diego, USA
  • Mining Constraints for Event-based Monitoring in Systems of Systems
    Thomas Krismayer, Rick Rabiser, and Paul Grünbacher
    JKU Linz, Austria
  • 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
  • Detecting Fragile Comments
    Inderjot Kaur Ratol and Martin P. Robillard
    McGill University, Canada
  • Improving Software Text Retrieval using Conceptual Knowledge in Source Code
    Zeqi Lin, Yanzhen Zou, Junfeng Zhao, and Bing Xie
    Peking University, China
  • Automatically Generating Commit Messages from Diffs using Neural Machine Translation
    Siyuan Jiang, Ameer Armaly, and Collin McMillan
    University of Notre Dame, USA
  • 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; University of Southern California, USA
  • APIBot: Question Answering Bot for API Documentation
    Yuan Tian, Ferdian Thung, Abhishek Sharma, and David Lo
    Singapore Management University, Singapore
  • Automatic Summarization of API Reviews
    Gias Uddin and Foutse Khomh
    McGill University, Canada; Polytechnique Montréal, Canada
Formal Verification
  • 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
  • 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
  • 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
  • Model Checker Execution Reports
    Rodrigo Castaño, Víctor Braberman, Diego Garbervetsky, and Sebastian Uchitel
    University of Buenos Aires, Argentina; Imperial College London, UK
  • Modular Verification of Interrupt-Driven Software
    Chungha Sung, Markus Kusano, and Chao Wang
    Virginia Tech, USA
  • 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
  • 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
  • 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
  • All about Activity Injection: Threats, Semantics, and Detection
    Sungho Lee, Sungjae Hwang, and Sukyoung Ryu
    KAIST, South Korea; LG Electronics, South Korea
  • Detecting Information Flow by Mutating Input Data
    Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, and Andreas Zeller
    CISPA, Germany; Saarland University, Germany; National University of Singapore, Singapore
  • 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
    Chinese Academy of Sciences, China; National University of Singapore, Singapore
  • 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
Mobile Development
  • UI Driven Android Application Reduction
    Jianjun Huang, Yousra Aafer, David Perry, Xiangyu Zhang, and Chen Tian
    Purdue University, USA; Huawei, USA
  • 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
  • Automated Cross-Platform Inconsistency Detection for Mobile Apps
    Mattia Fazzini and Alessandro Orso
    Georgia Institute of Technology, USA
From Failures to Faults
  • Comprehensive Failure Characterization
    Mitchell J. Gerrard and Matthew B. Dwyer
    University of Nebraska-Lincoln, USA
  • TrEKer: Tracing Error Propagation in Operating System Kernels
    Nicolas Coppik, Oliver Schwahn, Stefan Winter, and Neeraj Suri
    TU Darmstadt, Germany
  • 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
  • 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
  • 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; Ohio State University, USA
Source Code Analysis
Symbolic Execution
  • Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing
    Timotej Kapus and Cristian Cadar
    Imperial College London, UK
  • Floating-Point Symbolic Execution: A Case Study in N-Version Programming
    Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, and Klaus Wehrle
    Imperial College London, UK; RWTH Aachen University, Germany
  • Rethinking Pointer Reasoning in Symbolic Execution
    Emilio Coppa, Daniele Cono D'Elia, and Camil Demetrescu
    Sapienza University of Rome, Italy
  • Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution
    Eman Alatawi, Harald Søndergaard, and Tim Miller
    University of Melbourne, Australia
Program Repair
  • Tortoise: Interactive System Configuration Repair
    Aaron Weiss, Arjun Guha, and Yuriy Brun
    Northeastern University, USA; University of Massachusetts at Amherst, USA
  • Contract-Based Program Repair without the Contracts
    Liushan Chen, Yu Pei, and Carlo A. Furia
    Hong Kong Polytechnic University, China; Chalmers University of Technology, Sweden
  • ELIXIR: Effective Object Oriented Program Repair
    Ripon Saha, Yingjun Lyu, Hiroaki Yoshida, and Mukul R. Prasad
    Fujitsu Labs, USA; University of Southern California, USA
  • Leveraging Syntax-Related Code for Automated Program Repair
    Qi Xin and Steven P. Reiss
    Brown University, USA
Recommender Systems
  • Boosting Complete-Code Tool for Partial Program
    Hao Zhong and Xiaoyin Wang
    Shanghai Jiao Tong University, China; University of Texas at San Antonio, USA
  • A Language Model for Statements of Software Code
    Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, and Han Liu
    Tsinghua University, China
  • Context-Aware Integrated Development Environment Command Recommender Systems
    Marko Gasparic, Tural Gurbanov, and Francesco Ricci
    Free University of Bolzano, Italy
  • Predicting Relevance of Change Recommendations
    Thomas Rolfsnes, Leon Moonen, and David Binkley
    Simula Research Laboratory, Norway; Loyola University Maryland, USA
  • AnswerBot: Automated Generation of Answer Summary to Developers' Technical Questions
    Bowen Xu, Zhenchang Xing, Xin Xia, and David Lo
    Zhejiang University, China; Australian National University, Australia; University of British Columbia, Canada; Singapore Management University, Singapore
  • Recommending Crowdsourced Software Developers in Consideration of Skill Improvement
    Zizhe Wang, Hailong Sun, Yang Fu, and Luting Ye
    Beihang University, China
  • The Rise of the (Modelling) Bots: Towards Assisted Modelling via Social Networks
    Sara Perez-Soler, Esther Guerra, Juan de Lara, and Francisco Jurado
    Autonomous University of Madrid, Spain
Concurrency
  • UnDead: Detecting and Tolerating Deadlocks in Production Software
    Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu
    University of Texas at San Antonio, USA; Chinese Academy of Sciences, China
  • Promoting Secondary Orders of Event Pairs in Randomized Scheduling using a Randomized Stride
    Mahmoud Abdelrasoul
    Microsoft, USA; North Carolina State University, USA
  • 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
  • Understanding and Overcoming Parallelism Bottlenecks in ForkJoin Applications
    Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Harry Xu, and Yu David Liu
    Federal University of Paríç, Brazil; SUNY Binghamton, USA; Federal University of Pernambuco, Brazil; University of California at Irvine, USA
  • Quick Verification of Concurrent Programs by Iteratively Relaxed Scheduling
    Patrick Metzler, Habib Saissi, Péter Bokor, and Neeraj Suri
    TU Darmstadt, Germany
Binary Analysis
  • In-Memory Fuzzing for Binary Code Similarity Analysis
    Shuai Wang and Dinghao Wu
    Pennsylvania State University, USA
  • 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
  • Towards Robust Instruction-Level Trace Alignment of Binary Code
    Ulf Kargén and Nahid Shahmehri
    Linköping University, Sweden
  • 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
Tool Demonstrations