ISSTA 2019 (series) /
CateringISSTA 2019
Lunch, Diner, Coffee-breaks
Dates
Tracks
Mon 15 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | |||
09:00 90mTalk | SPIN Keynote Workshop – TAV-CPS/IoT | ||
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
10:30 30mBreak | Mini Break Catering | ||
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
11:00 - 12:30 | |||
11:00 20mTalk | Target-driven Compositional Concolic Testing Workshop – TAV-CPS/IoT Yunho Kim KAIST | ||
11:20 20mTalk | Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking Workshop – TAV-CPS/IoT | ||
11:40 20mTalk | The Mobile Test Automation Pyramid Workshop – TAV-CPS/IoT | ||
12:00 30mTalk | Panel Workshop – TAV-CPS/IoT | ||
12:30 - 14:00 | |||
14:00 - 15:30 | |||
14:00 20mTalk | Model Checking of Automotive Workshop – TAV-CPS/IoT Toshiaki Aoki JAIST | ||
14:20 20mTalk | 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 15mTalk | How to Mock and Verify the Billing in Mobile Carrier Payment world Workshop – TAV-CPS/IoT | ||
14:55 15mTalk | How to Test Lead a Project and Get the Best out of your Testers Workshop – TAV-CPS/IoT | ||
15:10 20mTalk | Panel Workshop – TAV-CPS/IoT | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
15:30 30mBreak | Mini Break Catering | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
16:00 - 17:30 | |||
16:00 20mTalk | Automated Software Testing Workshop – TAV-CPS/IoT Valerio Terragni Università della Svizzera Italiana | ||
16:20 20mTalk | Scalable Detection of Concurrency Vulnerabilities Workshop – TAV-CPS/IoT Yan Cai Institute of Software, Chinese Academy of Sciences | ||
16:40 20mTalk | Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices Workshop – TAV-CPS/IoT | ||
17:00 20mTalk | Panel Workshop – TAV-CPS/IoT | ||
17:20 10mTalk | Wrap up Workshop – TAV-CPS/IoT | ||
17:30 - 20:00 | |||
17:30 2h30mDinner | Reception for SPIN and Workshop attendees Catering | ||
Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | |||
09:00 90mTalk | Automated Program Repair Summer School Abhik Roychoudhury National University of Singapore | ||
09:30 - 10:35 | |||
09:30 16mDay opening | Openning Doctoral Symposium | ||
09:46 16mDoctoral symposium paper | On the Correctness of GPU Programs Doctoral Symposium Chao Peng University of Edinburgh, UK | ||
10:02 16mDoctoral symposium paper | JNI Program Analysis with Automatically Extracted C Semantic Summary Doctoral Symposium Sungho Lee KAIST, South Korea | ||
10:18 16mDoctoral symposium paper | Identifying Error Code Misuses in Complex System Doctoral Symposium Wensheng Tang The Hong Kong University of Science and Technology | ||
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B | ||
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
10:30 30mBreak | Mini Break Catering | ||
10:30 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
10:35 - 11:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2 | ||
11:00 - 12:30 | |||
11:00 20mDoctoral symposium paper | Continuous Software Performance Assessment Doctoral Symposium Christoph Laaber University of Zurich DOI Pre-print | ||
11:20 20mDoctoral symposium paper | Conditional Dynamic Partial Order Reduction and Optimality Results Doctoral Symposium Miguel Isabel Complutense University of Madrid | ||
11:40 20mDoctoral 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 30mTalk | Planning and choosing research projects during PhD studies Doctoral Symposium Abhik Roychoudhury National University of Singapore | ||
11:00 - 12:30 | |||
11:00 90mTalk | Program Synthesis Summer School Yingfei Xiong Peking University | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 20mDoctoral symposium paper | A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis Doctoral Symposium Patrick Kwaku Kudjo Jiangsu University | ||
14:20 20mDoctoral symposium paper | Towards Scalable Defense of Information Flow Security for Distributed Systems Doctoral Symposium Xiaoqin Fu Washington State University | ||
14:40 20mDoctoral symposium paper | Mining Constraints for Grammar Fuzzing Doctoral Symposium Michaël Mera CISPA, Germany | ||
15:00 30mTalk | Panel Disscussion Doctoral Symposium | ||
14:00 - 15:30 | |||
14:00 90mTalk | Towards Data-driven Cloud Service Intelligence Summer School Qingwei Lin Microsoft Research, China | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Function Room B | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 2 | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 4 | ||
15:30 30mBreak | Mini Break Catering | ||
15:30 - 16:00 | Mini BreakCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Meeting Room 8 | ||
16:00 - 17:30 | |||
16:00 90mTalk | Panel Disscussion Doctoral Symposium | ||
16:00 - 17:30 | |||
16:00 90mTalk | Building Great Fuzzers Within Minutes Summer School Andreas Zeller CISPA Helmholtz Center for Information Security | ||
18:00 - 21:30 | |||
18:00 3h30mDinner | OC Dinner Catering | ||
Wed 17 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | |||
09:00 15mTalk | Welcome Keynote | ||
09:15 75mTalk | 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 30mBreak | Mini Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
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 30mBreak | Mini Break Catering | ||
16:00 - 17:30 | |||
16:00 10mTalk | 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 10mTalk | VFQL: Combinational Static Analysis as Query Language Tool Demonstration | ||
16:20 10mTalk | 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 10mTalk | SAFEVM: A Safety Verifier for Ethereum Smart Contracts Tool Demonstration | ||
16:40 10mTalk | CoCoTest: Collaborative Crowdsourced Testing for Android Applications Tool Demonstration | ||
16:50 10mTalk | 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 10mTalk | 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 10mTalk | 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 10mTalk | 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 | |||
17:30 2h30mDinner | Reception with posters Catering | ||
Thu 18 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | |||
09:00 60mTalk | 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 7mAwards | Impact Paper Awards Keynote Dongmei Zhang Microsoft Research, China | ||
10:07 7mAwards | Distinguished Paper Awards Keynote Anders Møller Aarhus University | ||
10:14 7mAwards | Distinguished Artifact Awards Keynote | ||
10:21 7mAwards | Best Tool Demonstration Award Keynote | ||
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 30mBreak | Mini Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
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 30mBreak | Mini Break Catering | ||
17:45 - 21:00 | |||
17:45 3h15mDinner | Banquet Catering | ||
Fri 19 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | |||
09:00 60mTalk | 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 15mTalk | 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 30mBreak | Mini Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
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 30mBreak | Mini Break Catering | ||
18:00 - 21:30 | |||
Unscheduled Events
| Not scheduled Dinner | PC Dinner Catering |