Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
VenueVirtual
Room nameZoom
Floor0
Room Information

Participants who have registered for ISSTA 2020 will receive an invitation to ISSTA 2020 Slack. Please join the Slack workspace and find the link to join this zoom call in slack. If you have not registered for ISSTA 2020 but would like to watch these talks, click on “Public Live Stream/Recording” link listed on each session to view it on YouTube (each session has a different stream/recording).

Program

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

Sat 18 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 13:00
Doctoral SymposiumDoctoral Symposium at Zoom

Registered participants should join via the Zoom link distributed in Slack.

09:00
60m
Keynote
Keynote by Claire Le Goues -- Do what I mean, not what I say: An Introduction to Automatic Program Repair for Early-Career Researchers
Doctoral Symposium
10:00
20m
Day opening
Introductions & Plans
Doctoral Symposium
10:20
20m
Doctoral symposium paper
Feng Xue: Automated Mobile Apps Testing from Visual Perspective
Doctoral Symposium
10:40
20m
Doctoral symposium paper
Luis Gustavo Araujo Rodriguez: Program-aware fuzzing for MQTT applications
Doctoral Symposium
11:00
40m
Keynote
Keynote by Muneera Bano -- PhD: The transformational journey of my life
Doctoral Symposium
11:40
20m
Doctoral symposium paper
João Choma: Using search-based meta-heuristics to support the identification of infeasible testing requirements
Doctoral Symposium
12:00
60m
Meeting
Break-outs / Discussion & Wrap up
Doctoral Symposium

Sun 19 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 12:30
TAV-CPS/IoT WorkshopTAV-CPS/IoT at Zoom

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
60m
Keynote
Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems
TAV-CPS/IoT
10:00
30m
Talk
Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design
TAV-CPS/IoT
Luca BerardinelliJohannes Kepler University Linz, Hong-Linh TruongAalto University
10:30
30m
Talk
Efficient Testing of Cyber-Physical Systems
TAV-CPS/IoT
Jun SunSingapore Management University, Zijiang YangWestern Michigan University
11:00
30m
Talk
Formal Verification of Discrete Event Modeling
TAV-CPS/IoT
Zhihao LuCapital Normal University, Beijing, China, Rui WangCapital Normal University, Beijing, China, Yong GuanCapital Normal University, Beijing, China
11:30
60m
Meeting
Panel Discussion
TAV-CPS/IoT

Mon 20 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:30
Welcome & KeynoteKeynote at Zoom
Chair(s): Sarfraz KhurshidUniversity of Texas at Austin, USA

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
30m
Day opening
Opening
Keynote
09:30
60m
Keynote
Keynote by Prof. Barbara Liskov: Reflections on Programming Methodology
Keynote
10:30 - 10:50
Mini BreakBreak at Zoom
10:50 - 11:50
FUZZINGTechnical Papers at Zoom
Chair(s): Rody KerstenSynopsys, Inc.

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

10:50
20m
Talk
WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats
Technical Papers
Andrea FioraldiSapienza University Rome, Daniele Cono D'EliaSapienza University of Rome, Emilio CoppaSapienza University of Rome, Italy
DOI Pre-print Media Attached
11:10
20m
Talk
Active Fuzzing for Testing and Securing Cyber-Physical Systems
Technical Papers
Yuqi ChenSingapore Management University, Bohan Xuan, Chris PoskittSingapore Management University, Jun SunSingapore Management University, Fan Zhang
DOI Pre-print Media Attached
11:30
20m
Talk
Learning Input Tokens for Effective FuzzingArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Björn MathisCISPA Helmholtz Center for Information Security, Rahul GopinathCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
Link to publication DOI
11:50 - 12:10
Mini BreakBreak at Zoom
12:10 - 13:10
SYMBOLIC EXECUTION AND CONSTRAINT SOLVINGTechnical Papers at Zoom
Chair(s): Marcelo d'AmorimFederal University of Pernambuco

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

12:10
20m
Talk
Fast Bit-Vector Satisfiability
Technical Papers
Peisen YaoHKUST, Qingkai ShiThe Hong Kong University of Science and Technology, Heqing Huang, Charles ZhangThe Hong Kong University of Science and Technology
DOI
12:30
20m
Talk
Relocatable Addressing Model for Symbolic Execution
Technical Papers
David TrabishTel Aviv University, Noam RinetzkyTel Aviv University
DOI Pre-print Media Attached
12:50
20m
Talk
Running Symbolic Execution ForeverArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Frank BusseImperial College London, Martin NowackImperial College London, Cristian CadarImperial College London
DOI Pre-print Media Attached
13:10 - 13:30
Mini BreakBreak at Zoom
13:30 - 14:30
REPAIR AND DEBUGTechnical Papers at Zoom
Chair(s): Xuan Bach D. LeThe University of Melbourne

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

