ISSTA 2022
Mon 18 - Fri 22 July 2022
Online
Toggle navigation
Attending
Venue: Online
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
Sponsorship
Call for Sponsorship
Sponsors and Supports
Program
Complete Program
Your Program
Schedule Overview
Mon 18 Jul
Tue 19 Jul
Wed 20 Jul
Thu 21 Jul
Fri 22 Jul
Tracks
ISSTA 2022
Technical Papers
Workshops
Artifact Evaluation
Tool Demonstrations
Doctoral Symposium
Student Volunteers
Keynotes
Sponsors
Workshops
AISTA
Organization
ISSTA 2022 Committees
Organizing Comittee
Track Committees
Technical Papers
Workshops
Artifact Evaluation
Tool Demonstrations
Doctoral Symposium
Student Volunteers
Contributors
People Index
Workshops
AISTA
Organizing Committee
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
ISSTA 2022
(
series
) /
Online
/
Room information: ISSTA 2
Venue
Online
Room name
ISSTA 2
Floor
0
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+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
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 20 Jul
Displayed time zone:
Seoul
change
01:20 - 02:20
Session 1-2: Test Generation and Mutation A
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
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
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
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 A
Technical Papers
at
ISSTA 2
03:00
20m
Talk
eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
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
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
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 E
Technical Papers
at
ISSTA 2
07:00
20m
Talk
Cross-Lingual Transfer Learning for Statistical Type Inference
ACM SIGSOFT Distinguished Paper
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
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
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
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 B
Technical Papers
at
ISSTA 2
08:40
20m
Talk
ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
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
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
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 E
Technical Papers
at
ISSTA 2
10:00
20m
Talk
Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems
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
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 C
Technical Papers
at
ISSTA 2
Chair(s):
Behnaz Hassanshahi
Oracle Labs, Australia
16:20
20m
Talk
SnapFuzz: High-Throughput Fuzzing of Network Applications
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
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
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 E
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
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
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
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 A
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
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
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
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 D
Technical Papers
at
ISSTA 2
03:00
20m
Talk
Deadlock Prediction via Generalized Dependency
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
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 B
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
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
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
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 B
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
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)
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 Code
ACM SIGSOFT Distinguished Paper
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 F
Technical Papers
at
ISSTA 2
16:20
20m
Talk
AEON: A Method for Automatic Evaluation of NLP Test Cases
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
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
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
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 C
Technical Papers
at
ISSTA 2
18:00
20m
Talk
CIRCLE: Continual Repair across Programming Languages
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
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 A
Technical Papers
at
ISSTA 2
00:00
20m
Talk
AEON: A Method for Automatic Evaluation of NLP Test Cases
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)
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
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 D
Technical Papers
at
ISSTA 2
01:40
20m
Talk
Cross-Lingual Transfer Learning for Statistical Type Inference
ACM SIGSOFT Distinguished Paper
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
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 A
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
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 Apps
ACM SIGSOFT Distinguished Paper
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 B
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
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
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
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
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 C
Technical Papers
at
ISSTA 2
15:00
20m
Talk
ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
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
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)
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
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 C
Technical Papers
at
ISSTA 2
16:40
20m
Talk
Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
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
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 Apps
ACM SIGSOFT Distinguished Paper
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 D
Technical Papers
at
ISSTA 2
18:00
20m
Talk
Detecting and Fixing Data Loss Issues in Android Apps
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
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
Technical Papers
Session 1-2: Test Generation and Mutation A
Technical Papers
Session 1-4: Smart Contracts A
Technical Papers
Session 2-2: Neural Networks, Learning, NLP E
Technical Papers
Session 2-4: Neural Networks, Learning, NLP B
Technical Papers
Session 2-6: Concurrency, IoT, Embedded E
Technical Papers
Session 3-2: Fuzzing and Friends C
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
Technical Papers
Session 1-6: Concurrency, IoT, Embedded A
Technical Papers
Session 1-8: Concurrency, IoT, Embedded D
Technical Papers
Session 2-8: Concurrency, IoT, Embedded B
Technical Papers
Session 2-10: Static Analysis and Specifications Testing B
Technical Papers
Session 3-6: Neural Networks, Learning, NLP F
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
Technical Papers
Session 1-10: Neural Networks, Learning, NLP A
Technical Papers
Session 1-12: Neural Networks, Learning, NLP D
Technical Papers
Session 1-14: Android A
Technical Papers
Session 2-14: Program Repair B
Technical Papers
Session 3-10: Neural Networks, Learning, NLP C
Technical Papers
Session 3-12: Android C
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 Papers
ACM 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 Papers
ACM 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 Papers
ACM 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 Papers
ACM 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 Papers
ACM 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
x
Sat 5 Oct 09:19