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: 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 - 10:00
Keynote
Doctoral Symposium
10:00 - 10:20
Day opening
Doctoral Symposium
10:20 - 10:40
Doctoral symposium paper
Doctoral Symposium
10:40 - 11:00
Doctoral symposium paper
Doctoral Symposium
11:00 - 11:40
Keynote
Doctoral Symposium
11:40 - 12:00
Doctoral symposium paper
Doctoral Symposium
12:00 - 13:00
Meeting
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 - 10:00
Keynote
TAV-CPS/IoT
10:00 - 10:30
Talk
TAV-CPS/IoT
Luca BerardinelliJohannes Kepler University Linz, Hong-Linh TruongAalto University
10:30 - 11:00
Talk
TAV-CPS/IoT
Jun SunSingapore Management University, Zijiang YangWestern Michigan University
11:00 - 11:30
Talk
TAV-CPS/IoT
Zhihao LuCapital Normal University, Beijing, China, Rui WangCapital Normal University, Beijing, China, Yong GuanCapital Normal University, Beijing, China
11:30 - 12:30
Meeting
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 - 09:30
Day opening
Keynote
09:30 - 10:30
Keynote
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 - 11:10
Talk
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 - 11:30
Talk
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 - 11:50
Talk
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 - 12:30
Talk
Technical Papers
Yao PeisenHKUST, Qingkai ShiThe Hong Kong University of Science and Technology, Heqing Huang, Charles ZhangThe Hong Kong University of Science and Technology
DOI
12:30 - 12:50
Talk
Technical Papers
David TrabishTel Aviv University, Noam RinetzkyTel Aviv University
DOI Pre-print Media Attached
12:50 - 13:10
Talk
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 - 13:50
Talk
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 - 14:10
Talk
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 - 14:30
Talk
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 - 15:10
Talk
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 - 15:30
Talk
Technical Papers
Hui LiuBeijing Institute of Technology, Mingzhu ShenBeijing Institute of Technology, Jiahao Jin, Yanjie JiangBeijing Institute of Technology
DOI Media Attached
15:30 - 15:50
Talk
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 - 16:30
Talk
Technical Papers
Minxue PanNanjing University, An Huang, Guoxin Wang, Tian ZhangNanjing University, Xuandong LiNanjing University
DOI Media Attached
16:30 - 16:50
Talk
Technical Papers
Seokhyun LeeKorea University, South Korea, Sooyoung ChaKorea University, South Korea, Dain Lee, Hakjoo OhKorea University, South Korea
DOI Media Attached
16:50 - 17:10
Talk
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 - 09:30
Awards
Keynote
09:30 - 10:30
Keynote
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 - 11:10
Talk
Technical Papers
Saeid Tizpaz-NiariCU Boulder/UT El Paso, Pavol CernyTU Wien, Ashutosh Trivedi
Link to publication DOI Pre-print Media Attached
11:10 - 11:30
Talk
Technical Papers
Arnab SharmaUniversity of Paderborn, Heike WehrheimPaderborn University
DOI Media Attached
11:30 - 11:50
Talk
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 - 12:30
Talk
Technical Papers
Michael PradelUniversity of Stuttgart, Vijayaraghavan MuraliFacebook, Inc., Rebecca QianFacebook, Inc., Mateusz MachalicaFacebook, Inc., Erik Meijer, Satish ChandraFacebook
DOI Media Attached
12:30 - 12:50
Talk
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 - 13:10
Talk
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 - 13:50
Talk
Technical Papers
Ismet Burak KadronUniversity of California at Santa Barbara, Nico RosnerAmazon Web Services, Tevfik BultanUniversity of California, Santa Barbara
DOI
13:50 - 14:10
Talk
Technical Papers
Mohannad Alhanahnah, Clay StevensUniversity of Nebraska-Lincoln, Hamid BagheriUniversity of Nebraska-Lincoln, USA
DOI Pre-print Media Attached
14:10 - 14:30
Talk
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 - 15:10
Talk
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 - 15:30
Talk
Technical Papers
Patrice GodefroidMicrosoft Research, Daniel LehmannUniversity of Stuttgart, Marina PolishchukMicrosoft
DOI Media Attached
15:30 - 15:50
Talk
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

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

16:10 - 16:30
Talk
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 - 16:50
Talk
Technical Papers
Carl HildebrandtUniversity of Virginia, Sebastian ElbaumUniversity of Virginia, USA, Nicola BezzoUniversity of Virginia, Matthew DwyerUniversity of Virginia
DOI
16:50 - 17:10
Talk
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 PasareanuCarnegie 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 - 09:30
Day opening
Keynote
09:30 - 10:30
Keynote
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 - 11:10
Talk
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 - 11:30
Talk
Technical Papers
George FourtounisUniversity of Athens, Leonidas TriantafyllouUniversity of Athens, Yannis SmaragdakisUniversity of Athens, Greece
DOI Media Attached
11:30 - 11:50
Talk
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 - 12:30
Talk
Technical Papers
Asem Ghaleb, Karthik PattabiramanUniversity of British Columbia
DOI Media Attached
12:30 - 12:50
Talk
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 - 13:10
Talk
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 - 13:50
Talk
Technical Papers
DOI Media Attached
13:50 - 14:10
Talk
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 - 14:30
Talk
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 - 15:10
Talk
Technical Papers
Jackson VanoverUniversity of California, Davis, Xuan DengUniversity of California, Davis, Cindy Rubio-GonzálezUniversity of California, Davis
DOI Media Attached
15:10 - 15:30
Talk
Technical Papers
Xiao HeUniversity of Science and Technology Beijing, China, Xingwei Wang, Jia Shi, Yi Liu
DOI Media Attached
15:30 - 15:50
Talk
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 - 16:10
Talk
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 - 16:37
Talk
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 - 16:44
Talk
Tool Demonstration
Chao GuoNanjing University, Tieke HeNanjing University, Wei YuanNanjing University, Yue GuoNanjing University, Rui HaoNanjing University, China
16:44 - 16:51
Talk
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 - 16:58
Talk
Tool Demonstration
Gustavo GriecoTrail of Bits, Will SongTrail of Bits, Artur CyganTrail of Bits, Josselin FeistTrail of Bits, Alex GroceNorthern Arizona University
16:58 - 17:05
Talk
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 - 17:12
Talk
Tool Demonstration
Ali GhanbariThe University of Texas at Dallas
Pre-print
17:12 - 17:19
Talk
Tool Demonstration
George ThompsonNorth Carolina A&T State University, Allison SullivanThe University of Texas at Arlington
17:19 - 17:26
Talk
Tool Demonstration
Zichen GuoNanjing University, Jiawei LiuNanjing University, Tieke HeNanjing University, Zhuoyang LiNanjing University, Peitian ZhangzhuNanjing University
17:26 - 17:33
Talk
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
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