ISSTA 2 - SPIN 2021

Venueonline

Room nameISSTA 2

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Brussels, Copenhagen, Madrid, Paris.

Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, ParisSelect 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 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

18:30 - 19:30	Session 2 (time band 1) Testing Deep Learning Systems 1ISSTA Technical Papers at ISSTA 2 Chair(s): Lin Tan Purdue University

18:30 20m Talk		Attack as Defense: Characterizing Adversarial Examples using Robustness ISSTA Technical Papers Zhe Zhao ShanghaiTech University, Guangke Chen ShanghaiTech University, Jingyi Wang Zhejiang University, Yiwei Yang ShanghaiTech University, Fu Song ShanghaiTech University, Jun Sun Singapore Management University DOI Media Attached
18:50 20m Talk		Exposing Previously Undetectable Faults in Deep Neural Networks ISSTA Technical Papers Isaac Dunn University of Oxford, Hadrien Pouget University of Oxford, Daniel Kroening Amazon, Tom Melham University of Oxford DOI Pre-print Media Attached
19:10 20m Talk		DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults ISSTA Technical Papers Nargiz Humbatova USI Lugano, Gunel Jahangirova USI Lugano, Paolo Tonella USI Lugano DOI

19:40 - 20:20	Session 4 (time band 1) Testing Deep Learning Systems 2ISSTA Technical Papers at ISSTA 2 Chair(s): Sebastian Elbaum University of Virginia

19:40 20m Talk		DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search ISSTA Technical Papers Tahereh Zohdinasab USI Lugano, Vincenzo Riccio USI Lugano, Alessio Gambi University of Passau, Paolo Tonella USI Lugano DOI File Attached
20:00 20m Talk		Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper) ISSTA Technical Papers Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa, Thomas Stifter IEE, Jun Wang Post Luxembourg DOI

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

00:20 - 01:20	Session 6 (time band 2) FuzzingISSTA Technical Papers at ISSTA 2 Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign

00:20 20m Talk		Seed Selection for Successful Fuzzing ISSTA Technical Papers Adrian Herrera Australian National University; DST, Hendra Gunadi Australian National University, Shane Magrath DST, Michael Norrish CSIRO’s Data61; Australian National University, Mathias Payer EPFL, Tony Hosking Australian National University; CSIRO’s Data61 DOI Pre-print File Attached
00:40 20m Talk		Gramatron: Effective Grammar-Aware Fuzzing ISSTA Technical Papers Prashast Srivastava Purdue University, Mathias Payer EPFL DOI Pre-print Media Attached File Attached
01:00 20m Talk		QFuzz: Quantitative Fuzzing for Side Channels ISSTA Technical Papers Yannic Noller National University of Singapore, Saeid Tizpaz-Niari University of Texas at El Paso DOI Pre-print Media Attached

01:40 - 02:20	Session 8 (time band 2) Dynamic AnalysisISSTA Technical Papers at ISSTA 2 Chair(s): Luís Pina University of Illinois at Chicago

01:40 20m Talk		Runtime Detection of Memory Errors with Smart Status ISSTA Technical Papers Zhe Chen Nanjing University of Aeronautics and Astronautics, Chong Wang Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Yulei Sui University of Technology Sydney, Jingling Xue UNSW DOI Media Attached
02:00 20m Talk		UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities ISSTA Technical Papers Binfa Gui Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University DOI Media Attached File Attached

09:10 - 10:50	Session 10 (time band 3) Symbolic Execution 1ISSTA Technical Papers at ISSTA 2 Chair(s): Sébastien Bardin CEA LIST, University Paris-Saclay

09:10 20m Talk		Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration ISSTA Technical Papers Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI
09:30 20m Talk		Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) ISSTA Technical Papers Sicheng Luo Fudan University, Hui Xu Fudan University, Yanxiang Bi Fudan University, Xin Wang Fudan University, Yangfan Zhou Fudan University DOI File Attached
09:50 20m Talk		Synthesize Solving Strategy for Symbolic Execution ISSTA Technical Papers Zhenbang Chen National University of Defense Technology, Zehua Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Guofeng Zhang Hunan University, Weiyu Pan National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI
10:10 20m Talk		Type and Interval Aware Array Constraint Solving for Symbolic ExecutionACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ziqi Shuai National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University, Jun Sun Singapore Management University, Ji Wang National University of Defense Technology DOI
10:30 20m Talk		Grammar-Agnostic Symbolic Execution by Token Symbolization ISSTA Technical Papers Weiyu Pan National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Guofeng Zhang Hunan University, Yunlai Luo National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI

19:00 - 20:20	Session 12 (time band 1) Configuration and Dependency ISSTA Technical Papers at ISSTA 2 Chair(s): Jonathan Bell Northeastern University

19:00 20m Talk		Fixing Dependency Errors for Python Build Reproducibility ISSTA Technical Papers Suchita Mukherjee University of California at Davis, Abigail Almanza University of California at Davis, Cindy Rubio-González University of California at Davis DOI
19:20 20m Talk		Test-Case Prioritization for Configuration TestingACM SIGSOFT Distinguished Paper ISSTA Technical Papers Runxiang Cheng University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Tianyin Xu University of Illinois at Urbana-Champaign DOI
19:40 20m Talk		The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android ISSTA Technical Papers Austin Mordahl University of Texas at Dallas, Shiyi Wei University of Texas at Dallas DOI Pre-print
20:00 20m Talk		Challenges and Opportunities: An In-Depth Empirical Study on Configuration Error Injection Testing ISSTA Technical Papers Wang Li National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Teng Wang National University of Defense Technology, Erci Xu National University of Defense Technology, Ji Wang National University of Defense Technology, Liao Xiangke National University of Defense Technology DOI File Attached

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

02:00 - 03:20	Session 14 (time band 2) Symbolic Execution 2ISSTA Technical Papers at ISSTA 2 Chair(s): Martin Nowack Imperial College London

02:00 20m Talk		Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration ISSTA Technical Papers Peisen Yao Hong Kong University of Science and Technology, Heqing Huang Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Purdue University, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI
02:20 20m Talk		Synthesize Solving Strategy for Symbolic Execution ISSTA Technical Papers Zhenbang Chen National University of Defense Technology, Zehua Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Guofeng Zhang Hunan University, Weiyu Pan National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI
02:40 20m Talk		Type and Interval Aware Array Constraint Solving for Symbolic ExecutionACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ziqi Shuai National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University, Jun Sun Singapore Management University, Ji Wang National University of Defense Technology DOI
03:00 20m Talk		Grammar-Agnostic Symbolic Execution by Token Symbolization ISSTA Technical Papers Weiyu Pan National University of Defense Technology, Zhenbang Chen National University of Defense Technology, Guofeng Zhang Hunan University, Yunlai Luo National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang National University of Defense Technology DOI

08:00 - 09:00	Session 16 (time band 3) Binary AnalysisISSTA Technical Papers at ISSTA 2 Chair(s): Michael Pradel University of Stuttgart

08:00 20m Talk		iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing ISSTA Technical Papers Shisong Qin Tsinghua University, Chao Zhang Tsinghua University, Kaixiang Chen Tsinghua University, Zheming Li Tsinghua University DOI
08:20 20m Talk		RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis ISSTA Technical Papers Ming Yuan Tsinghua University, Yeseop Lee Tsinghua University, Chao Zhang Tsinghua University, Yun Li Tsinghua University, Yan Cai Institute of Software at Chinese Academy of Sciences, Bodong Zhao Tsinghua University DOI
08:40 20m Talk		A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped BinariesACM SIGSOFT Distinguished Paper ISSTA Technical Papers Han Gao University of Science and Technology of China, Shaoyin Cheng University of Science and Technology of China, Yinxing Xue University of Science and Technology of China, Weiming Zhang University of Science and Technology of China DOI

