ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China

Lunch, Diner, Coffee-breaks

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

Mon 15 Jul

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

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

11:00 - 12:30
Session 1 -Automated Software Testing of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
11:00
20m
Talk
Target-driven Compositional Concolic Testing
Workshop – TAV-CPS/IoT
Yunho Kim KAIST
11:20
20m
Talk
Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking
Workshop – TAV-CPS/IoT
11:40
20m
Talk
The Mobile Test Automation Pyramid
Workshop – TAV-CPS/IoT
12:00
30m
Talk
Panel
Workshop – TAV-CPS/IoT

14:00 - 15:30
Session 2 - Analysis of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
14:00
20m
Talk
Model Checking of Automotive
Workshop – TAV-CPS/IoT
14:20
20m
Talk
Symbolic Execution-based Approach to Extracting a Micro State Transition Table
Workshop – TAV-CPS/IoT
Takahiro Shimizu , Norihiro Yoshida Nagoya University, Ryota Yamamoto Nagoya University, Hiroaki Takada Nagoya University
14:40
15m
Talk
How to Mock and Verify the Billing in Mobile Carrier Payment world
Workshop – TAV-CPS/IoT
14:55
15m
Talk
How to Test Lead a Project and Get the Best out of your Testers
Workshop – TAV-CPS/IoT
15:10
20m
Talk
Panel
Workshop – TAV-CPS/IoT

16:00 - 17:30
Session 3 - Concurrency and Security of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8
16:00
20m
Talk
Automated Software Testing
Workshop – TAV-CPS/IoT
Valerio Terragni Università della Svizzera Italiana
16:20
20m
Talk
Scalable Detection of Concurrency Vulnerabilities
Workshop – TAV-CPS/IoT
Yan Cai Institute of Software, Chinese Academy of Sciences
16:40
20m
Talk
Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices
Workshop – TAV-CPS/IoT
17:00
20m
Talk
Panel
Workshop – TAV-CPS/IoT

17:20
10m
Talk
Wrap up
Workshop – TAV-CPS/IoT

17:30 - 20:00
Reception for SPIN and Workshop attendeesCatering at Function Room A
17:30
2h30m
Dinner
Reception for SPIN and Workshop attendees
Catering

Tue 16 Jul

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

09:00 - 10:30
09:00
90m
Talk
Automated Program Repair
Summer School
Abhik Roychoudhury National University of Singapore
09:30 - 10:35
09:30
16m
Day opening
Openning
Doctoral Symposium

09:46
16m
Doctoral symposium paper
On the Correctness of GPU Programs
Doctoral Symposium
Chao Peng University of Edinburgh, UK
10:02
16m
Doctoral symposium paper
JNI Program Analysis with Automatically Extracted C Semantic Summary
Doctoral Symposium
Sungho Lee KAIST, South Korea
10:18
16m
Doctoral symposium paper
Identifying Error Code Misuses in Complex System
Doctoral Symposium
Wensheng Tang The Hong Kong University of Science and Technology
11:00 - 12:30
11:00
20m
Doctoral symposium paper
Continuous Software Performance Assessment
Doctoral Symposium
Christoph Laaber University of Zurich
DOI Pre-print
11:20
20m
Doctoral symposium paper
Conditional Dynamic Partial Order Reduction and Optimality Results
Doctoral Symposium
Miguel Isabel Complutense University of Madrid
11:40
20m
Doctoral symposium paper
A New Dimension of Test Quality: Assessing and Generating Higher Quality Unit Test Cases
Doctoral Symposium
Giovanni Grano University of Zurich
DOI Pre-print
12:00
30m
Talk
Planning and choosing research projects during PhD studies
Doctoral Symposium
Abhik Roychoudhury National University of Singapore
11:00 - 12:30
11:00
90m
Talk
Program Synthesis
Summer School
Yingfei Xiong Peking University
14:00 - 15:30
14:00
20m
Doctoral symposium paper
A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis
Doctoral Symposium
Patrick Kwaku Kudjo Jiangsu University
14:20
20m
Doctoral symposium paper
Towards Scalable Defense of Information Flow Security for Distributed Systems
Doctoral Symposium
Xiaoqin Fu Washington State University
14:40
20m
Doctoral symposium paper
Mining Constraints for Grammar Fuzzing
Doctoral Symposium
Michaël Mera CISPA, Germany
15:00
30m
Talk
Panel Disscussion
Doctoral Symposium

14:00 - 15:30
14:00
90m
Talk
Towards Data-driven Cloud Service Intelligence
Summer School
Qingwei Lin Microsoft Research, China
16:00 - 17:30
16:00
90m
Talk
Panel Disscussion
Doctoral Symposium

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

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 Facebook, Alexandru Marginean University College London, UK, Alexander Mols Facebook, Hila Peleg Technion, Israel, Federica Sarro University College London, UK, Ilya Zorin Facebook
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
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
17:45 - 21:00
17:45
3h15m
Dinner
Banquet
Catering

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

Not scheduled yet

Not scheduled yet
Dinner
PC Dinner
Catering