ISSTA 2 - AISTA 2022

VenueOnline

Room nameISSTA 2

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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

Wed 20 Jul
Displayed time zone: Seoul change

01:20 - 02:20	Session 1-2: Test Generation and Mutation AISSTA Technical Papers at ISSTA 2 Chair(s): Raghavan Komondoor IISc Bengaluru

01:20 20m Talk		On the Use of Mutation Analysis For Evaluating Student Test Suite Quality ISSTA Technical Papers James Perretta Northeastern University, Andrew DeOrio University of Michigan, Arjun Guha Northeastern University, Jonathan Bell Northeastern University DOI
01:40 20m Talk		Automated Test Generation for REST APIs: No Time to Rest Yet ISSTA Technical Papers Myeongsoo Kim , Qi Xin Wuhan University, Saurabh Sinha IBM Research, Alessandro Orso Georgia Tech DOI
02:00 20m Talk		One Step Further: Evaluating Interpreters Using Metamorphic Testing ISSTA Technical Papers Ming Fan Xi'an Jiaotong University, Jiali Wei Xi'an Jiaotong University, Wuxia Jin Xi'an Jiaotong University, Zhou Xu Wuhan University, Wenying Wei Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University DOI

03:00 - 04:00	Session 1-4: Smart Contracts AISSTA Technical Papers at ISSTA 2

03:00 20m Talk		eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts ISSTA Technical Papers Asem Ghaleb University of British Columbia, Julia Rubin University of British Columbia, Karthik Pattabiraman University of British Columbia DOI
03:20 20m Talk		Park: Accelerating Smart Contract Vulnerability Detection via Parallel-fork Symbolic Execution ISSTA Technical Papers Peilin Zheng Sun Yat-sen University, Zibin Zheng School of Data and Computer Science, Sun Yat-sen University, Xiapu Luo Hong Kong Polytechnic University DOI
03:40 20m Talk		WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts ISSTA Technical Papers Weimin Chen The Hong Kong Polytechnic University, Zihan Sun Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology, China, Xiapu Luo Hong Kong Polytechnic University, Haipeng Cai Washington State University, USA, Lei Wu Zhejiang University DOI

07:00 - 08:20	Session 2-2: Neural Networks, Learning, NLP EISSTA Technical Papers at ISSTA 2

07:00 20m Talk		Cross-Lingual Transfer Learning for Statistical Type InferenceACM SIGSOFT Distinguished Paper ISSTA Technical Papers Zhiming Li Nanyang Technological University, Singapore, Xiaofei Xie Singapore Management University, Singapore, Haoliang Li City University of Hong Kong, Zhengzi Xu Nanyang Technological University, Yi Li Nanyang Technological University, Yang Liu Nanyang Technological University DOI
07:20 20m Talk		DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions ISSTA Technical Papers Danning Xie Purdue University, Yitong Li University of Waterloo, Mijung Kim UNIST, Hung Viet Pham University of Waterloo, Lin Tan Purdue University, Xiangyu Zhang Purdue University, Michael W. Godfrey University of Waterloo, Canada DOI
07:40 20m Talk		HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models ISSTA Technical Papers Yu Li The Chinese University of Hong Kong, Muxi Chen The Chinese University of Hong Kong, Xu, Qiang DOI
08:00 20m Talk		Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs ISSTA Technical Papers Charaka Geethal Monash University, Thuan Pham The University of Melbourne, Aldeida Aleti Monash University, Marcel Böhme MPI-SP, Germany and Monash University, Australia DOI Pre-print

08:40 - 09:40	Session 2-4: Neural Networks, Learning, NLP BISSTA Technical Papers at ISSTA 2

08:40 20m Talk		ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems ISSTA Technical Papers Pin Ji Nanjing University, Yang Feng Nanjing University, Jia Liu Nanjing University, Zhihong Zhao Nanjing Tech Unniversity, Zhenyu Chen Nanjing University DOI
09:00 20m Talk		BET: Black-box Efficient Testing for Convolutional Neural Networks ISSTA Technical Papers Wang Jialai Tsinghua University, Han Qiu Tsinghua University, Yi Rong Tsinghua University, Hengkai Ye Purdue University, Qi Li Tsinghua University, Zongpeng Li Tsinghua University, Chao Zhang Tsinghua University DOI
09:20 20m Talk		Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment ISSTA Technical Papers Geunwoo Kim University of California, Irvine, USA, Sanghyun Hong Oregon State University, Michael Franz University of California, Irvine, Dokyung Song Yonsei University, South Korea DOI