10:00 - 11:20	Session 18 (time band 3) Android Application Testing 2ISSTA Technical Papers at ISSTA 2 Chair(s): Shin Hwei Tan Southern University of Science and Technology

10:00 20m Talk		GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps ISSTA Technical Papers Tongtong Xu Nanjing University, Minxue Pan Nanjing University, Yu Pei Hong Kong Polytechnic University, Guiyin Li Nanjing University, Xia Zeng Tencent, Tian Zhang Nanjing University, Yuetang Deng Tencent, Xuandong Li Nanjing University DOI
10:20 20m Talk		Understanding and Finding System Setting-Related Defects in Android Apps ISSTA Technical Papers Jingling Sun East China Normal University, Ting Su East China Normal University, Junxin Li East China Normal University, Zhen Dong National University of Singapore, Geguang Pu East China Normal University, Tao Xie Peking University, Zhendong Su ETH Zurich DOI Media Attached
10:40 20m Talk		Parema: An Unpacking Framework for Demystifying VM-Based Android Packers ISSTA Technical Papers Lei Xue Hong Kong Polytechnic University, Yuxiao Yan Xi'an Jiaotong University; Hong Kong Polytechnic University, Luyi Yan Hong Kong Polytechnic University, Muhui Jiang Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Dinghao Wu Pennsylvania State University, Yajin Zhou Zhejiang University DOI
11:00 20m Talk		HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis ISSTA Technical Papers Yueming Wu Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Wei Yang University of Texas at Dallas, Xiang Li Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology DOI

18:20 - 20:00	Session 20 (time band 1) AnalysisISSTA Technical Papers at ISSTA 2 Chair(s): Shiyi Wei University of Texas at Dallas

18:20 20m Talk		A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped BinariesACM SIGSOFT Distinguished Paper ISSTA Technical Papers Han Gao University of Science and Technology of China, Shaoyin Cheng University of Science and Technology of China, Yinxing Xue University of Science and Technology of China, Weiming Zhang University of Science and Technology of China DOI
18:40 20m Talk		Boosting Symbolic Execution via Constraint Solving Time Prediction (Experience Paper) ISSTA Technical Papers Sicheng Luo Fudan University, Hui Xu Fudan University, Yanxiang Bi Fudan University, Xin Wang Fudan University, Yangfan Zhou Fudan University DOI File Attached
19:00 20m Talk		Finding Data Compatibility Bugs with JSON Subschema CheckingDistinguished Artifact ISSTA Technical Papers Andrew Habib SnT, University of Luxembourg, Avraham Shinnar IBM Research, Martin Hirzel IBM Research, Michael Pradel University of Stuttgart Link to publication DOI Pre-print File Attached
19:20 20m Talk		SAND: A Static Analysis Approach for Detecting SQL AntipatternsACM SIGSOFT Distinguished Paper ISSTA Technical Papers Yingjun Lyu Amazon, Sasha Volokh University of Southern California, William G.J. Halfond University of Southern California, Omer Tripp Amazon DOI
19:40 20m Talk		Automated Patch Backporting in Linux (Experience Paper)Distinguished Artifact ISSTA Technical Papers Ridwan Salihin Shariffdeen National University of Singapore, Xiang Gao National University of Singapore, Gregory J. Duck National University of Singapore, Shin Hwei Tan Southern University of Science and Technology, Julia Lawall Inria, Abhik Roychoudhury National University of Singapore DOI Pre-print Media Attached

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

01:10 - 02:30	Session 22 (time band 2) Bugs and Analysis 1 ISSTA Technical Papers at ISSTA 2 Chair(s): Saeid Tizpaz-Niari University of Texas at El Paso

