Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019
Beijing, China
co-located with
ISSTA 2019
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
ISSTA 2019
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
SPIN Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Track/Call
Organization
SPIN 2019 Committees
Organizing Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
SPIN 2019 (
series
) /
Crowne Plaza Beijing Zhongguancun
/
Room information: Grand Ballroom
Venue
Crowne Plaza Beijing Zhongguancun
Room name
Grand Ballroom
Floor
3
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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, Urumqi
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify 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
Wed 17 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:30
Welcome & Keynote
ISSTA Keynote
at
Grand Ballroom
09:00
15m
Talk
Welcome
ISSTA 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"
ISSTA 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 Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Grand Ballroom
10:30
30m
Break
Mini Break
ISSTA Catering
11:00 - 12:30
Program Repair
ISSTA Technical Papers
at
Grand Ballroom
Chair(s):
Yingfei Xiong
Peking University
11:00
22m
Talk
Crash-avoiding Program Repair
ISSTA 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 Mutation
ISSTA 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 Repair
ISSTA 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?
ISSTA 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 Testing
ISSTA Technical 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
ISSTA 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 Applications
ISSTA 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
ISSTA 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
ISSTA 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 Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Grand Ballroom
15:30
30m
Break
Mini Break
ISSTA Catering
16:00 - 17:30
ISSTA Tool Demonstrations
ISSTA Tool Demonstration
at
Grand Ballroom
16:00
10m
Talk
Go-Clone: Graph-Embedding Based Clone Detector for Golang
ISSTA 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
ISSTA Tool Demonstration
Guang Chen
,
Yuexing Wang
,
Min Zhou
Tsinghua University
,
Jiaguang Sun
16:20
10m
Talk
VBSAC: A Value-Based Static Analyzer for C
ISSTA 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
ISSTA 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
ISSTA 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
ISSTA 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
ISSTA 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
ISSTA 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
ISSTA 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 posters
ISSTA Catering
at
Grand Ballroom
17:30
2h30m
Dinner
Reception with posters
ISSTA Catering
Thu 18 Jul
Displayed time zone:
Beijing, Chongqing, Hong Kong, Urumqi
change
09:00 - 10:30
Keynote & Award Presentation
ISSTA Keynote
at
Grand Ballroom
09:00
60m
Talk
Keynote - From Typestate Verification to Interpretable Deep Models
ISSTA Keynote
Eran Yahav
Technion
,
Stephen J Fink
IBM
,
Nurit Dor
,
G. Ramalingam
Microsoft Research
,
Emmanuel Geay
Wayfair
10:00
7m
Awards
Impact Paper Awards
ISSTA Keynote
Dongmei Zhang
Microsoft Research, China
10:07
7m
Awards
Distinguished Paper Awards
ISSTA Keynote
Anders Møller
Aarhus University
10:14
7m
Awards
Distinguished Artifact Awards
ISSTA Keynote
Dan Hao
Peking University
,
Michael Pradel
TU Darmstadt and Facebook
10:21
7m
Awards
Best Tool Demonstration Award
ISSTA Keynote
Alessandra Gorla
IMDEA Software Institute
,
Hongyu Zhang
The University of Newcastle
10:30 - 11:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Grand Ballroom
10:30
30m
Break
Mini Break
ISSTA Catering
11:00 - 12:30
Regression Testing
ISSTA Technical Papers
at
Grand Ballroom
Chair(s):
Dan Hao
Peking University
11:00
22m
Talk
Root Causing Flaky Tests in a Large-scale Industrial Setting
ISSTA 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
ISSTA 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 C
ISSTA Technical Papers
Oliver Schwahn
TU Darmstadt
,
Nicolas Coppik
TU Darmstadt
,
Stefan Winter
TU Darmstadt
,
Neeraj Suri
12:07
22m
Talk
Failure Clustering Without Coverage
ISSTA Technical Papers
Mojdeh Golagha
,
Constantin Lehnhoff
Technical University of Munich
,
Alexander Pretschner
,
Hermann Ilmberger
BMW
14:00 - 15:30
Testing and Machine Learning
ISSTA Technical 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
ISSTA 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 Systems
ISSTA 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 Localization
ISSTA 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 Methods
ISSTA 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 Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Grand Ballroom
15:30
30m
Break
Mini Break
ISSTA Catering
16:00 - 17:30
APIs and Symbolic Execution
ISSTA Technical 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 Testing
ISSTA 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 Apps
ISSTA 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 Android
ISSTA 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
ISSTA 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 Preview
ISSTA Keynote
at
Grand Ballroom
09:00
60m
Talk
Keynote - The Theory and Practice of String Solvers
ISSTA 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
ISSTA 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 Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Grand Ballroom
10:30
30m
Break
Mini Break
ISSTA Catering
11:00 - 12:30
Static Analysis and Debugging
ISSTA Technical 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
ISSTA 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
ISSTA 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 Libraries
ISSTA Technical Papers
Sungho Lee
KAIST, South Korea
,
Sukyoung Ryu
KAIST, South Korea
DOI
Pre-print
12:07
22m
Talk
Interactive Metamorphic Testing of Debuggers
ISSTA 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 Cars
ISSTA Technical Papers
at
Grand Ballroom
Chair(s):
Lingming Zhang
14:00
22m
Talk
TestMig: Migrating GUI Test Cases from iOS to Android
ISSTA 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
ISSTA 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
ISSTA 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
ISSTA Technical Papers
Alessio Gambi
University of Passau
,
Marc Mueller
BeamNG GmbH
,
Gordon Fraser
University of Passau
15:30 - 16:00
Mini Break
ISSTA Catering
/
ISSTA Keynote
/
ISSTA Workshops
/
ISSTA Tool Demonstration
/
ISSTA Student Volunteers
/
ISSTA Workshop – TAV-CPS/IoT
/
ISSTA Summer School
/
ISSTA Doctoral Symposium
at
Grand Ballroom
15:30
30m
Break
Mini Break
ISSTA Catering
16:00 - 17:30
Potpourri
ISSTA Technical Papers
at
Grand Ballroom
Chair(s):
Andreas Zeller
CISPA Helmholtz Center for Information Security
16:00
22m
Talk
Semantic Fuzzing with Zest
ISSTA 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 Instrumentation
ISSTA 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
ISSTA 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
ISSTA 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
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
Grand Ballroom
ISSTA Keynote
Welcome & Keynote
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA Technical Papers
Program Repair
ISSTA Technical Papers
Mobile App Testing
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA Tool Demonstration
ISSTA Tool Demonstrations
ISSTA Catering
Reception with posters
Thu 18 Jul
Displayed 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
Grand Ballroom
ISSTA Keynote
Keynote & Award Presentation
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA Technical Papers
Regression Testing
ISSTA Technical Papers
Testing and Machine Learning
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA Technical Papers
APIs and Symbolic Execution
Fri 19 Jul
Displayed 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
Grand Ballroom
ISSTA Keynote
Keynote & ISSTA 2020 Preview
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA Technical Papers
Static Analysis and Debugging
ISSTA Technical Papers
Testing GUIs and Cars
ISSTA Catering + ISSTA Keynote + ISSTA Workshops + ISSTA Tool Demonstration + ISSTA Student Volunteers + ISSTA Workshop – TAV-CPS/IoT + ISSTA Summer School + ISSTA Doctoral Symposium
Mini Break
ISSTA Technical Papers
Potpourri
Wed 17 Jul
Displayed 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
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
Thu 18 Jul
Displayed 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 - 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
Fri 19 Jul
Displayed 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
x
Sun 22 Dec 02:51