13:30
20m
Talk
Can Automated Program Repair Refine Fault Localization? A Unified Debugging ApproachArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Yiling LouPeking University, China, Ali GhanbariThe University of Texas at Dallas, Xia LiKennesaw State University, Lingming ZhangThe University of Texas at Dallas, Haotian ZhangAnt Financial, Dan HaoPeking University, Lu ZhangPeking University, China
DOI Pre-print Media Attached
13:50
20m
Talk
Automated Repair of Feature Interaction Failures in Automated Driving Systems
Technical Papers
Raja Ben AbdessalemSnT Centre/University of Luxembourg, Annibale PanichellaDelft University of Technology, Shiva NejatiUniversity of Ottawa, Lionel C. BriandSnT Centre/University of Luxembourg, Thomas Stifter
DOI Pre-print
14:10
20m
Talk
CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair
Technical Papers
Thibaud Lutellier, Viet Hung PhamUniversity of Waterloo, Lawrence Pang, Yitong Li, Moshi Wei, Lin TanPurdue University
DOI Media Attached
14:30 - 14:50
Mini BreakBreak at Zoom
14:50 - 15:50
MOBILE APPS Technical Papers at Zoom
Chair(s): Elena ShermanBoise State University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

14:50
20m
Talk
Detecting and Diagnosing Energy Issues for Mobile Applications
Technical Papers
Xueliang LiShenzhen University, Yuming YangShenzhen University, Yepang LiuSouthern University of Science and Technology, John P. GallagherRoskilde University, Kaishun WuShenzhen University
DOI Media Attached
15:10
20m
Talk
Automated Classification of Actions in Bug Reports of Mobile Apps
Technical Papers
Hui LiuBeijing Institute of Technology, Mingzhu ShenBeijing Institute of Technology, Jiahao Jin, Yanjie JiangBeijing Institute of Technology
DOI Media Attached
15:30
20m
Talk
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android AppsArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalDistinguished Artifact
Technical Papers
Oliviero RiganelliUniversity of Milano-Bicocca, Italy, Simone Paolo MottadelliUniversity of Milano-Bicocca, Claudio RotaUniversity of Milano-Bicocca, Daniela MicucciUniversity of Milano-Bicocca, Italy, Leonardo MarianiUniversity of Milano Bicocca
Link to publication DOI Pre-print Media Attached
15:50 - 16:10
Mini BreakBreak at Zoom
16:10 - 17:10
MACHINE LEARNING ITechnical Papers at Zoom
Chair(s): Divya GopinathNASA Ames (KBR Inc.)

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

16:10
20m
Talk
Reinforcement Learning Based Curiosity-Driven Testing of Android ApplicationsACM SIGSOFT Distinguished Paper Award
Technical Papers
Minxue PanNanjing University, An Huang, Guoxin Wang, Tian ZhangNanjing University, Xuandong LiNanjing University
DOI Media Attached
16:30
20m
Talk
Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection StrategyArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalACM SIGSOFT Distinguished Paper Award
Technical Papers
Seokhyun LeeKorea University, South Korea, Sooyoung ChaKorea University, South Korea, Dain Lee, Hakjoo OhKorea University, South Korea
DOI Media Attached
16:50
20m
Talk
DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks
Technical Papers
Yang FengNanjing University, Qingkai ShiThe Hong Kong University of Science and Technology, Xinyu Gao, Muhammed Kerem Kahraman, Chunrong FangNanjing University, Zhenyu ChenNanjing University
DOI

Tue 21 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:30
Awards & KeynoteKeynote at Zoom
Chair(s): Alex OrsoGeorgia Institute of Technology

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
30m
Awards
Awards
Keynote
09:30
60m
Keynote
Retrospective Impact Paper Award Keynote by Prof. Gregg Rothermel
Keynote
10:30 - 10:50
Mini BreakBreak at Zoom
10:50 - 11:50
MACHINE LEARNING IITechnical Papers at Zoom
Chair(s): Baishakhi RayColumbia University, New York

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