01:10 20m Talk		Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space ISSTA Technical Papers Yicheng Pan Peking University, Meng Ma Peking University, Xinrui Jiang Peking University, Ping Wang Peking University DOI Media Attached File Attached
01:30 20m Talk		iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing ISSTA Technical Papers Shisong Qin Tsinghua University, Chao Zhang Tsinghua University, Kaixiang Chen Tsinghua University, Zheming Li Tsinghua University DOI
01:50 20m Talk		RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis ISSTA Technical Papers Ming Yuan Tsinghua University, Yeseop Lee Tsinghua University, Chao Zhang Tsinghua University, Yun Li Tsinghua University, Yan Cai Institute of Software at Chinese Academy of Sciences, Bodong Zhao Tsinghua University DOI
02:10 20m Talk		Fixing Dependency Errors for Python Build Reproducibility ISSTA Technical Papers Suchita Mukherjee University of California at Davis, Abigail Almanza University of California at Davis, Cindy Rubio-González University of California at Davis DOI

02:40 - 03:40	Session 24 (time band 2) Android and Web Application TestingISSTA Technical Papers at ISSTA 2 Chair(s): Omer Tripp IBM Thomas J. Watson Research Center

02:40 20m Talk		WebEvo: Taming Web Application Evolution via Detecting Semantic Structure Changes ISSTA Technical Papers Fei Shao Case Western Reserve University, Rui Xu Case Western Reserve University, Wasif Haque University of Texas at Dallas, Jingwei Xu Peking University, Ying Zhang Peking University, Wei Yang University of Texas at Dallas, Yanfang Ye Case Western Reserve University, Xusheng Xiao Case Western Reserve University DOI File Attached
03:00 20m Talk		The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android ISSTA Technical Papers Austin Mordahl University of Texas at Dallas, Shiyi Wei University of Texas at Dallas DOI Pre-print
03:20 20m Talk		An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools ISSTA Technical Papers Wenyu Wang University of Illinois at Urbana-Champaign, Wing Lam University of Illinois at Urbana-Champaign, Tao Xie Peking University Link to publication DOI Media Attached

08:00 - 09:20	Session 26 (time band 3) Testing Deep Learning Systems 5ISSTA Technical Papers at ISSTA 2 Chair(s): Junjie Chen Tianjin University

08:00 20m Talk		Efficient White-Box Fairness Testing through Gradient Search ISSTA Technical Papers Lingfeng Zhang East China Normal University, Yueling Zhang Singapore Management University, Min Zhang East China Normal University DOI Media Attached
08:20 20m Talk		DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems ISSTA Technical Papers Zixi Liu Nanjing University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University DOI
08:40 20m Talk		AdvDoor: Adversarial Backdoor Attack of Deep Learning System ISSTA Technical Papers Quan Zhang Tsinghua University, Yifeng Ding Tsinghua University, Yongqiang Tian Tianjin University, Jianmin Guo Tsinghua University, Min Yuan WeBank, Yu Jiang Tsinghua University DOI
09:00 20m Talk		ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Detection ISSTA Technical Papers Yuanchun Li Microsoft Research, Ziqi Zhang Peking University, Bingyan Liu Peking University, Ziyue Yang Microsoft Research, Yunxin Liu Tsinghua University DOI

09:30 - 10:50	Session 28 (time band 3) Fuzzing and Runtime AnalysisISSTA Technical Papers at ISSTA 2 Chair(s): Michaël Marcozzi Université Paris-Saclay, CEA, List

