ASE 2016 – Proceedings

31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), September 3–7, 2016, Singapore, Singapore

Frontmatter

Keynotes

Program Generation for Performance
Markus Püschel
(ETH Zurich, Switzerland)
Article: ase16key-key1-p (type: Invited Talk Abstract (1 page)) doi:

Changing Microsoft's Build: Revolution or Evolution
Wolfram Schulte
(Microsoft, USA)
Article: ase16key-key2-p (type: Invited Talk Abstract (1 page)) doi:

The Power of Probabilistic Thinking
David S. Rosenblum
(National University of Singapore, Singapore)
Article: ase16key-key3-p (type: Invited Talk Abstract (1 page)) doi:

Main Research Papers

Test Evaluation

An Empirical Investigation into the Nature of Test Smells
Michele Tufano, Fabio Palomba, Gabriele Bavota, Massimiliano Di Penta, Rocco Oliveto, Andrea De Lucia, and Denys Poshyvanyk
(College of William and Mary, USA; University of Salerno, Italy; University of Lugano, Switzerland; University of Sannio, Italy; University of Molise, Italy)
Article: ase16main-mainp268-p (type: Technical Research (10 pages + 2 pages references)) doi:

Evaluating Non-adequate Test-Case Reduction
Mohammad Amin Alipour, August Shi, Rahul Gopinath, Darko Marinov, and Alex Groce
(Oregon State University, USA; University of Illinois at Urbana-Champaign, USA)
Article: ase16main-mainp400-p (type: Technical Research (10 pages + 2 pages references)) doi:

Optimizing Customized Program Coverage
Peter Ohmann, David Bingham Brown, Naveen Neelakandan, Jeff Linderoth, and Ben Liblit
(University of Wisconsin-Madison, USA)
Article: ase16main-mainp346-p (type: Technical Research (10 pages + 2 pages references)) doi:

What Makes Killing a Mutant Hard
Willem Visser
(Stellenbosch University, South Africa)
Article: ase16main-mainp309-p (type: New Ideas (6 pages)) doi:

Test Case Permutation to Improve Execution Time
Panagiotis Stratis and Ajitha Rajan
(University of Edinburgh, UK)
Article: ase16main-mainp228-p (type: New Ideas (6 pages)) doi:

Learning

Predicting Semantically Linkable Knowledge in Developer Online Forums via Convolutional Neural Network
Bowen Xu, Deheng Ye, Zhenchang Xing, Xin Xia, Guibin Chen, and Shanping Li
(Zhejiang University, China; Nanyang Technological University, Singapore)
Article: ase16main-mainp387-p (type: Technical Research (10 pages + 2 pages references)) doi:

Testing Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks
Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, and Thomas Stifter
(University of Luxembourg, Luxembourg; IEE, Luxembourg)
Article: ase16main-mainp098-p (type: Technical Research (10 pages + 2 pages references)) doi:

Privacy Preserving via Interval Covering Based Subclass Division and Manifold Learning Based Bi-directional Obfuscation for Effort Estimation
Fumin Qi, Xiao-Yuan Jing, Xiaoke Zhu, Fei Wu, and Li Cheng
(Wuhan University, China; Nanjing University of Posts and Telecommunications, China; Henan University, China)
Article: ase16main-mainp042-p (type: Technical Research (10 pages + 2 pages references)) doi:

Deep Learning Code Fragments for Code Clone Detection
Martin White, Michele Tufano, Christopher Vendome, and Denys Poshyvanyk
(College of William and Mary, USA)
Article: ase16main-mainp206-p (type: Technical Research (10 pages + 2 pages references)) doi:

Recommendation and Automation

Automatically Recommending Code Reviewers Based on Their Expertise: An Empirical Comparison
Christoph Hannebauer, Michael Patalas, Sebastian Stünkel, and Volker Gruhn
(University of Duisburg-Essen, Germany)
Article: ase16main-mainp070-p (type: Technical Research (10 pages + 2 pages references)) doi:

Evaluating the Evaluations of Code Recommender Systems: A Reality Check
Sebastian Proksch, Sven Amann, Sarah Nadi, and Mira Mezini
(TU Darmstadt, Germany)
Article: ase16main-mainp219-p (type: Technical Research (10 pages + 2 pages references)) doi:

Too Much Automation? The Bellwether Effect and Its Implications for Transfer Learning
Rahul Krishna, Tim Menzies, and Wei Fu
(North Carolina State University, USA)
Article: ase16main-mainp260-p (type: Technical Research (10 pages + 2 pages references)) doi:

Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding
Marcelino Rodriguez-Cancio, Benoit Combemale, and Benoit Baudry
(University of Rennes 1, France; INRIA, France)
Article: ase16main-mainp328-p (type: Technical Research (10 pages + 2 pages references)) doi:

Model-Based Testing and Oracles

Visualization of Combinatorial Models and Test Plans
Rachel Tzoref-Brill, Paul Wojciak, and Shahar Maoz
(Tel Aviv University, Israel; IBM Research, Israel; IBM, USA)
Article: ase16main-mainp037-p (type: Technical Research (10 pages + 2 pages references)) doi:

Finding Access Control Bugs in Web Applications with CanCheck
Ivan Bocić and Tevfik Bultan
(University of California at Santa Barbara, USA)
Article: ase16main-mainp345-p (type: Technical Research (10 pages + 2 pages references)) doi:

SOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities
Mariano Ceccato, Cu D. Nguyen, Dennis Appelt, and Lionel C. Briand
(Fondazione Bruno Kessler, Italy; University of Luxembourg, Luxembourg)
Article: ase16main-mainp298-p (type: Technical Research (10 pages + 2 pages references)) doi:

Supporting Oracle Construction via Static Analysis
Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie, and Hong Mei
(Peking University, China; University of Texas at Dallas, USA)
Article: ase16main-mainp429-p (type: Technical Research (10 pages + 2 pages references)) doi:

Crowdsourcing

Local-Based Active Classification of Test Report to Assist Crowdsourced Testing
Junjie Wang, Song Wang, Qiang Cui, and Qing Wang
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; University of Waterloo, Canada)
Article: ase16main-mainp019-p (type: Technical Research (10 pages + 2 pages references)) doi:

Multi-objective Test Report Prioritization using Image Understanding
Yang Feng, James A. Jones, Zhenyu Chen, and Chunrong Fang
(University of California at Irvine, USA; Nanjing University, China)
Article: ase16main-mainp433-p (type: Technical Research (10 pages + 2 pages references)) doi:

CrowdService: Serving the Individuals through Mobile Crowdsourcing and Service Composition
Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh, and Wenyun Zhao
(Fudan University, China; Singapore University of Technology and Design, Singapore; Open University, UK; University of Limerick, Ireland)
Article: ase16main-mainp241-p (type: New Ideas (6 pages)) doi:

QUICKAR: Automatic Query Reformulation for Concept Location using Crowdsourced Knowledge
Mohammad Masudur Rahman and Chanchal K. Roy
(University of Saskatchewan, Canada)
Article: ase16main-mainp401-p (type: New Ideas (6 pages)) doi:

Android

Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps
Lili Wei, Yepang Liu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)
Article: ase16main-mainp113-p (type: Technical Research (10 pages + 2 pages references)) doi:

Automated Model-Based Android GUI Testing using Multi-level GUI Comparison Criteria
Young-Min Baek and Doo-Hwan Bae
(KAIST, South Korea)
Article: ase16main-mainp127-p (type: Technical Research (10 pages + 2 pages references)) doi:

HybriDroid: Static Analysis Framework for Android Hybrid Applications
Sungho Lee, Julian Dolby, and Sukyoung Ryu
(KAIST, South Korea; IBM Research, USA)
Article: ase16main-mainp443-p (type: Technical Research (10 pages + 2 pages references)) doi:

Faults

Locus: Locating Bugs from Software Changes
Ming Wen, Rongxin Wu, and Shing-Chi Cheung
(Hong Kong University of Science and Technology, China)
Article: ase16main-mainp395-p (type: Technical Research (10 pages + 2 pages references)) doi:

Fine-Tuning Spectrum Based Fault Localisation with Frequent Method Item Sets
Gulsher Laghari, Alessandro Murgia, and Serge Demeyer
(University of Antwerp, Belgium)
Article: ase16main-mainp079-p (type: Technical Research (10 pages + 2 pages references)) doi:

Recommending Relevant Classes for Bug Reports using Multi-objective Search
Rafi Almhana, Wiem Mkaouer, Marouane Kessentini, and Ali Ouni
(University of Michigan, USA; Osaka University, Japan)
Article: ase16main-mainp305-p (type: Technical Research (10 pages + 2 pages references)) doi:

An Empirical Study on Dependence Clusters for Effort-Aware Fault-Proneness Prediction
Yibiao Yang, Mark Harman, Jens Krinke, Syed Islam, David Binkley, Yuming Zhou, and Baowen Xu
(Nanjing University, China; University College London, UK; University of East London, UK; Loyola University Maryland, USA)
Article: ase16main-mainp351-p (type: Technical Research (10 pages + 2 pages references)) doi:

Program Analysis

StraightTaint: Decoupled Offline Symbolic Taint Analysis
Jiang Ming, Dinghao Wu, Jun Wang, Gaoyao Xiao, and Peng Liu
(Pennsylvania State University, USA)
Article: ase16main-mainp017-p (type: Technical Research (10 pages + 2 pages references)) doi:

IncA: A DSL for the Definition of Incremental Program Analyses
Tamás Szabó, Sebastian Erdweg, and Markus Voelter
(itemis, Germany; Delft University of Technology, Netherlands)
Article: ase16main-mainp012-p (type: Technical Research (10 pages + 2 pages references)) doi:

What Developers Want and Need from Program Analysis: An Empirical Study
Maria Christakis and Christian Bird
(Microsoft Research, USA)
Article: ase16main-mainp329-p (type: Technical Research (10 pages + 2 pages references)) doi:

DistIA: A Cost-Effective Dynamic Impact Analysis for Distributed Programs
Haipeng Cai and Douglas Thain
(Washington State University, USA; University of Notre Dame, USA)
Article: ase16main-mainp347-p (type: Technical Research (10 pages + 2 pages references)) doi:

Locks and Races

Radius Aware Probabilistic Testing of Deadlocks with Guarantees
Yan Cai and Zijiang Yang
(Institute of Software at Chinese Academy of Sciences, China; Western Michigan University, USA)
Article: ase16main-mainp071-p (type: Technical Research (10 pages + 2 pages references)) doi:

LockPeeker: Detecting Latent Locks in Java APIs
Ziyi Lin, Hao Zhong, Yuting Chen, and Jianjun Zhao
(Shanghai Jiao Tong University, China; Kyushu University, Japan)
Article: ase16main-mainp356-p (type: Technical Research (10 pages + 2 pages references)) doi:

Sound Static Deadlock Analysis for C/Pthreads
Daniel Kroening, Daniel Poetzl, Peter Schrammel, and Björn Wachter
(University of Oxford, UK; University of Sussex, UK; SSW-Trading, Germany)
Article: ase16main-mainp088-p (type: Technical Research (10 pages + 2 pages references)) doi:

Static Race Detection for Device Drivers: The Goblint Approach
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, and Ralf Vogler
(University of Tartu, Estonia; TU Munich, Germany)
Article: ase16main-mainp251-p (type: Technical Research (10 pages + 2 pages references)) doi:

Empirical Studies and New Ideas

An Empirical Evaluation of Two User Interfaces of an Interactive Program Verifier
Martin Hentschel, Reiner Hähnle, and Richard Bubel
(TU Darmstadt, Germany)
Article: ase16main-mainp044-p (type: Experience (10 pages + 2 pages references)) doi:

Traceability Maintenance: Factors and Guidelines
Salome Maro, Anthony Anjorin, Rebekka Wohlrab, and Jan-Philipp Steghöfer
(Chalmers University of Technology, Sweden; University of Gothenburg, Sweden; University of Paderborn, Germany)
Article: ase16main-mainp140-p (type: Experience (10 pages + 2 pages references)) doi:

Usage, Costs, and Benefits of Continuous Integration in Open-Source Projects
Michael Hilton, Timothy Tunnell, Kai Huang, Darko Marinov, and Danny Dig
(Oregon State University, USA; University of Illinois, USA)
Article: ase16main-mainp388-p (type: Technical Research (10 pages + 2 pages references)) doi:

DSL-Maps: From Requirements to Design of Domain-Specific Languages
Ana Pescador and Juan de Lara
(Autonomous University of Madrid, Spain)
Article: ase16main-mainp212-p (type: New Ideas (6 pages)) doi:

The IDE as a Scriptable Information System
Dimitar Asenov, Peter Müller, and Lukas Vogel
(ETH Zurich, Switzerland; Ergon Informatik, Switzerland)
Article: ase16main-mainp214-p (type: New Ideas (6 pages)) doi:

Inference

Inferring Annotations for Device Drivers from Verification Histories
Zvonimir Pavlinovic, Akash Lal, and Rahul Sharma
(New York University, USA; Microsoft Research, India; Stanford University, USA)
Article: ase16main-mainp052-p (type: Technical Research (10 pages + 2 pages references)) doi:

Array Length Inference for C Library Bindings
Alisa J. Maas, Henrique Nazaré, and Ben Liblit
(University of Wisconsin-Madison, USA; Federal University of Minas Gerais, Brazil)
Article: ase16main-mainp093-p (type: Technical Research (10 pages + 2 pages references)) doi:

APEx: Automated Inference of Error Specifications for C APIs
Yuan Kang, Baishakhi Ray, and Suman Jana
(Columbia University, USA; University of Virginia, USA)
Article: ase16main-mainp353-p (type: Technical Research (10 pages + 2 pages references)) doi:

Interactions, Deltas, Goals

On Essential Configuration Complexity: Measuring Interactions in Highly-Configurable Systems
Jens Meinicke, Chu-Pan Wong, Christian Kästner, Thomas Thüm, and Gunter Saake
(University of Magdeburg, Germany; Carnegie Mellon University, USA; TU Braunschweig, Germany)
Article: ase16main-mainp195-p (type: Technical Research (10 pages + 2 pages references)) doi:

Precise Semantic History Slicing through Dynamic Delta Refinement
Yi Li, Chenguang Zhu, Julia Rubin, and Marsha Chechik
(University of Toronto, Canada; Massachusetts Institute of Technology, USA)
Article: ase16main-mainp245-p (type: Technical Research (10 pages + 2 pages references)) doi:

Goal-Conflict Detection Based on Temporal Satisfiability Checking
Renzo Degiovanni, Nicolas Ricci, Dalal Alrajeh, Pablo Castro, and Nazareno Aguirre
(Universidad Nacional de Río Cuarto, Argentina; CONICET, Argentina; Imperial College London, UK)
Article: ase16main-mainp344-p (type: Technical Research (10 pages + 2 pages references)) doi:

Symbolic Execution

Symbolic Execution of Stored Procedures in Database Management Systems
Muhammad Suleman Mahmood, Maryam Abdul Ghafoor, and Junaid Haroon Siddiqui
(Lahore University of Management Sciences, Pakistan)
Article: ase16main-mainp165-p (type: Experience (10 pages + 2 pages references)) doi:

Conc-iSE: Incremental Symbolic Execution of Concurrent Software
Shengjian Guo, Markus Kusano, and Chao Wang
(Virginia Tech, USA; University of Southern California, USA)
Article: ase16main-mainp233-p (type: Technical Research (10 pages + 2 pages references)) doi:

Model-Based Whitebox Fuzzing for Program Binaries
Van-Thuan Pham, Marcel Böhme, and Abhik Roychoudhury
(National University of Singapore, Singapore)
Article: ase16main-mainp152-p (type: Technical Research (10 pages + 2 pages references)) doi:

Symbolic Execution of Complex Program Driven by Machine Learning Based Constraint Solving
Xin Li, Yongjuan Liang, Hong Qian, Yi-Qi Hu, Lei Bu, Yang Yu, Xin Chen, and Xuandong Li
(Nanjing University, China)
Article: ase16main-mainp421-p (type: New Ideas (6 pages)) doi:

Towards Bounded Model Checking using Nonlinear Programming Solver
Masataka Nishi
(Hitachi, Japan)
Article: ase16main-mainp189-p (type: New Ideas (6 pages)) doi:

Design and Specs

Identifying Domain Elements from Textual Specifications
Jitendra Singh Thakur and Atul Gupta
(IIITDM Jabalpur, India; Jabalpur Engineering College, India)
Article: ase16main-mainp197-p (type: Technical Research (10 pages + 2 pages references)) doi:

Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern Matching
Sven Peldszus, Géza Kulcsár, Malte Lochau, and Sandro Schulze
(University of Koblenz-Landau, Germany; TU Darmstadt, Germany; TU Hamburg, Germany)
Article: ase16main-mainp259-p (type: Technical Research (10 pages + 2 pages references)) doi:

Efficient Detection of Inconsistencies in a Multi-developer Engineering Environment
Andreas Demuth, Markus Riedl-Ehrenleitner, and Alexander Egyed
(JKU Linz, Austria)
Article: ase16main-mainp046-p (type: Technical Research (10 pages + 2 pages references)) doi:

How Good Are the Specs? A Study of the Bug-Finding Effectiveness of Existing Java API Specifications
Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Roşu, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)
Article: ase16main-mainp358-p (type: Technical Research (10 pages + 2 pages references)) doi:

Test Generation

Greedy Combinatorial Test Case Generation using Unsatisfiable Cores
Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and Eun-Hye Choi
(University of Innsbruck, Austria; JKU Linz, Austria; AIST, Japan)
Article: ase16main-mainp243-p (type: Technical Research (10 pages + 2 pages references)) doi:

Towards Automatically Generating Descriptive Names for Unit Tests
Benwen Zhang, Emily Hill, and James Clause
(University of Delaware, USA; Drew University, USA)
Article: ase16main-mainp292-p (type: Technical Research (10 pages + 2 pages references)) doi:

Applying Combinatorial Test Data Generation to Big Data Applications
Nan Li, Yu Lei, Haider Riaz Khan, Jingshu Liu, and Yun Guo
(Medidata Solutions, USA; University of Texas at Arlington, USA; George Mason University, USA)
Article: ase16main-mainp205-p (type: Experience (10 pages + 2 pages references)) doi:

Generating Test Cases to Expose Concurrency Bugs in Android Applications
Hongyin Tang, Guoquan Wu, Jun Wei, and Hua Zhong
(Institute of Software at Chinese Academy of Sciences, China)
Article: ase16main-mainp192-p (type: New Ideas (6 pages)) doi:

Automatic Test Image Generation using Procedural Noise
Matthew Patrick, Matthew D. Castle, Richard O. J. H. Stutt, and Christopher A. Gilligan
(University of Cambridge, UK)
Article: ase16main-mainp234-p (type: New Ideas (6 pages)) doi:

Code Comparison and Transformation

Move-Optimized Source Code Tree Differencing
Georg Dotzler and Michael Philippsen
(University of Erlangen-Nuremberg, Germany)
Article: ase16main-mainp145-p (type: Technical Research (10 pages + 2 pages references)) doi:

Migrating Cascading Style Sheets to Preprocessors by Introducing Mixins
Davood Mazinanian and Nikolaos Tsantalis
(Concordia University, Canada)
Article: ase16main-mainp330-p (type: Technical Research (10 pages + 2 pages references)) doi:

Automatic Runtime Recovery via Error Handler Synthesis
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, and Zhendong Su
(Nanjing University, China; University of California at Davis, USA)
Article: ase16main-mainp398-p (type: Technical Research (10 pages + 2 pages references)) doi:

Mining Revision Histories to Detect Cross-Language Clones without Intermediates
Xiao Cheng, Zhiming Peng, Lingxiao Jiang, Hao Zhong, Haibo Yu, and Jianjun Zhao
(Shanghai Jiao Tong University, China; Singapore Management University, Singapore; Kyushu University, Japan)
Article: ase16main-mainp411-p (type: New Ideas (6 pages)) doi:

Battery-Aware Transformations in Mobile Applications
Jürgen Cito, Julia Rubin, Phillip Stanley-Marbell, and Martin Rinard
(University of Zurich, Switzerland; Massachusetts Institute of Technology, USA)
Article: ase16main-mainp200-p (type: New Ideas (6 pages)) doi:

Language

Bugram: Bug Detection with N-gram Language Models
Song Wang, Devin Chollak, Dana Movshovitz-Attias, and Lin Tan
(University of Waterloo, Canada; Carnegie Mellon University, USA)
Article: ase16main-mainp275-p (type: Technical Research (10 pages + 2 pages references)) doi:

Mining Input Grammars from Dynamic Taints
Matthias Höschele and Andreas Zeller
(Saarland University, Germany)
Article: ase16main-mainp194-p (type: New Ideas (6 pages)) doi:

Phrase-Based Extraction of User Opinions in Mobile App Reviews
Phong Minh Vu, Hung Viet Pham, Tam The Nguyen, and Tung Thanh Nguyen
(Utah State University, USA)
Article: ase16main-mainp423-p (type: New Ideas (6 pages)) doi:

Mining and Retrieval

Practical Guidelines for Change Recommendation using Association Rule Mining
Leon Moonen, Stefano Di Alesio, David Binkley, and Thomas Rolfsnes
(Simula Research Laboratory, Norway; Loyola University Maryland, USA)
Article: ase16main-mainp211-p (type: Technical Research (10 pages + 2 pages references)) doi:

Learning a Dual-Language Vector Space for Domain-Specific Cross-Lingual Question Retrieval
Guibin Chen, Chunyang Chen, Zhenchang Xing, and Bowen Xu
(Nanyang Technological University, Singapore; Zhejiang University, China)
Article: ase16main-mainp156-p (type: Technical Research (10 pages + 2 pages references)) doi:

Demonstrations

Mobile and Security

Reflection-Aware Static Analysis of Android Apps
Li Li, Tegawendé F. Bissyandé, Damien Octeau, and Jacques Klein
(University of Luxembourg, Luxembourg; Pennsylvania State University, USA)
Article: ase16demo-demoid36-p (type: Short Paper (6 pages)) doi:

Relda2: An Effective Static Analysis Tool for Resource Leak Detection in Android Apps
Tianyong Wu, Jierui Liu, Xi Deng, Jun Yan, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China)
Article: ase16demo-demoid16-p (type: Short Paper (6 pages)) doi:

An End-User Oriented Tool Suite for Development of Mobile Applications
Zhongyi Zhai, Bo Cheng, Meng Niu, Zhaoning Wang, Yimeng Feng, and Junliang Chen
(Beijing University of Posts and Telecommunications, China)
Article: ase16demo-demoid18-p (type: Short Paper (6 pages)) doi:

Model Driven Design of Heterogeneous Synchronous Embedded Systems
Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of Illinois at Urbana-Champaign, USA)
Article: ase16demo-demoid41-p (type: Short Paper (6 pages)) doi:

MACKE: Compositional Analysis of Low-Level Vulnerabilities with Symbolic Execution
Saahil Ognawala, Martín Ochoa, Alexander Pretschner, and Tobias Limmer
(TU Munich, Germany; Singapore University of Technology and Design, Singapore; Siemens, Germany)
Article: ase16demo-demoid3-p (type: Short Paper (6 pages)) doi:

BovInspector: Automatic Inspection and Repair of Buffer Overflow Vulnerabilities
Fengjuan Gao, Linzhang Wang, and Xuandong Li
(Nanjing University, China)
Article: ase16demo-demoid9-p (type: Short Paper (6 pages)) doi:

Performance, Recommendation, and Analysis

CORRECT: Code Reviewer Recommendation at GitHub for Vendasta Technologies
Mohammad Masudur Rahman, Chanchal K. Roy, Jesse Redl, and Jason A. Collins
(University of Saskatchewan, Canada; Vendasta Technologies, Canada; Google, USA)
Article: ase16demo-demoid43-p (type: Short Paper (6 pages)) doi:

ProcessPAIR: A Tool for Automated Performance Analysis and Improvement Recommendation in Software Development
Mushtaq Raza and João Pascoal Faria
(University of Porto, Portugal; INESC TEC, Portugal)
Article: ase16demo-demoid33-p (type: Short Paper (6 pages)) doi:

CVExplorer: Identifying Candidate Developers by Mining and Exploring Their Open Source Contributions
Gillian J. Greene and Bernd Fischer
(Stellenbosch University, South Africa)
Article: ase16demo-demoid42-p (type: Short Paper (6 pages)) doi:

Lightweight Collection and Storage of Software Repository Data with DataRover
Thomas Kowark, Christoph Matthies, Matthias Uflacker, and Hasso Plattner
(HPI, Germany)
Article: ase16demo-demoid6-p (type: Short Paper (6 pages)) doi:

Visual Contract Extractor: A Tool for Reverse Engineering Visual Contracts using Dynamic Analysis
Abdullah Alshanqiti, Reiko Heckel, and Timo Kehrer
(University of Leicester, UK; Politecnico di Milano, Italy)
Article: ase16demo-demoid40-p (type: Short Paper (6 pages)) doi:

SuperMod: Tool Support for Collaborative Filtered Model-Driven Software Product Line Engineering
Felix Schwägerl and Bernhard Westfechtel
(University of Bayreuth, Germany)
Article: ase16demo-demoid15-p (type: Short Paper (6 pages)) doi:

AnModeler: A Tool for Generating Domain Models from Textual Specifications
Jitendra Singh Thakur and Atul Gupta
(IIITDM Jabalpur, India)
Article: ase16demo-demoid13-p (type: Short Paper (6 pages)) doi:

SimilarTech: Automatically Recommend Analogical Libraries across Different Programming Languages
Chunyang Chen and Zhenchang Xing
(Nanyang Technological University, Singapore)
Article: ase16demo-demoid2-p (type: Short Paper (6 pages)) doi:

Testing, Validation, and Verification

TeeVML: Tool Support for Semi-automatic Integration Testing Environment Emulation
Jian Liu, John Grundy, Iman Avazpour, and Mohamed Abdelrazek
(Swinburne University of Technology, Australia; Deakin University, Australia)
Article: ase16demo-demoid5-p (type: Short Paper (6 pages)) doi:

The Interactive Verification Debugger: Effective Understanding of Interactive Proof Attempts
Martin Hentschel, Reiner Hähnle, and Richard Bubel
(TU Darmstadt, Germany)
Article: ase16demo-demoid4-p (type: Short Paper (6 pages)) doi:

Verifying Simulink Stateflow Model: Timed Automata Approach
Yixiao Yang, Yu Jiang, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; University of Illinois at Urbana-Champaign, USA)
Article: ase16demo-demoid28-p (type: Short Paper (6 pages)) doi:

GUICat: GUI Testing as a Service
Lin Cheng, Jialiang Chang, Zijiang Yang, and Chao Wang
(Western Michigan University, USA; University of Southern California, USA)
Article: ase16demo-demoid38-p (type: Short Paper (6 pages)) doi:

An Automated Collaborative Requirements Engineering Tool for Better Validation of Requirements
Nor Aiza Moketar, Massila Kamalrudin, Safiah Sidek, Mark Robinson, and John Grundy
(Technical University of Malaysia Malacca, Malaysia; Fulgent, USA; Deakin University, Australia)
Article: ase16demo-demoid31-p (type: Short Paper (6 pages)) doi:

An Extensible Framework for Variable-Precision Data-Flow Analyses in MPS
Tamás Szabó, Simon Alperovich, Markus Voelter, and Sebastian Erdweg
(itemis, Germany; Delft University of Technology, Netherlands; JetBrains, Czechia)
Article: ase16demo-demoid37-p (type: Short Paper (6 pages)) doi:

Doctoral Symposium

Towards Efficient and Effective Automatic Program Repair
Xuan-Bach D. Le
(Singapore Management University, Singapore)
Article: ase16doc-docidds4-p (type: Short Paper (4 pages)) doi:

Automated Testing and Notification of Mobile App Privacy Leak-Cause Behaviours
Joseph Chan Joo Keng
(Singapore Management University, Singapore)
Article: ase16doc-docidds6-p (type: Short Paper (4 pages)) doi:

Factoring Requirement Dependencies in Software Requirement Selection using Graphs and Integer Programming
Davoud Mougouei
(Flinders University, Australia)
Article: ase16doc-docidds2-p (type: Short Paper (4 pages)) doi:

Statistical Analysis of Large Sets of Models
Önder Babur
(Eindhoven University of Technology, Netherlands)
Article: ase16doc-docidds5-p (type: Short Paper (4 pages)) doi:

Developer Targeted Analytics: Supporting Software Development Decisions with Runtime Information
Jürgen Cito
(University of Zurich, Switzerland)
Article: ase16doc-docidds3-p (type: Short Paper (4 pages)) doi:

API Recommendation System for Software Development
Ferdian Thung
(Singapore Management University, Singapore)
Article: ase16doc-docidds8-p (type: Short Paper (4 pages)) doi: