ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
ISSTA 2019 (series) / Crowne Plaza Beijing Zhongguancun /

Room information: Grand Ballroom

VenueCrowne Plaza Beijing Zhongguancun
Room nameGrand Ballroom
Floor3
Room InformationNo extra information available
Program

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

Wed 17 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
Welcome & KeynoteKeynote at Grand Ballroom
09:00
15m
Talk
Welcome
Keynote
Dongmei Zhang Microsoft Research, China, Anders Møller Aarhus University
09:15
75m
Talk
Keynote by Mark Harman - Some Challenges for Software Testing Research"
Keynote
Nadia Alshahwan Facebook, Andrea Ciancone Facebook, Mark Harman Facebook and University College London, Yue Jia University College London, Ke Mao Meta, Alexandru Marginean University College London, UK, Alexander Mols Facebook, Hila Peleg Technion, Israel, Federica Sarro University College London, UK, Ilya Zorin Facebook
10:30 - 11:00
Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom
10:30
30m
Break
Mini Break
Catering

11:00 - 12:30
Program RepairTechnical Papers at Grand Ballroom
Chair(s): Yingfei Xiong Peking University
11:00
22m
Talk
Crash-avoiding Program Repair
Technical Papers
Xiang Gao National University of Singapore, Sergey Mechtaev University College London, Abhik Roychoudhury National University of Singapore
11:22
22m
Talk
Practical Program Repair via Bytecode MutationArtifacts Functional
Technical Papers
Ali Ghanbari Iowa State University, Samuel Benton The University of Texas at Dallas, Lingming Zhang
Pre-print
11:45
22m
Talk
TBar: Revisiting Template-based Automated Program RepairArtifacts Functional
Technical Papers
Kui Liu , Anil Koyuncu University of Luxembourg, Luxembourg, Dongsun Kim Furiosa.ai, Tegawendé F. Bissyandé SnT, University of Luxembourg
Pre-print
12:07
22m
Talk
History-driven Build Failure Fixing: How Far Are We?Distinguished Paper Awards
Technical Papers
Yiling Lou Peking University, China, Junjie Chen Peking University, Lingming Zhang , Dan Hao Peking University, Lu Zhang Peking University
14:00 - 15:30
Mobile App TestingTechnical Papers at Grand Ballroom
Chair(s): Xiaoyin Wang University of Texas at San Antonio, USA
14:00
22m
Talk
LibID: Reliable Identification of Obfuscated Third-Party Android Libraries
Technical Papers
Jiexin Zhang University of Cambridge, Alastair R. Beresford University of Cambridge, UK, Stephan A. Kollmann University of Cambridge
DOI Pre-print
14:22
22m
Talk
QADroid: Regression Event Selection for Android ApplicationsArtifacts ReusableArtifacts Functional
Technical Papers
Aman Sharma IIT Madras, Rupesh Nasre IIT Madras, India
14:45
22m
Talk
Mining Android Crash Fixes in the Absence of Issue- and Change-Tracking Systems
Technical Papers
Pingfan Kong Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Li Li Monash University, Australia, Jun Gao University of Luxembourg, SnT, Tegawendé F. Bissyandé SnT, University of Luxembourg, Jacques Klein University of Luxembourg, SnT
15:07
22m
Talk
SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases
Technical Papers
Jiaqi Guo Xi'an Jiaotong University, Shuyue Li Xi'an Jiaotong University, Jian-Guang Lou Microsoft Research, Zijiang Yang Western Michigan University, Ting Liu MOEKLINNS Lab, Department of Computer Science and Technology, Xi'an Jiaotong University, 710049, China
15:30 - 16:00
Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom
15:30
30m
Break
Mini Break
Catering