10:00 - 10:40	Session 2-6: Concurrency, IoT, Embedded EISSTA Technical Papers at ISSTA 2

10:00 20m Talk		Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems ISSTA Technical Papers Ziyuan Zhong Columbia University, Zhisheng Hu Baidu Security, Shengjian Guo Baidu Security, Xinyang Zhang Baidu Security, Zhenyu Zhong Baidu USA, Baishakhi Ray Columbia University DOI
10:20 20m Talk		Deadlock Prediction via Generalized Dependency ISSTA Technical Papers Jinpeng Zhou University of Pittsburgh, Hanmei Yang University of Massachusetts Amherst, John Lange Oak Ridge National Lab/University of Pittsburgh, Tongping Liu University of Massachusetts at Amherst DOI

16:20 - 17:20	Session 3-2: Fuzzing and Friends CISSTA Technical Papers at ISSTA 2 Chair(s): Behnaz Hassanshahi Oracle Labs, Australia

16:20 20m Talk		SnapFuzz: High-Throughput Fuzzing of Network Applications ISSTA Technical Papers Anastasios Andronidis Imperial College London, UK, Cristian Cadar Imperial College London, UK DOI
16:40 20m Talk		SLIME: Program-sensitive Energy Allocation for Fuzzing ISSTA Technical Papers Chenyang Lyu Zhejiang University, Hong Liang Zhejiang University, Shouling Ji Zhejiang University, Xuhong Zhang Zhejiang University, Binbin Zhao Georgia Institute of Technology, Meng Han Binjiang Institute of Zhejiang University & Zhejiang University, Yun Li Huawei Technologies Co., Ltd., Zhe Wang State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Wenhai Wang Zhejiang University, Raheem Beyah Georgia Institute of Technology DOI
17:00 20m Talk		Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs ISSTA Technical Papers Sumit Lahiri Indian Institute Of Technology Kanpur, Subhajit Roy IIT Kanpur, India DOI

18:00 - 19:00	Session 3-4: Fuzzing and Friends EISSTA Technical Papers at ISSTA 2 Chair(s): Ding Li Peking University

18:00 20m Talk		Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices via Enhanced User-mode Emulation ISSTA Technical Papers Yaowen Zheng Nanyang Technological University; Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China;, Yuekang Li Nanyang Technological University, Cen Zhang Nanyang Technological University, Hongsong Zhu Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China, Yang Liu Nanyang Technological University, Limin Sun Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China DOI
18:20 20m Talk		MDPFuzz: Testing Models Solving Markov Decision Processes ISSTA Technical Papers Qi Pang HKUST, Yuanyuan Yuan The Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology DOI
18:40 20m Talk		PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation ISSTA Technical Papers Zheyu Ma , Bodong Zhao Tsinghua University, Letu Ren Department of Computer Science and Technology, Tsinghua University, Zheming Li Tsinghua University, Siqi Ma the University of Queensland, Xiapu Luo Hong Kong Polytechnic University, Chao Zhang Tsinghua University DOI

Thu 21 Jul
Displayed time zone: Seoul change

01:20 - 02:20	Session 1-6: Concurrency, IoT, Embedded AISSTA Technical Papers at ISSTA 2

01:20 20m Talk		A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware ISSTA Technical Papers Binbin Zhao Georgia Institute of Technology, Shouling Ji Zhejiang University, Jiacheng Xu Zhejiang University, Yuan Tian University of Virginia, Qiuyang Wei Zhejiang University, Qinying Wang Zhejiang University, Chenyang Lyu Zhejiang University, Xuhong Zhang Zhejiang University, Changting Lin Binjiang Institute of Zhejiang University, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Raheem Beyah Georgia Institute of Technology DOI
01:40 20m Talk		Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems ISSTA Technical Papers Ziyuan Zhong Columbia University, Zhisheng Hu Baidu Security, Shengjian Guo Baidu Security, Xinyang Zhang Baidu Security, Zhenyu Zhong Baidu USA, Baishakhi Ray Columbia University DOI
02:00 20m Talk		Understanding Device Integration Bugs in Smart Home System ISSTA Technical Papers Tao Wang , Kangkang Zhang Institute of Software Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences, China, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences DOI

03:00 - 03:40	Session 1-8: Concurrency, IoT, Embedded DISSTA Technical Papers at ISSTA 2

03:00 20m Talk		Deadlock Prediction via Generalized Dependency ISSTA Technical Papers Jinpeng Zhou University of Pittsburgh, Hanmei Yang University of Massachusetts Amherst, John Lange Oak Ridge National Lab/University of Pittsburgh, Tongping Liu University of Massachusetts at Amherst DOI
03:20 20m Talk		Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning ISSTA Technical Papers Chao Li Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Rui Chen Beijing Institute of Control Engineering, Boxiang Wang Xidian University and Beijing Sunwise Information Technology Ltd, Tingting Yu Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Dongdong Gao Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Mengfei Yang China Academy of Space Technology, China DOI

07:00 - 08:00	Session 2-8: Concurrency, IoT, Embedded BISSTA Technical Papers at ISSTA 2

07:00 20m Talk		A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware ISSTA Technical Papers Binbin Zhao Georgia Institute of Technology, Shouling Ji Zhejiang University, Jiacheng Xu Zhejiang University, Yuan Tian University of Virginia, Qiuyang Wei Zhejiang University, Qinying Wang Zhejiang University, Chenyang Lyu Zhejiang University, Xuhong Zhang Zhejiang University, Changting Lin Binjiang Institute of Zhejiang University, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Raheem Beyah Georgia Institute of Technology DOI
07:20 20m Talk		Automated Testing of Image Captioning Systems ISSTA Technical Papers BoXi Yu The Chinese University of Hong Kong, Shenzhen, Zhiqing Zhong South China University of Technology, Xinran Qin South China University of Technology, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Yuancheng Wang The Chinese University of Hong Kong, Shenzhen, Pinjia He The Chinese University of Hong Kong, Shenzhen DOI
07:40 20m Talk		LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems ISSTA Technical Papers An Guo Nanjing University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University DOI

08:40 - 09:40	Session 2-10: Static Analysis and Specifications Testing BISSTA Technical Papers at ISSTA 2 Chair(s): Behnaz Hassanshahi Oracle Labs, Australia

08:40 20m Talk		Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection ISSTA Technical Papers Xiao Cheng University of Technology Sydney, Guanqin Zhang University of Technology Sydney, Haoyu Wang Huazhong University of Science and Technology, China, Yulei Sui University of New South Wales DOI
09:00 20m Talk		Testing Dafny (Experience Paper) ISSTA Technical Papers Ahmed Irfan Amazon Web Services, Sorawee Porncharoenwase University of Washington, Zvonimir Rakamaric Amazon Web Services, Neha Rungta Amazon Web Services, Emina Torlak Amazon Web Services DOI
09:20 20m Talk		The Raise of Machine Learning Hyperparameter Constraints in Python CodeACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Guillaume Baudart Inria; ENS; PSL University, Martin Hirzel IBM Research, Julian Dolby IBM Research, USA DOI

16:20 - 17:40	Session 3-6: Neural Networks, Learning, NLP FISSTA Technical Papers at ISSTA 2

16:20 20m Talk		AEON: A Method for Automatic Evaluation of NLP Test Cases ISSTA Technical Papers Jen-tse Huang The Chinese University of Hong Kong, Jianping Zhang The Chinese University of Hong Kong, Wenxuan Wang The Chinese University of Hong Kong, Pinjia He The Chinese University of Hong Kong, Shenzhen, Yuxin Su Sun Yat-sen University, Michael Lyu The Chinese University of Hong Kong DOI
16:40 20m Talk		HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models ISSTA Technical Papers Yu Li The Chinese University of Hong Kong, Muxi Chen The Chinese University of Hong Kong, Xu, Qiang DOI
17:00 20m Talk		Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment ISSTA Technical Papers Geunwoo Kim University of California, Irvine, USA, Sanghyun Hong Oregon State University, Michael Franz University of California, Irvine, Dokyung Song Yonsei University, South Korea DOI
17:20 20m Talk		Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs ISSTA Technical Papers Charaka Geethal Monash University, Thuan Pham The University of Melbourne, Aldeida Aleti Monash University, Marcel Böhme MPI-SP, Germany and Monash University, Australia DOI Pre-print

18:00 - 18:40	Session 3-8: Program Repair CISSTA Technical Papers at ISSTA 2

18:00 20m Talk		CIRCLE: Continual Repair across Programming Languages ISSTA Technical Papers Wei Yuan The University of Queensland, Quanjun Zhang Nanjing University, Tieke He Nanjing University, Chunrong Fang Nanjing University, Nguyen Quoc Viet Hung Griffith University, Xiaodong Hao Nanjing University, Hongzhi Yin The University of Queensland DOI
18:20 20m Talk		Program Vulnerability Repair via Inductive Inference ISSTA Technical Papers Yuntong Zhang National University of Singapore, Xiang Gao Beihang University, China, Gregory J. Duck National University of Singapore, Abhik Roychoudhury National University of Singapore DOI

Fri 22 Jul
Displayed time zone: Seoul change

00:00 - 01:00	Session 1-10: Neural Networks, Learning, NLP AISSTA Technical Papers at ISSTA 2

00:00 20m Talk		AEON: A Method for Automatic Evaluation of NLP Test Cases ISSTA Technical Papers Jen-tse Huang The Chinese University of Hong Kong, Jianping Zhang The Chinese University of Hong Kong, Wenxuan Wang The Chinese University of Hong Kong, Pinjia He The Chinese University of Hong Kong, Shenzhen, Yuxin Su Sun Yat-sen University, Michael Lyu The Chinese University of Hong Kong DOI
00:20 20m Talk		Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study) ISSTA Technical Papers Michael Weiss Università della Svizzera italiana (USI), Paolo Tonella USI Lugano DOI Pre-print
00:40 20m Talk		ε-weakened Robustness of Deep Neural Networks ISSTA Technical Papers Pei Huang State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences, Yuting Yang Institute of Computing Technology,Chinese Academy of Sciences; University of Chinese Academy of Sciences, Minghao Liu Institute of Software, Chinese Academy of Sciences, Fuqi Jia State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences, Feifei Ma Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences, China DOI

01:40 - 02:20	Session 1-12: Neural Networks, Learning, NLP DISSTA Technical Papers at ISSTA 2

01:40 20m Talk		Cross-Lingual Transfer Learning for Statistical Type InferenceACM SIGSOFT Distinguished Paper ISSTA Technical Papers Zhiming Li Nanyang Technological University, Singapore, Xiaofei Xie Singapore Management University, Singapore, Haoliang Li City University of Hong Kong, Zhengzi Xu Nanyang Technological University, Yi Li Nanyang Technological University, Yang Liu Nanyang Technological University DOI
02:00 20m Talk		DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions ISSTA Technical Papers Danning Xie Purdue University, Yitong Li University of Waterloo, Mijung Kim UNIST, Hung Viet Pham University of Waterloo, Lin Tan Purdue University, Xiangyu Zhang Purdue University, Michael W. Godfrey University of Waterloo, Canada DOI

03:00 - 03:40	Session 1-14: Android AISSTA Technical Papers at ISSTA 2 Chair(s): Christoph Csallner University of Texas at Arlington

03:00 20m Talk		Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android ISSTA Technical Papers Yifei Lu Nanjing University, Minxue Pan Nanjing University, Yu Pei Hong Kong Polytechnic University, Xuandong Li Nanjing University DOI
03:20 20m Talk		NCScope: Hardware-Assisted Analyzer for Native Code in Android AppsACM SIGSOFT Distinguished Paper ISSTA Technical Papers Hao Zhou The Hong Kong Polytechnic University, Shuohan Wu The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Ting Wang Pennsylvania State University, Yajin Zhou Zhejiang University, Chao Zhang Tsinghua University, Haipeng Cai Washington State University, USA DOI

07:00 - 08:20	Session 2-14: Program Repair BISSTA Technical Papers at ISSTA 2 Chair(s): Christoph Csallner University of Texas at Arlington

07:00 20m Talk		ATR: Template-based Repair for Alloy Specifications ISSTA Technical Papers Guolong Zheng University of Nebraska Lincoln, ThanhVu Nguyen George Mason University, Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Hamid Bagheri University of Nebraska-Lincoln DOI
07:20 20m Talk		CIRCLE: Continual Repair across Programming Languages ISSTA Technical Papers Wei Yuan The University of Queensland, Quanjun Zhang Nanjing University, Tieke He Nanjing University, Chunrong Fang Nanjing University, Nguyen Quoc Viet Hung Griffith University, Xiaodong Hao Nanjing University, Hongzhi Yin The University of Queensland DOI
07:40 20m Talk		Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code ISSTA Technical Papers Ali Ghanbari Iowa State University, Andrian Marcus University of Texas at Dallas DOI Pre-print
08:00 20m Talk		Program Vulnerability Repair via Inductive Inference ISSTA Technical Papers Yuntong Zhang National University of Singapore, Xiang Gao Beihang University, China, Gregory J. Duck National University of Singapore, Abhik Roychoudhury National University of Singapore DOI

15:00 - 16:20	Session 3-10: Neural Networks, Learning, NLP CISSTA Technical Papers at ISSTA 2

15:00 20m Talk		ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems ISSTA Technical Papers Pin Ji Nanjing University, Yang Feng Nanjing University, Jia Liu Nanjing University, Zhihong Zhao Nanjing Tech Unniversity, Zhenyu Chen Nanjing University DOI
15:20 20m Talk		BET: Black-box Efficient Testing for Convolutional Neural Networks ISSTA Technical Papers Wang Jialai Tsinghua University, Han Qiu Tsinghua University, Yi Rong Tsinghua University, Hengkai Ye Purdue University, Qi Li Tsinghua University, Zongpeng Li Tsinghua University, Chao Zhang Tsinghua University DOI
15:40 20m Talk		Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study) ISSTA Technical Papers Michael Weiss Università della Svizzera italiana (USI), Paolo Tonella USI Lugano DOI Pre-print
16:00 20m Talk		ε-weakened Robustness of Deep Neural Networks ISSTA Technical Papers Pei Huang State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences, Yuting Yang Institute of Computing Technology,Chinese Academy of Sciences; University of Chinese Academy of Sciences, Minghao Liu Institute of Software, Chinese Academy of Sciences, Fuqi Jia State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences, Feifei Ma Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences, China DOI

16:40 - 17:40	Session 3-12: Android CISSTA Technical Papers at ISSTA 2

16:40 20m Talk		Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study) ISSTA Technical Papers Pei Liu Monash University, Yanjie Zhao Monash University, Haipeng Cai Washington State University, USA, Mattia Fazzini University of Minnesota, John Grundy Monash University, Li Li Monash University DOI
17:00 20m Talk		Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android ISSTA Technical Papers Yifei Lu Nanjing University, Minxue Pan Nanjing University, Yu Pei Hong Kong Polytechnic University, Xuandong Li Nanjing University DOI
17:20 20m Talk		NCScope: Hardware-Assisted Analyzer for Native Code in Android AppsACM SIGSOFT Distinguished Paper ISSTA Technical Papers Hao Zhou The Hong Kong Polytechnic University, Shuohan Wu The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Ting Wang Pennsylvania State University, Yajin Zhou Zhejiang University, Chao Zhang Tsinghua University, Haipeng Cai Washington State University, USA DOI

18:00 - 18:40	Session 3-14: Android DISSTA Technical Papers at ISSTA 2

18:00 20m Talk		Detecting and Fixing Data Loss Issues in Android Apps ISSTA Technical Papers Wunan Guo Fudan University, Zhen Dong Fudan University, China, Liwei Shen Fudan University, Wei Tian Fudan University, Ting Su East China Normal University, Xin Peng Fudan University DOI
18:20 20m Talk		PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications ISSTA Technical Papers Shuaihao Yang Nanjing University of Science and Technology, Zigang Zeng Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology DOI

Wed 20 Jul
Displayed time zone: Seoul change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
ISSTA 2					ISSTA Technical Papers Session 1-2: Test Generation and Mutation A																				ISSTA Technical Papers Session 1-4: Smart Contracts A																																																ISSTA Technical Papers Session 2-2: Neural Networks, Learning, NLP E																				ISSTA Technical Papers Session 2-4: Neural Networks, Learning, NLP B																ISSTA Technical Papers Session 2-6: Concurrency, IoT, Embedded E																																																																												ISSTA Technical Papers Session 3-2: Fuzzing and Friends C																				ISSTA Technical Papers Session 3-4: Fuzzing and Friends E

Thu 21 Jul
Displayed time zone: Seoul change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
ISSTA 2					ISSTA Technical Papers Session 1-6: Concurrency, IoT, Embedded A																				ISSTA Technical Papers Session 1-8: Concurrency, IoT, Embedded D																																																ISSTA Technical Papers Session 2-8: Concurrency, IoT, Embedded B																				ISSTA Technical Papers Session 2-10: Static Analysis and Specifications Testing B																																																																																ISSTA Technical Papers Session 3-6: Neural Networks, Learning, NLP F																				ISSTA Technical Papers Session 3-8: Program Repair C

Fri 22 Jul
Displayed time zone: Seoul change


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
ISSTA 2	ISSTA Technical Papers Session 1-10: Neural Networks, Learning, NLP A																				ISSTA Technical Papers Session 1-12: Neural Networks, Learning, NLP D																ISSTA Technical Papers Session 1-14: Android A																																																ISSTA Technical Papers Session 2-14: Program Repair B																																																																																								ISSTA Technical Papers Session 3-10: Neural Networks, Learning, NLP C																				ISSTA Technical Papers Session 3-12: Android C																ISSTA Technical Papers Session 3-14: Android D

Wed 20 Jul
Displayed time zone: Seoul change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			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			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
ISSTA 2					ISSTA Technical Papers On the Use of Mutation Analysis For Evaluating Student Test Suite Quality 01:20 - 01:40				ISSTA Technical Papers Automated Test Generation for REST APIs: No Time to Rest Yet 01:40 - 02:00				ISSTA Technical Papers One Step Further: Evaluating Interpreters Using Metamorphic Testing 02:00 - 02:20												ISSTA Technical Papers eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts 03:00 - 03:20				ISSTA Technical Papers Park: Accelerating Smart Contract Vulnerability Detection via Parallel- ... 03:20 - 03:40				ISSTA Technical Papers WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts 03:40 - 04:00																																								ISSTA Technical PapersACM SIGSOFT Distinguished Paper Cross-Lingual Transfer Learning for Statistical Type Inference 07:00 - 07:20				ISSTA Technical Papers DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Func ... 07:20 - 07:40				ISSTA Technical Papers HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models 07:40 - 08:00				ISSTA Technical Papers Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processin ... 08:00 - 08:20								ISSTA Technical Papers ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recogn ... 08:40 - 09:00				ISSTA Technical Papers BET: Black-box Efficient Testing for Convolutional Neural Networks 09:00 - 09:20				ISSTA Technical Papers Improving Cross-Platform Binary Analysis using Representation Learning ... 09:20 - 09:40								ISSTA Technical Papers Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems 10:00 - 10:20				ISSTA Technical Papers Deadlock Prediction via Generalized Dependency 10:20 - 10:40																																																																								ISSTA Technical Papers SnapFuzz: High-Throughput Fuzzing of Network Applications 16:20 - 16:40				ISSTA Technical Papers SLIME: Program-sensitive Energy Allocation for Fuzzing 16:40 - 17:00				ISSTA Technical Papers Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing ... 17:00 - 17:20												ISSTA Technical Papers Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices vi ... 18:00 - 18:20				ISSTA Technical Papers MDPFuzz: Testing Models Solving Markov Decision Processes 18:20 - 18:40				ISSTA Technical Papers PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation 18:40 - 19:00

