Write a Blog >>
SPIN 2021
Mon 12 Jul 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
Program
SPIN Program
Your Program
Mon 12 Jul
Track/Call
Organization
SPIN 2021 Committees
Track Committees
Organizing Committee
Programming Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
SPIN 2021 (
series
) /
online
/
Room information: ISSTA 1
Venue
online
Room name
ISSTA 1
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 1 (time band 1) Web Applications
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Xusheng Xiao
Case Western Reserve University
18:30
20m
Talk
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
ISSTA Technical Papers
Kulani Tharaka Mahadewa
National University of Singapore
,
Yanjun Zhang
University of Queensland
,
Guangdong Bai
University of Queensland
,
Lei Bu
Nanjing University
,
Zhiqiang Zuo
Nanjing University
,
Dileepa Fernando
Sri Lanka Technological Campus
,
Zhenkai Liang
National University of Singapore
,
Jin Song Dong
National University of Singapore
DOI
Media Attached
File Attached
18:50
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
19:10
20m
Talk
Modular Call Graph Construction for Security Scanning of Node.js Applications
ISSTA Technical Papers
Benjamin Barslev Nielsen
Aarhus University
,
Martin Toldam Torp
Aarhus University
,
Anders Møller
Aarhus University
DOI
Media Attached
19:40 - 20:40
Session 3 (time band 1) Android Application Testing
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Alex Orso
Georgia Institute of Technology
19: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
20:00
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
20:20
20m
Talk
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
ISSTA Technical Papers
Leonardo Mariani
University of Milano-Bicocca
,
Ali Mohebbi
USI Lugano
,
Mauro Pezze
USI Lugano; Schaffhausen Institute of Technology
,
Valerio Terragni
University of Auckland
DOI
Pre-print
Thu 15 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
00:20 - 01:20
Session 5 (time band 2) Android Application Analysis and Testing
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
William G.J. Halfond
University of Southern California
00:20
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
00:40
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
01: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
01:40 - 02:20
Session 7 (time band 2) Data Processing Application Analysis
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Darko Marinov
University of Illinois at Urbana-Champaign
01:40
20m
Talk
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
ACM 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
02:00
20m
Talk
Semantic Table Structure Identification in Spreadsheets
ISSTA Technical Papers
Yakun Zhang
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Xiao Lv
Microsoft Research
,
Haoyu Dong
Microsoft Research
,
Wensheng Dou
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Shi Han
Microsoft Research
,
Dongmei Zhang
Microsoft Research
,
Jun Wei
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Dan Ye
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
DOI
Media Attached
09:10 - 10:50
Session 9 (time band 3) Testing Deep Learning Systems 3
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Mauro Pezze
USI Lugano; Schaffhausen Institute of Technology
09:10
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
09:30
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
09:50
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
10:10
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
10:30
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:00 - 20:20
Session 11 (time band 1) Machine Learning and Testing
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
August Shi
University of Texas at Austin
19:00
20m
Talk
Interval Constraint-Based Mutation Testing of Numerical Specifications
ISSTA Technical Papers
Clothilde Jeangoudoux
MPI-SWS
,
Eva Darulova
MPI-SWS
,
Christoph Lauter
University of Alaska at Anchorage
DOI
19:20
20m
Talk
Predoo: Precision Testing of Deep Learning Operators
ISSTA Technical Papers
Xufan Zhang
Nanjing University
,
Ning Sun
Nanjing University
,
Chunrong Fang
Nanjing University
,
Jiawei Liu
Nanjing University
,
Jia Liu
Nanjing University
,
Dong Chai
Huawei
,
Jiang Wang
Huawei
,
Zhenyu Chen
Nanjing University
DOI
19:40
20m
Talk
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
ISSTA Technical Papers
Saikat Dutta
University of Illinois at Urbana-Champaign
,
Jeeva Selvam
University of Illinois at Urbana-Champaign
,
Aryaman Jain
University of Illinois at Urbana-Champaign
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
DOI
20:00
20m
Talk
Deep Just-in-Time Defect Prediction: How Far Are We?
ISSTA Technical Papers
Zhengran Zeng
Southern University of Science and Technology
,
Yuqun Zhang
Southern University of Science and Technology
,
Haotian Zhang
Kwai
,
Lingming Zhang
University of Illinois at Urbana-Champaign
DOI
Fri 16 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
02:00 - 03:20
Session 13 (time band 2) Testing Deep Learning Systems 4
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Shiqing Ma
Rutgers University
02: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
02: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
02: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
03: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
08:00 - 09:00
Session 15 (time band 3) Testing 1
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Phil McMinn
University of Sheffield
08:00
20m
Talk
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
ISSTA Technical Papers
Daniel Elsner
TU Munich
,
Florian Hauer
TU Munich
,
Alexander Pretschner
TU Munich
,
Silke Reimer
IVU Traffic Technologies
DOI
08:20
20m
Talk
Toward Optimal MC/DC Test Case Generation
ISSTA Technical Papers
Sangharatna Godboley
National Institute of Technology Warangal
,
Joxan Jaffar
National University of Singapore
,
Rasool Maghareh
Huawei
,
Arpita Dutta
National University of Singapore
DOI
08:40
20m
Talk
Log-Based Slicing for System-Level Test Cases
ISSTA Technical Papers
Salma Messaoudi
University of Luxembourg
,
Donghwan Shin
University of Luxembourg
,
Annibale Panichella
Delft University of Technology; University of Luxembourg
,
Domenico Bianculli
University of Luxembourg
,
Lionel Briand
University of Luxembourg; University of Ottawa
DOI
Media Attached
10:00 - 11:20
Session 17 (time band 3) Testing Miscellaneous Systems
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Thuan Pham
The University of Melbourne
10:00
20m
Talk
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
ISSTA Technical Papers
Meng Ren
Tsinghua University
,
Zijing Yin
Tsinghua University
,
Fuchen Ma
Tsinghua University
,
Zhenyang Xu
University of Waterloo
,
Yu Jiang
Tsinghua University
,
Chengnian Sun
University of Waterloo
,
Huizhong Li
WeBank
,
Yan Cai
Institute of Software at Chinese Academy of Sciences
DOI
File Attached
10:20
20m
Talk
Interval Constraint-Based Mutation Testing of Numerical Specifications
ISSTA Technical Papers
Clothilde Jeangoudoux
MPI-SWS
,
Eva Darulova
MPI-SWS
,
Christoph Lauter
University of Alaska at Anchorage
DOI
10:40
20m
Talk
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
ISSTA Technical Papers
Saikat Dutta
University of Illinois at Urbana-Champaign
,
Jeeva Selvam
University of Illinois at Urbana-Champaign
,
Aryaman Jain
University of Illinois at Urbana-Champaign
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
DOI
11:00
20m
Talk
Predoo: Precision Testing of Deep Learning Operators
ISSTA Technical Papers
Xufan Zhang
Nanjing University
,
Ning Sun
Nanjing University
,
Chunrong Fang
Nanjing University
,
Jiawei Liu
Nanjing University
,
Jia Liu
Nanjing University
,
Dong Chai
Huawei
,
Jiang Wang
Huawei
,
Zhenyu Chen
Nanjing University
DOI
18:20 - 20:00
Session 19 (time band 1) Testing 2
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Rohan Padhye
Carnegie Mellon University
18:20
20m
Talk
Model-Based Testing of Networked Applications
ISSTA Technical Papers
Yishuai Li
University of Pennsylvania
,
Benjamin C. Pierce
University of Pennsylvania
,
Steve Zdancewic
University of Pennsylvania
DOI
Pre-print
18:40
20m
Talk
Validating Static Warnings via Testing Code Fragments
ISSTA Technical Papers
Ashwin Kallingal Joshy
Iowa State University
,
Xueyuan Chen
Iowa State University
,
Benjamin Steenhoek
Iowa State University
,
Wei Le
Iowa State University
DOI
19:00
20m
Talk
Gramatron: Effective Grammar-Aware Fuzzing
ISSTA Technical Papers
Prashast Srivastava
Purdue University
,
Mathias Payer
EPFL
DOI
Pre-print
Media Attached
File Attached
19:20
20m
Talk
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
ISSTA Technical Papers
Daniel Elsner
TU Munich
,
Florian Hauer
TU Munich
,
Alexander Pretschner
TU Munich
,
Silke Reimer
IVU Traffic Technologies
DOI
19:40
20m
Talk
Log-Based Slicing for System-Level Test Cases
ISSTA Technical Papers
Salma Messaoudi
University of Luxembourg
,
Donghwan Shin
University of Luxembourg
,
Annibale Panichella
Delft University of Technology; University of Luxembourg
,
Domenico Bianculli
University of Luxembourg
,
Lionel Briand
University of Luxembourg; University of Ottawa
DOI
Media Attached
Sat 17 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
01:10 - 02:30
Session 21 (time band 2) Testing 3
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Rohan Padhye
Carnegie Mellon University
01:10
20m
Talk
Continuous Test Suite Failure Prediction
ISSTA Technical Papers
Cong Pan
Beihang University
,
Michael Pradel
University of Stuttgart
DOI
Media Attached
01:30
20m
Talk
Toward Optimal MC/DC Test Case Generation
ISSTA Technical Papers
Sangharatna Godboley
National Institute of Technology Warangal
,
Joxan Jaffar
National University of Singapore
,
Rasool Maghareh
Huawei
,
Arpita Dutta
National University of Singapore
DOI
01:50
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
02:10
20m
Talk
Test-Case Prioritization for Configuration Testing
ACM 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
02:40 - 03:40
Session 23 (time band 2) Testing 4
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Wensheng Dou
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
02:40
20m
Talk
Validating Static Warnings via Testing Code Fragments
ISSTA Technical Papers
Ashwin Kallingal Joshy
Iowa State University
,
Xueyuan Chen
Iowa State University
,
Benjamin Steenhoek
Iowa State University
,
Wei Le
Iowa State University
DOI
03:00
20m
Talk
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
ISSTA Technical Papers
Meng Ren
Tsinghua University
,
Zijing Yin
Tsinghua University
,
Fuchen Ma
Tsinghua University
,
Zhenyang Xu
University of Waterloo
,
Yu Jiang
Tsinghua University
,
Chengnian Sun
University of Waterloo
,
Huizhong Li
WeBank
,
Yan Cai
Institute of Software at Chinese Academy of Sciences
DOI
File Attached
03:20
20m
Talk
Model-Based Testing of Networked Applications
ISSTA Technical Papers
Yishuai Li
University of Pennsylvania
,
Benjamin C. Pierce
University of Pennsylvania
,
Steve Zdancewic
University of Pennsylvania
DOI
Pre-print
08:00 - 09:20
Session 25 (time band 3) Testing and Analysis
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Michael Pradel
University of Stuttgart
08:00
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
08:20
20m
Talk
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integration Platforms
ISSTA Technical Papers
Kulani Tharaka Mahadewa
National University of Singapore
,
Yanjun Zhang
University of Queensland
,
Guangdong Bai
University of Queensland
,
Lei Bu
Nanjing University
,
Zhiqiang Zuo
Nanjing University
,
Dileepa Fernando
Sri Lanka Technological Campus
,
Zhenkai Liang
National University of Singapore
,
Jin Song Dong
National University of Singapore
DOI
Media Attached
File Attached
08:40
20m
Talk
Modular Call Graph Construction for Security Scanning of Node.js Applications
ISSTA Technical Papers
Benjamin Barslev Nielsen
Aarhus University
,
Martin Toldam Torp
Aarhus University
,
Anders Møller
Aarhus University
DOI
Media Attached
09:00
20m
Talk
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
ISSTA Technical Papers
Leonardo Mariani
University of Milano-Bicocca
,
Ali Mohebbi
USI Lugano
,
Mauro Pezze
USI Lugano; Schaffhausen Institute of Technology
,
Valerio Terragni
University of Auckland
DOI
Pre-print
09:30 - 11:10
Session 27 (time band 3) Bugs and Analysis 2
ISSTA Technical Papers
at
ISSTA 1
Chair(s):
Mike Papadakis
University of Luxembourg, Luxembourg
09:30
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
09:50
20m
Talk
Finding Data Compatibility Bugs with JSON Subschema Checking
Distinguished 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
10:10
20m
Talk
Semantic Table Structure Identification in Spreadsheets
ISSTA Technical Papers
Yakun Zhang
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Xiao Lv
Microsoft Research
,
Haoyu Dong
Microsoft Research
,
Wensheng Dou
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Shi Han
Microsoft Research
,
Dongmei Zhang
Microsoft Research
,
Jun Wei
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Dan Ye
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
DOI
Media Attached
10:30
20m
Talk
Deep Just-in-Time Defect Prediction: How Far Are We?
ISSTA Technical Papers
Zhengran Zeng
Southern University of Science and Technology
,
Yuqun Zhang
Southern University of Science and Technology
,
Haotian Zhang
Kwai
,
Lingming Zhang
University of Illinois at Urbana-Champaign
DOI
10:50
20m
Talk
Continuous Test Suite Failure Prediction
ISSTA Technical Papers
Cong Pan
Beihang University
,
Michael Pradel
University of Stuttgart
DOI
Media Attached
Wed 14 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
18:00
30
19:00
30
20:00
30
ISSTA 1
ISSTA Technical Papers
Session 1 (time band 1) Web Applications
ISSTA Technical Papers
Session 3 (time band 1) Android Application Testing
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 1
ISSTA Technical Papers
Session 5 (time band 2) Android Application Analysis and Testing
ISSTA Technical Papers
Session 7 (time band 2) Data Processing Application Analysis
ISSTA Technical Papers
Session 9 (time band 3) Testing Deep Learning Systems 3
ISSTA Technical Papers
Session 11 (time band 1) Machine Learning and Testing
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 1
ISSTA Technical Papers
Session 13 (time band 2) Testing Deep Learning Systems 4
ISSTA Technical Papers
Session 15 (time band 3) Testing 1
ISSTA Technical Papers
Session 17 (time band 3) Testing Miscellaneous Systems
ISSTA Technical Papers
Session 19 (time band 1) Testing 2
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
11:00
30
ISSTA 1
ISSTA Technical Papers
Session 21 (time band 2) Testing 3
ISSTA Technical Papers
Session 23 (time band 2) Testing 4
ISSTA Technical Papers
Session 25 (time band 3) Testing and Analysis
ISSTA Technical Papers
Session 27 (time band 3) Bugs and Analysis 2
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 1
ISSTA Technical Papers
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integrat ...
18:30 - 18:50
ISSTA Technical Papers
WebEvo: Taming Web Application Evolution via Detecting Semantic Structu ...
18:50 - 19:10
ISSTA Technical Papers
Modular Call Graph Construction for Security Scanning of Node.js Applic ...
19:10 - 19:30
ISSTA Technical Papers
Parema: An Unpacking Framework for Demystifying VM-Based Android Packers
19:40 - 20:00
ISSTA Technical Papers
An Infrastructure Approach to Improving Effectiveness of Android UI Tes ...
20:00 - 20:20
ISSTA Technical Papers
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
20:20 - 20:40
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 1
ISSTA Technical Papers
GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Andro ...
00:20 - 00:40
ISSTA Technical Papers
Understanding and Finding System Setting-Related Defects in Android Apps
00:40 - 01:00
ISSTA Technical Papers
HomDroid: Detecting Android Covert Malware by Social-Network Homophily ...
01:00 - 01:20
ISSTA Technical Papers
ACM SIGSOFT Distinguished Paper
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
01:40 - 02:00
ISSTA Technical Papers
Semantic Table Structure Identification in Spreadsheets
02:00 - 02:20
ISSTA Technical Papers
Attack as Defense: Characterizing Adversarial Examples using Robustness
09:10 - 09:30
ISSTA Technical Papers
Exposing Previously Undetectable Faults in Deep Neural Networks
09:30 - 09:50
ISSTA Technical Papers
Automatic Test Suite Generation for Key-Points Detection DNNs using Man ...
09:50 - 10:10
ISSTA Technical Papers
DeepHyperion: Exploring the Feature Space of Deep Learning-Based System ...
10:10 - 10:30
ISSTA Technical Papers
DeepCrime: Mutation Testing of Deep Learning Systems Based on Real Faults
10:30 - 10:50
ISSTA Technical Papers
Interval Constraint-Based Mutation Testing of Numerical Specifications
19:00 - 19:20
ISSTA Technical Papers
Predoo: Precision Testing of Deep Learning Operators
19:20 - 19:40
ISSTA Technical Papers
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
19:40 - 20:00
ISSTA Technical Papers
Deep Just-in-Time Defect Prediction: How Far Are We?
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 1
ISSTA Technical Papers
Efficient White-Box Fairness Testing through Gradient Search
02:00 - 02:20
ISSTA Technical Papers
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogu ...
02:20 - 02:40
ISSTA Technical Papers
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
02:40 - 03:00
ISSTA Technical Papers
ModelDiff: Testing-Based DNN Similarity Comparison for Model Reuse Dete ...
03:00 - 03:20
ISSTA Technical Papers
Empirically Evaluating Readily Available Information for Regression Tes ...
08:00 - 08:20
ISSTA Technical Papers
Toward Optimal MC/DC Test Case Generation
08:20 - 08:40
ISSTA Technical Papers
Log-Based Slicing for System-Level Test Cases
08:40 - 09:00
ISSTA Technical Papers
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
10:00 - 10:20
ISSTA Technical Papers
Interval Constraint-Based Mutation Testing of Numerical Specifications
10:20 - 10:40
ISSTA Technical Papers
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
10:40 - 11:00
ISSTA Technical Papers
Predoo: Precision Testing of Deep Learning Operators
11:00 - 11:20
ISSTA Technical Papers
Model-Based Testing of Networked Applications
18:20 - 18:40
ISSTA Technical Papers
Validating Static Warnings via Testing Code Fragments
18:40 - 19:00
ISSTA Technical Papers
Gramatron: Effective Grammar-Aware Fuzzing
19:00 - 19:20
ISSTA Technical Papers
Empirically Evaluating Readily Available Information for Regression Tes ...
19:20 - 19:40
ISSTA Technical Papers
Log-Based Slicing for System-Level Test Cases
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
11:00
15
30
45
ISSTA 1
ISSTA Technical Papers
Continuous Test Suite Failure Prediction
01:10 - 01:30
ISSTA Technical Papers
Toward Optimal MC/DC Test Case Generation
01:30 - 01:50
ISSTA Technical Papers
Challenges and Opportunities: An In-Depth Empirical Study on Configurat ...
01:50 - 02:10
ISSTA Technical Papers
ACM SIGSOFT Distinguished Paper
Test-Case Prioritization for Configuration Testing
02:10 - 02:30
ISSTA Technical Papers
Validating Static Warnings via Testing Code Fragments
02:40 - 03:00
ISSTA Technical Papers
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
03:00 - 03:20
ISSTA Technical Papers
Model-Based Testing of Networked Applications
03:20 - 03:40
ISSTA Technical Papers
Distinguished Artifact
Automated Patch Backporting in Linux (Experience Paper)
08:00 - 08:20
ISSTA Technical Papers
Identifying Privacy Weaknesses from Multi-party Trigger-Action Integrat ...
08:20 - 08:40
ISSTA Technical Papers
Modular Call Graph Construction for Security Scanning of Node.js Applic ...
08:40 - 09:00
ISSTA Technical Papers
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
09:00 - 09:20
ISSTA Technical Papers
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel ...
09:30 - 09:50
ISSTA Technical Papers
Distinguished Artifact
Finding Data Compatibility Bugs with JSON Subschema Checking
09:50 - 10:10
ISSTA Technical Papers
Semantic Table Structure Identification in Spreadsheets
10:10 - 10:30
ISSTA Technical Papers
Deep Just-in-Time Defect Prediction: How Far Are We?
10:30 - 10:50
ISSTA Technical Papers
Continuous Test Suite Failure Prediction
10:50 - 11:10
x
Tue 3 Dec 17:56