Program - ISSTA 2019

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: Catering - Mini Break at Grand Ballroom

10:30 - 11:00
Break

Mini Break

11:00 - 12:30: Technical Papers - Program Repair at Grand Ballroom
Chair(s): Tegawendé F. BissyandéSnT, University of Luxembourg

11:00 - 11:22
Talk

Crash-avoiding Program Repair

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

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

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?

Yiling LouPeking University, China, Junjie ChenPeking University, Lingming Zhang, Dan HaoPeking University, Lu ZhangPeking University

12:30 - 14:00: Catering - Lunch at Grand Ballroom

12:30 - 14:00
Lunch

Lunch

14:00 - 15:30: Technical Papers - Mobile App Testing 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

Jiexin ZhangUniversity of Cambridge, Alastair R. BeresfordUniversity of Cambridge, UK, Stephan A. KollmannUniversity of Cambridge

14:22 - 14:45
Talk

QADroid: Regression Event Selection for Android Applications

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

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

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: Catering - Mini Break at Grand Ballroom

15:30 - 16:00
Break

Mini Break

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

16:00 - 16:10
Talk

Go-Clone: Graph-Embedding Based Clone Detector for Golang

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

Guang Chen, Yuexing Wang, Min ZhouTsinghua University, Jiaguang Sun

16:20 - 16:30
Talk

VBSAC: A Value-Based Static Analyzer for C

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

Elvira Albert, Jesus CarreteroUniversity Carlos III of Madrid, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

16:40 - 16:50
Talk

CoCoTest: Collaborative Crowdsourced Testing for Android Applications

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

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

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

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

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: Catering - Reception with posters at Grand Ballroom

17:30 - 20:00
Dinner

Reception with posters

Thu 18 Jul

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

09:00 - 10:00
Talk

Keynote - From Typestate Verification to Interpretable Deep Models

Eran YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair

10:00 - 10:07
Awards

Impact Paper Awards

Dongmei ZhangMicrosoft Research, China

10:07 - 10:14
Awards

Distinguished Paper Awards

Anders MøllerAarhus University

10:14 - 10:21
Awards

Distinguished Artifact Awards

Dan HaoPeking University, Michael PradelTU Darmstadt and Facebook

10:21 - 10:28
Awards

Best Tool Demonstration Award

Alessandra GorlaIMDEA Software Institute, Hongyu ZhangThe University of Newcastle

10:30 - 11:00: Catering - Mini Break at Grand Ballroom

10:30 - 11:00
Break

Mini Break

11:00 - 12:30: Technical Papers - Regression Testing at Grand Ballroom
Chair(s): Lingming Zhang

11:00 - 11:22
Talk

Root Causing Flaky Tests in a Large-scale Industrial Setting

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

August ShiUniversity of Illinois at Urbana-Champaign, Jonathan BellGeorge Mason University, Darko MarinovUniversity of Illinois at Urbana-Champaign

11:45 - 12:07
Talk

Assessing the State and Improving the Art of Parallel Testing for C

Oliver SchwahnTU Darmstadt, Nicolas CoppikTU Darmstadt, Stefan WinterTU Darmstadt, Neeraj Suri

12:07 - 12:30
Talk

Failure Clustering Without Coverage

Mojdeh Golagha, Constantin LehnhoffTechnical University of Munich, Alexander Pretschner, Hermann IlmbergerBMW

12:30 - 14:00: Catering - Lunch at Grand Ballroom

12:30 - 14:00
Lunch

Lunch

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

14:00 - 15:30: Technical Papers - Testing and Machine Learning at Grand Ballroom

14:00 - 14:22
Talk

DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks

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

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

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

Goran PiskachevFraunhofer IEM, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM

Pre-print

15:30 - 16:00: Catering - Mini Break at Grand Ballroom

15:30 - 16:00
Break

Mini Break

16:00 - 17:30: Technical Papers - APIs and Symbolic Execution at Grand Ballroom
Chair(s): Lingming Zhang

16:00 - 16:22
Talk

Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing

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

16:22 - 16:45
Talk

Automated API-Usage Update for Android Apps

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

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

Awanish PandeyIIT Kanpur, India, Phani Raj Goutham Kotcharlakota, Subhajit RoyIIT Kanpur, India

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

17:45 - 21:00
Dinner

Banquet

Fri 19 Jul

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

09:00 - 10:00
Talk

Keynote - The Theory and Practice of String Solvers

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

Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz KhurshidUniversity of Texas at Austin

10:30 - 11:00: Catering - Mini Break at Grand Ballroom

10:30 - 11:00
Break

Mini Break

11:00 - 12:30: Technical Papers - Static Analysis and Debugging at Grand Ballroom
Chair(s): Yingfei XiongPeking University

11:00 - 11:22
Talk

Differentially Testing Soundness and Precision of Program Analyzers

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

Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Mira MeziniTU Darmstadt, Germany

11:45 - 12:07
Talk

Adlib: Analyzer for Mobile Ad Platform Libraries

Sungho LeeKAIST, South Korea, Sukyoung RyuKAIST, South Korea

12:07 - 12:30
Talk