Thu 21 Jul
Displayed time zone: Seoul change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			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			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
ISSTA 2					ISSTA Technical Papers A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by T ... 01:20 - 01:40				ISSTA Technical Papers Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems 01:40 - 02:00				ISSTA Technical Papers Understanding Device Integration Bugs in Smart Home System 02:00 - 02:20												ISSTA Technical Papers Deadlock Prediction via Generalized Dependency 03:00 - 03:20				ISSTA Technical Papers Precise and Efficient Atomicity Violation Detection for Interrupt-drive ... 03:20 - 03:40																																												ISSTA Technical Papers A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by T ... 07:00 - 07:20				ISSTA Technical Papers Automated Testing of Image Captioning Systems 07:20 - 07:40				ISSTA Technical Papers LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonom ... 07:40 - 08:00												ISSTA Technical Papers Path-Sensitive Code Embedding via Contrastive Learning for Software Vul ... 08:40 - 09:00				ISSTA Technical Papers Testing Dafny (Experience Paper) 09:00 - 09:20				ISSTA Technical PapersACM SIGSOFT Distinguished Paper The Raise of Machine Learning Hyperparameter Constraints in Python Code 09:20 - 09:40																																																																								ISSTA Technical Papers AEON: A Method for Automatic Evaluation of NLP Test Cases 16:20 - 16:40				ISSTA Technical Papers HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models 16:40 - 17:00				ISSTA Technical Papers Improving Cross-Platform Binary Analysis using Representation Learning ... 17:00 - 17:20				ISSTA Technical Papers Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processin ... 17:20 - 17:40								ISSTA Technical Papers CIRCLE: Continual Repair across Programming Languages 18:00 - 18:20				ISSTA Technical Papers Program Vulnerability Repair via Inductive Inference 18:20 - 18:40

Fri 22 Jul
Displayed time zone: Seoul change


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			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			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
ISSTA 2	ISSTA Technical Papers AEON: A Method for Automatic Evaluation of NLP Test Cases 00:00 - 00:20				ISSTA Technical Papers Simple Techniques Work Surprisingly Well for Neural Network Test Priori ... 00:20 - 00:40				ISSTA Technical Papers ε-weakened Robustness of Deep Neural Networks 00:40 - 01:00												ISSTA Technical PapersACM SIGSOFT Distinguished Paper Cross-Lingual Transfer Learning for Statistical Type Inference 01:40 - 02:00				ISSTA Technical Papers DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Func ... 02:00 - 02:20												ISSTA Technical Papers Detecting Resource Utilization Bugs Induced by Variant Lifecycles in An ... 03:00 - 03:20				ISSTA Technical PapersACM SIGSOFT Distinguished Paper NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps 03:20 - 03:40																																												ISSTA Technical Papers ATR: Template-based Repair for Alloy Specifications 07:00 - 07:20				ISSTA Technical Papers CIRCLE: Continual Repair across Programming Languages 07:20 - 07:40				ISSTA Technical Papers Patch Correctness Assessment in Automated Program Repair Based on the I ... 07:40 - 08:00				ISSTA Technical Papers Program Vulnerability Repair via Inductive Inference 08:00 - 08:20																																																																												ISSTA Technical Papers ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recogn ... 15:00 - 15:20				ISSTA Technical Papers BET: Black-box Efficient Testing for Convolutional Neural Networks 15:20 - 15:40				ISSTA Technical Papers Simple Techniques Work Surprisingly Well for Neural Network Test Priori ... 15:40 - 16:00				ISSTA Technical Papers ε-weakened Robustness of Deep Neural Networks 16:00 - 16:20								ISSTA Technical Papers Automatically Detecting API-induced Compatibility Issues in Android App ... 16:40 - 17:00				ISSTA Technical Papers Detecting Resource Utilization Bugs Induced by Variant Lifecycles in An ... 17:00 - 17:20				ISSTA Technical PapersACM SIGSOFT Distinguished Paper NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps 17:20 - 17:40								ISSTA Technical Papers Detecting and Fixing Data Loss Issues in Android Apps 18:00 - 18:20				ISSTA Technical Papers PermDroid: Automatically Testing Permission-Related Behaviour of Androi ... 18:20 - 18:40

Room information: ISSTA 2

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change

Wed 20 Jul
Displayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 21 Jul
Displayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 22 Jul
Displayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change

Tracks

Room information: ISSTA 2

Program Display Configuration

Wed 20 JulDisplayed time zone: Seoul change

Thu 21 JulDisplayed time zone: Seoul change

Fri 22 JulDisplayed time zone: Seoul change

Wed 20 JulDisplayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 21 JulDisplayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 22 JulDisplayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Wed 20 JulDisplayed time zone: Seoul change

Thu 21 JulDisplayed time zone: Seoul change

Fri 22 JulDisplayed time zone: Seoul change

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change