REBASE 2021
Dates to be announced
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
Program
REBASE Program
Your Program
Fri 31 Dec
Track/Call
Organization
REBASE 2021 Committees
Track Committees
REBASE
Contributors
People Index
Search
Series
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
REBASE 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+01:00) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+01:00) Brussels, Copenhagen, Madrid, Paris
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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
Thu 21 Nov 15:02