16:00 - 17:30
ISSTA Tool DemonstrationsTool Demonstration at Grand Ballroom
16:00
10m
Talk
Go-Clone: Graph-Embedding Based Clone Detector for Golang
Tool Demonstration
Cong Wang Tsinghua University, Jian Gao School of Software, Tsinghua University, Yu Jiang , Zhenchang Xing Australia National University, Huafeng Zhang , Weiliang Ying , Ming Gu Tsinghua University, Jiaguang Sun
16:10
10m
Talk
VFQL: Combinational Static Analysis as Query Language
Tool Demonstration
Guang Chen , Yuexing Wang , Min Zhou Tsinghua University, Jiaguang Sun
16:20
10m
Talk
VBSAC: A Value-Based Static Analyzer for C
Tool Demonstration
Li Chi Tsinghua University, Min Zhou Tsinghua University, Zuxing Gu School of Software, Tsinghua University, Guang Chen , Yuexing Wang , Jiecheng Wu Tsinghua University, Ming Gu Tsinghua University
16:30
10m
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
10m
Talk
CoCoTest: Collaborative Crowdsourced Testing for Android Applications
Tool Demonstration
Haoyu Li , Chunrong Fang , Zhibin Wei , Zhenyu Chen Nanjing University
16:50
10m
Talk
Androlic: An Extensible Flow, Context, Object, Field, and Path-Sensitive Static Analysis Framework for Android
Tool Demonstration
Linjie Pan Institute of Software, Chinese Academy of Sciences, Baoquan Cui , Jiwei Yan Institute of Software, Chinese Academy of Sciences, Xutong Ma , Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Beihang University
17:00
10m
Talk
JQF: Coverage-guided Property-based Testing in Java
Tool Demonstration
Rohan Padhye University of California, Berkeley, Caroline Lemieux University of California, Berkeley, Koushik Sen University of California, Berkeley
17:10
10m
Talk
Ukwikora: Continuous inspection for Keyword-Driven Testing
Tool Demonstration
Renaud Rwemalika , Marinos Kintis , Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg, Pierre Lorrach
17:20
10m
Talk
CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports
Tool Demonstration
Yuying Li State Key Laboratory for Novel Software Technology, Nanjing University, Rui Hao Nanjing University, China, Yang Feng University of California, Irvine, James Jones University of California, Irvine, Xiaofang Zhang , Zhenyu Chen Nanjing University
17:30 - 20:00
Reception with postersCatering at Grand Ballroom
17:30
2h30m
Dinner
Reception with posters
Catering

Thu 18 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
Keynote & Award PresentationKeynote at Grand Ballroom
09:00
60m
Talk
Keynote - From Typestate Verification to Interpretable Deep Models
Keynote
Eran Yahav Technion, Stephen J Fink IBM, Nurit Dor , G. Ramalingam Microsoft Research, Emmanuel Geay Wayfair
10:00
7m
Awards
Impact Paper Awards
Keynote
Dongmei Zhang Microsoft Research, China
10:07
7m
Awards
Distinguished Paper Awards
Keynote
Anders Møller Aarhus University
10:14
7m
Awards
Distinguished Artifact Awards
Keynote
Dan Hao Peking University, Michael Pradel TU Darmstadt and Facebook
10:21
7m
Awards
Best Tool Demonstration Award
Keynote
Alessandra Gorla IMDEA Software Institute, Hongyu Zhang The University of Newcastle
10:30 - 11:00
Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom
10:30
30m
Break
Mini Break
Catering

11:00 - 12:30
Regression TestingTechnical Papers at Grand Ballroom
Chair(s): Dan Hao Peking University
11:00
22m
Talk
Root Causing Flaky Tests in a Large-scale Industrial Setting
Technical Papers
Wing Lam University of Illinois at Urbana-Champaign, Patrice Godefroid Microsoft Research, Suman Nath Microsoft Corporation, Anirudh Santhiar Indian Institute of Science, Suresh Thummalapenta
11:22
22m
Talk
Mitigating the Effects of Flaky Tests on Mutation Testing
Technical Papers
August Shi University of Illinois at Urbana-Champaign, Jonathan Bell George Mason University, Darko Marinov University of Illinois at Urbana-Champaign
Pre-print Media Attached
11:45
22m
Talk
Assessing the State and Improving the Art of Parallel Testing for CArtifacts ReusableArtifacts Functional
Technical Papers
Oliver Schwahn TU Darmstadt, Nicolas Coppik TU Darmstadt, Stefan Winter TU Darmstadt, Neeraj Suri
12:07
22m
Talk
Failure Clustering Without Coverage
Technical Papers
Mojdeh Golagha , Constantin Lehnhoff Technical University of Munich, Alexander Pretschner , Hermann Ilmberger BMW
14:00 - 15:30
Testing and Machine LearningTechnical Papers at Grand Ballroom
Chair(s): Hongyu Zhang The University of Newcastle
14:00
22m
Talk
DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks
Technical Papers
Xiaofei Xie Nanyang Technological University, Lei Ma Kyushu University, Felix Juefei-Xu Carnegie Mellon University, Minhui Xue , Hongxu Chen Nanyang Technological University, Yang Liu Nanyang Technological University, Singapore, Jianjun Zhao Kyushu University, Bo Li UIUC, Jianxiong Yin NVIDIA AI Tech Centre, Simon See NVIDIA AI Tech Centre
14:22
22m
Talk
Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection SystemsArtifacts ReusableArtifacts Functional
Technical Papers
Maxime Cordy SnT, University of Luxembourg, Steve Muller unaffiliated, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg
14:45
22m
Talk
DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault LocalizationArtifacts ReusableDistinguished Paper AwardsArtifacts Functional
Technical Papers
Xia Li University of Texas at Dallas, USA, Wei Li Southern University of Science and Technology, Yuqun Zhang Southern University of Science and Technology, Lingming Zhang
15:07
22m
Talk
Codebase-Adaptive Detection of Security-Relevant MethodsArtifacts Functional
Technical Papers
Goran Piskachev Fraunhofer IEM, Lisa Nguyen Quang Do Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
DOI Pre-print Media Attached File Attached
15:30 - 16:00
Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom
15:30
30m
Break
Mini Break
Catering

