Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
VenueVirtual
Room nameZoom
Floor0
Additional 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: (GMT-07:00) Tijuana, Baja California change

issta-2020-doctoral-symposium
09:00 - 13:00: Doctoral Symposium - Doctoral Symposium at Zoom

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

issta-2020-doctoral-symposium09:00 - 10:00
Keynote
issta-2020-doctoral-symposium10:00 - 10:20
Day opening
issta-2020-doctoral-symposium10:20 - 10:40
Doctoral symposium paper
issta-2020-doctoral-symposium10:40 - 11:00
Doctoral symposium paper
issta-2020-doctoral-symposium11:00 - 11:40
Keynote
issta-2020-doctoral-symposium11:40 - 12:00
Doctoral symposium paper
issta-2020-doctoral-symposium12:00 - 13:00
Meeting

Sun 19 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-tav-cps-iot
09:00 - 12:30: TAV-CPS/IoT - TAV-CPS/IoT Workshop at Zoom

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

issta-2020-tav-cps-iot09:00 - 10:00
Keynote
issta-2020-tav-cps-iot10:00 - 10:30
Talk
Luca BerardinelliJohannes Kepler University Linz, Hong-Linh TruongAalto University
issta-2020-tav-cps-iot10:30 - 11:00
Talk
Jun SunSingapore Management University, Zijiang YangWestern Michigan University
issta-2020-tav-cps-iot11:00 - 11:30
Talk
Zhihao LuCapital Normal University, Beijing, China, Rui WangCapital Normal University, Beijing, China, Yong GuanCapital Normal University, Beijing, China
issta-2020-tav-cps-iot11:30 - 12:30
Meeting

Mon 20 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

issta-2020-keynote
09:00 - 10:30: Keynote - Welcome & Keynote 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.

issta-2020-keynote09:00 - 09:30
Day opening
issta-2020-keynote09:30 - 10:30
Keynote
issta-2020-catering
10:30 - 10:50: Break - Mini Break at Zoom
issta-2020-papers
10:50 - 11:50: Technical Papers - FUZZING at Zoom
Chair(s): Rody KerstenSynopsys, Inc.

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

issta-2020-papers10:50 - 11:10
Talk
Andrea FioraldiSapienza University Rome, Daniele Cono D'EliaSapienza University of Rome, Emilio CoppaSapienza University of Rome, Italy
DOI Pre-print Media Attached
issta-2020-papers11:10 - 11:30
Talk
Yuqi ChenSingapore Management University, Bohan Xuan, Chris PoskittSingapore Management University, Jun SunSingapore Management University, Fan Zhang
DOI Pre-print Media Attached
issta-2020-papers11:30 - 11:50
Talk
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
issta-2020-catering
11:50 - 12:10: Break - Mini Break at Zoom
issta-2020-papers
12:10 - 13:10: Technical Papers - SYMBOLIC EXECUTION AND CONSTRAINT SOLVING 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.

issta-2020-papers12:10 - 12:30
Talk
Yao PeisenHKUST, Qingkai ShiThe Hong Kong University of Science and Technology, Heqing Huang, Charles ZhangThe Hong Kong University of Science and Technology
DOI
issta-2020-papers12:30 - 12:50
Talk
David TrabishTel Aviv University, Noam RinetzkyTel Aviv University
DOI Pre-print
issta-2020-papers12:50 - 13:10
Talk
Frank BusseImperial College London, Martin NowackImperial College London, Cristian CadarImperial College London
DOI Pre-print Media Attached
issta-2020-catering
13:10 - 13:30: Break - Mini Break at Zoom
issta-2020-papers
13:30 - 14:30: Technical Papers - REPAIR AND DEBUG 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.

issta-2020-papers13:30 - 13:50
Talk
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
issta-2020-papers13:50 - 14:10
Talk
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
issta-2020-papers14:10 - 14:30
Talk
Thibaud Lutellier, Viet Hung PhamUniversity of Waterloo, Lawrence Pang, Yitong Li, Moshi Wei, Lin TanPurdue University
DOI Media Attached
issta-2020-catering
14:30 - 14:50: Break - Mini Break at Zoom
issta-2020-papers
14:50 - 15:50: Technical Papers - MOBILE APPS at Zoom
Chair(s): Elena ShermanBoise State University

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

issta-2020-papers14:50 - 15:10
Talk
Xueliang LiShenzhen University, Yuming YangShenzhen University, Yepang LiuSouthern University of Science and Technology, John P. GallagherRoskilde University, Kaishun WuShenzhen University
DOI Media Attached
issta-2020-papers15:10 - 15:30
Talk
Hui LiuBeijing Institute of Technology, Mingzhu ShenBeijing Institute of Technology, Jiahao Jin, Yanjie JiangBeijing Institute of Technology
DOI Media Attached
issta-2020-papers15:30 - 15:50
Talk
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
issta-2020-catering
15:50 - 16:10: Break - Mini Break at Zoom
issta-2020-papers
16:10 - 17:10: Technical Papers - MACHINE LEARNING I at Zoom
Chair(s): Divya GopinathNASA Ames (KBR Inc.)

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

