ISSTA 2019 (series) /
ISSTA 2019 Program
Filter Program
Dates
Mon 15 Jul 2019
Tue 16 Jul 2019
Wed 17 Jul 2019
Thu 18 Jul 2019
Fri 19 Jul 2019
Rooms
Function Room A
Function Room B
Grand Ballroom
Meeting Room 1
Meeting Room 2
Meeting Room 4
Meeting Room 8
Valley Cafe
Yuxiandu Chinese Royal Gastronomy Museum
the lobby of the conference venue
Tracks
Diversity @ ISSTA - The Ada Workshop
ISSTA Steering Committee Meeting
ISSTA Catering
ISSTA Doctoral Symposium
ISSTA Keynote
ISSTA Student Volunteers
ISSTA Summer School
ISSTA Technical Papers
ISSTA Tool Demonstration
ISSTA Workshop – TAV-CPS/IoT
ISSTA Workshops
SPIN
Testing Competition
Badges
Artifacts Functional
Artifacts Reusable
Distinguished Paper Awards
Your Program
Nothing to filter
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 90mDay opening | Constrained Counting and Sampling: From Theory to Practice and Back SPIN Kuldeep S. Meel National University of Singapore | ||
09:00 - 10:30 | |||
09:00 90mTalk | SPIN Keynote Workshop – TAV-CPS/IoT | ||
10:00 - 12:00 | |||
10:00 2hTalk | Tutorial of Testing Competition Testing Competition | ||
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 30mTalk | Statistical Model Checking of Complex Robotic Systems SPIN | ||
11:30 30mTalk | Model Checking Branching Time Properties of Incomplete Markov Chains SPIN | ||
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 - 17:00 | |||
14:00 3hTalk | Final of Testing Competition Testing Competition | ||
14:00 - 15:30 | |||
14:00 30mTalk | Extracting Safe Thread Schedules from Incomplete Model Checking Results SPIN | ||
14:30 30mTalk | From Dynamic State Machines to Promela SPIN | ||
15:00 30mTalk | A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table SPIN Omar Bataineh NTU, David Rosenblum National University of Singapore, Mark Reynolds The Univeristy of Western Australia | ||
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 30mTalk | String abstraction for model checking of C programs SPIN | ||
16:30 30mTalk | Applying Model Checking Approach with Floating Point Arithmetic SPIN | ||
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 10mTalk | Welcome Diversity @ ISSTA - The Ada Workshop Dongmei Zhang Microsoft Research, China | ||
09:10 20mTalk | An Introduction to Ada workshops Diversity @ ISSTA - The Ada Workshop | ||
09:30 60mTalk | Keynote Speech Diversity @ ISSTA - The Ada Workshop Zhi Jin Peking University | ||
09:00 - 10:00 | |||
09:00 60mTalk | Model Verification Through Dependency Graphs SPIN | ||
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:00 - 10:30 | |||
10:00 30mTalk | Conformance Testing of Schedulers for DSL-based Model Checking SPIN | ||
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 30mTalk | Building an impactful research program Diversity @ ISSTA - The Ada Workshop Andreas Zeller CISPA Helmholtz Center for Information Security | ||
11:30 30mTalk | New Research Directions for Practical Automated Program Repair Diversity @ ISSTA - The Ada Workshop Tegawendé F. Bissyandé SnT, University of Luxembourg | ||
12:00 30mTalk | Panel: Regarding Research Diversity @ ISSTA - The Ada Workshop Zhi Jin Peking University, Andreas Zeller CISPA Helmholtz Center for Information Security, Tegawendé F. Bissyandé SnT, University of Luxembourg, Yong Xu Microsoft, China | ||
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 30mTalk | STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph SPIN | ||
11:30 30mTalk | Learning Guided Enumerative Synthesis for Superoptimization SPIN Shikhar Singh , Mengshi Zhang University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin | ||
12:00 30mTalk | A Study of Learning Data Structure Invariants Using Off-the-shelf Tools SPIN Muhammad Usman , Wenxi Wang The University of Texas at Austin, Texas, USA, Kaiyuan Wang Google Inc., Cagdas Yelen , Nima Dini University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin | ||
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:30 30mTalk | Doing Research in Industry Diversity @ ISSTA - The Ada Workshop Justin Ding Microsoft Research Asia | ||
15:00 30mTalk | Panel: Regarding Career & Life in Industry and Academia Diversity @ ISSTA - The Ada Workshop Shin Hwei Tan Southern University of Science and Technology, Justin Ding Microsoft Research Asia, Bei Chen , Yun Zou | ||
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 60mTalk | Efficient Evaluation of Embedded-System Design Alternatives SPIN Maxime Cordy SnT, University of Luxembourg | ||
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 30mTalk | Networks and Job Search Diversity @ ISSTA - The Ada Workshop | ||
16:30 30mTalk | Panel: Regarding Communication Diversity @ ISSTA - The Ada Workshop Jie M. Zhang University College London, UK, Alessandra Gorla IMDEA Software Institute, Qi Chen , Shizhao Sun | ||
17:00 30mTalk | Pros and cons of being a woman in the software engineering research community Diversity @ ISSTA - The Ada Workshop Alessandra Gorla IMDEA Software Institute | ||
16:00 - 17:30 | |||
16:00 90mTalk | Panel Disscussion Doctoral Symposium | ||
16:00 - 17:30 | |||
16:00 30mTalk | Swarm Model Checking on the GPU SPIN | ||
16:30 30mTalk | VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs SPIN | ||
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 | ||
11:00 - 12:30 | |||
11:00 22mTalk | 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 22mTalk | Practical Program Repair via Bytecode Mutation Technical Papers Pre-print | ||
11:45 22mTalk | TBar: Revisiting Template-based Automated Program Repair 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 22mTalk | History-driven Build Failure Fixing: How Far Are We? Technical Papers Yiling Lou Peking University, China, Junjie Chen Peking University, Lingming Zhang , Dan Hao Peking University, Lu Zhang Peking University | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Mobile App TestingTechnical Papers at Grand Ballroom Chair(s): Xiaoyin Wang University of Texas at San Antonio, USA | ||
14:00 22mTalk | 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 22mTalk | QADroid: Regression Event Selection for Android Applications Technical Papers | ||
14:45 22mTalk | 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 22mTalk | 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 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 | ||
11:00 - 12:30 | |||
11:00 22mTalk | 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 22mTalk | 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 22mTalk | Assessing the State and Improving the Art of Parallel Testing for C Technical Papers | ||
12:07 22mTalk | Failure Clustering Without Coverage Technical Papers Mojdeh Golagha , Constantin Lehnhoff Technical University of Munich, Alexander Pretschner , Hermann Ilmberger BMW | ||
12:30 - 14:00 | |||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Testing and Machine LearningTechnical Papers at Grand Ballroom Chair(s): Hongyu Zhang The University of Newcastle | ||
14:00 22mTalk | 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 22mTalk | Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems Technical Papers Maxime Cordy SnT, University of Luxembourg, Steve Muller unaffiliated, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg | ||
14:45 22mTalk | DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization 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 22mTalk | Codebase-Adaptive Detection of Security-Relevant Methods 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 30mBreak | Mini Break Catering | ||
16:00 - 17:30 | |||
16:00 22mTalk | Effective and Efficient API Misuse Detection via Exception Propagation and Search-based Testing 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 22mTalk | Automated API-Usage Update for Android Apps Technical Papers Mattia Fazzini Georgia Institute of Technology, Qi Xin Georgia Institute of Technology, Alessandro Orso Georgia Tech | ||
16:45 22mTalk | A Large-Scale Study of Application Incompatibilities in Android Technical Papers Haipeng Cai Washington State University, USA, Ziyi Zhang , Li Li Monash University, Australia, Xiaoqin Fu Washington State University Pre-print | ||
17:07 22mTalk | Deferred Concretization in Symbolic Execution via Fuzzing Technical Papers | ||
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 | ||
11:00 - 12:30 | Static Analysis and DebuggingTechnical Papers at Grand Ballroom Chair(s): Arie van Deursen Delft University of Technology | ||
11:00 22mTalk | 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 22mTalk | 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 22mTalk | Adlib: Analyzer for Mobile Ad Platform Libraries Technical Papers DOI Pre-print | ||
12:07 22mTalk | 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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 22mTalk | 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 22mTalk | 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 22mTalk | 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 22mTalk | Automatically Testing Self-Driving Cars with Search-based Procedural Content Generation Technical Papers | ||
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 | PotpourriTechnical Papers at Grand Ballroom Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security | ||
16:00 22mTalk | Semantic Fuzzing with Zest 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 22mTalk | Detecting Memory Errors at Runtime with Source-Level Instrumentation 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 22mTalk | 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 22mTalk | 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 | ||
18:00 - 21:30 | |||