16:00 - 17:30
APIs and Symbolic ExecutionTechnical Papers at Grand Ballroom
Chair(s): Moonzoo Kim KAIST
16:00
22m
Talk
Effective and Efficient API Misuse Detection via Exception Propagation and Search-based TestingArtifacts ReusableArtifacts Functional
Technical Papers
Maria Kechagia University College London, Xavier Devroey Delft University of Technology, Annibale Panichella Deflt University of Technology, Georgios Gousios TU Delft, Arie van Deursen Delft University of Technology
DOI Pre-print Media Attached
16:22
22m
Talk
Automated API-Usage Update for Android AppsArtifacts Functional
Technical Papers
Mattia Fazzini Georgia Institute of Technology, Qi Xin Georgia Institute of Technology, Alessandro Orso Georgia Tech
16:45
22m
Talk
A Large-Scale Study of Application Incompatibilities in AndroidArtifacts Functional
Technical Papers
Haipeng Cai Washington State University, USA, Ziyi Zhang , Li Li Monash University, Australia, Xiaoqin Fu Washington State University
Pre-print
17:07
22m
Talk
Deferred Concretization in Symbolic Execution via Fuzzing
Technical Papers
Awanish Pandey IIT Kanpur, India, Phani Raj Goutham Kotcharlakota , Subhajit Roy IIT Kanpur, India

Fri 19 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
Keynote & ISSTA 2020 PreviewKeynote at Grand Ballroom
09:00
60m
Talk
Keynote - The Theory and Practice of String Solvers
Keynote
Adam Kiezun Principal Engineer, Amazon Inc., Philip Guo UCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. Ernst University of Washington, USA, Vijay Ganesh University of Waterloo
10:00
15m
Talk
ISSTA 2020 Preview
Keynote
Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz Khurshid University of Texas at Austin
10:30 - 11:00
Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom
10:30
30m
Break
Mini Break
Catering

11:00 - 12:30
Static Analysis and DebuggingTechnical Papers at Grand Ballroom
Chair(s): Arie van Deursen Delft University of Technology
11:00
22m
Talk
Differentially Testing Soundness and Precision of Program Analyzers
Technical Papers
Christian Klinger University of Texas, Austin, Maria Christakis MPI-SWS, Valentin Wüstholz ConsenSys Diligence
Pre-print
11:22
22m
Talk
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs
Technical Papers
Michael Reif TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Michael Eichberg TU Darmstadt, Germany, Dominik Helm TU Darmstadt, Germany, Mira Mezini TU Darmstadt, Germany
Pre-print File Attached
11:45
22m
Talk
Adlib: Analyzer for Mobile Ad Platform LibrariesArtifacts ReusableArtifacts Functional
Technical Papers
Sungho Lee KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
DOI Pre-print
12:07
22m
Talk
Interactive Metamorphic Testing of Debuggers
Technical Papers
Sandro Tolksdorf TU Darmstadt, Daniel Lehmann TU Darmstadt, Michael Pradel TU Darmstadt and Facebook
Link to publication DOI Pre-print
14:00 - 15:30
Testing GUIs and CarsTechnical Papers at Grand Ballroom
Chair(s): Lingming Zhang
14:00
22m
Talk
TestMig: Migrating GUI Test Cases from iOS to Android
Technical Papers
Xue Qin , Hao Zhong Shanghai Jiao Tong University, Xiaoyin Wang University of Texas at San Antonio, USA
14:22
22m
Talk
Learning User Interface Element Interactions
Technical Papers
Christian Degott CISPA Helmholtz Center for Information Security, Nataniel Borges Jr. CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print Media Attached
14:45
22m
Talk
Improving Random GUI Testing with Image-based Widget Detection
Technical Papers
Thomas D. White The University of Sheffield, Gordon Fraser University of Passau, Guy J. Brown The University of Sheffield
15:07
22m
Talk
Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation
Technical Papers
Alessio Gambi University of Passau, Marc Mueller BeamNG GmbH, Gordon Fraser University of Passau
15:30 - 16:00
Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Grand Ballroom
15:30
30m
Break
Mini Break
Catering

16:00 - 17:30
PotpourriTechnical Papers at Grand Ballroom
Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security
16:00
22m
Talk
Semantic Fuzzing with ZestArtifacts ReusableArtifacts Functional
Technical Papers
Rohan Padhye University of California, Berkeley, Caroline Lemieux University of California, Berkeley, Koushik Sen University of California, Berkeley, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg
Link to publication DOI Pre-print
16:22
22m
Talk
Detecting Memory Errors at Runtime with Source-Level InstrumentationDistinguished Paper Awards
Technical Papers
Zhe Chen Nanjing University of Aeronautics and Astronautics, Junqi Yan Nanjing University of Aeronautics and Astronautics, Shuanglong Kan Nanjing University of Aeronautics and Astronautics, Ju Qian Nanjing University of Aeronautics and Astronautics, Jingling Xue UNSW Sydney
16:45
22m
Talk
Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers
Technical Papers
Elvira Albert , Maria Garcia de la Banda Monash University, Miguel Gómez-Zamalloa Complutense University of Madrid, Miguel Isabel Complutense University of Madrid, Peter J. Stuckey Monash University
17:07
22m
Talk
Exploiting The Laws of Order in Smart Contracts
Technical Papers
Aashish Kolluri , Ivica Nikolić National University Of Singapore, Ilya Sergey Yale-NUS College and National University of Singapore, Aquinas Hobor , Prateek Saxena National University Of Singapore

Wed 17 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:0030
Grand Ballroom

Keynote

Welcome & Keynote

Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium

Mini Break

Technical Papers

Program Repair

Technical Papers

Mobile App Testing

Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium

Mini Break

Tool Demonstration

ISSTA Tool Demonstrations

Catering

Reception with posters

Thu 18 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom

Keynote

Keynote & Award Presentation

Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium

Mini Break

Technical Papers

Regression Testing

Technical Papers

Testing and Machine Learning

Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium

Mini Break

Technical Papers

APIs and Symbolic Execution

Fri 19 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom

Keynote

Keynote & ISSTA 2020 Preview

Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium

Mini Break

Technical Papers

Static Analysis and Debugging

Technical Papers

Testing GUIs and Cars

Catering + Keynote + Workshops + Tool Demonstration + Student Volunteers + Workshop – TAV-CPS/IoT + Summer School + Doctoral Symposium

Mini Break

Technical Papers

Potpourri

Wed 17 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
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 PapersArtifacts Functional
Practical Program Repair via Bytecode Mutation
11:22 - 11:45
ISSTA Technical PapersArtifacts Functional
TBar: Revisiting Template-based Automated Program Repair
11:45 - 12:07
ISSTA Technical PapersDistinguished Paper Awards
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 PapersArtifacts ReusableArtifacts Functional
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

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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 PapersArtifacts ReusableArtifacts Functional
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 PapersArtifacts ReusableArtifacts Functional
Search-based Test and Improvement of Machine-Learning-Based Anomaly Det ...
14:22 - 14:45
ISSTA Technical PapersArtifacts ReusableDistinguished Paper AwardsArtifacts Functional
DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault ...
14:45 - 15:07
ISSTA Technical PapersArtifacts Functional
Codebase-Adaptive Detection of Security-Relevant Methods
15:07 - 15:30
ISSTA Catering
Mini Break
15:30 - 16:00
ISSTA Technical PapersArtifacts ReusableArtifacts Functional
Effective and Efficient API Misuse Detection via Exception Propagation ...
16:00 - 16:22
ISSTA Technical PapersArtifacts Functional
Automated API-Usage Update for Android Apps
16:22 - 16:45
ISSTA Technical PapersArtifacts Functional
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

Fri 19 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
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 PapersArtifacts ReusableArtifacts Functional
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 PapersArtifacts ReusableArtifacts Functional
Semantic Fuzzing with Zest
16:00 - 16:22
ISSTA Technical PapersDistinguished Paper Awards
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