EXPLAIN 2019
Mon 11 - Fri 15 November 2019 San Diego, California, United States
co-located with ASE 2019
VenueHilton San Diego Mission Valley
Room nameKensington Ballroom
Floor2
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 12 Nov

Displayed time zone: Tijuana, Baja California change

10:00 - 10:40
Poster Session: Tool Demonstrations 1ASE Demonstrations at Kensington Ballroom
10:00
40m
Demonstration
Pangolin: An SFL-based Toolset for Feature Localization
ASE Demonstrations
Bruno Miguel Sotto-Mayor de Castro Machado IST, University of Lisbon, Alexandre Perez Palo Alto Research Center, Rui Abreu Instituto Superior Técnico, U. Lisboa & INESC-ID
10:00
40m
Demonstration
A Quantitative Analysis Framework for Recurrent Neural Network
ASE Demonstrations
Xiaoning Du Nanyang Technological University, Xiaofei Xie Nanyang Technological University, Yi Li Nanyang Technological University, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University
10:00
40m
Demonstration
Ares: Inferring Error Specifications through Static Analysis
ASE Demonstrations
Li Chi Tsinghua University, Zuxing Gu School of Software, Tsinghua University, Min Zhou Tsinghua University, Ming Gu Tsinghua University, Hongyu Zhang The University of Newcastle
10:00
40m
Demonstration
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposition-based Analysis of Variant-Rich Software
ASE Demonstrations
Dennis Reuling Software Engineering Group, University of Siegen, Udo Kelter Software Engineering Group, University of Siegen, Sebastian Ruland TU Darmstadt, Real-time Systems Lab, Malte Lochau TU Darmstadt
Pre-print Media Attached File Attached
10:00
40m
Demonstration
VeriAbs : Verification by Abstraction and Test Generation
ASE Demonstrations
Mohammad Afzal Tata Cosultancy Services, A Asia Tata Cosultancy Services, Avriti Chauhan Tata Cosultancy Services, Bharti Chimdyalwar Tata Consultancy Services, Priyanka Darke Tata Consultancy Services, Advaita Datar Tata Consultancy Services Ltd, Shrawan Kumar Tata Cosultancy Services, R Venkatesh Tata Research Development and Design Centre
10:00
40m
Demonstration
DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks
ASE Demonstrations
Xiaofei Xie Nanyang Technological University, Hongxu Chen Nanyang Technological University, Yi Li Nanyang Technological University, Lei Ma Kyushu University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University
10:00
40m
Demonstration
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
ASE Demonstrations
Xutong Ma Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software, Chinese Academy of Sciences, Yaqi Li Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software, Chinese Academy of Sciences
10:00
40m
Demonstration
LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of Cross-Platform
ASE Demonstrations
Shengcheng Yu Nanjing University, China, Chunrong Fang Nanjing University, Yang Feng University of California, Irvine, Wenyuan Zhao Nanjing University, Zhenyu Chen Nanjing University
File Attached
10:00
40m
Demonstration
FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performance Evaluation in Fog Computing
ASE Demonstrations
Xiao Liu School of Information Technology, Deakin University, Lingmin Fan School of Computer Science and Technology, Anhui University, Jia Xu School of Computer Science and Technology, Anhui University, Xuejun Li School of Computer Science and Technology, Anhui University, Lina Gong School of Computer Science and Technology, Anhui University, John Grundy Monash University, Yun Yang Swinburne University of Technology
10:00
40m
Demonstration
SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection
ASE Demonstrations
Da Li State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Huiyan Wang State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University, Nanjing, China, Chang Xu Nanjing University, Ruiqing Zhang Search Tech. Center Asia, Microsoft, Suzhou, China, Shing-Chi Cheung Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Xiaoxing Ma State Key Lab. for Novel Software Tech. and Dept. of Comp. Sci. and Tech., Nanjing University
10:00
40m
Demonstration
FPChecker: Detecting Floating-Point Exceptions in GPU Applications
ASE Demonstrations
Ignacio Laguna Lawrence Livermore National Laboratory
10:00
40m
Demonstration
PMExec: An Execution Engine of Partial UML-RT Models
ASE Demonstrations
Mojtaba Bagherzadeh Queen's University, Karim Jahed Queen's University, Nafiseh Kahani Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
Pre-print
13:40 - 15:20
Poster Session: Student Research Competition (for judges only)ASE Student Research Competition at Kensington Ballroom
15:20 - 16:00
Poster Session: Student Research CompetitionASE Student Research Competition at Kensington Ballroom
15:20
40m
Boosting Neural Commit Message Generation with Code Semantic Analysis
ASE Student Research Competition
Shuyao Jiang Fudan University
15:20
40m
Toward Practical Automatic Program Repair
ASE Student Research Competition
Ali Ghanbari Iowa State University
15:20
40m
An Image-inspired and CNN-based Android Malware Detection Approach
ASE Student Research Competition
Shao Yang Case Western Reserve University
15:20
40m
An Approach for Investigating Emotion Dynamics in Software Development
ASE Student Research Competition
Krishna Neupane Rochester Institute of Technology
15:20
40m
A Machine Learning based Approach to Identify SQL Injection Vulnerabilities
ASE Student Research Competition
Kevin Zhang Wayne State University
15:20
40m
Retrieve and Refine: Exemplar-based Neural Comment Generation
ASE Student Research Competition
Bolin Wei Peking University
15:20
40m
Verifying Determinism in Sequential Programs
ASE Student Research Competition
Rashmi Mudduluru University of Washington, Seattle
15:20
40m
User Preference Aware Multimedia Pricing Model using Game Theory and Prospect Theory for Wireless Communications
ASE Student Research Competition
Krishna Murthy Kattiyan Ramamoorthy San Diego State University
15:20
40m
Empirical Study of Python Call Graph
ASE Student Research Competition
Li Yu Nanjing University
15:20
40m
Towards Comprehensible Representation of Controllers using Machine Learning
ASE Student Research Competition
Gargi Balasubramaniam Birla Institute of Technology and Science, Pilani, K K Birla Goa Campus
File Attached
15:20
40m
API Design Implications of Boilerplate Client Code
ASE Student Research Competition
Daye Nam Carnegie Mellon University
15:20
40m
Compile-time detection of machine image sniping
ASE Student Research Competition
Martin Kellogg University of Washington, Seattle
15:20
40m
Crowdsourced Report Generation via Bug Screenshot Understanding
ASE Student Research Competition
Shengcheng Yu Nanjing University, China
File Attached
15:20 - 16:00
Poster Session: Doctoral SymposiumASE Doctoral Symposium at Kensington Ballroom
15:20
40m
Automatically Repairing Binary Programs Using Adapter Synthesis
ASE Doctoral Symposium
Vaibhav Sharma University of Minnesota
15:20
40m
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
ASE Doctoral Symposium
Mauricio Soto Carnegie Mellon University
15:20
40m
Improving Collaboration Efficiency in Fork-based Development
ASE Doctoral Symposium
Shurui Zhou University of Toronto
15:20
40m
Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
ASE Doctoral Symposium
Kristian Kolthoff Institute for Enterprise Systems (InES), University Of Mannheim
15:20
40m
Tackling Build Failures in Continuous Integration
ASE Doctoral Symposium
Foyzul Hassan University of Texas at San Antonio, USA
15:20
40m
Enabling Continuous Improvement of a Continuous Integration Process
ASE Doctoral Symposium
Carmine Vassallo University of Zurich
15:20
40m
Generating Tests to Analyse Dynamically-Typed Programs
ASE Doctoral Symposium
Stephan Lukasczyk University of Passau
15:20
40m
Inference of Properties from Requirements and Automation of their Formal Verification
ASE Doctoral Symposium
Marina Reich Chemnitz University of Technology/ Airbus Defence and Space GmbH