issta-2020-papers16:10 - 16:30
Talk
Minxue PanNanjing University, An Huang, Guoxin Wang, Tian ZhangNanjing University, Xuandong LiNanjing University
DOI Media Attached
issta-2020-papers16:30 - 16:50
Talk
Seokhyun LeeKorea University, South Korea, Sooyoung ChaKorea University, South Korea, Dain Lee, Hakjoo OhKorea University, South Korea
DOI Media Attached
issta-2020-papers16:50 - 17:10
Talk
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: (GMT-07:00) Tijuana, Baja California change

issta-2020-keynote
09:00 - 10:30: Keynote - Awards & Keynote at Zoom
Chair(s): Alex OrsoGeorgia Institute of Technology

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

issta-2020-keynote09:00 - 09:30
Awards
issta-2020-keynote09:30 - 10:30
Keynote
issta-2020-catering
10:30 - 10:50: Break - Mini Break at Zoom
issta-2020-papers
10:50 - 11:50: Technical Papers - MACHINE LEARNING II at Zoom
Chair(s): Baishakhi RayColumbia University, New York

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

issta-2020-papers10:50 - 11:10
Talk
Saeid Tizpaz-NiariCU Boulder/UT El Paso, Pavol CernyTU Wien, Ashutosh Trivedi
Link to publication DOI Pre-print Media Attached
issta-2020-papers11:10 - 11:30
Talk
Arnab SharmaUniversity of Paderborn, Heike WehrheimPaderborn University
DOI Media Attached
issta-2020-papers11:30 - 11:50
Talk
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
issta-2020-catering
11:50 - 12:10: Break - Mini Break at Zoom
issta-2020-papers
12:10 - 13:10: Technical Papers - BUG LOCALIZATION AND TEST ISOLATION at Zoom
Chair(s): Mattia FazziniUniversity of Minnesota

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

issta-2020-papers12:10 - 12:30
Talk
Michael PradelUniversity of Stuttgart, Vijayaraghavan MuraliFacebook, Inc., Rebecca QianFacebook, Inc., Mateusz MachalicaFacebook, Inc., Erik Meijer, Satish ChandraFacebook
DOI Media Attached
issta-2020-papers12:30 - 12:50
Talk
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
issta-2020-papers12:50 - 13:10
Talk
Pengyu NieThe University of Texas at Austin, Ahmet CelikFacebook, Matthew Coley, Aleksandar Milicevic, Jonathan BellNortheastern University, Milos GligoricThe University of Texas at Austin
DOI
issta-2020-catering
13:10 - 13:30: Break - Mini Break at Zoom
issta-2020-papers
13:30 - 14:30: Technical Papers - SECURITY at Zoom
Chair(s): Lucas BangHarvey Mudd College

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

issta-2020-papers13:30 - 13:50
Talk
Ismet Burak KadronUniversity of California at Santa Barbara, Nico RosnerAmazon Web Services, Tevfik BultanUniversity of California, Santa Barbara
DOI
issta-2020-papers13:50 - 14:10
Talk
Mohannad Alhanahnah, Clay StevensUniversity of Nebraska-Lincoln, Hamid BagheriUniversity of Nebraska-Lincoln, USA
DOI Pre-print Media Attached
issta-2020-papers14:10 - 14:30
Talk
Muyang Liu, Ke LiUniversity of Exeter, Tao ChenLoughborough University
DOI Pre-print
issta-2020-catering
14:30 - 14:50: Break - Mini Break at Zoom
issta-2020-papers
14:50 - 15:50: Technical Papers - REGRESSION TESTING at Zoom
Chair(s): Alex OrsoGeorgia Institute of Technology

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

issta-2020-papers14:50 - 15:10
Talk
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
issta-2020-papers15:10 - 15:30
Talk
Patrice GodefroidMicrosoft Research, Daniel LehmannUniversity of Stuttgart, Marina PolishchukMicrosoft
DOI Media Attached
issta-2020-papers15:30 - 15:50
Talk
Qianyang Peng, August ShiThe University of Texas at Austin, Lingming ZhangThe University of Texas at Dallas
DOI
issta-2020-catering
15:50 - 16:10: Break - Mini Break at Zoom
issta-2020-papers
16:10 - 17:10: Technical Papers - CHALLENGING DOMAINS at Zoom
Chair(s): Yi LiNanyang Technological University

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

issta-2020-papers16:10 - 16:30
Talk
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
issta-2020-papers16:30 - 16:50
Talk
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia, Matthew DwyerUniversity of Virginia
DOI
issta-2020-papers16:50 - 17:10
Talk
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: (GMT-07:00) Tijuana, Baja California change

issta-2020-keynote
09:00 - 10:30: Keynote - Preview & Keynote at Zoom
Chair(s): Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center

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

