Zoom - ISSTA 2020

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

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sat 18 Jul
Displayed 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
Displayed 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 Berardinelli Johannes Kepler University Linz, Hong-Linh Truong Aalto University
10:30 30m Talk		Efficient Testing of Cyber-Physical Systems TAV-CPS/IoT Jun Sun Singapore Management University, Zijiang Yang Western Michigan University
11:00 30m Talk		Formal Verification of Discrete Event Modeling TAV-CPS/IoT Zhihao Lu Capital Normal University, Beijing, China, Rui Wang Capital Normal University, Beijing, China, Yong Guan Capital Normal University, Beijing, China
11:30 60m Meeting		Panel Discussion TAV-CPS/IoT

Mon 20 Jul
Displayed time zone: Tijuana, Baja California change

09:00 - 10:30	Welcome & KeynoteKeynote at Zoom Chair(s): Sarfraz Khurshid University 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 Kersten Synopsys, 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 Fioraldi Sapienza University Rome, Daniele Cono D'Elia Sapienza University of Rome, Emilio Coppa Sapienza 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 Chen Singapore Management University, Bohan Xuan , Chris Poskitt Singapore Management University, Jun Sun Singapore Management University, Fan Zhang DOI Pre-print Media Attached
11:30 20m Talk		Learning Input Tokens for Effective Fuzzing Technical Papers Björn Mathis CISPA Helmholtz Center for Information Security, Rahul Gopinath CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA 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'Amorim Federal 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 Yao HKUST, Qingkai Shi The Hong Kong University of Science and Technology, Heqing Huang , Charles Zhang The Hong Kong University of Science and Technology DOI
12:30 20m Talk		Relocatable Addressing Model for Symbolic Execution Technical Papers David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University DOI Pre-print Media Attached
12:50 20m Talk		Running Symbolic Execution Forever Technical Papers Frank Busse Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial 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. Le The 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 Approach Technical Papers Yiling Lou Peking University, China, Ali Ghanbari Iowa State University, Xia Li Kennesaw State University, Lingming Zhang The University of Texas at Dallas, Haotian Zhang Ant Financial, Dan Hao Peking University, Lu Zhang Peking 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 Abdessalem SnT Centre/University of Luxembourg, Annibale Panichella Delft University of Technology, Shiva Nejati University of Ottawa, Lionel C. Briand SnT 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 , Hung Viet Pham University of Waterloo, Lawrence Pang , Yitong Li , Moshi Wei , Lin Tan Purdue 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 Sherman Boise 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 Li Shenzhen University, Yuming Yang Shenzhen University, Yepang Liu Southern University of Science and Technology, John P. Gallagher Roskilde University, Kaishun Wu Shenzhen University DOI Media Attached
15:10 20m Talk		Automated Classification of Actions in Bug Reports of Mobile Apps Technical Papers Hui Liu Beijing Institute of Technology, Mingzhu Shen Beijing Institute of Technology, Jiahao Jin , Yanjie Jiang Beijing Institute of Technology DOI Media Attached
15:30 20m Talk		Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps Technical Papers Oliviero Riganelli University of Milano-Bicocca, Italy, Simone Paolo Mottadelli University of Milano-Bicocca, Claudio Rota University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Leonardo Mariani University 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 Gopinath NASA 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 Applications Technical Papers Minxue Pan Nanjing University, An Huang , Guoxin Wang , Tian Zhang Nanjing University, Xuandong Li Nanjing University DOI Media Attached
16:30 20m Talk		Effective White-Box Testing of Deep Neural Networks with Adaptive Neuron-Selection Strategy Technical Papers Seokhyun Lee Korea University, South Korea, Sooyoung Cha Korea University, South Korea, Dain Lee , Hakjoo Oh Korea 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 Feng Nanjing University, Qingkai Shi The Hong Kong University of Science and Technology, Xinyu Gao , Muhammed Kerem Kahraman , Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University DOI

Tue 21 Jul
Displayed time zone: Tijuana, Baja California change