Wed 13 Nov

Displayed time zone: Tijuana, Baja California change

10:00 - 10:40
Poster Session: Tool Demonstrations 2ASE Demonstrations at Kensington Ballroom
10:00
40m
Demonstration
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis
ASE Demonstrations
Yuexing Wang Tsinghua University, Guang Chen Tsinghua University, Min Zhou Tsinghua University, Ming Gu Tsinghua University, Jiaguang Sun Tsinghua University
10:00
40m
Demonstration
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
ASE Demonstrations
Pavan Kumar Chittimalli TCS Research, Kritika Anand TCS Research, Shrishti Pradhan TCS Research, Sayandeep Mitra TCS Research, Chandan Prakash TCS Research, Rohit Shere TCS Research, Ravindra Naik TCS Research, TRDDC, India
10:00
40m
Demonstration
Lancer: Your Code Tell Me What You Need
ASE Demonstrations
Shufan Zhou School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Beijun Shen School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University
10:00
40m
Demonstration
TestCov: Robust Test-Suite Execution and Coverage Measurement
ASE Demonstrations
Dirk Beyer LMU Munich, Thomas Lemberger LMU Munich
Pre-print Media Attached File Attached
10:00
40m
Demonstration
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
ASE Demonstrations
Yihao Huang East China Normal University, Jincao Feng East China Normal University, Hanyue Zheng East China Normal University, Jiayi Zhu East China Normal University, Shang Wang East China Normal University, Siyuan Jiang Eastern Michigan University, Weikai Miao Shanghai Key Lab for Trustworthy Computing, School of Computer Science and Software Engineering, East China Normal University, Geguang Pu East China Normal University&Shanghai Trusted Industrial Control Platform Co., Ltd
10:00
40m
Demonstration
XRaSE: Towards Virtually Tangible Software using Augmented Reality
ASE Demonstrations
Rohit Mehra Accenture Labs, India, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture
10:00
40m
Demonstration
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract
ASE Demonstrations
Zixin Li Nanjing University, Haoran Wu State Key Laboratory for Novel Software Technology, Nanjing University, Jiehui Xu Nanjing University, Xingya Wang State Key Laboratory for Novel Software Technology, Nanjing University, Lingming Zhang The University of Texas at Dallas, Zhenyu Chen Nanjing University
10:00
40m
Demonstration
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq
ASE Demonstrations
Bernd Fischer Stellenbosch University, Salvatore La Torre Università degli Studi di Salerno, Gennaro Parlato University of Molise
10:00
40m
Demonstration
DeepMutation++: a Mutation Testing Framework for Deep Learning Systems
ASE Demonstrations
Qiang Hu Kyushu University, Japan, Lei Ma Kyushu University, Xiaofei Xie Nanyang Technological University, Bing Yu Kyushu University, Japan, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University
10:00
40m
Demonstration
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
ASE Demonstrations
Mark Mossberg Trail of Bits, Felipe Manzano Trail of Bits, Eric Hennenfent Trail of Bits, Alex Groce Northern Arizona University, Gustavo Grieco Trail of Bits, Josselin Feist Trail of Bits, Trent Brunson Trail of Bits, Artem Dinaburg Trail of Bits
Media Attached
10:00
40m
Demonstration
ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities
ASE Demonstrations
Ruijie Meng University of Chinese Academy of Sciences, Biyun Zhu University of Chinese Academy of Sciences, Hao Yun University of Chinese Academy of Sciences, Haicheng Li University of Chinese Academy of Sciences, Yan Cai Institute of Software, Chinese Academy of Sciences, Zijiang Yang Western Michigan University
10:00
40m
Demonstration
mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines
ASE Demonstrations
Reza Ahmadi Queen's University, Karim Jahed Queen's University, Juergen Dingel Queen's University, Kingston, Ontario
15:20 - 16:00
Poster Session: Late Breaking ResultsASE Late Breaking Results at Kensington Ballroom
15:20
40m
Poster
Recommendation of Exception Handling Code in Mobile App Development
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
LVMapper: A Large-variance Clone Detector Using Sequencing Alignment Approach
ASE Late Breaking Results
Ming Wu , Pengcheng Wang University of Science and Technology of China, Kangqi Yin , Haoyu Cheng , Yun Xu University of Science and Technology of China, Chanchal K. Roy University of Saskatchewan
Pre-print
15:20
40m
Poster
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers
ASE Late Breaking Results
Pre-print Media Attached
15:20
40m
Poster
An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums
ASE Late Breaking Results
Yi Li Nanyang Technological University, Shaohua Wang New Jersey Institute of Technology, USA, Tien N. Nguyen University of Texas at Dallas, Son Nguyen The University of Texas at Dallas, Xinyue Ye , Yan Wang
Pre-print
15:20
40m
Poster
Testing Neural Programs
ASE Late Breaking Results
Md Rafiqul Islam Rabin University of Houston, Ke Wang Visa Research, Mohammad Amin Alipour
Pre-print Media Attached
15:20
40m
Poster
Self Learning from Large Scale Code Corpus to Infer Structure of Method Invocations
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
Data Sanity Check for Deep Learning Systems via Learnt Assertions
ASE Late Breaking Results
Haochuan Lu Fudan University, Huanlin Xu , Nana Liu , Yangfan Zhou Fudan University, Xin Wang
Pre-print
15:20
40m
Poster
Software Engineering for Fairness: A Case Study with Hyperparameter Optimization
ASE Late Breaking Results
Joymallya Chakraborty North Carolina State University, Tianpei Xia , Fahmid M. Fahid , Tim Menzies North Carolina State University
Pre-print
15:20
40m
Poster
API Misuse Correction: A Statistical Approach
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
Should We Add Repair Time to an Unfixed Bug? An Exploratory Study of Automated Program Repair on 2980 Small-Scale Programs
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
Learning test traces
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
The Dynamics of Software Composition Analysis
ASE Late Breaking Results
Pre-print
15:20
40m
Poster
A Process Mining based Approach to Improving Defect Detection of SysML Models.
ASE Late Breaking Results
Mounifah Alenazi , Nan Niu University of Cincinnati, Juha Savolainen Danfoss
Pre-print
15:20
40m
Poster
Open-Source Projects and their Collaborative Development Workflows
ASE Late Breaking Results
panuchart bunyakiati kasetsart university, Usa Sammapun kasetsart university
Pre-print
15:20
40m
Poster
Detecting Deep Neural Network Defects with Data Flow Analysis
ASE Late Breaking Results
Jiazhen Gu , Huanlin Xu , Yangfan Zhou Fudan University, Xin Wang , Hui Xu , Michael Lyu The Chinese University of Hong Kong
Pre-print
15:20
40m
Poster
On building an automated responding system for app reviews: What are the characteristics of reviews and their responses?
ASE Late Breaking Results
Pre-print