10:50
20m
Talk
Detecting and Understanding Real-World Differential Performance Bugs in Machine Learning LibrariesArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Saeid Tizpaz-NiariCU Boulder/UT El Paso, Pavol CernyTU Wien, Ashutosh Trivedi
Link to publication DOI Pre-print Media Attached
11:10
20m
Talk
Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models
Technical Papers
Arnab SharmaUniversity of Paderborn, Heike WehrheimPaderborn University
DOI Media Attached
11:30
20m
Talk
Detecting Flaky Tests in Probabilistic and Machine Learning Applications
Technical Papers
Saikat DuttaUniversity of Illinois at Urbana-Champaign, USA, August ShiThe University of Texas at Austin, Rutvik Choudhary, Zhekun Zhang, Aryaman Jain, Sasa MisailovicUniversity of Illinois at Urbana-Champaign
DOI Media Attached
11:50 - 12:10
Mini BreakBreak at Zoom
12:10 - 13:10
BUG LOCALIZATION AND TEST ISOLATION Technical Papers at Zoom
Chair(s): Mattia FazziniUniversity of Minnesota

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

12:10
20m
Talk
Scaffle: Bug Localization on Millions of Files
Technical Papers
Michael PradelUniversity of Stuttgart, Vijayaraghavan MuraliFacebook, Inc., Rebecca QianFacebook, Inc., Mateusz MachalicaFacebook, Inc., Erik Meijer, Satish ChandraFacebook
DOI Media Attached
12:30
20m
Talk
Abstracting Failure-Inducing InputsArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalACM SIGSOFT Distinguished Paper Award
Technical Papers
Rahul GopinathCISPA Helmholtz Center for Information Security, Alexander KampmannCISPA Helmholtz Center for Information Security, Nikolas HavrikovCISPA Helmholtz Center for Information Security, Ezekiel O. SoremekunCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
DOI Pre-print Media Attached
12:50
20m
Talk
Debugging the Performance of Maven’s Test Isolation: Experience Report
Technical Papers
Pengyu NieThe University of Texas at Austin, Ahmet CelikFacebook, Matthew Coley, Aleksandar Milicevic, Jonathan BellNortheastern University, Milos GligoricThe University of Texas at Austin
DOI
13:10 - 13:30
Mini BreakBreak at Zoom
13:30 - 14:30
SECURITYTechnical Papers at Zoom
Chair(s): Lucas BangHarvey Mudd College

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

13:30
20m
Talk
Feedback-Driven Side-Channel Analysis for Networked Applications
Technical Papers
Ismet Burak KadronUniversity of California at Santa Barbara, Nico RosnerAmazon Web Services, Tevfik BultanUniversity of California, Santa Barbara
DOI
13:50
20m
Talk
Scalable Analysis of Interaction Threats in IoT SystemsACM SIGSOFT Distinguished Paper Award
Technical Papers
Mohannad Alhanahnah, Clay StevensUniversity of Nebraska-Lincoln, Hamid BagheriUniversity of Nebraska-Lincoln, USA
DOI Pre-print Media Attached
14:10
20m
Talk
DeepSQLi: Deep Semantic Learning for Testing SQL Injection
Technical Papers
Muyang Liu, Ke LiUniversity of Exeter, Tao ChenLoughborough University
DOI Pre-print
14:30 - 14:50
Mini BreakBreak at Zoom
14:50 - 15:50
REGRESSION TESTINGTechnical Papers at Zoom
Chair(s): Alex OrsoGeorgia Institute of Technology

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

14:50
20m
Talk
Dependent-Test-Aware Regression Testing Techniques
Technical Papers
Wing LamUniversity of Illinois at Urbana-Champaign, August ShiThe University of Texas at Austin, Reed Oei, Sai ZhangGoogle Cloud, Michael D. ErnstUniversity of Washington, USA, Tao XiePeking University
DOI Media Attached
15:10
20m
Talk
Differential Regression Testing for REST APIs
Technical Papers
Patrice GodefroidMicrosoft Research, Daniel LehmannUniversity of Stuttgart, Marina PolishchukMicrosoft
DOI Media Attached
15:30
20m
Talk
Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization
Technical Papers
Qianyang Peng, August ShiThe University of Texas at Austin, Lingming ZhangThe University of Texas at Dallas
DOI
15:50 - 16:10
Mini BreakBreak at Zoom
16:10 - 17:10
CHALLENGING DOMAINSTechnical Papers at Zoom
Chair(s): Yi LiNanyang Technological University, Singapore

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

