Program - ISSTA 2019

Filter

Badges

Your Program

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown here reflect the offsets at this moment. These offsets update automatically in case there is a change in daylight saving time.

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

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: SPIN KeynoteWorkshop – TAV-CPS/IoT at Meeting Room 4

	09:00 - 10:30 Talk		SPIN Keynote Workshop – TAV-CPS/IoT

	09:00 - 10:30: Session 1 - Invited TalkSPIN at Meeting Room 4

	09:00 - 10:30 Day opening		Constrained Counting and Sampling: From Theory to Practice and Back SPIN Kuldeep S. MeelNational University of Singapore

	10:00 - 12:00: Tutorial of Testing CompetitionTesting Competition at Function Room B

	10:00 - 12:00 Talk		Tutorial of Testing Competition Testing Competition

	10:30 - 11:00: Mini BreakCatering at Meeting Room 4

	10:30 - 11:00 Break		Mini Break Catering

	10:30 - 11:00: Mini BreakCatering at Meeting Room 8

	11:00 - 12:30: Session 2 - Stochastic Model CheckingSPIN at Meeting Room 4

	11:00 - 11:30 Talk		Statistical Model Checking of Complex Robotic Systems SPIN Mohammed Foughali, Félix Ingrand, Cristina SeceleanuMälardalen University
	11:30 - 12:00 Talk		Model Checking Branching Time Properties of Incomplete Markov Chains SPIN Shiraj Arora, Mv P Rao

	11:00 - 12:30: Session 1 -Automated Software Testing of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8

	11:00 - 11:20 Talk		Target-driven Compositional Concolic Testing Workshop – TAV-CPS/IoT Yunho KimKAIST
	11:20 - 11:40 Talk		Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking Workshop – TAV-CPS/IoT Lei Bu
	11:40 - 12:00 Talk		The Mobile Test Automation Pyramid Workshop – TAV-CPS/IoT Mayank Saraswat
	12:00 - 12:30 Talk		Panel Workshop – TAV-CPS/IoT

	12:30 - 14:00: LunchCatering at Valley Cafe

	14:00 - 17:00: Final of Testing CompetitionTesting Competition at Function Room B

	14:00 - 17:00 Talk		Final of Testing Competition Testing Competition

	14:00 - 15:30: Session 3 - Model CheckingSPIN at Meeting Room 4

	14:00 - 14:30 Talk		Extracting Safe Thread Schedules from Incomplete Model Checking Results SPIN Patrick Metzler, Neeraj Suri, Georg WeissenbacherTechnische Universität Wien
	14:30 - 15:00 Talk		From Dynamic State Machines to Promela SPIN Massimo Benerecetti, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Luigi L. L. Starace, Valeria Vittorin
	15:00 - 15:30 Talk		A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table SPIN Omar BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia

	14:00 - 15:30: Session 2 - Analysis of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8

	14:00 - 14:20 Talk		Model Checking of Automotive Workshop – TAV-CPS/IoT Toshiaki AokiJAIST
	14:20 - 14:40 Talk		Symbolic Execution-based Approach to Extracting a Micro State Transition Table Workshop – TAV-CPS/IoT Takahiro Shimizu, Norihiro YoshidaNagoya University, Ryota YamamotoNagoya University, Hiroaki TakadaNagoya University
	14:40 - 14:55 Talk		How to Mock and Verify the Billing in Mobile Carrier Payment world Workshop – TAV-CPS/IoT Keshav Potdar
	14:55 - 15:10 Talk		How to Test Lead a Project and Get the Best out of your Testers Workshop – TAV-CPS/IoT Nicole Hoskins-Barlow
	15:10 - 15:30 Talk		Panel Workshop – TAV-CPS/IoT

	15:30 - 16:00: Mini BreakCatering at Meeting Room 4

	15:30 - 16:00 Break		Mini Break Catering

	15:30 - 16:00: Mini BreakCatering at Meeting Room 8

	16:00 - 17:30: Session 4 - Software Model Checking (Tools Sessions)SPIN at Meeting Room 4

	16:00 - 16:30 Talk		String abstraction for model checking of C programs SPIN Agostino CortesiUniversità Ca' Foscari Venezia, Henrich Lauko, Martina Olliaro, Petr Ročkai
	16:30 - 17:00 Talk		Applying Model Checking Approach with Floating Point Arithmetic SPIN Sergey StaroletovPolzunov Altai State Technical University, Nikolay ShilovInnopolis University

	16:00 - 17:30: Session 3 - Concurrency and Security of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8

	16:00 - 16:20 Talk		Automated Software Testing Workshop – TAV-CPS/IoT Valerio TerragniUniversità della Svizzera Italiana
	16:20 - 16:40 Talk		Scalable Detection of Concurrency Vulnerabilities Workshop – TAV-CPS/IoT Yan CaiInstitute of Software, Chinese Academy of Sciences
	16:40 - 17:00 Talk		Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices Workshop – TAV-CPS/IoT Letian Sha
	17:00 - 17:20 Talk		Panel Workshop – TAV-CPS/IoT
	17:20 - 17:30 Talk		Wrap up Workshop – TAV-CPS/IoT

	17:30 - 20:00: Reception for SPIN and Workshop attendeesCatering at Function Room A

	17:30 - 20:00 Dinner		Reception for SPIN and Workshop attendees Catering

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: Session 1Diversity @ ISSTA - The Ada Workshop at Function Room B

	09:00 - 09:10 Talk		Welcome Diversity @ ISSTA - The Ada Workshop Dongmei ZhangMicrosoft Research, China
	09:10 - 09:30 Talk		An Introduction to Ada workshops Diversity @ ISSTA - The Ada Workshop Lily Sun
	09:30 - 10:30 Talk		Keynote Speech Diversity @ ISSTA - The Ada Workshop Zhi JinPeking University

	09:00 - 10:00: Session 1 - Invited TalkSPIN at Meeting Room 4

	09:00 - 10:00 Talk		Model Verification Through Dependency Graphs SPIN Kim Guldstrand Larsen

	09:00 - 10:30: Lecture 1Summer School at Meeting Room 8

	09:00 - 10:30 Talk		Automated Program Repair Summer School Abhik RoychoudhuryNational University of Singapore

	09:30 - 10:35: Session 1Doctoral Symposium at Meeting Room 2

	09:30 - 09:46 Day opening		Openning Doctoral Symposium
	09:46 - 10:02 Doctoral symposium paper		On the Correctness of GPU Programs Doctoral Symposium Chao PengUniversity of Edinburgh, UK
	10:02 - 10:18 Doctoral symposium paper		JNI Program Analysis with Automatically Extracted C Semantic Summary Doctoral Symposium Sungho LeeKAIST, South Korea
	10:18 - 10:35 Doctoral symposium paper		Identifying Error Code Misuses in Complex System Doctoral Symposium Tang WenshengThe Hong Kong University of Science and Technology

	10:00 - 10:30: Session 1.5 - Conformance TestingSPIN at Meeting Room 4

	10:00 - 10:30 Talk		Conformance Testing of Schedulers for DSL-based Model Checking SPIN Nhat-Hoa Tran, Toshiaki AokiJAIST

	10:30 - 11:00: Mini BreakCatering at Function Room B

	10:30 - 11:00: Mini BreakCatering at Meeting Room 4

	10:30 - 11:00 Break		Mini Break Catering

	10:30 - 11:00: Mini BreakCatering at Meeting Room 8

	10:35 - 11:00: Mini BreakCatering at Meeting Room 2

	11:00 - 12:30: Session 2Diversity @ ISSTA - The Ada Workshop at Function Room B

	11:00 - 11:30 Talk		Building an impactful research program Diversity @ ISSTA - The Ada Workshop Andreas ZellerCISPA Helmholtz Center for Information Security
	11:30 - 12:00 Talk		New Research Directions for Practical Automated Program Repair Diversity @ ISSTA - The Ada Workshop Tegawendé F. BissyandéSnT, University of Luxembourg
	12:00 - 12:30 Talk		Panel: Regarding Research Diversity @ ISSTA - The Ada Workshop Zhi JinPeking University, Andreas ZellerCISPA Helmholtz Center for Information Security, Tegawendé F. BissyandéSnT, University of Luxembourg, Yong XuMicrosoft, China

	11:00 - 12:30: Session 2Doctoral Symposium at Meeting Room 2

	11:00 - 11:20 Doctoral symposium paper		Continuous Software Performance Assessment Doctoral Symposium Christoph LaaberUniversity of Zurich DOI Pre-print
	11:20 - 11:40 Doctoral symposium paper		Conditional Dynamic Partial Order Reduction and Optimality Results Doctoral Symposium Miguel IsabelComplutense University of Madrid
	11:40 - 12:00 Doctoral symposium paper		A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases Doctoral Symposium Giovanni GranoUniversity of Zurich DOI Pre-print
	12:00 - 12:30 Talk		Planning and choosing research projects during PhD studies Doctoral Symposium Abhik RoychoudhuryNational University of Singapore

	11:00 - 12:30: Session 2 - Synthesis and LearningSPIN at Meeting Room 4

	11:00 - 11:30 Talk		STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph SPIN Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo
	11:30 - 12:00 Talk		Learning Guided Enumerative Synthesis for Superoptimization SPIN Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin
	12:00 - 12:30 Talk		A Study of Learning Data Structure Invariants Using Off-the-shelf Tools SPIN Muhammad Usman, Wenxi WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle Inc., Cagdas Yelen, Nima DiniUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin

	11:00 - 12:30: Lecture 2Summer School at Meeting Room 8

	11:00 - 12:30 Talk		Program Synthesis Summer School Yingfei XiongPeking University

	12:30 - 14:00: LunchCatering at Valley Cafe

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:30: Session 3Diversity @ ISSTA - The Ada Workshop at Function Room B

	14:30 - 15:00 Talk		Doing Research in Industry Diversity @ ISSTA - The Ada Workshop Justin DingMicrosoft Research Asia
	15:00 - 15:30 Talk		Panel: Regarding Career & Life in Industry and Academia Diversity @ ISSTA - The Ada Workshop Shin Hwei TanSouthern University of Science and Technology, Justin DingMicrosoft Research Asia, Bei Chen, Yun Zou

	14:00 - 15:30: Session 3Doctoral Symposium at Meeting Room 2

	14:00 - 14:20 Doctoral symposium paper		A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis Doctoral Symposium Patrick Kwaku KudjoJiangsu University
	14:20 - 14:40 Doctoral symposium paper		Towards Scalable Defense of Information Flow Security for Distributed Systems Doctoral Symposium Xiaoqin FuWashington State University
	14:40 - 15:00 Doctoral symposium paper		Mining Constraints for Grammar Fuzzing Doctoral Symposium Michaël MeraCISPA, Germany
	15:00 - 15:30 Talk		Panel Disscussion Doctoral Symposium

	14:00 - 15:30: Session 3 - Invited TalkSPIN at Meeting Room 4

	14:00 - 15:00 Talk		Efficient Evaluation of Embedded-System Design Alternatives SPIN Maxime CordySnT, University of Luxembourg

	14:00 - 15:30: Lecture 3Summer School at Meeting Room 8

	14:00 - 15:30 Talk		Towards Data-driven Cloud Service Intelligence Summer School Qingwei LinMicrosoft Research, China

	15:30 - 16:00: Mini BreakCatering at Function Room B

	15:30 - 16:00: Mini BreakCatering at Meeting Room 2

	15:30 - 16:00: Mini BreakCatering at Meeting Room 4

	15:30 - 16:00 Break		Mini Break Catering

	15:30 - 16:00: Mini BreakCatering at Meeting Room 8

	16:00 - 17:30: Session 4Diversity @ ISSTA - The Ada Workshop at Function Room B

	16:00 - 16:30 Talk		Networks and Job Search Diversity @ ISSTA - The Ada Workshop Jie Zhang
	16:30 - 17:00 Talk		Panel: Regarding Communication Diversity @ ISSTA - The Ada Workshop Jie M. ZhangUniversity College London, UK, Alessandra GorlaIMDEA Software Institute, Qi Chen, Shizhao Sun
	17:00 - 17:30 Talk		Pros and cons of being a woman in the software engineering research community Diversity @ ISSTA - The Ada Workshop Alessandra GorlaIMDEA Software Institute

	16:00 - 17:30: Session 4Doctoral Symposium at Meeting Room 2

	16:00 - 17:30 Talk		Panel Disscussion Doctoral Symposium

	16:00 - 17:30: Session 4 - Broader ApproachesSPIN at Meeting Room 4

	16:00 - 16:30 Talk		Swarm Model Checking on the GPU SPIN Richard Defrancisco, Shenghsun Cho, Michael Ferdman Ferdman, Scott SmolkaStony Brook University
	16:30 - 17:00 Talk		VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs SPIN Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

	16:00 - 17:30: Lecture 4Summer School at Meeting Room 8

	16:00 - 17:30 Talk		Building Great Fuzzers Within Minutes Summer School Andreas ZellerCISPA Helmholtz Center for Information Security

	18:00 - 21:30: OC DinnerCatering at the lobby of the conference venue

	18:00 - 21:30 Dinner		OC Dinner Catering

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: Welcome & KeynoteKeynote at Grand Ballroom

	09:00 - 09:15 Talk		Welcome Keynote Dongmei ZhangMicrosoft Research, China, Anders MøllerAarhus University
	09:15 - 10:30 Talk		Keynote by Mark Harman - Some Challenges for Software Testing Research" Keynote Nadia AlshahwanFacebook, Andrea CianconeFacebook, Mark HarmanFacebook and University College London, Yue JiaUniversity College London, Ke MaoFacebook, Alexandru MargineanUniversity College London, UK, Alexander MolsFacebook, Hila PelegTechnion, Israel, Federica SarroUniversity College London, UK, Ilya ZorinFacebook

	10:30 - 11:00: Mini BreakCatering at Grand Ballroom

	10:30 - 11:00 Break		Mini Break Catering

	11:00 - 12:30: Program RepairTechnical Papers at Grand Ballroom Chair(s): Yingfei XiongPeking University

	11:00 - 11:22 Talk		Crash-avoiding Program Repair Technical Papers Xiang GaoNational University of Singapore, Sergey MechtaevUniversity College London, Abhik RoychoudhuryNational University of Singapore
	11:22 - 11:45 Talk		Practical Program Repair via Bytecode Mutation Technical Papers Ali GhanbariThe University of Texas at Dallas, Samuel BentonThe University of Texas at Dallas, Lingming Zhang Pre-print
	11:45 - 12:07 Talk		TBar: Revisiting Template-based Automated Program Repair Technical Papers Kui Liu, Anil KoyuncuUniversity of Luxembourg, Luxembourg, Dongsun KimFuriosa.ai, Tegawendé F. BissyandéSnT, University of Luxembourg Pre-print
	12:07 - 12:30 Talk		History-driven Build Failure Fixing: How Far Are We? Technical Papers Yiling LouPeking University, China, Junjie ChenPeking University, Lingming Zhang, Dan HaoPeking University, Lu ZhangPeking University

	12:30 - 14:00: LunchCatering at Valley Cafe

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:30: Mobile App TestingTechnical Papers at Grand Ballroom Chair(s): Xiaoyin WangUniversity of Texas at San Antonio, USA

	14:00 - 14:22 Talk		LibID: Reliable Identification of Obfuscated Third-Party Android Libraries Technical Papers Jiexin ZhangUniversity of Cambridge, Alastair R. BeresfordUniversity of Cambridge, UK, Stephan A. KollmannUniversity of Cambridge DOI Pre-print
	14:22 - 14:45 Talk		QADroid: Regression Event Selection for Android Applications Technical Papers Aman SharmaIIT Madras, Rupesh NasreIIT Madras, India
	14:45 - 15:07 Talk		Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems Technical Papers Pingfan KongInterdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Li LiMonash University, Australia, Jun GaoUniversity of Luxembourg, SnT, Tegawendé F. BissyandéSnT, University of Luxembourg, Jacques KleinUniversity of Luxembourg, SnT
	15:07 - 15:30 Talk		SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases Technical Papers Jiaqi GuoXi'an Jiaotong University, Shuyue LiXi'an Jiaotong University, Jian-Guang LouMicrosoft Research, Zijiang YangWestern Michigan University, Ting LiuMOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China

	15:30 - 16:00: Mini BreakCatering at Grand Ballroom

	15:30 - 16:00 Break		Mini Break Catering

	16:00 - 17:30: ISSTA Tool DemonstrationsTool Demonstration at Grand Ballroom

	16:00 - 16:10 Talk		Go-Clone: Graph-Embedding Based Clone Detector for Golang Tool Demonstration Cong WangTsinghua University, Jian GaoSchool of Software, Tsinghua University, Yu Jiang, Zhenchang XingAustralia National University, Huafeng Zhang, Weiliang Ying , Ming GuTsinghua University, Jiaguang Sun
	16:10 - 16:20 Talk		VFQL: Combinational Static Analysis as Query Language Tool Demonstration Guang Chen, Yuexing Wang, Min ZhouTsinghua University, Jiaguang Sun
	16:20 - 16:30 Talk		VBSAC: A Value-Based Static Analyzer for C Tool Demonstration Li ChiTsinghua University, Min ZhouTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Guang Chen, Yuexing Wang, Jiecheng WuTsinghua University, Ming GuTsinghua University
	16:30 - 16:40 Talk		SAFEVM: A Safety Verifier for Ethereum Smart Contracts Tool Demonstration Elvira Albert, Pablo Gordillo, Guillermo Román-Díez, Jesus Correas, Albert Rubio
	16:40 - 16:50 Talk		CoCoTest: Collaborative Crowdsourced Testing for Android Applications Tool Demonstration Haoyu Li, Chunrong Fang, Zhibin Wei, Zhenyu ChenNanjing University
	16:50 - 17:00 Talk		Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android Tool Demonstration Linjie PanInstitute of Software, Chinese Academy of Sciences, Baoquan Cui, Jiwei YanInstitute of Software, Chinese Academy of Sciences, Xutong Ma, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University
	17:00 - 17:10 Talk		JQF: Coverage-guided Property-based Testing in Java Tool Demonstration Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley
	17:10 - 17:20 Talk		Ukwikora: Continuous inspection for Keyword-Driven Testing Tool Demonstration Renaud Rwemalika, Marinos Kintis, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg, Pierre Lorrach
	17:20 - 17:30 Talk		CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports Tool Demonstration Yuying LiState Key Laboratory for Novel Software Technology, Nanjing University, Rui HaoNanjing University, China, Yang FengUniversity of California, Irvine, James JonesUniversity of California, Irvine, Xiaofang Zhang, Zhenyu ChenNanjing University

	17:30 - 20:00: Reception with postersCatering at Grand Ballroom

	17:30 - 20:00 Dinner		Reception with posters Catering

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: Keynote & Award PresentationKeynote at Grand Ballroom

	09:00 - 10:00 Talk		Keynote - From Typestate Verification to Interpretable Deep Models Keynote Eran YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair
	10:00 - 10:07 Awards		Impact Paper Awards Keynote Dongmei ZhangMicrosoft Research, China
	10:07 - 10:14 Awards		Distinguished Paper Awards Keynote Anders MøllerAarhus University
	10:14 - 10:21 Awards		Distinguished Artifact Awards Keynote Dan HaoPeking University, Michael PradelTU Darmstadt and Facebook
	10:21 - 10:28 Awards		Best Tool Demonstration Award Keynote Alessandra GorlaIMDEA Software Institute, Hongyu ZhangThe University of Newcastle

	10:30 - 11:00: Mini BreakCatering at Grand Ballroom

	10:30 - 11:00 Break		Mini Break Catering

	11:00 - 12:30: Regression TestingTechnical Papers at Grand Ballroom Chair(s): Dan HaoPeking University

	11:00 - 11:22 Talk		Root Causing Flaky Tests in a Large-scale Industrial Setting Technical Papers Wing LamUniversity of Illinois at Urbana-Champaign, Patrice GodefroidMicrosoft Research, Suman NathMicrosoft Corporation, Anirudh SanthiarIndian Institute of Science, Suresh Thummalapenta
	11:22 - 11:45 Talk		Mitigating the Effects of Flaky Tests on Mutation Testing Technical Papers August ShiUniversity of Illinois at Urbana-Champaign, Jonathan BellGeorge Mason University, Darko MarinovUniversity of Illinois at Urbana-Champaign Pre-print Media Attached
	11:45 - 12:07 Talk		Assessing the State and Improving the Art of Parallel Testing for C Technical Papers Oliver SchwahnTU Darmstadt, Nicolas CoppikTU Darmstadt, Stefan WinterTU Darmstadt, Neeraj Suri
	12:07 - 12:30 Talk		Failure Clustering Without Coverage Technical Papers Mojdeh Golagha, Constantin LehnhoffTechnical University of Munich, Alexander Pretschner, Hermann IlmbergerBMW

	12:30 - 14:00: MeetingISSTA Steering Committee Meeting at Meeting Room 1

	12:30 - 14:00: LunchCatering at Valley Cafe

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:30: Testing and Machine LearningTechnical Papers at Grand Ballroom Chair(s): Hongyu ZhangThe University of Newcastle

	14:00 - 14:22 Talk		DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks Technical Papers Xiaofei XieNanyang Technological University, Lei MaKyushu University, Felix Juefei-XuCarnegie Mellon University, Minhui Xue, Hongxu ChenNanyang Technological University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University, Bo LiUIUC, Jianxiong YinNVIDIA AI Tech Centre, Simon SeeNVIDIA AI Tech Centre
	14:22 - 14:45 Talk		Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems Technical Papers Maxime CordySnT, University of Luxembourg, Steve Mullerunaffiliated, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg
	14:45 - 15:07 Talk		DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization Technical Papers Xia LiUniversity of Texas at Dallas, USA, Wei LiSouthern University of Science and Technology, Yuqun ZhangSouthern University of Science and Technology, Lingming Zhang
	15:07 - 15:30 Talk		Codebase-Adaptive Detection of Security-Relevant Methods Technical Papers Goran PiskachevFraunhofer IEM, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM DOI Pre-print Media Attached File Attached

	15:30 - 16:00: Mini BreakCatering at Grand Ballroom

	15:30 - 16:00 Break		Mini Break Catering

	16:00 - 17:30: APIs and Symbolic ExecutionTechnical Papers at Grand Ballroom Chair(s): Moonzoo KimKAIST

	16:00 - 16:22 Talk		Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing Technical Papers Maria KechagiaUniversity College London, Xavier DevroeyDelft University of Technology, Annibale PanichellaDeflt University of Technology, Georgios GousiosTU Delft, Arie van DeursenDelft University of Technology DOI Pre-print Media Attached
	16:22 - 16:45 Talk		Automated API-Usage Update for Android Apps Technical Papers Mattia FazziniGeorgia Institute of Technology, Qi XinGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech
	16:45 - 17:07 Talk		A Large-Scale Study of Application Incompatibilities in Android Technical Papers Haipeng CaiWashington State University Pullman, Ziyi Zhang, Li LiMonash University, Australia, Xiaoqin FuWashington State University Pre-print
	17:07 - 17:30 Talk		Deferred Concretization in Symbolic Execution via Fuzzing Technical Papers Awanish PandeyIIT Kanpur, India, Phani Raj Goutham Kotcharlakota, Subhajit RoyIIT Kanpur, India

	17:45 - 21:00: BanquetCatering at Yuxiandu Chinese Royal Gastronomy Museum

	17:45 - 21:00 Dinner		Banquet Catering

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30: Keynote & ISSTA 2020 PreviewKeynote at Grand Ballroom

	09:00 - 10:00 Talk		Keynote - The Theory and Practice of String Solvers Keynote Adam KiezunPrincipal Engineer, Amazon Inc., Philip GuoUCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. ErnstUniversity of Washington, USA, Vijay GaneshUniversity of Waterloo
	10:00 - 10:15 Talk		ISSTA 2020 Preview Keynote Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz KhurshidUniversity of Texas at Austin

	10:30 - 11:00: Mini BreakCatering at Grand Ballroom

	10:30 - 11:00 Break		Mini Break Catering

	11:00 - 12:30: Static Analysis and DebuggingTechnical Papers at Grand Ballroom Chair(s): Arie van DeursenDelft University of Technology

	11:00 - 11:22 Talk		Differentially Testing Soundness and Precision of Program Analyzers Technical Papers Christian KlingerUniversity of Texas, Austin, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys Diligence Pre-print
	11:22 - 11:45 Talk		Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs Technical Papers Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Mira MeziniTU Darmstadt, Germany Pre-print File Attached
	11:45 - 12:07 Talk		Adlib: Analyzer for Mobile Ad Platform Libraries Technical Papers Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea DOI Pre-print
	12:07 - 12:30 Talk		Interactive Metamorphic Testing of Debuggers Technical Papers Sandro TolksdorfTU Darmstadt, Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt and Facebook Link to publication DOI Pre-print

	12:30 - 14:00: LunchCatering at Valley Cafe

	12:30 - 14:00 Lunch		Lunch Catering

	14:00 - 15:30: Testing GUIs and CarsTechnical Papers at Grand Ballroom Chair(s): Lingming Zhang

	14:00 - 14:22 Talk		TestMig: Migrating GUI Test Cases from iOS to Android Technical Papers Xue Qin, Hao ZhongShanghai Jiao Tong University, Xiaoyin WangUniversity of Texas at San Antonio, USA
	14:22 - 14:45 Talk		Learning User Interface Element Interactions Technical Papers Christian DegottCISPA Helmholtz Center for Information Security, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security Pre-print Media Attached
	14:45 - 15:07 Talk		Improving Random GUI Testing with Image-based Widget Detection Technical Papers Thomas D. WhiteThe University of Sheffield, Gordon FraserUniversity of Passau, Guy J. BrownThe University of Sheffield
	15:07 - 15:30 Talk		Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation Technical Papers Alessio GambiUniversity of Passau, Marc MuellerBeamNG GmbH, Gordon FraserUniversity of Passau

	15:30 - 16:00: Mini BreakCatering at Grand Ballroom

	15:30 - 16:00 Break		Mini Break Catering

	16:00 - 17:30: PotpourriTechnical Papers at Grand Ballroom Chair(s): Andreas ZellerCISPA Helmholtz Center for Information Security

	16:00 - 16:22 Talk		Semantic Fuzzing with Zest Technical Papers Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg Link to publication DOI Pre-print
	16:22 - 16:45 Talk		Detecting Memory Errors at Runtime with Source-Level Instrumentation Technical Papers Zhe ChenNanjing University of Aeronautics and Astronautics, Junqi YanNanjing University of Aeronautics and Astronautics, Shuanglong KanNanjing University of Aeronautics and Astronautics, Ju QianNanjing University of Aeronautics and Astronautics, Jingling XueUNSW Sydney
	16:45 - 17:07 Talk		Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers Technical Papers Elvira Albert, Maria Garcia de la BandaMonash University, Miguel Gómez-ZamalloaComplutense University of Madrid, Miguel IsabelComplutense University of Madrid, Peter J. StuckeyMonash University
	17:07 - 17:30 Talk		Exploiting The Laws of Order in Smart Contracts Technical Papers Aashish Kolluri, Ivica NikolicNational University Of Singapore, Ilya SergeyYale-NUS College and National University of Singapore, Aquinas Hobor, Prateek SaxenaNational University Of Singapore

	18:00 - 21:30: PC DinnerCatering at the lobby of the conference venue

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	30	19:00	30	20:00	30
Function Room A												Catering Reception for SPIN and Workshop attendees
Function Room B			Testing Competition Tutorial of Testing Competition								Testing Competition Final of Testing Competition
Meeting Room 4	Workshop – TAV-CPS/IoT SPIN Keynote SPIN Session 1 - Invited Talk 09:00 - 10:30			Catering Mini Break	SPIN Session 2 - Stochastic Model Checking						SPIN Session 3 - Model Checking				Catering Mini Break	SPIN Session 4 - Software Model Checking (Tools Sessions)
Meeting Room 8				Catering Mini Break	Workshop – TAV-CPS/IoT Session 1 -Automated Software Testing of CPS-IoT						Workshop – TAV-CPS/IoT Session 2 - Analysis of CPS-IoT				Catering Mini Break	Workshop – TAV-CPS/IoT Session 3 - Concurrency and Security of CPS-IoT
Valley Cafe								Catering Lunch

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	30	19:00	30	20:00	30	21:00	30
Function Room B	Diversity @ ISSTA - The Ada Workshop Session 1			Catering Mini Break		Diversity @ ISSTA - The Ada Workshop Session 2			Catering			Diversity @ ISSTA - The Ada Workshop Session 3				Catering Mini Break	Diversity @ ISSTA - The Ada Workshop Session 4
Meeting Room 2		Doctoral Symposium Session 1			Catering Mini Break	Doctoral Symposium Session 2						Doctoral Symposium Session 3				Catering Mini Break	Doctoral Symposium Session 4
Meeting Room 4	SPIN Session 1 - Invited Talk		SPIN Session 1.5 - Conformance Testing	Catering Mini Break		SPIN Session 2 - Synthesis and Learning						SPIN Session 3 - Invited Talk				Catering Mini Break	SPIN Session 4 - Broader Approaches
Meeting Room 8	Summer School Lecture 1			Catering Mini Break		Summer School Lecture 2						Summer School Lecture 3				Catering Mini Break	Summer School Lecture 4
Valley Cafe									Catering Lunch
the lobby of the conference venue													Catering OC Dinner

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	30	19:00	30	20:00	30
Grand Ballroom	Keynote Welcome & Keynote			Catering Mini Break	Technical Papers Program Repair						Technical Papers Mobile App Testing			Catering Mini Break	Tool Demonstration ISSTA Tool Demonstrations			Catering Reception with posters
Valley Cafe								Catering Lunch

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	30	19:00	30	20:00	30	21:00	30
Grand Ballroom	Keynote Keynote & Award Presentation			Catering Mini Break	Technical Papers Regression Testing						Technical Papers Testing and Machine Learning				Catering Mini Break	Technical Papers APIs and Symbolic Execution
Meeting Room 1								ISSTA Steering Committee Meeting Meeting
Valley Cafe								Catering Lunch
Yuxiandu Chinese Royal Gastronomy Museum												Catering Banquet

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	30	19:00	30	20:00	30	21:00	30
Grand Ballroom	Keynote Keynote & ISSTA 2020 Preview			Catering Mini Break	Technical Papers Static Analysis and Debugging						Technical Papers Testing GUIs and Cars				Catering Mini Break	Technical Papers Potpourri
Valley Cafe								Catering Lunch
the lobby of the conference venue												Catering PC Dinner

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
Function Room A																									ISSTA Catering Reception for SPIN and Workshop attendees 17:30 - 20:00
Function Room B					Testing Competition Tutorial of Testing Competition 10:00 - 12:00																		Testing Competition Final of Testing Competition 14:00 - 17:00
Meeting Room 4	ISSTA Workshop – TAV-CPS/IoT SPIN Keynote 09:00 - 10:30 SPIN Constrained Counting and Sampling: From Theory to Practice and Back 09:00 - 10:30						ISSTA Catering Mini Break 10:30 - 11:00		SPIN Statistical Model Checking of Complex Robotic Systems 11:00 - 11:30			SPIN Model Checking Branching Time Properties of Incomplete Markov Chains 11:30 - 12:00											SPIN Extracting Safe Thread Schedules from Incomplete Model Checking Results 14:00 - 14:30			SPIN From Dynamic State Machines to Promela 14:30 - 15:00				SPIN A Novel Decentralized LTL Monitoring Framework Using Formula Progressio ... 15:00 - 15:30			ISSTA Catering Mini Break 15:30 - 16:00		SPIN String abstraction for model checking of C programs 16:00 - 16:30			SPIN Applying Model Checking Approach with Floating Point Arithmetic 16:30 - 17:00
Meeting Room 8									ISSTA Workshop – TAV-CPS/IoT Target-driven Compositional Concolic Testing 11:00 - 11:20		ISSTA Workshop – TAV-CPS/IoT Systematically Ensuring the Confidence of Home Automation IoT Systems B ... 11:20 - 11:40		ISSTA Workshop – TAV-CPS/IoT The Mobile Test Automation Pyramid 11:40 - 12:00		ISSTA Workshop – TAV-CPS/IoT Panel 12:00 - 12:30								ISSTA Workshop – TAV-CPS/IoT Model Checking of Automotive 14:00 - 14:20		ISSTA Workshop – TAV-CPS/IoT Symbolic Execution-based Approach to Extracting a Micro State Transitio ... 14:20 - 14:40		ISSTA Workshop – TAV-CPS/IoT How to Mock and Verify the Billing in Mobile Carrier Payment world 14:40 - 14:55		ISSTA Workshop – TAV-CPS/IoT How to Test Lead a Project and Get the Best out of your Testers 14:55 - 15:10		ISSTA Workshop – TAV-CPS/IoT Panel 15:10 - 15:30				ISSTA Workshop – TAV-CPS/IoT Automated Software Testing 16:00 - 16:20		ISSTA Workshop – TAV-CPS/IoT Scalable Detection of Concurrency Vulnerabilities 16:20 - 16:40		ISSTA Workshop – TAV-CPS/IoT Telescope in IoT: Security Situation Awareness Framework for Various Io ... 16:40 - 17:00		ISSTA Workshop – TAV-CPS/IoT Panel 17:00 - 17:20		ISSTA Workshop – TAV-CPS/IoT Wrap up 17:20 - 17:30

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Function Room B	Diversity @ ISSTA - The Ada Workshop Welcome 09:00 - 09:10	Diversity @ ISSTA - The Ada Workshop An Introduction to Ada workshops 09:10 - 09:30		Diversity @ ISSTA - The Ada Workshop Keynote Speech 09:30 - 10:30							Diversity @ ISSTA - The Ada Workshop Building an impactful research program 11:00 - 11:30			Diversity @ ISSTA - The Ada Workshop New Research Directions for Practical Automated Program Repair 11:30 - 12:00			Diversity @ ISSTA - The Ada Workshop Panel: Regarding Research 12:00 - 12:30											Diversity @ ISSTA - The Ada Workshop Doing Research in Industry 14:30 - 15:00			Diversity @ ISSTA - The Ada Workshop Panel: Regarding Career & Life in Industry and Academia 15:00 - 15:30				Diversity @ ISSTA - The Ada Workshop Networks and Job Search 16:00 - 16:30		Diversity @ ISSTA - The Ada Workshop Panel: Regarding Communication 16:30 - 17:00		Diversity @ ISSTA - The Ada Workshop Pros and cons of being a woman in the software engineering research com ... 17:00 - 17:30
Meeting Room 2				ISSTA Doctoral Symposium Openning 09:30 - 09:46	ISSTA Doctoral Symposium On the Correctness of GPU Programs 09:46 - 10:02	ISSTA Doctoral Symposium JNI Program Analysis with Automatically Extracted C Semantic Summary 10:02 - 10:18		ISSTA Doctoral Symposium Identifying Error Code Misuses in Complex System 10:18 - 10:35			ISSTA Doctoral Symposium Continuous Software Performance Assessment 11:00 - 11:20		ISSTA Doctoral Symposium Conditional Dynamic Partial Order Reduction and Optimality Results 11:20 - 11:40		ISSTA Doctoral Symposium A New Dimension of Test Quality: Assessing and Generating Higher Qualit ... 11:40 - 12:00		ISSTA Doctoral Symposium Planning and choosing research projects during PhD studies 12:00 - 12:30								ISSTA Doctoral Symposium A Cost-Effective Strategy for Software Vulnerability Prediction Based o ... 14:00 - 14:20		ISSTA Doctoral Symposium Towards Scalable Defense of Information Flow Security for Distributed S ... 14:20 - 14:40		ISSTA Doctoral Symposium Mining Constraints for Grammar Fuzzing 14:40 - 15:00		ISSTA Doctoral Symposium Panel Disscussion 15:00 - 15:30				ISSTA Doctoral Symposium Panel Disscussion 16:00 - 17:30
Meeting Room 4	SPIN Model Verification Through Dependency Graphs 09:00 - 10:00					SPIN Conformance Testing of Schedulers for DSL-based Model Checking 10:00 - 10:30			ISSTA Catering Mini Break 10:30 - 11:00		SPIN STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis v ... 11:00 - 11:30			SPIN Learning Guided Enumerative Synthesis for Superoptimization 11:30 - 12:00			SPIN A Study of Learning Data Structure Invariants Using Off-the-shelf Tools 12:00 - 12:30								SPIN Efficient Evaluation of Embedded-System Design Alternatives 14:00 - 15:00								ISSTA Catering Mini Break 15:30 - 16:00		SPIN Swarm Model Checking on the GPU 16:00 - 16:30		SPIN VeriVANca: An Actor-Based Framework for Formal Verification of Warning ... 16:30 - 17:00
Meeting Room 8	ISSTA Summer School Automated Program Repair 09:00 - 10:30										ISSTA Summer School Program Synthesis 11:00 - 12:30														ISSTA Summer School Towards Data-driven Cloud Service Intelligence 14:00 - 15:30										ISSTA Summer School Building Great Fuzzers Within Minutes 16:00 - 17:30
Valley Cafe																			ISSTA Catering Lunch 12:30 - 14:00
the lobby of the conference venue																											ISSTA Catering OC Dinner 18:00 - 21:30

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45
Grand Ballroom	ISSTA Keynote Welcome 09:00 - 09:15	ISSTA Keynote Keynote by Mark Harman - Some Challenges for Software Testing Research" 09:15 - 10:30					ISSTA Catering Mini Break 10:30 - 11:00		ISSTA Technical Papers Crash-avoiding Program Repair 11:00 - 11:22		ISSTA Technical Papers Practical Program Repair via Bytecode Mutation 11:22 - 11:45		ISSTA Technical Papers TBar: Revisiting Template-based Automated Program Repair 11:45 - 12:07		ISSTA Technical Papers History-driven Build Failure Fixing: How Far Are We? 12:07 - 12:30								ISSTA Technical Papers LibID: Reliable Identification of Obfuscated Third-Party Android Libraries 14:00 - 14:22		ISSTA Technical Papers QADroid: Regression Event Selection for Android Applications 14:22 - 14:45		ISSTA Technical Papers Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking ... 14:45 - 15:07		ISSTA Technical Papers SARA: Self-replay Augmented Record and Replay for Android in Industrial ... 15:07 - 15:30		ISSTA Catering Mini Break 15:30 - 16:00		ISSTA Tool Demonstration Go-Clone: Graph-Embedding Based Clone Detector for Golang 16:00 - 16:10	ISSTA Tool Demonstration VFQL: Combinational Static Analysis as Query Language 16:10 - 16:20		ISSTA Tool Demonstration VBSAC: A Value-Based Static Analyzer for C 16:20 - 16:30	ISSTA Tool Demonstration SAFEVM: A Safety Verifier for Ethereum Smart Contracts 16:30 - 16:40	ISSTA Tool Demonstration CoCoTest: Collaborative Crowdsourced Testing for Android Applications 16:40 - 16:50		ISSTA Tool Demonstration Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitiv ... 16:50 - 17:00	ISSTA Tool Demonstration JQF: Coverage-guided Property-based Testing in Java 17:00 - 17:10	ISSTA Tool Demonstration Ukwikora: Continuous inspection for Keyword-Driven Testing 17:10 - 17:20		ISSTA Tool Demonstration CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports 17:20 - 17:30	ISSTA Catering Reception with posters 17:30 - 20:00
Valley Cafe																	ISSTA Catering Lunch 12:30 - 14:00

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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	18:00	15	30	45	19:00	15	30	45	20:00	15	30	45	21:00	15	30	45
Grand Ballroom	ISSTA Keynote Keynote - From Typestate Verification to Interpretable Deep Models 09:00 - 10:00				ISSTA Keynote Impact Paper Awards 10:00 - 10:07	ISSTA Keynote Distinguished Paper Awards 10:07 - 10:14	ISSTA Keynote Distinguished Artifact Awards 10:14 - 10:21	ISSTA Keynote Best Tool Demonstration Award 10:21 - 10:28	ISSTA Catering Mini Break 10:30 - 11:00		ISSTA Technical Papers Root Causing Flaky Tests in a Large-scale Industrial Setting 11:00 - 11:22		ISSTA Technical Papers Mitigating the Effects of Flaky Tests on Mutation Testing 11:22 - 11:45		ISSTA Technical Papers Assessing the State and Improving the Art of Parallel Testing for C 11:45 - 12:07		ISSTA Technical Papers Failure Clustering Without Coverage 12:07 - 12:30								ISSTA Technical Papers DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Ne ... 14:00 - 14:22		ISSTA Technical Papers Search-based Test and Improvement of Machine-Learning-Based Anomaly Det ... 14:22 - 14:45		ISSTA Technical Papers DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault ... 14:45 - 15:07		ISSTA Technical Papers Codebase-Adaptive Detection of Security-Relevant Methods 15:07 - 15:30		ISSTA Catering Mini Break 15:30 - 16:00		ISSTA Technical Papers Effective and Efficient API Misuse Detection via Exception Propagation ... 16:00 - 16:22		ISSTA Technical Papers Automated API-Usage Update for Android Apps 16:22 - 16:45		ISSTA Technical Papers A Large-Scale Study of Application Incompatibilities in Android 16:45 - 17:07		ISSTA Technical Papers Deferred Concretization in Symbolic Execution via Fuzzing 17:07 - 17:30
Valley Cafe																			ISSTA Catering Lunch 12:30 - 14:00
Yuxiandu Chinese Royal Gastronomy Museum																											ISSTA Catering Banquet 17:45 - 21:00

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi 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
Grand Ballroom	ISSTA Keynote Keynote - The Theory and Practice of String Solvers 09:00 - 10:00				ISSTA Keynote ISSTA 2020 Preview 10:00 - 10:15		ISSTA Catering Mini Break 10:30 - 11:00		ISSTA Technical Papers Differentially Testing Soundness and Precision of Program Analyzers 11:00 - 11:22		ISSTA Technical Papers Judge: Identifying, Understanding, and Evaluating Sources of Unsoundnes ... 11:22 - 11:45		ISSTA Technical Papers Adlib: Analyzer for Mobile Ad Platform Libraries 11:45 - 12:07		ISSTA Technical Papers Interactive Metamorphic Testing of Debuggers 12:07 - 12:30								ISSTA Technical Papers TestMig: Migrating GUI Test Cases from iOS to Android 14:00 - 14:22		ISSTA Technical Papers Learning User Interface Element Interactions 14:22 - 14:45		ISSTA Technical Papers Improving Random GUI Testing with Image-based Widget Detection 14:45 - 15:07		ISSTA Technical Papers Automatically Testing Self-Driving Cars with Search-based Procedural Co ... 15:07 - 15:30		ISSTA Catering Mini Break 15:30 - 16:00		ISSTA Technical Papers Semantic Fuzzing with Zest 16:00 - 16:22		ISSTA Technical Papers Detecting Memory Errors at Runtime with Source-Level Instrumentation 16:22 - 16:45		ISSTA Technical Papers Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers 16:45 - 17:07		ISSTA Technical Papers Exploiting The Laws of Order in Smart Contracts 17:07 - 17:30
Valley Cafe																	ISSTA Catering Lunch 12:30 - 14:00

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

ISSTA 2019 Program

Program Display Configuration

Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Catering

Testing Competition

Testing Competition

Workshop – TAV-CPS/IoT

SPIN

Catering

SPIN

SPIN

Catering

SPIN

Catering

Workshop – TAV-CPS/IoT

Workshop – TAV-CPS/IoT

Catering

Workshop – TAV-CPS/IoT

Catering

Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Diversity @ ISSTA - The Ada Workshop

Catering

Diversity @ ISSTA - The Ada Workshop

Catering

Diversity @ ISSTA - The Ada Workshop

Catering

Diversity @ ISSTA - The Ada Workshop

Doctoral Symposium

Catering

Doctoral Symposium

Doctoral Symposium

Catering

Doctoral Symposium

SPIN

SPIN

Catering

SPIN

SPIN

Catering

SPIN

Summer School

Catering

Summer School

Summer School

Catering

Summer School

Catering

Catering

Wed 17 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Keynote

Catering

Technical Papers

Technical Papers

Catering

Tool Demonstration

Catering

Catering

Thu 18 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Keynote

Catering

Technical Papers

Technical Papers

Catering

Technical Papers

ISSTA Steering Committee Meeting

Catering

Catering

Fri 19 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Keynote

Catering

Technical Papers

Technical Papers

Catering

Technical Papers

Catering

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Wed 17 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Thu 18 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Fri 19 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change