Interactive Metamorphic Testing of Debuggers

Sandro TolksdorfTU Darmstadt, Daniel LehmannTU Darmstadt, Michael PradelTU Darmstadt and Facebook

12:30 - 14:00: Catering - Lunch at Grand Ballroom

12:30 - 14:00
Lunch

Lunch

14:00 - 15:30: Technical Papers - Testing GUIs and Cars at Grand Ballroom

14:00 - 14:22
Talk

TestMig: Migrating GUI Test Cases from iOS to Android

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

Christian DegottCISPA Helmholtz Center for Information Security, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Andreas ZellerSaarland University

14:45 - 15:07
Talk

Improving Random GUI Testing with Image-based Widget Detection

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

Alessio GambiUniversity of Passau, Marc MuellerBeamNG GmbH, Gordon FraserUniversity of Passau

15:30 - 16:00: Catering - Mini Break at Grand Ballroom

15:30 - 16:00
Break

Mini Break

16:00 - 17:30: Technical Papers - Potpourri at Grand Ballroom

16:00 - 16:22
Talk

Semantic Fuzzing with Zest

Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg

16:22 - 16:45
Talk

Detecting Memory Errors at Runtime with Source-Level Instrumentation

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

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

Aashish Kolluri, Ivica NikolicNational University Of Singapore, Ilya SergeyYale-NUS College and National University of Singapore, Aquinas Hobor, Prateek SaxenaNational University Of Singapore

Mon 15 Jul 2019


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												ISSTA Catering Reception for SPIN and Workshop attendees 17:30 - 20:00
Meeting Room 4	SPIN Session 1 - Opening and Invited Talk 09:00 - 10:30			ISSTA Catering Mini Break 10:30 - 11:00	SPIN Session 2 - Stochastic Model Checking 11:00 - 12:30			ISSTA Catering Lunch 12:30 - 14:00			SPIN Session 3 - Model Checking 14:00 - 15:30				ISSTA Catering Mini Break 15:30 - 16:00	SPIN Session 4 - Software Model Checking (Tools Sessions) 16:00 - 17:30
Meeting Room 8	ISSTA Workshop – TAV-CPS/IoT TAV-CPS/loT Session 1 09:00 - 10:30				ISSTA Workshop – TAV-CPS/IoT TAV-CPS/loT Session 2 11:00 - 12:30						ISSTA Workshop – TAV-CPS/IoT TAV-CPS/loT Session 3 14:00 - 15:30					ISSTA Workshop – TAV-CPS/IoT TAV-CPS/loT Session 4 16:00 - 17:30

Tue 16 Jul 2019


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
Function Room B	Diversity @ ISSTA - The Ada Workshop Session 1 09:00 - 10:30				Diversity @ ISSTA - The Ada Workshop Session 2 11:00 - 12:30						Diversity @ ISSTA - The Ada Workshop Session 3 14:00 - 15:30				Diversity @ ISSTA - The Ada Workshop Session 4 16:00 - 17:30
Meeting Room 2	ISSTA Doctoral Symposium Session 1 09:00 - 10:30				ISSTA Doctoral Symposium Session 2 11:00 - 12:30						ISSTA Doctoral Symposium Session 3 14:00 - 15:30				ISSTA Doctoral Symposium Session 4 16:00 - 17:30
Meeting Room 4	SPIN Session 1 - Invited Talk 09:00 - 10:30			ISSTA Catering Mini Break 10:30 - 11:00	SPIN Session 2 - Synthesis and Learning 11:00 - 12:30			ISSTA Catering Lunch 12:30 - 14:00			SPIN Session 3 - Testing 14:00 - 15:30			ISSTA Catering Mini Break 15:30 - 16:00	SPIN Session 4 - Broader Approaches 16:00 - 17:30
Meeting Room 8	ISSTA Summer School Lecture 1 09:00 - 10:30				ISSTA Summer School Lecture 2 11:00 - 12:30						ISSTA Summer School Lecture 3 14:00 - 15:30				ISSTA Summer School Lecture 4 16:00 - 17:30

Wed 17 Jul 2019


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	ISSTA Keynote Welcome & Keynote 09:00 - 10:30																		ISSTA Catering Mini Break 10:30 - 11:00						ISSTA Technical Papers Program Repair 11:00 - 12:30																		ISSTA Catering Lunch 12:30 - 14:00																		ISSTA Technical Papers Mobile App Testing 14:00 - 15:30																		ISSTA Catering Mini Break 15:30 - 16:00						ISSTA Tool Demonstration ISSTA Tool Demonstrations 16:00 - 17:30																		ISSTA Catering Reception with posters 17:30 - 20:00

Thu 18 Jul 2019


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	ISSTA Keynote Keynote & Award Presentation 09:00 - 10:30			ISSTA Catering Mini Break 10:30 - 11:00	ISSTA Technical Papers Regression Testing 11:00 - 12:30			ISSTA Catering Lunch 12:30 - 14:00			ISSTA Technical Papers Testing and Machine Learning 14:00 - 15:30				ISSTA Catering Mini Break 15:30 - 16:00	ISSTA Technical Papers APIs and Symbolic Execution 16:00 - 17:30
Meeting Room 1								ISSTA Steering Committee Meeting Meeting 12:30 - 14:00
Yuxiandu Chinese Royal Gastronomy Museum												ISSTA Catering Banquet 17:45 - 21:00