16:10
20m
Talk
Intermittently Failing Tests in the Embedded Systems Domain
Technical Papers
Per Erik StrandbergWestermo Network Technologies AB, Thomas Ostrand, Elaine WeyukerMälardalen University, Wasif AfzalMälardalen University, Daniel SundmarkMälardalen University
DOI Pre-print Media Attached
16:30
20m
Talk
Feasible and Stressful Trajectory Generation for Mobile RobotsArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalDistinguished Artifact
Technical Papers
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia, Matthew B DwyerUniversity of Virginia
DOI
16:50
20m
Talk
Detecting Cache-Related Bugs in Spark ApplicationsArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Hui Li, Dong WangInstitute of software, Chinese academy of sciences, Tianze Huang, Yu GaoInstitute of Software, Chinese Academy of Sciences, China, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Lijie XuInstitute of Software, Chinese Academy of Sciences, Wei Wang, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Hua Zhong
DOI

Wed 22 Jul
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:30
Preview & KeynoteKeynote at Zoom
Chair(s): Corina S. PăsăreanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

09:00
30m
Day opening
ISSTA 2021 Preview
Keynote
09:30
60m
Keynote
Impact Paper Award Keynote by Prof. Gordon Fraser and Prof. Andreas Zeller
Keynote
10:30 - 10:50
Mini BreakBreak at Zoom
10:50 - 11:50
BINARY ANALYSISTechnical Papers at Zoom
Chair(s): Junaid Haroon SiddiquiLahore University of Management Sciences

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

10:50
20m
Talk
Patch Based Vulnerability Matching for Binary Programs
Technical Papers
Yifei Xu, Zhengzi Xu, Bihuan ChenFudan University, Fu Song, Yang LiuNanyang Technological University, Singapore, Ting LiuXi'an Jiaotong University
DOI Media Attached
11:10
20m
Talk
Identifying Java Calls in Native Code via Binary ScanningArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
George FourtounisUniversity of Athens, Leonidas TriantafyllouUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Greece
DOI Media Attached
11:30
20m
Talk
An Empirical Study on ARM Disassembly Tools
Technical Papers
Muhui Jiang, Yajin ZhouZhejiang University, Xiapu LuoThe Hong Kong Polytechnic University, Ruoyu Wang, Yang LiuNanyang Technological University, Singapore, Kui Ren
DOI
11:50 - 12:10
Mini BreakBreak at Zoom
12:10 - 13:10
STATIC ANALYSIS AND SEARCH-BASED TESTINGTechnical Papers at Zoom
Chair(s): Daniel KroeningUniversity of Oxford

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

12:10
20m
Talk
How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools using Bug InjectionArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Asem Ghaleb, Karthik PattabiramanUniversity of British Columbia
DOI Media Attached
12:30
20m
Talk
A Programming Model for Semi-implicit Parallelization of Static Analyses
Technical Papers
Dominik HelmTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Jan Thomas Kölzer, Philipp HallerKTH Royal Institute of Technology, Michael EichbergTU Darmstadt, Germany, Guido SalvaneschiTechnische Universität Darmstadt, Mira MeziniTechnische Universität Darmstadt
DOI
12:50
20m
Talk
Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing
Technical Papers
Yun LinNational University of Singapore, Jun SunSingapore Management University, Gordon FraserUniversity of Passau, Ziheng Xiu, Ting LiuXi'an Jiaotong University, Jin Song DongNational University of Singapore
DOI Pre-print Media Attached
13:10 - 13:30
Mini BreakBreak at Zoom
13:30 - 14:30
BUILD TESTINGTechnical Papers at Zoom
Chair(s): Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

13:30
20m
Talk
Scalable Build Service System with Smart Scheduling Service
Technical Papers
DOI Media Attached
13:50
20m
Talk
Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph
Technical Papers
Gang FanHong Kong University of Science and Technology, Chengpeng WangThe Hong Kong University of Science and Technology, Rongxin WuDepartment of Cyber Space Security, Xiamen University, Xiao XiaoSourcebrella Inc., Qingkai ShiThe Hong Kong University of Science and Technology, Charles ZhangThe Hong Kong University of Science and Technology
DOI Media Attached
14:10
20m
Talk
How Far We Have Come: Testing Decompilation Correctness of C DecompilersArtifacts Evaluated – Functional
Technical Papers
Zhibo Liu, Shuai WangHong Kong University of Science and Technology
DOI Media Attached
14:30 - 14:50
Mini BreakBreak at Zoom
14:50 - 16:10
NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTIONTechnical Papers at Zoom
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

