Kensington Ballroom

VenueHilton San Diego Mission Valley

Room nameKensington Ballroom

Floor2

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-08:00) Tijuana, Baja California.

Use conference time zone: (GMT-08:00) Tijuana, Baja CaliforniaSelect other time zone

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 programSpecify 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 1Demonstrations at Kensington Ballroom

10:00 40m Demonstration		Pangolin: An SFL-based Toolset for Feature Localization 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 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 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 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 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 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 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 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 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 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 Demonstrations Ignacio Laguna Lawrence Livermore National Laboratory
10:00 40m Demonstration		PMExec: An Execution Engine of Partial UML-RT Models 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)Student Research Competition at Kensington Ballroom

15:20 - 16:00	Poster Session: Student Research CompetitionStudent Research Competition at Kensington Ballroom

15:20 40m		Boosting Neural Commit Message Generation with Code Semantic Analysis Student Research Competition Shuyao Jiang Fudan University
15:20 40m		Toward Practical Automatic Program Repair Student Research Competition Ali Ghanbari Iowa State University
15:20 40m		An Image-inspired and CNN-based Android Malware Detection Approach Student Research Competition Shao Yang Case Western Reserve University
15:20 40m		An Approach for Investigating Emotion Dynamics in Software Development Student Research Competition Krishna Neupane Rochester Institute of Technology
15:20 40m		A Machine Learning based Approach to Identify SQL Injection Vulnerabilities Student Research Competition Kevin Zhang Wayne State University
15:20 40m		Retrieve and Refine: Exemplar-based Neural Comment Generation Student Research Competition Bolin Wei Peking University
15:20 40m		Verifying Determinism in Sequential Programs 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 Student Research Competition Krishna Murthy Kattiyan Ramamoorthy San Diego State University
15:20 40m		Empirical Study of Python Call Graph Student Research Competition Li Yu Nanjing University
15:20 40m		Towards Comprehensible Representation of Controllers using Machine Learning 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 Student Research Competition Daye Nam Carnegie Mellon University
15:20 40m		Compile-time detection of machine image sniping Student Research Competition Martin Kellogg University of Washington, Seattle
15:20 40m		Crowdsourced Report Generation via Bug Screenshot Understanding Student Research Competition Shengcheng Yu Nanjing University, China File Attached

15:20 - 16:00	Poster Session: Doctoral SymposiumDoctoral Symposium at Kensington Ballroom

15:20 40m		Automatically Repairing Binary Programs Using Adapter Synthesis Doctoral Symposium Vaibhav Sharma University of Minnesota
15:20 40m		Improving Patch Quality by Enhancing Key Components of Automatic Program Repair Doctoral Symposium Mauricio Soto Carnegie Mellon University
15:20 40m		Improving Collaboration Efficiency in Fork-based Development Doctoral Symposium Shurui Zhou University of Toronto
15:20 40m		Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements Doctoral Symposium Kristian Kolthoff Institute for Enterprise Systems (InES), University Of Mannheim
15:20 40m		Tackling Build Failures in Continuous Integration Doctoral Symposium Foyzul Hassan University of Texas at San Antonio, USA
15:20 40m		Enabling Continuous Improvement of a Continuous Integration Process Doctoral Symposium Carmine Vassallo University of Zurich
15:20 40m		Generating Tests to Analyse Dynamically-Typed Programs Doctoral Symposium Stephan Lukasczyk University of Passau
15:20 40m		Inference of Properties from Requirements and Automation of their Formal Verification 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 2Demonstrations at Kensington Ballroom

10:00 40m Demonstration		TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis 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 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 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 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 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 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 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 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 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 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 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 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 ResultsLate Breaking Results at Kensington Ballroom

15:20 40m Poster		Recommendation of Exception Handling Code in Mobile App Development 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 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 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 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 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 Late Breaking Results Hung Phan Pre-print
15:20 40m Poster		Data Sanity Check for Deep Learning Systems via Learnt Assertions 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 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 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 Late Breaking Results Chuanqi Xu , Yisen Xu , Yingqi Zhang , Jifeng Xuan Wuhan University Pre-print
15:20 40m Poster		Learning test traces Late Breaking Results Eyal Hadad , Roni Stern Pre-print
15:20 40m Poster		The Dynamics of Software Composition Analysis 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. 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 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 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? 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 3Demonstrations at Kensington Ballroom

10:00 40m Demonstration		PraPR: Practical Program Repair via Bytecode Mutation Demonstrations Ali Ghanbari Iowa State University, Lingming Zhang The University of Texas at Dallas
10:00 40m Demonstration		Kotless: a Serverless Framework for Kotlin 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 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 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 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 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) 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 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 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 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 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 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	Demonstrations Poster Session: Tool Demonstrations 1																																												Student Research Competition Poster Session: Student Research Competition (for judges only)																				Student Research Competition Poster Session: Student Research Competition 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	Demonstrations Poster Session: Tool Demonstrations 2																																																																Late Breaking Results Poster Session: Late Breaking Results

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change


Room	10:00						30
Kensington Ballroom	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

Room information: Kensington Ballroom

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Demonstrations

Student Research Competition

Student Research Competition

Doctoral Symposium

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Demonstrations

Late Breaking Results

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Demonstrations

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Tracks

Co-hosted Events

Workshops

Room information: Kensington Ballroom

Program Display Configuration

Tue 12 NovDisplayed time zone: Tijuana, Baja California change

Wed 13 NovDisplayed time zone: Tijuana, Baja California change

Thu 14 NovDisplayed time zone: Tijuana, Baja California change

Tue 12 NovDisplayed time zone: Tijuana, Baja California change

Demonstrations

Student Research Competition

Student Research Competition

Doctoral Symposium

Wed 13 NovDisplayed time zone: Tijuana, Baja California change

Demonstrations

Late Breaking Results

Thu 14 NovDisplayed time zone: Tijuana, Baja California change

Demonstrations

Tue 12 NovDisplayed time zone: Tijuana, Baja California change

Wed 13 NovDisplayed time zone: Tijuana, Baja California change

Thu 14 NovDisplayed time zone: Tijuana, Baja California change

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change

Tue 12 Nov
Displayed time zone: Tijuana, Baja California change

Wed 13 Nov
Displayed time zone: Tijuana, Baja California change

Thu 14 Nov
Displayed time zone: Tijuana, Baja California change