Thu 14 Nov

Displayed time zone: Tijuana, Baja California change

10:00 - 10:40
Poster Session: Tool Demonstrations 3ASE Demonstrations at Kensington Ballroom
10:00
40m
Demonstration
PraPR: Practical Program Repair via Bytecode Mutation
ASE Demonstrations
Ali Ghanbari Iowa State University, Lingming Zhang The University of Texas at Dallas
10:00
40m
Demonstration
Kotless: a Serverless Framework for Kotlin
ASE Demonstrations
Vladislav Tankov JetBrains, ITMO University, Yaroslav Golubev JetBrains Research, Timofey Bryksin JetBrains Research, Saint-Petersburg State University
10:00
40m
Demonstration
PeASS: A Tool for Identifying Performance Changes at Code Level
ASE Demonstrations
David Georg Reichelt Universität Leipzig, Stefan Kühne Universität Leipzig, Wilhelm Hasselbring Kiel University
Pre-print Media Attached File Attached
10:00
40m
Demonstration
MutAPK: Source-Codeless Mutant Generation for Android Apps
ASE Demonstrations
Camilo Escobar-Velásquez Universidad de los Andes, Michael Osorio-Riaño Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia
10:00
40m
Demonstration
CocoQa: Question Answering for Coding Conventions over Knowledge Graphs
ASE Demonstrations
Tianjiao Du Shanghai JiaoTong University, Junming Cao Shanghai JiaoTong University, Qinyue Wu Shanghai JiaoTong University, Wei Li Shanghai JiaoTong University, Beijun Shen School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University, Yuting Chen Shanghai Jiao Tong University
10:00
3m
Demonstration
Humanoid: A Deep Learning-based Approach to Automated Black-box Android App Testing
ASE Demonstrations
Yuanchun Li Peking University, Ziyue Yang Peking University, Yao Guo Peking University, Xiangqun Chen Peking University
10:00
40m
Demonstration
Developer Reputation Estimator (DRE)
ASE Demonstrations
Sadika Amreen University of Tennessee Knoxville, Andrey Karnauch University of Tennessee Knoxville, Audris Mockus University of Tennessee - Knoxville
10:00
40m
Demonstration
NeuralVis: Visualizing and Interpreting Deep Learning Models
ASE Demonstrations
Xufan Zhang State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Ziyue Yin State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Yang Feng University of California, Irvine, Qingkai Shi Hong Kong University of Science and Technology, Jia Liu State Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Zhenyu Chen Nanjing University
10:00
40m
Demonstration
Visual Analytics for Concurrent Java Executions
ASE Demonstrations
Cyrille Artho KTH Royal Institute of Technology, Sweden, Monali Pande KTH Royal Institute of Technology, Qiyi Tang University of Oxford
10:00
40m
Demonstration
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs
ASE Demonstrations
Ayesha Sadiq Monash University, Li Li Monash University, Australia, Yuan-Fang Li Monash University, Ijaz Ahmed University of Lahore, Sea Ling Monash University
10:00
40m
Demonstration
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant Methods
ASE Demonstrations
Goran Piskachev Fraunhofer IEM, Lisa Nguyen Quang Do Google, Oshando Johnson Fraunhofer IEM, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print Media Attached File Attached
10:00
40m
Demonstration
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
ASE Demonstrations
Chijin Zhou Tsinghua University, Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Zhe Liu Nanjing University of Aeronautics and Astronautics, Chengnian Sun Waterloo University, Yu Jiang Tsinghua University

Tue 12 Nov

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Kensington Ballroom
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00
15:20 - 16:00

Wed 13 Nov

Displayed time zone: Tijuana, Baja California change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Kensington Ballroom