14:50
20m
Talk
Discovering Discrepancies in Numerical LibrariesArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – FunctionalDistinguished Artifact
Technical Papers
Jackson VanoverUniversity of California, Davis, Xuan DengUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
DOI Media Attached
15:10
20m
Talk
Testing High Performance Numerical Simulation Programs: Experience, Lessons Learned, and Open Issues
Technical Papers
Xiao HeUniversity of Science and Technology Beijing, China, Xingwei Wang, Jia Shi, Yi Liu
DOI Media Attached
15:30
20m
Talk
Functional Code Clone Detection with Syntax and Semantics Fusion LearningArtifacts Evaluated – ReusableArtifacts AvailableArtifacts Evaluated – Functional
Technical Papers
Chunrong FangNanjing University, Zixi LiuNanjing University, Yangyang Shi, Jeff HuangTexas A&M University, Qingkai ShiThe Hong Kong University of Science and Technology
DOI Media Attached
15:50
20m
Talk
Learning to Detect Table Clones in Spreadsheets
Technical Papers
Yakun ZhangInstitute of software, Chinese academy of sciences, Wensheng DouInstitute of Software, Chinese Academy of Sciences, Jiaxin ZhuInstitute of Software at Chinese Academy of Sciences, China, Liang Xu, Zhiyong ZhouInstitute of Software, Chinese Academy of Sciences, Jun WeiState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Dan Ye, Bo Yang
DOI Media Attached
16:10 - 16:30
Mini BreakBreak at Zoom
16:30 - 17:33
TOOL DEMOTool Demonstration at Zoom
Chair(s): Owolabi LegunsenCornell University

Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.

16:30
7m
Talk
CPSDebug: A Tool for Failure Explanation
Tool Demonstration
Ezio BartocciTechnische Universität Wien, Niveditha ManjunathVienna University of Technology, Leonardo MarianiUniversity of Milano Bicocca, Cristinel MateisAIT Austrian Institute of Technology GmbH, Dejan NickovicAustrian Institute of Technology, Fabrizio PastoreUniversity of Luxembourg
16:37
7m
Talk
Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph
Tool Demonstration
Chao GuoNanjing University, Tieke HeNanjing University, Wei YuanNanjing University, Yue GuoNanjing University, Rui HaoNanjing University, China
16:44
7m
Talk
EShield: Protect Smart Contracts against Reverse Engineering
Tool Demonstration
Wentian YanPeking University, Jianbo GaoPeking University, Zhenhao WuPeking University and Boya Blockchain Inc, Yue LiPeking University, Zhi GuanPeking University, Qingshan LiPeking University, Zhong Chen
16:51
7m
Talk
Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts
Tool Demonstration
Gustavo GriecoTrail of Bits, Will SongTrail of Bits, Artur CyganTrail of Bits, Josselin FeistTrail of Bits, Alex GroceNorthern Arizona University
16:58
7m
Talk
FineLock: Automatically Refactoring Coarse-grained Locks into Fine-grained Locks
Tool Demonstration
Yang ZhangHebei University of Science and Technology, Shuai ShaoHebei University of Science and Technology, Juan ZhaiRutgers University, Shiqing MaRutgers University, USA
17:05
7m
Talk
ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity
Tool Demonstration
Ali GhanbariThe University of Texas at Dallas
Pre-print
17:12
7m
Talk
ProFL: A Fault Localization Framework for Prolog
Tool Demonstration
George ThompsonNorth Carolina A&T State University, Allison SullivanThe University of Texas at Arlington
17:19
7m
Talk
TauJud: Test Augmentation of Machine Learning in Judicial Documents
Tool Demonstration
Zichen GuoNanjing University, Jiawei LiuNanjing University, Tieke HeNanjing University, Zhuoyang LiNanjing University, Peitian ZhangzhuNanjing University
17:26
7m
Talk
Test Recommendation System Based on Slicing Coverage Filtering
Tool Demonstration
Ruixiang QianState Key Laboratory for Novel Software Technology, Nanjing University, Yuan ZhaoState Key Laboratory for Novel Software Technology, Nanjing University, Duo MenState Key Laboratory for Novel Software Technology, Nanjing University, Yang FengNanjing University, Qingkai ShiThe Hong Kong University of Science and Technology, Yong HuangState Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu ChenNanjing University
DOI

Sat 18 Jul
Times are displayed in time zone: Tijuana, Baja California change

Room9:003010:003011:003012:0030
Zoom

Sun 19 Jul
Times are displayed in time zone: Tijuana, Baja California change

Room9:003010:003011:003012:0030
Zoom

Mon 20 Jul
Times are displayed in time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Zoom

Tue 21 Jul
Times are displayed in time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Zoom
ISSTA Keynote
Awards
09:00 - 09:30

Wed 22 Jul
Times are displayed in time zone: Tijuana, Baja California change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Zoom