Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
ECOOP and ISSTA 2021
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
ECOOP Awards
Sponsorship
ECOOP and ISSTA 2021
Sponsorship
Sponsors and Supporters
Program
ISSTA Program
Your Program
ECOOP and ISSTA 2021
Schedule Overview
Filter by Day
Sun 11 Jul
Mon 12 Jul
Tue 13 Jul
Wed 14 Jul
Thu 15 Jul
Fri 16 Jul
Sat 17 Jul
Tracks
ISSTA 2021
Technical Papers
Artifact Evaluation
Tool Demonstrations
Keynotes
ECOOP and ISSTA 2021
ECOOP and ISSTA Opening
Sponsors
Summer School
Doctoral Symposium
Discussions with Experts
Posters
Workshops
2022 Previews
Co-hosted Conferences
REBASE
Workshops
AISTA
COP
FTfJP
ICOOOLPS
IWACO
[Cancelled]
VORTEX
WOSCA
[Cancelled]
Organization
ISSTA 2021 Committees
Organizing Comittee
Program Committee
Track Committees
Artifact Evaluation
Tool Demonstrations
ECOOP and ISSTA
Summer School
Doctoral Symposium
Doctoral Symposium Committee
Program Committee
Discussions with Experts
Posters
Workshops
Contributors
People Index
Co-hosted Conferences
REBASE
REBASE
Workshops
AISTA
Organizing Committee
Program Committee
COP
Organizing Committee
Program Committee
FTfJP
Program Committee Chair
Program Committee
Steering Committee
ICOOOLPS
Program Committee
Organizing Committee
IWACO
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
WOSCA
N/A - check homepage
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
ISSTA 2021
(
series
) /
online
/
Room information: ISSTA 2
Venue
online
Room name
ISSTA 2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Wed 14 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
18:30 - 19:30
Session 2 (time band 1) Testing Deep Learning Systems 1
Technical Papers
at
ISSTA 2
Chair(s):
Lin Tan
Purdue University
18:30
20m
Talk
Attack as Defense: Characterizing Adversarial Examples using Robustness
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
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
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 2
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
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)
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) Fuzzing
Technical Papers
at
ISSTA 2
Chair(s):
Lingming Zhang
University of Illinois at Urbana-Champaign
00:20
20m
Talk
Seed Selection for Successful Fuzzing
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
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
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 Analysis
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
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
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 1
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
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)
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
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 Execution
ACM SIGSOFT Distinguished Paper
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
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
Technical Papers
at
ISSTA 2
Chair(s):
Jonathan Bell
Northeastern University
19:00
20m
Talk
Fixing Dependency Errors for Python Build Reproducibility
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 Testing
ACM SIGSOFT Distinguished Paper
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
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
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 2
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
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
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 Execution
ACM SIGSOFT Distinguished Paper
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
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 Analysis
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
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
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 Binaries
ACM SIGSOFT Distinguished Paper
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 2
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
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
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
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
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) Analysis
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 Binaries
ACM SIGSOFT Distinguished Paper
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)
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 Checking
Distinguished Artifact
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 Antipatterns
ACM SIGSOFT Distinguished Paper
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
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
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
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
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
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
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 Testing
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
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
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
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 5
Technical Papers
at
ISSTA 2
Chair(s):
Junjie Chen
Tianjin University
08:00
20m
Talk
Efficient White-Box Fairness Testing through Gradient Search
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
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
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
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 Analysis
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
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
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
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
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
Technical Papers
Session 2 (time band 1) Testing Deep Learning Systems 1
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
Technical Papers
Session 6 (time band 2) Fuzzing
Technical Papers
Session 8 (time band 2) Dynamic Analysis
Technical Papers
Session 10 (time band 3) Symbolic Execution 1
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
Technical Papers
Session 14 (time band 2) Symbolic Execution 2
Technical Papers
Session 16 (time band 3) Binary Analysis
Technical Papers
Session 18 (time band 3) Android Application Testing 2
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
Technical Papers
Session 22 (time band 2) Bugs and Analysis 1
Technical Papers
Session 24 (time band 2) Android and Web Application Testing
Technical Papers
Session 26 (time band 3) Testing Deep Learning Systems 5
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 Papers
ACM 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 Papers
ACM 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 Papers
ACM 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 Papers
ACM 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 Papers
ACM 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 Papers
Distinguished Artifact
Finding Data Compatibility Bugs with JSON Subschema Checking
19:00 - 19:20
ISSTA Technical Papers
ACM SIGSOFT Distinguished Paper
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
19:20 - 19:40
ISSTA Technical Papers
Distinguished 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
x
Thu 5 Dec 19:41