Fri 19 Jul 2019


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
Grand Ballroom	ISSTA Keynote Keynote & ISSTA 2020 Preview 09:00 - 10:30																		ISSTA Catering Mini Break 10:30 - 11:00						ISSTA Technical Papers Static Analysis and Debugging 11:00 - 12:30																		ISSTA Catering Lunch 12:30 - 14:00																		ISSTA Technical Papers Testing GUIs and Cars 14:00 - 15:30																		ISSTA Catering Mini Break 15:30 - 16:00						ISSTA Technical Papers Potpourri 16:00 - 17:30

Mon 15 Jul 2019


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
Meeting Room 4	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 for Incomplete Stochastic Models 11:30 - 12:00				ISSTA Catering Lunch 12:30 - 14: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 TAV-CPS/IoT Session 09:00 - 10:30								ISSTA Workshop – TAV-CPS/IoT TAV-CPS/IoT Session 11:00 - 12:30												ISSTA Workshop – TAV-CPS/IoT TAV-CPS/IoT Session 14:00 - 15:30									ISSTA Workshop – TAV-CPS/IoT TAV-CPS/IoT Session 16:00 - 17:30

Tue 16 Jul 2019


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
Function Room B	Diversity @ ISSTA - The Ada Workshop Session 09:00 - 10:30											Diversity @ ISSTA - The Ada Workshop Session 11:00 - 12:30														Diversity @ ISSTA - The Ada Workshop Session 14:00 - 15:30										Diversity @ ISSTA - The Ada Workshop Session 16:00 - 17:30
Meeting Room 2	ISSTA Doctoral Symposium Openning 09:00 - 09:05	ISSTA Doctoral Symposium Invited talk 09:05 - 09:35			ISSTA Doctoral Symposium On the Correctness of GPU Programs 09:35 - 09:55		ISSTA Doctoral Symposium JNI Program Analysis with Automatically Extracted C Semantic Summary 09:55 - 10:15		ISSTA Doctoral Symposium Identifying Error Code Misuses in Complex System 10:15 - 10:30			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 Conclude 15:00 - 15:30
Meeting Room 4	SPIN Model Verification Through Dependency Graphs 09: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		ISSTA Catering Lunch 12:30 - 14:00						SPIN Efficient Evaluation of Embedded-System Design Alternatives 14:00 - 15:00						SPIN Conformance Testing of Schedulers for DSL-based Model Checking 15:00 - 15:30		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

Wed 17 Jul 2019


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 Catering Lunch 12:30 - 14:00																		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

Thu 18 Jul 2019


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 Catering Lunch 12:30 - 14:00						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
Yuxiandu Chinese Royal Gastronomy Museum																											ISSTA Catering Banquet 17:45 - 21:00

Fri 19 Jul 2019


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 Catering Lunch 12:30 - 14:00																		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

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

Mon 15 Jul

Tue 16 Jul

Wed 17 Jul

Thu 18 Jul

Fri 19 Jul

Mon 15 Jul 2019

ISSTA Catering

SPIN

ISSTA Catering

SPIN

ISSTA Catering

SPIN

ISSTA Catering

SPIN

ISSTA Workshop – TAV-CPS/IoT

ISSTA Workshop – TAV-CPS/IoT

ISSTA Workshop – TAV-CPS/IoT

ISSTA Workshop – TAV-CPS/IoT

Tue 16 Jul 2019

Diversity @ ISSTA - The Ada Workshop

Diversity @ ISSTA - The Ada Workshop

Diversity @ ISSTA - The Ada Workshop

Diversity @ ISSTA - The Ada Workshop

ISSTA Doctoral Symposium

ISSTA Doctoral Symposium

ISSTA Doctoral Symposium

ISSTA Doctoral Symposium

SPIN

ISSTA Catering

SPIN

ISSTA Catering

SPIN

ISSTA Catering

SPIN

ISSTA Summer School

ISSTA Summer School

ISSTA Summer School

ISSTA Summer School

Wed 17 Jul 2019

ISSTA Keynote

ISSTA Catering

ISSTA Technical Papers

ISSTA Catering

ISSTA Technical Papers

ISSTA Catering

ISSTA Tool Demonstration

ISSTA Catering

Thu 18 Jul 2019

ISSTA Keynote

ISSTA Catering

ISSTA Technical Papers

ISSTA Catering

ISSTA Technical Papers

ISSTA Catering

ISSTA Technical Papers

ISSTA Steering Committee Meeting

ISSTA Catering

Fri 19 Jul 2019

ISSTA Keynote

ISSTA Catering

ISSTA Technical Papers

ISSTA Catering

ISSTA Technical Papers

ISSTA Catering

ISSTA Technical Papers

Mon 15 Jul 2019

Tue 16 Jul 2019

Wed 17 Jul 2019

Thu 18 Jul 2019

Fri 19 Jul 2019