09:30 20m Talk		Runtime Detection of Memory Errors with Smart Status ISSTA Technical Papers Zhe Chen Nanjing University of Aeronautics and Astronautics, Chong Wang Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Yulei Sui University of Technology Sydney, Jingling Xue UNSW DOI Media Attached
09:50 20m Talk		UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities ISSTA Technical Papers Binfa Gui Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University DOI Media Attached File Attached
10:10 20m Talk		Seed Selection for Successful Fuzzing ISSTA Technical Papers Adrian Herrera Australian National University; DST, Hendra Gunadi Australian National University, Shane Magrath DST, Michael Norrish CSIRO’s Data61; Australian National University, Mathias Payer EPFL, Tony Hosking Australian National University; CSIRO’s Data61 DOI Pre-print File Attached
10:30 20m Talk		QFuzz: Quantitative Fuzzing for Side Channels ISSTA Technical Papers Yannic Noller National University of Singapore, Saeid Tizpaz-Niari University of Texas at El Paso DOI Pre-print Media Attached

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	18:00						30						19:00						30						20:00						30
ISSTA 2							ISSTA Technical Papers Session 2 (time band 1) Testing Deep Learning Systems 1														ISSTA Technical Papers Session 4 (time band 1) Testing Deep Learning Systems 2

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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						19:00						30						20:00						30
ISSTA 2					ISSTA Technical Papers Session 6 (time band 2) Fuzzing																ISSTA Technical Papers Session 8 (time band 2) Dynamic Analysis																																																																																ISSTA Technical Papers Session 10 (time band 3) Symbolic Execution 1																																																																																						ISSTA Technical Papers Session 12 (time band 1) Configuration and Dependency

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	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						19:00						30
ISSTA 2	ISSTA Technical Papers Session 14 (time band 2) Symbolic Execution 2																																																																								ISSTA Technical Papers Session 16 (time band 3) Binary Analysis																								ISSTA Technical Papers Session 18 (time band 3) Android Application Testing 2																																																																																								ISSTA Technical Papers Session 20 (time band 1) Analysis

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
ISSTA 2			ISSTA Technical Papers Session 22 (time band 2) Bugs and Analysis 1																		ISSTA Technical Papers Session 24 (time band 2) Android and Web Application Testing																																																																ISSTA Technical Papers Session 26 (time band 3) Testing Deep Learning Systems 5																		ISSTA Technical Papers Session 28 (time band 3) Fuzzing and Runtime Analysis

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	18:00			15			30			45			19:00			15			30			45			20:00			15			30			45
ISSTA 2							ISSTA Technical Papers Attack as Defense: Characterizing Adversarial Examples using Robustness 18:30 - 18:50				ISSTA Technical Papers Exposing Previously Undetectable Faults in Deep Neural Networks 18:50 - 19:10				ISSTA Technical Papers DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults 19:10 - 19:30						ISSTA Technical Papers DeepHyperion: Exploring the Feature Space of Deep Learning-Based System ... 19:40 - 20:00				ISSTA Technical Papers Automatic Test Suite Generation for Key-Points Detection DNNs using Man ... 20:00 - 20:20

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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			19:00			15			30			45			20:00			15			30			45
ISSTA 2					ISSTA Technical Papers Seed Selection for Successful Fuzzing 00:20 - 00:40				ISSTA Technical Papers Gramatron: Effective Grammar-Aware Fuzzing 00:40 - 01:00				ISSTA Technical Papers QFuzz: Quantitative Fuzzing for Side Channels 01:00 - 01:20								ISSTA Technical Papers Runtime Detection of Memory Errors with Smart Status 01:40 - 02:00				ISSTA Technical Papers UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-A ... 02:00 - 02:20																																																																												ISSTA Technical Papers Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration 09:10 - 09:30				ISSTA Technical Papers Boosting Symbolic Execution via Constraint Solving Time Prediction (Exp ... 09:30 - 09:50				ISSTA Technical Papers Synthesize Solving Strategy for Symbolic Execution 09:50 - 10:10				ISSTA Technical PapersACM SIGSOFT Distinguished Paper Type and Interval Aware Array Constraint Solving for Symbolic Execution 10:10 - 10:30				ISSTA Technical Papers Grammar-Agnostic Symbolic Execution by Token Symbolization 10:30 - 10:50																																																																						ISSTA Technical Papers Fixing Dependency Errors for Python Build Reproducibility 19:00 - 19:20				ISSTA Technical PapersACM SIGSOFT Distinguished Paper Test-Case Prioritization for Configuration Testing 19:20 - 19:40				ISSTA Technical Papers The Impact of Tool Configuration Spaces on the Evaluation of Configurab ... 19:40 - 20:00				ISSTA Technical Papers Challenges and Opportunities: An In-Depth Empirical Study on Configurat ... 20:00 - 20:20

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change


Room	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			19:00			15			30			45
ISSTA 2	ISSTA Technical Papers Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration 02:00 - 02:20				ISSTA Technical Papers Synthesize Solving Strategy for Symbolic Execution 02:20 - 02:40				ISSTA Technical PapersACM SIGSOFT Distinguished Paper Type and Interval Aware Array Constraint Solving for Symbolic Execution 02:40 - 03:00				ISSTA Technical Papers Grammar-Agnostic Symbolic Execution by Token Symbolization 03:00 - 03:20																																																												ISSTA Technical Papers iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction P ... 08:00 - 08:20				ISSTA Technical Papers RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binar ... 08:20 - 08:40				ISSTA Technical PapersACM SIGSOFT Distinguished Paper A Lightweight Framework for Function Name Reassignment Based on Large-S ... 08:40 - 09:00																ISSTA Technical Papers GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Andro ... 10:00 - 10:20				ISSTA Technical Papers Understanding and Finding System Setting-Related Defects in Android Apps 10:20 - 10:40				ISSTA Technical Papers Parema: An Unpacking Framework for Demystifying VM-Based Android Packers 10:40 - 11:00				ISSTA Technical Papers HomDroid: Detecting Android Covert Malware by Social-Network Homophily ... 11:00 - 11:20																																																																												ISSTA Technical PapersACM SIGSOFT Distinguished Paper A Lightweight Framework for Function Name Reassignment Based on Large-S ... 18:20 - 18:40				ISSTA Technical Papers Boosting Symbolic Execution via Constraint Solving Time Prediction (Exp ... 18:40 - 19:00				ISSTA Technical PapersDistinguished Artifact Finding Data Compatibility Bugs with JSON Subschema Checking 19:00 - 19:20				ISSTA Technical PapersACM SIGSOFT Distinguished Paper SAND: A Static Analysis Approach for Detecting SQL Antipatterns 19:20 - 19:40				ISSTA Technical PapersDistinguished Artifact Automated Patch Backporting in Linux (Experience Paper) 19:40 - 20:00

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris 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
ISSTA 2			ISSTA Technical Papers Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel ... 01:10 - 01:30				ISSTA Technical Papers iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction P ... 01:30 - 01:50				ISSTA Technical Papers RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binar ... 01:50 - 02:10				ISSTA Technical Papers Fixing Dependency Errors for Python Build Reproducibility 02:10 - 02:30						ISSTA Technical Papers WebEvo: Taming Web Application Evolution via Detecting Semantic Structu ... 02:40 - 03:00				ISSTA Technical Papers The Impact of Tool Configuration Spaces on the Evaluation of Configurab ... 03:00 - 03:20				ISSTA Technical Papers An Infrastructure Approach to Improving Effectiveness of Android UI Tes ... 03:20 - 03:40																																																								ISSTA Technical Papers Efficient White-Box Fairness Testing through Gradient Search 08:00 - 08:20				ISSTA Technical Papers DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogu ... 08:20 - 08:40				ISSTA Technical Papers AdvDoor: Adversarial Backdoor Attack of Deep Learning System 08:40 - 09:00				ISSTA Technical Papers ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Dete ... 09:00 - 09:20						ISSTA Technical Papers Runtime Detection of Memory Errors with Smart Status 09:30 - 09:50				ISSTA Technical Papers UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-A ... 09:50 - 10:10				ISSTA Technical Papers Seed Selection for Successful Fuzzing 10:10 - 10:30				ISSTA Technical Papers QFuzz: Quantitative Fuzzing for Side Channels 10:30 - 10:50

Room information: ISSTA 2

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Technical Papers

ISSTA Technical Papers

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

Room information: ISSTA 2

Program Display Configuration

Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Technical Papers

ISSTA Technical Papers

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Sat 17 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Wed 14 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 14 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 15 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 16 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Sat 17 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change