JPF 2019
Mon 11 Nov 2019
San Diego, California, United States
co-located with
ASE 2019
Toggle navigation
Attending
Venue: Hilton San Diego Mission Valley
Program
JPF Program
Your Program
Mon 11 Nov
Track/Call
Organization
JPF 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
JPF 2019
JPF 2018
Sign in
Sign up
ASE 2019
(
series
) /
JPF 2019 (
series
) /
Hilton San Diego Mission Valley
/
Room information: Kensington Ballroom
Venue
Hilton San Diego Mission Valley
Room name
Kensington Ballroom
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-08:00) Tijuana, Baja California
.
Use conference time zone: (GMT-08:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
ASE 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 Competition
ASE 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 Symposium
ASE 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 2
ASE 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 Results
ASE Late Breaking Results
at
Kensington Ballroom
15:20
40m
Poster
Recommendation of Exception Handling Code in Mobile App Development
ASE Late Breaking Results
Tam Nguyen
,
Phong Minh Vu
,
Tung Thanh Nguyen
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
Md Rafiqul Islam Rabin
University of Houston
,
Mohammad Amin Alipour
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
Hung Phan
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
Tam Nguyen
,
Phong Minh Vu
,
Tung Thanh Nguyen
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
Chuanqi Xu
,
Yisen Xu
,
Yingqi Zhang
,
Jifeng Xuan
Wuhan University
Pre-print
15:20
40m
Poster
Learning test traces
ASE Late Breaking Results
Eyal Hadad
,
Roni Stern
Pre-print
15:20
40m
Poster
The Dynamics of Software Composition Analysis
ASE Late Breaking Results
Darius Foo
,
Jason Yeo
,
Hao Xiao
,
Asankhaya Sharma
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
Phong Minh Vu
,
Tam Nguyen
,
Tung Thanh Nguyen
Pre-print
Thu 14 Nov
Displayed time zone:
Tijuana, Baja California
change
10:00 - 10:40
Poster Session: Tool Demonstrations 3
ASE 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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Kensington Ballroom
ASE Demonstrations
Poster Session: Tool Demonstrations 1
ASE Student Research Competition
Poster Session: Student Research Competition (for judges only)
ASE Student Research Competition
Poster Session: Student Research Competition
ASE Doctoral Symposium
Poster Session: Doctoral Symposium
15:20 - 16:00
Wed 13 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Kensington Ballroom
ASE Demonstrations
Poster Session: Tool Demonstrations 2
ASE Late Breaking Results
Poster Session: Late Breaking Results
Thu 14 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
Kensington Ballroom
ASE Demonstrations
Poster Session: Tool Demonstrations 3
Tue 12 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Kensington Ballroom
ASE Demonstrations
Pangolin: An SFL-based Toolset for Feature Localization
10:00 - 10:40
A Quantitative Analysis Framework for Recurrent Neural Network
10:00 - 10:40
Ares: Inferring Error Specifications through Static Analysis
10:00 - 10:40
SiMPOSE - Configurable N-Way Program Merging Strategies for Superimposi ...
10:00 - 10:40
VeriAbs : Verification by Abstraction and Test Generation
10:00 - 10:40
DeepHunter: A Coverage-Guided Fuzzer for Deep Neural Networks
10:00 - 10:40
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
10:00 - 10:40
LIRAT: Layout and Image Recognition Driving Automated Mobile Testing of ...
10:00 - 10:40
FogWorkflowSim: An Automated Simulation Toolkit for Workflow Performanc ...
10:00 - 10:40
SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defec ...
10:00 - 10:40
FPChecker: Detecting Floating-Point Exceptions in GPU Applications
10:00 - 10:40
PMExec: An Execution Engine of Partial UML-RT Models
10:00 - 10:40
ASE Student Research Competition
Boosting Neural Commit Message Generation with Code Semantic Analysis
15:20 - 16:00
Toward Practical Automatic Program Repair
15:20 - 16:00
An Image-inspired and CNN-based Android Malware Detection Approach
15:20 - 16:00
An Approach for Investigating Emotion Dynamics in Software Development
15:20 - 16:00
A Machine Learning based Approach to Identify SQL Injection Vulnerabilities
15:20 - 16:00
Retrieve and Refine: Exemplar-based Neural Comment Generation
15:20 - 16:00
Verifying Determinism in Sequential Programs
15:20 - 16:00
User Preference Aware Multimedia Pricing Model using Game Theory and Pr ...
15:20 - 16:00
Empirical Study of Python Call Graph
15:20 - 16:00
Towards Comprehensible Representation of Controllers using Machine Learning
15:20 - 16:00
API Design Implications of Boilerplate Client Code
15:20 - 16:00
Compile-time detection of machine image sniping
15:20 - 16:00
Crowdsourced Report Generation via Bug Screenshot Understanding
15:20 - 16:00
ASE Doctoral Symposium
Automatically Repairing Binary Programs Using Adapter Synthesis
15:20 - 16:00
Improving Patch Quality by Enhancing Key Components of Automatic Progra ...
15:20 - 16:00
Improving Collaboration Efficiency in Fork-based Development
15:20 - 16:00
Automatic Generation of Graphical User Interface Prototypes from Unrest ...
15:20 - 16:00
Tackling Build Failures in Continuous Integration
15:20 - 16:00
Enabling Continuous Improvement of a Continuous Integration Process
15:20 - 16:00
Generating Tests to Analyse Dynamically-Typed Programs
15:20 - 16:00
Inference of Properties from Requirements and Automation of their Forma ...
15:20 - 16:00
Wed 13 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Kensington Ballroom
ASE Demonstrations
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis
10:00 - 10:40
BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules
10:00 - 10:40
Lancer: Your Code Tell Me What You Need
10:00 - 10:40
TestCov: Robust Test-Suite Execution and Coverage Measurement
10:00 - 10:40
Prema: A Tool for Precise Requirements Editing, Modeling and Analysis
10:00 - 10:40
XRaSE: Towards Virtually Tangible Software using Augmented Reality
10:00 - 10:40
MuSC: A Tool for Mutation Testing of Ethereum Smart Contract
10:00 - 10:40
VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with ...
10:00 - 10:40
DeepMutation++: a Mutation Testing Framework for Deep Learning Systems
10:00 - 10:40
Manticore: A User-Friendly Symbolic Execution Framework for Binaries an ...
10:00 - 10:40
ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities
10:00 - 10:40
mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines
10:00 - 10:40
ASE Late Breaking Results
Recommendation of Exception Handling Code in Mobile App Development
15:20 - 16:00
LVMapper: A Large-variance Clone Detector Using Sequencing Alignment Ap ...
15:20 - 16:00
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers
15:20 - 16:00
An Empirical Study on the Characteristics of Question-Answering Process ...
15:20 - 16:00
Testing Neural Programs
15:20 - 16:00
Self Learning from Large Scale Code Corpus to Infer Structure of Method ...
15:20 - 16:00
Data Sanity Check for Deep Learning Systems via Learnt Assertions
15:20 - 16:00
Software Engineering for Fairness: A Case Study with Hyperparameter Opt ...
15:20 - 16:00
API Misuse Correction: A Statistical Approach
15:20 - 16:00
Should We Add Repair Time to an Unfixed Bug? An Exploratory Study of Au ...
15:20 - 16:00
Learning test traces
15:20 - 16:00
The Dynamics of Software Composition Analysis
15:20 - 16:00
A Process Mining based Approach to Improving Defect Detection of SysML ...
15:20 - 16:00
Open-Source Projects and their Collaborative Development Workflows
15:20 - 16:00
Detecting Deep Neural Network Defects with Data Flow Analysis
15:20 - 16:00
On building an automated responding system for app reviews: What are th ...
15:20 - 16:00
Thu 14 Nov
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
15
30
45
Kensington Ballroom
ASE Demonstrations
PraPR: Practical Program Repair via Bytecode Mutation
10:00 - 10:40
Kotless: a Serverless Framework for Kotlin
10:00 - 10:40
PeASS: A Tool for Identifying Performance Changes at Code Level
10:00 - 10:40
MutAPK: Source-Codeless Mutant Generation for Android Apps
10:00 - 10:40
CocoQa: Question Answering for Coding Conventions over Knowledge Graphs
10:00 - 10:40
Humanoid: A Deep Learning-based Approach to Automated Black-box Android ...
10:00 - 10:03
Developer Reputation Estimator (DRE)
10:00 - 10:40
NeuralVis: Visualizing and Interpreting Deep Learning Models
10:00 - 10:40
Visual Analytics for Concurrent Java Executions
10:00 - 10:40
Sip4J: Statically Inferring Access Permission Contracts for Parallelisi ...
10:00 - 10:40
SWAN_ASSIST: Semi-Automated Detection of Code-Specific, Security-Releva ...
10:00 - 10:40
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visuali ...
10:00 - 10:40
x
Thu 21 Nov 18:59