Write a Blog >>
ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021

Conference Dates
Conference Dates are in time zone (GMT+02:00) Brussels, Copenhagen, Madrid, Paris, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 12 Jul
Times are displayed in time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 17:00
17:00 - 18:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
17:00
90m
Talk
Who is Afraid of the Turnstile?
ECOOP and ISSTA Summer School
S: Andreas RossbergDfinity Stiftung
19:00 - 20:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
19:00
90m
Talk
Let me fix that for you: An Overview of Automated Program Repair
ECOOP and ISSTA Summer School
S: Claire Le GouesCarnegie Mellon University

Tue 13 Jul
Times are displayed in time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
00:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel BöhmeMonash University, Australia
02:00 - 03:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
02:00
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish ChandraFacebook, USA
08:00 - 09:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
08:00
90m
Talk
Who is Afraid of the Turnstile?
ECOOP and ISSTA Summer School
S: Andreas RossbergDfinity Stiftung
10:00 - 11:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
10:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
ECOOP and ISSTA Summer School
S: Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
10:00 - 17:00
14:00 - 14:15
14:00
3m
Talk
Welcome Talk
ECOOP and ISSTA Doctoral Symposium
14:15 - 15:15
14:15
60m
Talk
Keynote
ECOOP and ISSTA Doctoral Symposium
A: Mary Lou SoffaUniversity of Virginia
15:30 - 17:30
Student Presentations Session 1ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium
Chair(s): Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Panel Members:

Myra Cohen, Iowa State University, USA
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
Mira Mezini, Technische Universität Darmstadt, Germany
Mary Lou Soffa, University of Virginia, USA

15:30
30m
Talk
Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Zhouxian JianBeijing Jiaotong University
16:00
30m
Talk
JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
16:30
30m
Talk
AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Ben WangHohai University
17:00
30m
Talk
Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Haibo ChenJiangsu University
18:30 - 19:15
20:30 - 22:30
Student presentations Session 2ECOOP and ISSTA Doctoral Symposium at Doctoral Symposium
Chair(s): Wei LeIowa State University

Panel Members:

Myra Cohen, Iowa State University, USA
Sebastian Erdweg, Johannes Gutenberg University Mainz, Germany
Yang Liu, Nanyang Technological University, Singapore
Mira Mezini, Technische Universität Darmstadt, Germany
Mary Lou Soffa, University of Virginia, USA

20:30
30m
Talk
Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Andrei LascuImperial College London
21:00
30m
Talk
Using refactoring features to solve the problem of nested refactoring (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Tan LiangPhilipps-Universität Marburg
21:30
30m
Talk
Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Luigi Libero Lucio Starace Federico II University of Naples
22:00
30m
Talk
Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation)
ECOOP and ISSTA Doctoral Symposium
A: Fabian Bauer-MarquartUniversität Konstanz

Wed 14 Jul
Times are displayed in time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 01:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
00:00
90m
Talk
Let me fix that for you: An Overview of Automated Program Repair
ECOOP and ISSTA Summer School
S: Claire Le GouesCarnegie Mellon University
02:00 - 03:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Frank TipNortheastern University
02:00
90m
Talk
Machine Learning for Developer Productivity
ECOOP and ISSTA Summer School
S: Satish ChandraFacebook, USA
08:00 - 09:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
08:00
90m
Talk
Foundations of Software Testing
ECOOP and ISSTA Summer School
S: Marcel BöhmeMonash University, Australia
10:00 - 11:30
Summer SchoolECOOP and ISSTA Summer School at Summer School
Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security
10:00
90m
Talk
FanSASTic! The magic behind Static Application Security Testing
ECOOP and ISSTA Summer School
S: Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
17:00 - 17:20
Opening Session (time band 1)ECOOP and ISSTA Opening at Opening
17:00
20m
Opening Session
ECOOP and ISSTA Opening
E: Anders MøllerAarhus University, I: Cristian CadarImperial College London, UK, E: Manu SridharanUniversity of California at Riverside, I: Xiangyu ZhangPurdue University
18:20 - 19:20
Session 1 (time band 1) Web ApplicationsTechnical Papers at ISSTA 1
Chair(s): Xusheng XiaoCase Western Reserve University
18:20
20m
Talk
Identifying Privacy Weaknesses from Multi-party Trigger-action Integration Platforms
Technical Papers
Kulani Tharaka MahadewaNational University of Singapore, Yanjun ZhangThe University of Queensland, Guangdong BaiThe University of Queensland, Lei BuNanjing University, Zhiqiang ZuoNanjing University, Dileepa FernandoNational University of Singapore, Zhenkai LiangNational University of Singapore, Jin Song DongNational University of Singapore
18:40
20m
Talk
WebEvo: TamingWeb Application Evolution via Detecting Semantic Structure Change
Technical Papers
Fei ShaoCase Western Reserve University, Rui XuCase Western Reserve University, Wasif HaqueThe University of Texas at Dallas, Jingwei XuPeking University, Ying ZhangPeking University, Wei YangUniversity of Texas at Dallas, Yanfang YeCase Western Reserve University, Xusheng XiaoCase Western Reserve University
19:00
20m
Talk
Modular Call Graph Construction for Security Scanning of Node.js Applications
Technical Papers
Benjamin Barslev NielsenAarhus University, Martin Toldam TorpAarhus University, Anders MøllerAarhus University
18:20 - 19:20
Session 2 (time band 1) Testing Deep Learning Systems 1Technical Papers at ISSTA 2
18:20
20m
Talk
Attack as Defense: Characterizing Adversarial Examples using Robustness
Technical Papers
Zhe ZhaoShanghaiTech University, Guangke ChenShanghaiTech University, Jingyi WangZhejiang University, Yiwei YangShanghaiTech University, Fu SongShanghaiTech University, Jun SunSingapore Management University
18:40
20m
Talk
Exposing Previously Undetectable Faults in Deep Neural Networks
Technical Papers
Isaac DunnUniversity of Oxford, Hadrien PougetUniversity of Oxford, Daniel KroeningAmazon, Inc., Tom MelhamUniversity of Oxford
Pre-print
19:00
20m
Talk
DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults
Technical Papers
Nargiz HumbatovaUniversità della Svizzera Italiana (USI), Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland
18:20 - 19:00
Posters (time band 1)ECOOP and ISSTA Posters at Posters
18:40 - 19:40
19:20 - 20:20
Session 3 (time band 1) Android Application TestingTechnical Papers at ISSTA 1
Chair(s): Alex OrsoGeorgia Institute of Technology
19:20
20m
Talk
Demystifying VM-based Packers for Android Apps
Technical Papers
Lei XueThe Hong Kong Polytechnic University, Yuxiao YanXi'an Jiao Tong University, Luyi YanThe Hong Kong Polytechnic University, Muhui JiangThe Hong Kong Polytechnic University, Xiapu LuoThe Hong Kong Polytechnic University, Dinghao WuPennsylvania State University, Yajin ZhouZhejiang University, Zhiqiang LinThe Ohio State University
19:40
20m
Talk
An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Technical Papers
Wenyu WangUniversity of Illinois at Urbana-Champaign, Wing LamUniversity of Illinois at Urbana-Champaign, Tao XiePeking University
20:00
20m
Talk
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Technical Papers
Leonardo MarianiUniversity of Milano Bicocca, Ali MohebbiUSI Università della Svizzera Italiana, Mauro PezzeUSI Lugano, Switzerland, Valerio TerragniThe University of Auckland
19:20 - 20:00
Session 4 (time band 1) Testing Deep Learning Systems 2Technical Papers at ISSTA 2
Chair(s): Sebastian ElbaumUniversity of Virginia
19:20
20m
Talk
DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Technical Papers
Tahereh ZohdinasabSoftware Institute - USI, Vincenzo RiccioUSI Lugano, Switzerland, Alessio GambiUniversity of Passau, Paolo TonellaUSI Lugano, Switzerland
19:40
20m
Talk
Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search (Experience Paper)
Technical Papers
Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg and University of Ottawa, Thomas StifterIEE S.A., Jun WangPost Luxembourg

Thu 15 Jul
Times are displayed in time zone: Brussels, Copenhagen, Madrid, Paris change

00:00 - 00:20
Opening Session (time band 2)ECOOP and ISSTA Opening at Opening
00:00
20m
Opening Session
ECOOP and ISSTA Opening
E: Anders MøllerAarhus University, I: Cristian CadarImperial College London, UK, E: Manu SridharanUniversity of California at Riverside, I: Xiangyu ZhangPurdue University
01:20 - 02:20
Session 5 (time band 2) Android Application Analysis and TestingTechnical Papers at ISSTA 1
01:20
20m
Talk
GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Technical Papers
Tongtong XuNanjing University, Minxue PanNanjing University, China, Yu PeiThe Hong Kong Polytechnic University, Guiyin LiNanjing University, Xia ZengTencent, China, Tian ZhangNanjing University, Yuetang DengTencent, Inc., Xuandong LiNanjing University
01:40
20m
Talk
Understanding and Finding System Setting-Related Defects in Android Apps
Technical Papers
Jingling SunEast China Normal University, China, Ting SuEast China Normal University, China, Junxin LiEast China Normal University, Zhen DongNational University of Singapore, Geguang PuEast China Normal University, Tao XiePeking University, Zhendong SuETH Zurich
02:00
20m
Talk
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Technical Papers
Yueming WuHuazhong University of Science and Technology, Deqing ZouHuazhong University of Science and Technology, Wei YangUniversity of Texas at Dallas, Xiang LiHuazhong University of Science and Technology, Hai JinHuazhong University of Science and Technology
01:20 - 02:20
Session 6 (time band 2) FuzzingTechnical Papers at ISSTA 2
Chair(s): Lingming ZhangUniversity of Illinois at Urbana-Champaign
01:20
20m
Talk
Seed Selection for Successful Fuzzing
Technical Papers
Adrian HerreraANU / DSTG, Hendra GunadiAutralian National University, Shane MagrathDSTG, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Mathias PayerEPFL, Tony HoskingAustralian National University / Data61
01:40
20m
Talk
Gramatron: Effective Grammar-aware Fuzzing
Technical Papers
Prashast SrivastavaPurdue University, Mathias PayerEPFL
02:00
20m
Talk
QFuzz: Quantitative Fuzzing for Side Channels
Technical Papers
Yannic NollerNational University of Singapore, Saeid Tizpaz-NiariUniversity of Texas at El Paso
Pre-print
02:40 - 03:20
Session 7 (time band 2) Data Processing Application AnalysisTechnical Papers at ISSTA 1
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign
02:40
20m
Talk
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Technical Papers
Yingjun LyuAmazon, Sasha VolokhUniversity of Southern California, William G.J. HalfondUniversity of Southern California, Omer TrippAmazon
03:00
20m
Talk
Semantic Table Structure Identification in Spreadsheets
Technical Papers
Yakun ZhangInstitute of software, Chinese academy of sciences, Xiao LvMicrosoft Research, Haoyu DongMicrosoft Research, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Shi HanMicrosoft Research Asia, Dongmei ZhangMicrosoft Research, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan YeInstitute of Software at Chinese Academy of Sciences
02:40 - 03:20
Session 8 (time band 2) Dynamic AnalysisTechnical Papers at ISSTA 2
Chair(s): Luís PinaUniversity of Illinois at Chicago
02:40
20m
Talk
Runtime Detection of Memory Errors with Smart Status
Technical Papers
Zhe ChenNanjing University of Aeronautics and Astronautics, Chong WangNanjing University of Aeronautics and Astronautics, Junqi YanNanjing University of Aeronautics and Astronautics, Yulei SuiUniversity of Technology Sydney, Jingling XueUNSW Sydney
03:00
20m
Talk
UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Technical Papers
Binfa GuiNanjing University of Science and Technology, Wei SongNanjing University of Science and Technology, Jeff HuangTexas A&M University
03:20 - 04:00
Posters (time band 2)ECOOP and ISSTA Posters at Posters
08:00 - 09:20
Session 9 (time band 3) Testing Deep Learning Systems 3Technical Papers at ISSTA 1
08:00
20m
Talk
Efficient White-box Fairness Testing through Gradient Search
Technical Papers
Lingfeng ZhangEast China Normal University, Yueling ZhangSingapore Management University, Min ZhangEast China Normal University
08:20
20m
Talk
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Technical Papers
Zixi Liu, Yang FengNanjing University, Zhenyu ChenNanjing University
08:40
20m
Talk
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Technical Papers
Quan ZhangTsinghua University, Yifeng DingTsinghua University, Yongqiang TianUniversity of Waterloo; The Hong Kong University of Science and Technology;, Jianmin GuoTsinghua University, Min YuanWeBank, Yu JiangTsinghua University
09:00
20m
Talk
ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection
Technical Papers
Yuanchun LiMicrosoft Research, Ziqi ZhangPeking University, China, Bingyan LiuPeking University, Ziyue YangMicrosoft Research, Yunxin LiuMicrosoft Research
08:00 - 09:20
Session 10 (time band 3) Fuzzing and Runtime AnalysisTechnical Papers at ISSTA 2
08:00
20m
Talk
Runtime Detection of Memory Errors with Smart Status
Technical Papers
Zhe ChenNanjing University of Aeronautics and Astronautics, Chong WangNanjing University of Aeronautics and Astronautics, Junqi YanNanjing University of Aeronautics and Astronautics, Yulei SuiUniversity of Technology Sydney, Jingling XueUNSW Sydney
08:20
20m
Talk
UAFSan: An Object-Identifier-Based Dynamic Approach for Detecting Use-After-Free Vulnerabilities
Technical Papers
Binfa GuiNanjing University of Science and Technology, Wei SongNanjing University of Science and Technology, Jeff HuangTexas A&M University
08:40
20m
Talk
Seed Selection for Successful Fuzzing
Technical Papers
Adrian HerreraANU / DSTG, Hendra GunadiAutralian National University, Shane MagrathDSTG, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Mathias PayerEPFL, Tony HoskingAustralian National University / Data61
09:00
20m
Talk
QFuzz: Quantitative Fuzzing for Side Channels
Technical Papers
Yannic NollerNational University of Singapore, Saeid Tizpaz-NiariUniversity of Texas at El Paso
Pre-print
09:20 - 10:20
09:40 - 11:20
Session 11 (time band 3) Testing Deep Learning Systems 4Technical Papers at ISSTA 1
Chair(s): Mauro PezzeUSI Lugano, Switzerland
09:40
20m
Talk
Attack as Defense: Characterizing Adversarial Examples using Robustness
Technical Papers
Zhe ZhaoShanghaiTech University, Guangke ChenShanghaiTech University, Jingyi WangZhejiang University, Yiwei YangShanghaiTech University, Fu SongShanghaiTech University, Jun SunSingapore Management University
10:00
20m
Talk
Exposing Previously Undetectable Faults in Deep Neural Networks
Technical Papers
Isaac DunnUniversity of Oxford, Hadrien PougetUniversity of Oxford, Daniel KroeningAmazon, Inc., Tom MelhamUniversity of Oxford
Pre-print
10:20
20m
Talk
Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search (Experience Paper)
Technical Papers
Fitash Ul HaqUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg and University of Ottawa, Thomas StifterIEE S.A., Jun WangPost Luxembourg
10:40
20m
Talk
DeepHyperion: Exploring the Feature Space of Deep Learning-Based Systems through Illumination Search
Technical Papers
Tahereh ZohdinasabSoftware Institute - USI, Vincenzo RiccioUSI Lugano, Switzerland, Alessio GambiUniversity of Passau, Paolo TonellaUSI Lugano, Switzerland
11:00
20m
Talk
DeepCrime: Mutation Testing of Deep Learning Systems based on Real Faults
Technical Papers
Nargiz HumbatovaUniversità della Svizzera Italiana (USI), Gunel JahangirovaUSI Lugano, Switzerland, Paolo TonellaUSI Lugano, Switzerland
09:40 - 11:20
Session 12 (time band 3) Symbolic Execution 1Technical Papers at ISSTA 2
Chair(s): Sébastien BardinCEA LIST, University Paris-Saclay
09:40
20m
Talk
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Technical Papers
Peisen YaoThe Hong Kong University of Science and Technology, Heqing HuangThe Hong Kong University of Science and Technology, Tang WenshengThe Hong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangThe Hong Kong University of Science and Technology
10:00
20m
Talk
Boosting Symbolic Execution via Constraint Solving Time Prediction: An Experience Report
Technical Papers
Sicheng LuoFudan University, Hui XuFudan University, China, Yanxiang BiFudan University, Yangfan ZhouFudan University, Xin WangFudan University, China
10:20
20m
Talk
Synthesize Solving Strategy for Symbolic Execution
Technical Papers
Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Zehua ChenNational University of Defense Technology, Ziqi ShuaiNational University of Defense Technology, Guofeng ZhangCollege of Computer, National University of Defense Technology, Weiyu PanNational University of Defense Technology, Changsha, China, Yufeng ZhangHunan University, Ji WangNational University of Defense Technology
10:40
20m
Talk
Type and Interval aware Array Constraint Solving for Symbolic Execution
Technical Papers
Ziqi ShuaiNational University of Defense Technology, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Yufeng ZhangHunan University, Jun SunSingapore Management University, Ji WangNational University of Defense Technology
11:00
20m
Talk
Grammar-Agnostic Symbolic Execution by Token Symbolization
Technical Papers
Weiyu PanNational University of Defense Technology, Changsha, China, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Guofeng ZhangCollege of Computer, National University of Defense Technology, Yunlai LuoCollege of Computer, National University of Defense Technology, Yufeng ZhangHunan University, Ji WangNational University of Defense Technology
11:20 - 12:00
Posters (time band 3)ECOOP and ISSTA Posters at Posters
19:00 - 20:20
Session 13 (time band 1) Machine Learning and TestingTechnical Papers at ISSTA 1
Chair(s): August ShiThe University of Texas at Austin
19:00
20m
Talk
Interval Constraint-Based Mutation Testing of Numerical Specifications
Technical Papers
Clothilde JeangoudouxMPI-SWS, Eva DarulovaMPI-SWS, Christoph LauterUniversity of Alaska Anchorage and Sorbonne University
19:20
20m
Talk
Predoo: Precision Testing of Deep Learning Operators
Technical Papers
Xufan ZhangNanjing University, Ning SunNanjing University, Chunrong FangNanjing University, Jiawei LiuNanjing University, Jia LiuState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Dong ChaiI&V Dept of Kirin Solution Dept, HS, Huawei, Jiang WangI&V Dept of Kirin Solution Dept, HS, Huawei, Zhenyu ChenNanjing University
19:40
20m
Talk
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Technical Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Jeeva SelvamUniversity of Illinois, Urbana-Champaign, Aryaman JainUniversity of Illinois, Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
20:00
20m
Talk
Deep Just-in-Time Defect Prediction: How Far Are We?
Technical Papers
Zhengran ZengSouthern University of Science and Technology, Yuqun Zhang, Haotian ZhangAnt Group, Lingming ZhangUIUC
19:00 - 20:20
Session 14 (time band 1) Configuration and Dependency Technical Papers at ISSTA 2
Chair(s): Jonathan BellNortheastern University
19:00
20m
Talk
Fixing Dependency Errors for Python Build Reproducibility
Technical Papers
Suchita MukherjeeUniversity of California, Davis, Abigail AlmanzaUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
19:20
20m
Talk
Test-Case Prioritization for Configuration Testing
Technical Papers
Runxiang ChengUniversity of Illinois at Urbana-Champaign, Lingming ZhangUIUC, Darko MarinovUniversity of Illinois at Urbana-Champaign, Tianyin XuUniversity of Illinois Urbana-Champaign
19:40
20m
Talk
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Technical Papers
Austin MordahlThe University of Texas at Dallas, Shiyi WeiThe University of Texas at Dallas
20:00
20m
Talk
Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Technical Papers
Wang LiNational University of Defense Technology, Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, Yuanliang ZhangNational University of Defense Technology, Teng WangNational University of Defense Technology, China, Erci XuNational University of Defense Technology, Ji WangNational University of Defense Technology, Xiangke LiaoNational University of Defense Technology, China

Fri 16 Jul
Times are displayed in time zone: Brussels, Copenhagen, Madrid, Paris change

02:00 - 03:20
Session 15 (time band 2) Testing Deep Learning Systems 5Technical Papers at ISSTA 1
02:00
20m
Talk
Efficient White-box Fairness Testing through Gradient Search
Technical Papers
Lingfeng ZhangEast China Normal University, Yueling ZhangSingapore Management University, Min ZhangEast China Normal University
02:20
20m
Talk
DialTest: Automated Testing for Recurrent-Neural-Network-Driven Dialogue Systems
Technical Papers
Zixi Liu, Yang FengNanjing University, Zhenyu ChenNanjing University
02:40
20m
Talk
AdvDoor: Adversarial Backdoor Attack of Deep Learning System
Technical Papers
Quan ZhangTsinghua University, Yifeng DingTsinghua University, Yongqiang TianUniversity of Waterloo; The Hong Kong University of Science and Technology;, Jianmin GuoTsinghua University, Min YuanWeBank, Yu JiangTsinghua University
03:00
20m
Talk
ModelDiff: Testing-based DNN Similarity Comparison for Model Reuse Detection
Technical Papers
Yuanchun LiMicrosoft Research, Ziqi ZhangPeking University, China, Bingyan LiuPeking University, Ziyue YangMicrosoft Research, Yunxin LiuMicrosoft Research
02:00 - 03:20
Session 16 (time band 2) Symbolic Execution 2Technical Papers at ISSTA 2
02:00
20m
Talk
Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration
Technical Papers
Peisen YaoThe Hong Kong University of Science and Technology, Heqing HuangThe Hong Kong University of Science and Technology, Tang WenshengThe Hong Kong University of Science and Technology, Qingkai ShiHong Kong University of Science and Technology, Rongxin WuXiamen University, Charles ZhangThe Hong Kong University of Science and Technology
02:20
20m
Talk
Synthesize Solving Strategy for Symbolic Execution
Technical Papers
Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Zehua ChenNational University of Defense Technology, Ziqi ShuaiNational University of Defense Technology, Guofeng ZhangCollege of Computer, National University of Defense Technology, Weiyu PanNational University of Defense Technology, Changsha, China, Yufeng ZhangHunan University, Ji WangNational University of Defense Technology
02:40
20m
Talk
Type and Interval aware Array Constraint Solving for Symbolic Execution
Technical Papers
Ziqi ShuaiNational University of Defense Technology, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Yufeng ZhangHunan University, Jun SunSingapore Management University, Ji WangNational University of Defense Technology
03:00
20m
Talk
Grammar-Agnostic Symbolic Execution by Token Symbolization
Technical Papers
Weiyu PanNational University of Defense Technology, Changsha, China, Zhenbang ChenCollege of Computer, National University of Defense Technology, Changsha, PR China, Guofeng ZhangCollege of Computer, National University of Defense Technology, Yunlai LuoCollege of Computer, National University of Defense Technology, Yufeng ZhangHunan University, Ji WangNational University of Defense Technology
08:00 - 09:00
Session 17 (time band 3) Testing 1Technical Papers at ISSTA 1
08:00
20m
Talk
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Technical Papers
Daniel ElsnerTechnical University of Munich, Florian HauerTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Silke ReimerIVU Traffic Technologies
08:20
20m
Talk
Toward Optimal MC/DC Test Case Generation
Technical Papers
Sangharatna GodboleyNational Institute of Technology Warangal, India, Joxan JaffarNational University of Singapore, Rasool MagharehHuawei Heterogeneous Compiler Lab, Canada, Arpita DuttaNational University of Singapore
08:40
20m
Talk
Log-based Slicing for System-level Test Cases
Technical Papers
Salma MessaoudiUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Annibale PanichellaDelft University of Technology, Domenico BianculliUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg and University of Ottawa
08:00 - 09:00
Session 18 (time band 3) Binary AnalysisTechnical Papers at ISSTA 2
08:00
20m
Talk
iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Technical Papers
Shisong QinInstitute for Network Science and Cyberspace of Tsinghua University, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Kaixiang ChenInstitute for Network Science and Cyberspace of Tsinghua University, Zheming LiInstitute for Network Science and Cyberspace of Tsinghua University
08:20
20m
Talk
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Technical Papers
Ming YuanTsinghua University, Yeseop LeeTsinghua University, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Yun LiTsinghua University, Yan CaiInstitute of Software, Chinese Academy of Sciences, Bodong ZhaoTsinghua University
08:40
20m
Talk
A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Technical Papers
Han GaoUniversity of Science and Technology of China, Shaoyin ChengUniversity of Science and Technology of China, Yinxing Xue, Weiming ZhangUniversity of Science and Technology of China
10:00 - 11:20
Session 19 (time band 3) Testing Miscellaneous Systems Technical Papers at ISSTA 1
10:00
20m
Talk
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Technical Papers
Meng RenTsinghua University, Zijing YinTsinghua University, Fuchen MaTsinghua University, Zhenyang XuUniversity of Waterloo, Yu JiangTsinghua University, Chengnian SunUniversity of Waterloo, Huizhong LiWeBank, Yan CaiInstitute of Software, Chinese Academy of Sciences
10:20
20m
Talk
Interval Constraint-Based Mutation Testing of Numerical Specifications
Technical Papers
Clothilde JeangoudouxMPI-SWS, Eva DarulovaMPI-SWS, Christoph LauterUniversity of Alaska Anchorage and Sorbonne University
10:40
20m
Talk
TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects
Technical Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, Jeeva SelvamUniversity of Illinois, Urbana-Champaign, Aryaman JainUniversity of Illinois, Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
11:00
20m
Talk
Predoo: Precision Testing of Deep Learning Operators
Technical Papers
Xufan ZhangNanjing University, Ning SunNanjing University, Chunrong FangNanjing University, Jiawei LiuNanjing University, Jia LiuState Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China, Dong ChaiI&V Dept of Kirin Solution Dept, HS, Huawei, Jiang WangI&V Dept of Kirin Solution Dept, HS, Huawei, Zhenyu ChenNanjing University
10:00 - 11:20
Session 20 (time band 3) Android Application Testing 2Technical Papers at ISSTA 2
10:00
20m
Talk
GUIDER: GUI Structure and Vision Co-Guided Test Script Repair for Android Apps
Technical Papers
Tongtong XuNanjing University, Minxue PanNanjing University, China, Yu PeiThe Hong Kong Polytechnic University, Guiyin LiNanjing University, Xia ZengTencent, China, Tian ZhangNanjing University, Yuetang DengTencent, Inc., Xuandong LiNanjing University
10:20
20m
Talk
Understanding and Finding System Setting-Related Defects in Android Apps
Technical Papers
Jingling SunEast China Normal University, China, Ting SuEast China Normal University, China, Junxin LiEast China Normal University, Zhen DongNational University of Singapore, Geguang PuEast China Normal University, Tao XiePeking University, Zhendong SuETH Zurich
10:40
20m
Talk
Demystifying VM-based Packers for Android Apps
Technical Papers
Lei XueThe Hong Kong Polytechnic University, Yuxiao YanXi'an Jiao Tong University, Luyi YanThe Hong Kong Polytechnic University, Muhui JiangThe Hong Kong Polytechnic University, Xiapu LuoThe Hong Kong Polytechnic University, Dinghao WuPennsylvania State University, Yajin ZhouZhejiang University, Zhiqiang LinThe Ohio State University
11:00
20m
Talk
HomDroid: Detecting Android Covert Malware by Social-Network Homophily Analysis
Technical Papers
Yueming WuHuazhong University of Science and Technology, Deqing ZouHuazhong University of Science and Technology, Wei YangUniversity of Texas at Dallas, Xiang LiHuazhong University of Science and Technology, Hai JinHuazhong University of Science and Technology
18:00 - 19:40
Session 21 (time band 1) Testing 2Technical Papers at ISSTA 1
Chair(s): Rohan PadhyeCarnegie Mellon University
18:00
20m
Talk
Model-Based Testing of Networked Applications
Technical Papers
Yishuai LiUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
Pre-print
18:20
20m
Talk
Validating Static Warnings via Testing Code Fragments
Technical Papers
Ashwin Kallingal JoshyIowa State Univesity, Xueyuan ChenIowa State University, Benjamin SteenhoekIowa State University, Wei LeIowa State University
18:40
20m
Talk
Gramatron: Effective Grammar-aware Fuzzing
Technical Papers
Prashast SrivastavaPurdue University, Mathias PayerEPFL
19:00
20m
Talk
Empirically Evaluating Readily Available Information for Regression Test Optimization in Continuous Integration
Technical Papers
Daniel ElsnerTechnical University of Munich, Florian HauerTechnical University of Munich, Alexander PretschnerTechnical University of Munich, Silke ReimerIVU Traffic Technologies
19:20
20m
Talk
Log-based Slicing for System-level Test Cases
Technical Papers
Salma MessaoudiUniversity of Luxembourg, Donghwan ShinUniversity of Luxembourg, Annibale PanichellaDelft University of Technology, Domenico BianculliUniversity of Luxembourg, Lionel BriandUniversity of Luxembourg and University of Ottawa
18:00 - 19:40
Session 22 (time band 1) AnalysisTechnical Papers at ISSTA 2
18:00
20m
Talk
A Lightweight Framework for Function Name Reassignment Based on Large-Scale Stripped Binaries
Technical Papers
Han GaoUniversity of Science and Technology of China, Shaoyin ChengUniversity of Science and Technology of China, Yinxing Xue, Weiming ZhangUniversity of Science and Technology of China
18:20
20m
Talk
Boosting Symbolic Execution via Constraint Solving Time Prediction: An Experience Report
Technical Papers
Sicheng LuoFudan University, Hui XuFudan University, China, Yanxiang BiFudan University, Yangfan ZhouFudan University, Xin WangFudan University, China
18:40
20m
Talk
Finding Data Compatibility Bugs with JSON Subschema Checking
Technical Papers
Andrew HabibSnT, University of Luxembourg, Avraham ShinnarIBM Research, Martin HirzelIBM Research, Michael PradelUniversity of Stuttgart
19:00
20m
Talk
SAND: A Static Analysis Approach for Detecting SQL Antipatterns
Technical Papers
Yingjun LyuAmazon, Sasha VolokhUniversity of Southern California, William G.J. HalfondUniversity of Southern California, Omer TrippAmazon
19:20
20m
Talk
Automated Patch Backporting in Linux (Experience Paper)
Technical Papers
Ridwan Salihin ShariffdeenNational University of Singapore, Xiang GaoNational University of Singapore, Gregory J. DuckNational University of Singapore, Singapore, Shin Hwei TanSouthern University of Science and Technology, Julia LawallInria, Abhik RoychoudhuryNational University of Singapore
Pre-print

Sat 17 Jul
Times are displayed in time zone: Brussels, Copenhagen, Madrid, Paris change

01:00 - 02:20
Session 23 (time band 2) Testing 3Technical Papers at ISSTA 1
01:00
20m
Talk
Continuous Test Suite Failure Prediction
Technical Papers
Cong PanBeihang University, China, Michael PradelUniversity of Stuttgart
01:20
20m
Talk
Toward Optimal MC/DC Test Case Generation
Technical Papers
Sangharatna GodboleyNational Institute of Technology Warangal, India, Joxan JaffarNational University of Singapore, Rasool MagharehHuawei Heterogeneous Compiler Lab, Canada, Arpita DuttaNational University of Singapore
01:40
20m
Talk
Challenges and Opportunities: An In-depth Empirical Study on Configuration Error Injection Testing
Technical Papers
Wang LiNational University of Defense Technology, Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, Yuanliang ZhangNational University of Defense Technology, Teng WangNational University of Defense Technology, China, Erci XuNational University of Defense Technology, Ji WangNational University of Defense Technology, Xiangke LiaoNational University of Defense Technology, China
02:00
20m
Talk
Test-Case Prioritization for Configuration Testing
Technical Papers
Runxiang ChengUniversity of Illinois at Urbana-Champaign, Lingming ZhangUIUC, Darko MarinovUniversity of Illinois at Urbana-Champaign, Tianyin XuUniversity of Illinois Urbana-Champaign
01:00 - 02:20
Session 24 (time band 2) Bugs and Analysis 1 Technical Papers at ISSTA 2
01:00
20m
Talk
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Technical Papers
Yicheng PanSchool of Electronics Engineering and Computer Science, Peking University, Meng MaNational Engineering Research Center for Software Engineering, Peking University, Xinrui JiangSchool of Electronics Engineering and Computer Science, Peking University, Ping WangNational Engineering Research Center for Software Engineering, Peking University
01:20
20m
Talk
iDEV: Exploring and Exploiting Semantic Deviations in ARM Instruction Processing
Technical Papers
Shisong QinInstitute for Network Science and Cyberspace of Tsinghua University, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Kaixiang ChenInstitute for Network Science and Cyberspace of Tsinghua University, Zheming LiInstitute for Network Science and Cyberspace of Tsinghua University
01:40
20m
Talk
RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis
Technical Papers
Ming YuanTsinghua University, Yeseop LeeTsinghua University, Chao ZhangInstitute for Network Sciences and Cyberspace of Tsinghua University, Yun LiTsinghua University, Yan CaiInstitute of Software, Chinese Academy of Sciences, Bodong ZhaoTsinghua University
02:00
20m
Talk
Fixing Dependency Errors for Python Build Reproducibility
Technical Papers
Suchita MukherjeeUniversity of California, Davis, Abigail AlmanzaUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
02:20 - 03:20
Session 25 (time band 2) Testing 4Technical Papers at ISSTA 1
02:20
20m
Talk
Validating Static Warnings via Testing Code Fragments
Technical Papers
Ashwin Kallingal JoshyIowa State Univesity, Xueyuan ChenIowa State University, Benjamin SteenhoekIowa State University, Wei LeIowa State University
02:40
20m
Talk
Empirical Evaluation of Smart Contract Testing: What Is the Best Choice?
Technical Papers
Meng RenTsinghua University, Zijing YinTsinghua University, Fuchen MaTsinghua University, Zhenyang XuUniversity of Waterloo, Yu JiangTsinghua University, Chengnian SunUniversity of Waterloo, Huizhong LiWeBank, Yan CaiInstitute of Software, Chinese Academy of Sciences
03:00
20m
Talk
Model-Based Testing of Networked Applications
Technical Papers
Yishuai LiUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
Pre-print
02:20 - 03:20
Session 26 (time band 2) Android and Web Application TestingTechnical Papers at ISSTA 2
02:20
20m
Talk
WebEvo: TamingWeb Application Evolution via Detecting Semantic Structure Change
Technical Papers
Fei ShaoCase Western Reserve University, Rui XuCase Western Reserve University, Wasif HaqueThe University of Texas at Dallas, Jingwei XuPeking University, Ying ZhangPeking University, Wei YangUniversity of Texas at Dallas, Yanfang YeCase Western Reserve University, Xusheng XiaoCase Western Reserve University
02:40
20m
Talk
The Impact of Tool Configuration Spaces on the Evaluation of Configurable Taint Analysis for Android
Technical Papers
Austin MordahlThe University of Texas at Dallas, Shiyi WeiThe University of Texas at Dallas
03:00
20m
Talk
An Infrastructure Approach to Improving Effectiveness of Android UI Testing Tools
Technical Papers
Wenyu WangUniversity of Illinois at Urbana-Champaign, Wing LamUniversity of Illinois at Urbana-Champaign, Tao XiePeking University
02:20 - 03:00
03:00 - 04:00
Microsoft ResearchECOOP and ISSTA Sponsors at Sponsors
08:00 - 09:20
Session 27 (time band 3) Testing and AnalysisTechnical Papers at ISSTA 1
Chair(s): Michael PradelUniversity of Stuttgart
08:00
20m
Talk
Automated Patch Backporting in Linux (Experience Paper)
Technical Papers
Ridwan Salihin ShariffdeenNational University of Singapore, Xiang GaoNational University of Singapore, Gregory J. DuckNational University of Singapore, Singapore, Shin Hwei TanSouthern University of Science and Technology, Julia LawallInria, Abhik RoychoudhuryNational University of Singapore
Pre-print
08:20
20m
Talk
Identifying Privacy Weaknesses from Multi-party Trigger-action Integration Platforms
Technical Papers
Kulani Tharaka MahadewaNational University of Singapore, Yanjun ZhangThe University of Queensland, Guangdong BaiThe University of Queensland, Lei BuNanjing University, Zhiqiang ZuoNanjing University, Dileepa FernandoNational University of Singapore, Zhenkai LiangNational University of Singapore, Jin Song DongNational University of Singapore
08:40
20m
Talk
Modular Call Graph Construction for Security Scanning of Node.js Applications
Technical Papers
Benjamin Barslev NielsenAarhus University, Martin Toldam TorpAarhus University, Anders MøllerAarhus University
09:00
20m
Talk
Semantic Matching of GUI Events for Test Reuse: Are We There Yet?
Technical Papers
Leonardo MarianiUniversity of Milano Bicocca, Ali MohebbiUSI Università della Svizzera Italiana, Mauro PezzeUSI Lugano, Switzerland, Valerio TerragniThe University of Auckland
09:00 - 09:40
09:20 - 11:00
Session 28 (time band 3) Bugs and Analysis 2Technical Papers at ISSTA 1
Chair(s): Mike PapadakisUniversity of Luxembourg, Luxembourg
09:20
20m
Talk
Faster, Deeper, Easier: Crowdsourcing Diagnosis of Microservice Kernel Failure from User Space
Technical Papers
Yicheng PanSchool of Electronics Engineering and Computer Science, Peking University, Meng MaNational Engineering Research Center for Software Engineering, Peking University, Xinrui JiangSchool of Electronics Engineering and Computer Science, Peking University, Ping WangNational Engineering Research Center for Software Engineering, Peking University
09:40
20m
Talk
Finding Data Compatibility Bugs with JSON Subschema Checking
Technical Papers
Andrew HabibSnT, University of Luxembourg, Avraham ShinnarIBM Research, Martin HirzelIBM Research, Michael PradelUniversity of Stuttgart
10:00
20m
Talk
Semantic Table Structure Identification in Spreadsheets
Technical Papers
Yakun ZhangInstitute of software, Chinese academy of sciences, Xiao LvMicrosoft Research, Haoyu DongMicrosoft Research, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Shi HanMicrosoft Research Asia, Dongmei ZhangMicrosoft Research, China, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan YeInstitute of Software at Chinese Academy of Sciences
10:20
20m
Talk
Deep Just-in-Time Defect Prediction: How Far Are We?
Technical Papers
Zhengran ZengSouthern University of Science and Technology, Yuqun Zhang, Haotian ZhangAnt Group, Lingming ZhangUIUC
10:40
20m
Talk
Continuous Test Suite Failure Prediction
Technical Papers
Cong PanBeihang University, China, Michael PradelUniversity of Stuttgart
10:00 - 11:00
Microsoft ResearchECOOP and ISSTA Sponsors at Sponsors