09:00 - 10:30	Awards & KeynoteKeynote at Zoom Chair(s): Alex Orso Georgia 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 Ray Columbia 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 Libraries Technical Papers Saeid Tizpaz-Niari CU Boulder/UT El Paso, Pavol Cerny TU 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 Sharma University of Paderborn, Heike Wehrheim Paderborn University DOI Media Attached
11:30 20m Talk		Detecting Flaky Tests in Probabilistic and Machine Learning Applications Technical Papers Saikat Dutta University of Illinois at Urbana-Champaign, USA, August Shi The University of Texas at Austin, Rutvik Choudhary , Zhekun Zhang , Aryaman Jain , Sasa Misailovic University 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 Fazzini University 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 Pradel University of Stuttgart, Vijayaraghavan Murali Facebook, Inc., Rebecca Qian Facebook, Inc., Mateusz Machalica Facebook, Inc., Erik Meijer , Satish Chandra Facebook DOI Media Attached
12:30 20m Talk		Abstracting Failure-Inducing Inputs Technical Papers Rahul Gopinath CISPA Helmholtz Center for Information Security, Alexander Kampmann CISPA Helmholtz Center for Information Security, Nikolas Havrikov CISPA Helmholtz Center for Information Security, Ezekiel Soremekun CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA 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 Nie The University of Texas at Austin, Ahmet Celik Facebook, Matthew Coley , Aleksandar Milicevic , Jonathan Bell Northeastern University, Milos Gligoric The 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 Bang Harvey 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 Kadron University of California at Santa Barbara, Nico Rosner Amazon Web Services, Tevfik Bultan University of California, Santa Barbara DOI
13:50 20m Talk		Scalable Analysis of Interaction Threats in IoT Systems Technical Papers Mohannad Alhanahnah , Clay Stevens University of Nebraska-Lincoln, Hamid Bagheri University 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 Li University of Exeter, Tao Chen Loughborough University DOI Pre-print

	14:30 - 14:50	Mini BreakBreak at Zoom

14:50 - 15:50	REGRESSION TESTINGTechnical Papers at Zoom Chair(s): Alex Orso Georgia 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 Lam University of Illinois at Urbana-Champaign, August Shi The University of Texas at Austin, Reed Oei , Sai Zhang Google Cloud, Michael D. Ernst University of Washington, USA, Tao Xie Peking University DOI Media Attached
15:10 20m Talk		Differential Regression Testing for REST APIs Technical Papers Patrice Godefroid Microsoft Research, Daniel Lehmann University of Stuttgart, Marina Polishchuk Microsoft DOI Media Attached
15:30 20m Talk		Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization Technical Papers Qianyang Peng , August Shi The University of Texas at Austin, Lingming Zhang The 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 Li Nanyang Technological University 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 Strandberg Westermo Network Technologies AB, Thomas Ostrand , Elaine Weyuker Mälardalen University, Wasif Afzal Mälardalen University, Daniel Sundmark Mälardalen University DOI Pre-print Media Attached
16:30 20m Talk		Feasible and Stressful Trajectory Generation for Mobile Robots Technical Papers Carl Hildebrandt University of Virginia, Sebastian Elbaum University of Virginia, USA, Nicola Bezzo University of Virginia, Matthew B Dwyer University of Virginia DOI
16:50 20m Talk		Detecting Cache-Related Bugs in Spark Applications Technical Papers Hui Li , Dong Wang Institute of software, Chinese academy of sciences, Tianze Huang , Yu Gao Institute of Software, Chinese Academy of Sciences, China, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Lijie Xu Institute of Software, Chinese Academy of Sciences, Wei Wang , Jun Wei State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Hua Zhong DOI

Wed 22 Jul
Displayed time zone: Tijuana, Baja California change

09:00 - 10:30	Preview & KeynoteKeynote at Zoom Chair(s): Corina S. Păsăreanu Carnegie 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 Siddiqui 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 Chen Fudan University, Fu Song , Yang Liu Nanyang Technological University, Singapore, Ting Liu Xi'an Jiaotong University DOI Media Attached
11:10 20m Talk		Identifying Java Calls in Native Code via Binary Scanning Technical Papers George Fourtounis University of Athens, Leonidas Triantafyllou University of Athens, Yannis Smaragdakis University of Athens, Greece DOI Media Attached
11:30 20m Talk		An Empirical Study on ARM Disassembly Tools Technical Papers Muhui Jiang , Yajin Zhou Zhejiang University, Xiapu Luo The Hong Kong Polytechnic University, Ruoyu Wang , Yang Liu Nanyang 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 Kroening University 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 Injection Technical Papers Asem Ghaleb , Karthik Pattabiraman University of British Columbia DOI Media Attached
12:30 20m Talk		A Programming Model for Semi-implicit Parallelization of Static Analyses Technical Papers Dominik Helm TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Jan Thomas Kölzer , Philipp Haller KTH Royal Institute of Technology, Michael Eichberg TU Darmstadt, Germany, Guido Salvaneschi Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt DOI
12:50 20m Talk		Recovering Fitness Gradients for Interprocedural Boolean Flags in Search-Based Testing Technical Papers Yun Lin National University of Singapore, Jun Sun Singapore Management University, Gordon Fraser University of Passau, Ziheng Xiu , Ting Liu Xi'an Jiaotong University, Jin Song Dong National 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 Aguirre Dept. 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 Kaiyuan Wang Google, USA, Greg Tener , Vijay Gullapalli , Xin Huang , Ahmed Gad , Daniel Rall DOI Media Attached
13:50 20m Talk		Escaping Dependency Hell: Finding Build Dependency Errors with the Unified Dependency Graph Technical Papers Gang Fan Hong Kong University of Science and Technology, Chengpeng Wang The Hong Kong University of Science and Technology, Rongxin Wu Department of Cyber Space Security, Xiamen University, Xiao Xiao Sourcebrella Inc., Qingkai Shi The Hong Kong University of Science and Technology, Charles Zhang The Hong Kong University of Science and Technology DOI Media Attached
14:10 20m Talk		How Far We Have Come: Testing Decompilation Correctness of C Decompilers Technical Papers Zhibo Liu , Shuai Wang Hong 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 Marinov University 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 Libraries Technical Papers Jackson Vanover University of California, Davis, Xuan Deng University of California, Davis, Cindy Rubio-González University 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 He University 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 Learning Technical Papers Chunrong Fang Nanjing University, Zixi Liu Nanjing University, Yangyang Shi , Jeff Huang Texas A&M University, Qingkai Shi The Hong Kong University of Science and Technology DOI Media Attached
15:50 20m Talk		Learning to Detect Table Clones in Spreadsheets Technical Papers Yakun Zhang Institute of software, Chinese academy of sciences, Wensheng Dou Institute of Software, Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Liang Xu , Zhiyong Zhou Institute of Software, Chinese Academy of Sciences, Jun Wei State 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 Legunsen Cornell 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 Bartocci Technische Universität Wien, Niveditha Manjunath Vienna University of Technology, Leonardo Mariani University of Milano Bicocca, Cristinel Mateis AIT Austrian Institute of Technology GmbH, Dejan Nickovic Austrian Institute of Technology, Fabrizio Pastore University of Luxembourg
16:37 7m Talk		Crowdsourced Requirements Generation for Automatic Testing via Knowledge Graph Tool Demonstration Chao Guo Nanjing University, Tieke He Nanjing University, Wei Yuan Nanjing University, Yue Guo Nanjing University, Rui Hao Nanjing University, China
16:44 7m Talk		EShield: Protect Smart Contracts against Reverse Engineering Tool Demonstration Wentian Yan Peking University, Jianbo Gao Peking University, Zhenhao Wu Peking University and Boya Blockchain Inc, Yue Li Peking University, Zhi Guan Peking University, Qingshan Li Peking University, Zhong Chen
16:51 7m Talk		Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts Tool Demonstration Gustavo Grieco Trail of Bits, Will Song Trail of Bits, Artur Cygan Trail of Bits, Josselin Feist Trail of Bits, Alex Groce Northern Arizona University
16:58 7m Talk		FineLock: Automatically Refactoring Coarse-grained Locks into Fine-grained Locks Tool Demonstration Yang Zhang Hebei University of Science and Technology, Shuai Shao Hebei University of Science and Technology, Juan Zhai Rutgers University, Shiqing Ma Rutgers University, USA
17:05 7m Talk		ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity Tool Demonstration Ali Ghanbari Iowa State University Pre-print
17:12 7m Talk		ProFL: A Fault Localization Framework for Prolog Tool Demonstration George Thompson North Carolina A&T State University, Allison Sullivan The University of Texas at Arlington
17:19 7m Talk		TauJud: Test Augmentation of Machine Learning in Judicial Documents Tool Demonstration Zichen Guo Nanjing University, Jiawei Liu Nanjing University, Tieke He Nanjing University, Zhuoyang Li Nanjing University, Peitian Zhangzhu Nanjing University
17:26 7m Talk		Test Recommendation System Based on Slicing Coverage Filtering Tool Demonstration Ruixiang Qian State Key Laboratory for Novel Software Technology, Nanjing University, Yuan Zhao State Key Laboratory for Novel Software Technology, Nanjing University, Duo Men State Key Laboratory for Novel Software Technology, Nanjing University, Yang Feng Nanjing University, Qingkai Shi The Hong Kong University of Science and Technology, Yong Huang State Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu Chen Nanjing University DOI

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00						30						10:00						30						11:00						30						12:00						30
Zoom	Doctoral Symposium Doctoral Symposium

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00						30						10:00						30						11:00						30						12:00						30
Zoom	TAV-CPS/IoT TAV-CPS/IoT Workshop

Mon 20 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Zoom	Keynote Welcome & Keynote																		Break Mini Break				Technical Papers FUZZING												Break Mini Break				Technical Papers SYMBOLIC EXECUTION AND CONSTRAINT SOLVING												Break Mini Break				Technical Papers REPAIR AND DEBUG												Break Mini Break				Technical Papers MOBILE APPS												Break Mini Break				Technical Papers MACHINE LEARNING I

Tue 21 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Zoom	Keynote Awards & Keynote																		Break Mini Break				Technical Papers MACHINE LEARNING II												Break Mini Break				Technical Papers BUG LOCALIZATION AND TEST ISOLATION												Break Mini Break				Technical Papers SECURITY												Break Mini Break				Technical Papers REGRESSION TESTING												Break Mini Break				Technical Papers CHALLENGING DOMAINS

Wed 22 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Zoom	Keynote Preview & Keynote																		Break Mini Break				Technical Papers BINARY ANALYSIS												Break Mini Break				Technical Papers STATIC ANALYSIS AND SEARCH-BASED TESTING												Break Mini Break				Technical Papers BUILD TESTING												Break Mini Break				Technical Papers NUMERICAL SOFTWARE ANALYSIS & CLONE DETECTION																Break Mini Break				Tool Demonstration TOOL DEMO

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Zoom	ISSTA Doctoral Symposium Keynote by Claire Le Goues -- Do what I mean, not what I say: An Introd ... 09:00 - 10:00												ISSTA Doctoral Symposium Introductions & Plans 10:00 - 10:20				ISSTA Doctoral Symposium Feng Xue: Automated Mobile Apps Testing from Visual Perspective 10:20 - 10:40				ISSTA Doctoral Symposium Luis Gustavo Araujo Rodriguez: Program-aware fuzzing for MQTT applications 10:40 - 11:00				ISSTA Doctoral Symposium Keynote by Muneera Bano -- PhD: The transformational journey of my life 11:00 - 11:40								ISSTA Doctoral Symposium João Choma: Using search-based meta-heuristics to support the identific ... 11:40 - 12:00				ISSTA Doctoral Symposium Break-outs / Discussion & Wrap up 12:00 - 13:00

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Zoom	ISSTA TAV-CPS/IoT Keynote by Lionel Briand: Artificial Intelligence for Automated Softwar ... 09:00 - 10:00												ISSTA TAV-CPS/IoT Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design 10:00 - 10:30						ISSTA TAV-CPS/IoT Efficient Testing of Cyber-Physical Systems 10:30 - 11:00						ISSTA TAV-CPS/IoT Formal Verification of Discrete Event Modeling 11:00 - 11:30						ISSTA TAV-CPS/IoT Panel Discussion 11:30 - 12:30

Mon 20 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Zoom	ISSTA Keynote Opening 09:00 - 09:30						ISSTA Keynote Keynote by Prof. Barbara Liskov: Reflections on Programming Methodology 09:30 - 10:30																ISSTA Technical Papers WEIZZ: Automatic Grey-Box Fuzzing for Structured Binary Formats 10:50 - 11:10				ISSTA Technical Papers Active Fuzzing for Testing and Securing Cyber-Physical Systems 11:10 - 11:30				ISSTA Technical Papers Learning Input Tokens for Effective Fuzzing 11:30 - 11:50								ISSTA Technical Papers Fast Bit-Vector Satisfiability 12:10 - 12:30				ISSTA Technical Papers Relocatable Addressing Model for Symbolic Execution 12:30 - 12:50				ISSTA Technical Papers Running Symbolic Execution Forever 12:50 - 13:10								ISSTA Technical Papers Can Automated Program Repair Refine Fault Localization? A Unified Debug ... 13:30 - 13:50				ISSTA Technical Papers Automated Repair of Feature Interaction Failures in Automated Driving S ... 13:50 - 14:10				ISSTA Technical Papers CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemb ... 14:10 - 14:30								ISSTA Technical Papers Detecting and Diagnosing Energy Issues for Mobile Applications 14:50 - 15:10				ISSTA Technical Papers Automated Classification of Actions in Bug Reports of Mobile Apps 15:10 - 15:30				ISSTA Technical Papers Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps 15:30 - 15:50								ISSTA Technical Papers Reinforcement Learning Based Curiosity-Driven Testing of Android Applic ... 16:10 - 16:30				ISSTA Technical Papers Effective White-Box Testing of Deep Neural Networks with Adaptive Neuro ... 16:30 - 16:50				ISSTA Technical Papers DeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep ... 16:50 - 17:10

Tue 21 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Zoom	ISSTA Keynote Awards 09:00 - 09:30						ISSTA Keynote Retrospective Impact Paper Award Keynote by Prof. Gregg Rothermel 09:30 - 10:30																ISSTA Technical Papers Detecting and Understanding Real-World Differential Performance Bugs in ... 10:50 - 11:10				ISSTA Technical Papers Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models 11:10 - 11:30				ISSTA Technical Papers Detecting Flaky Tests in Probabilistic and Machine Learning Applications 11:30 - 11:50								ISSTA Technical Papers Scaffle: Bug Localization on Millions of Files 12:10 - 12:30				ISSTA Technical Papers Abstracting Failure-Inducing Inputs 12:30 - 12:50				ISSTA Technical Papers Debugging the Performance of Maven’s Test Isolation: Experience Report 12:50 - 13:10								ISSTA Technical Papers Feedback-Driven Side-Channel Analysis for Networked Applications 13:30 - 13:50				ISSTA Technical Papers Scalable Analysis of Interaction Threats in IoT Systems 13:50 - 14:10				ISSTA Technical Papers DeepSQLi: Deep Semantic Learning for Testing SQL Injection 14:10 - 14:30								ISSTA Technical Papers Dependent-Test-Aware Regression Testing Techniques 14:50 - 15:10				ISSTA Technical Papers Differential Regression Testing for REST APIs 15:10 - 15:30				ISSTA Technical Papers Empirically Revisiting and Enhancing IR-Based Test-Case Prioritization 15:30 - 15:50								ISSTA Technical Papers Intermittently Failing Tests in the Embedded Systems Domain 16:10 - 16:30				ISSTA Technical Papers Feasible and Stressful Trajectory Generation for Mobile Robots 16:30 - 16:50				ISSTA Technical Papers Detecting Cache-Related Bugs in Spark Applications 16:50 - 17:10

Wed 22 Jul
Displayed time zone: Tijuana, Baja California change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Zoom	ISSTA Keynote ISSTA 2021 Preview 09:00 - 09:30						ISSTA Keynote Impact Paper Award Keynote by Prof. Gordon Fraser and Prof. Andreas Zeller 09:30 - 10:30																ISSTA Technical Papers Patch Based Vulnerability Matching for Binary Programs 10:50 - 11:10				ISSTA Technical Papers Identifying Java Calls in Native Code via Binary Scanning 11:10 - 11:30				ISSTA Technical Papers An Empirical Study on ARM Disassembly Tools 11:30 - 11:50								ISSTA Technical Papers How Effective Are Smart Contract Analysis Tools? Evaluating Smart Contr ... 12:10 - 12:30				ISSTA Technical Papers A Programming Model for Semi-implicit Parallelization of Static Analyses 12:30 - 12:50				ISSTA Technical Papers Recovering Fitness Gradients for Interprocedural Boolean Flags in Searc ... 12:50 - 13:10								ISSTA Technical Papers Scalable Build Service System with Smart Scheduling Service 13:30 - 13:50				ISSTA Technical Papers Escaping Dependency Hell: Finding Build Dependency Errors with the Unif ... 13:50 - 14:10				ISSTA Technical Papers How Far We Have Come: Testing Decompilation Correctness of C Decompilers 14:10 - 14:30								ISSTA Technical Papers Discovering Discrepancies in Numerical Libraries 14:50 - 15:10				ISSTA Technical Papers Testing High Performance Numerical Simulation Programs: Experience, Les ... 15:10 - 15:30				ISSTA Technical Papers Functional Code Clone Detection with Syntax and Semantics Fusion Learning 15:30 - 15:50				ISSTA Technical Papers Learning to Detect Table Clones in Spreadsheets 15:50 - 16:10								ISSTA Tool Demonstration CPSDebug: A Tool for Failure Explanation 16:30 - 16:37	ISSTA Tool Demonstration Crowdsourced Requirements Generation for Automatic Testing via Knowledg ... 16:37 - 16:44		ISSTA Tool Demonstration EShield: Protect Smart Contracts against Reverse Engineering 16:44 - 16:51	ISSTA Tool Demonstration Echidna: Effective, Usable, and Fast Fuzzing for Smart Contracts 16:51 - 16:58		ISSTA Tool Demonstration FineLock: Automatically Refactoring Coarse-grained Locks into Fine-grai ... 16:58 - 17:05	ISSTA Tool Demonstration ObjSim: Lightweight Automatic Patch Prioritization via Object Similarity 17:05 - 17:12	ISSTA Tool Demonstration ProFL: A Fault Localization Framework for Prolog 17:12 - 17:19		ISSTA Tool Demonstration TauJud: Test Augmentation of Machine Learning in Judicial Documents 17:19 - 17:26	ISSTA Tool Demonstration Test Recommendation System Based on Slicing Coverage Filtering 17:26 - 17:33

Room information: Zoom

Program Display Configuration

Sat 18 JulDisplayed time zone: Tijuana, Baja California change

Sun 19 JulDisplayed time zone: Tijuana, Baja California change

Mon 20 JulDisplayed time zone: Tijuana, Baja California change

Tue 21 JulDisplayed time zone: Tijuana, Baja California change

Wed 22 JulDisplayed time zone: Tijuana, Baja California change

Sat 18 JulDisplayed time zone: Tijuana, Baja California change

Doctoral Symposium

Sun 19 JulDisplayed time zone: Tijuana, Baja California change

TAV-CPS/IoT

Mon 20 JulDisplayed time zone: Tijuana, Baja California change

Keynote

Break

Technical Papers

Break

Technical Papers

Break

Technical Papers

Break

Technical Papers

Break

Technical Papers

Tue 21 JulDisplayed time zone: Tijuana, Baja California change

Keynote

Break

Technical Papers

Break

Technical Papers

Break

Technical Papers

Break

Technical Papers

Break

Technical Papers

Wed 22 JulDisplayed time zone: Tijuana, Baja California change

Keynote

Break

Technical Papers

Break

Technical Papers

Break

Technical Papers

Break

Technical Papers

Break

Tool Demonstration

Sat 18 JulDisplayed time zone: Tijuana, Baja California change

Sun 19 JulDisplayed time zone: Tijuana, Baja California change

Mon 20 JulDisplayed time zone: Tijuana, Baja California change

Tue 21 JulDisplayed time zone: Tijuana, Baja California change

Wed 22 JulDisplayed time zone: Tijuana, Baja California change

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

Mon 20 Jul
Displayed time zone: Tijuana, Baja California change

Tue 21 Jul
Displayed time zone: Tijuana, Baja California change

Wed 22 Jul
Displayed time zone: Tijuana, Baja California change

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

Mon 20 Jul
Displayed time zone: Tijuana, Baja California change

Tue 21 Jul
Displayed time zone: Tijuana, Baja California change

Wed 22 Jul
Displayed time zone: Tijuana, Baja California change

Sat 18 Jul
Displayed time zone: Tijuana, Baja California change

Sun 19 Jul
Displayed time zone: Tijuana, Baja California change

Mon 20 Jul
Displayed time zone: Tijuana, Baja California change

Tue 21 Jul
Displayed time zone: Tijuana, Baja California change

Wed 22 Jul
Displayed time zone: Tijuana, Baja California change