issta-2020-keynote09:00 - 09:30
Day opening
issta-2020-keynote09:30 - 10:30
Keynote
issta-2020-catering
10:30 - 10:50: Break - Mini Break at Zoom
issta-2020-papers
10:50 - 11:50: Technical Papers - BINARY ANALYSIS 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.

issta-2020-papers10:50 - 11:10
Talk
Yifei Xu, Zhengzi Xu, Bihuan ChenFudan University, Fu Song, Yang LiuNanyang Technological University, Singapore, Ting LiuXi'an Jiaotong University
DOI Media Attached
issta-2020-papers11:10 - 11:30
Talk
George FourtounisUniversity of Athens, Leonidas TriantafyllouUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Greece
DOI Media Attached
issta-2020-papers11:30 - 11:50
Talk
Muhui Jiang, Yajin ZhouZhejiang University, Xiapu LuoThe Hong Kong Polytechnic University, Ruoyu Wang, Yang LiuNanyang Technological University, Singapore, Kui Ren
DOI
issta-2020-catering
11:50 - 12:10: Break - Mini Break at Zoom
issta-2020-papers
12:10 - 13:10: Technical Papers - STATIC ANALYSIS AND SEARCH-BASED TESTING at Zoom
Chair(s): Daniel KroeningUniversity of Oxford

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

issta-2020-papers12:10 - 12:30
Talk
Asem Ghaleb, Karthik PattabiramanUniversity of British Columbia
DOI Media Attached
issta-2020-papers12:30 - 12:50
Talk
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
issta-2020-papers12:50 - 13:10
Talk
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
issta-2020-catering
13:10 - 13:30: Break - Mini Break at Zoom
issta-2020-papers
13:30 - 14:30: Technical Papers - BUILD TESTING 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.

issta-2020-papers13:30 - 13:50
Talk
DOI Media Attached
issta-2020-papers13:50 - 14:10
Talk
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
issta-2020-papers14:10 - 14:30
Talk
Zhibo Liu, Shuai WangHong Kong University of Science and Technology
DOI Media Attached
issta-2020-catering
14:30 - 14:50: Break - Mini Break at Zoom
issta-2020-papers
14:50 - 16:10: Technical Papers - NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTION 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.

issta-2020-papers14:50 - 15:10
Talk
Jackson VanoverUniversity of California, Davis, Xuan DengUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
DOI
issta-2020-papers15:10 - 15:30
Talk
Xiao HeUniversity of Science and Technology Beijing, China, Xingwei Wang, Jia Shi, Yi Liu
DOI Media Attached
issta-2020-papers15:30 - 15:50
Talk
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
issta-2020-papers15:50 - 16:10
Talk
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
issta-2020-catering
16:10 - 16:30: Break - Mini Break at Zoom
issta-2020-tool-demonstration
16:30 - 17:33: Tool Demonstration - TOOL DEMO at Zoom
Chair(s): Owolabi LegunsenCornell University

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

issta-2020-tool-demonstration16:30 - 16:37
Talk
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
issta-2020-tool-demonstration16:37 - 16:44
Talk
Chao GuoNanjing University, Tieke HeNanjing University, Wei YuanNanjing University, Yue GuoNanjing University, Rui HaoNanjing University, China
issta-2020-tool-demonstration16:44 - 16:51
Talk
Wentian YanPeking University, Jianbo GaoPeking University, Zhenhao WuPeking University and Boya Blockchain Inc, Yue LiPeking University, Zhi GuanPeking University, Qingshan LiPeking University, Zhong Chen
issta-2020-tool-demonstration16:51 - 16:58
Talk
Gustavo GriecoTrail of Bits, Will SongTrail of Bits, Artur CyganTrail of Bits, Josselin FeistTrail of Bits, Alex GroceNorthern Arizona University
issta-2020-tool-demonstration16:58 - 17:05
Talk
Yang ZhangHebei University of Science and Technology, Shuai ShaoHebei University of Science and Technology, Juan ZhaiRutgers University, Shiqing MaRutgers University, USA
issta-2020-tool-demonstration17:05 - 17:12
Talk
Ali GhanbariThe University of Texas at Dallas
Pre-print
issta-2020-tool-demonstration17:12 - 17:19
Talk
George ThompsonNorth Carolina A&T State University, Allison SullivanThe University of Texas at Arlington
issta-2020-tool-demonstration17:19 - 17:26
Talk
Zichen GuoNanjing University, Jiawei LiuNanjing University, Tieke HeNanjing University, Zhuoyang LiNanjing University, Peitian ZhangzhuNanjing University
issta-2020-tool-demonstration17:26 - 17:33
Talk
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: (GMT-07:00) Tijuana, Baja California change

Room9:003010:003011:003012:003013:0030
Zoom

Sun 19 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

Room9:003010:003011:003012:0030
Zoom

Mon 20 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

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

Tue 21 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

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

Wed 22 Jul
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

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