ISSTA 2019 (series) /
ISSTA 2019 Program
Conference Dates
Conference Dates are in time zone (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | |||
09:00 90mTalk | SPIN Keynote Workshop – TAV-CPS/IoT |
09:00 - 10:30 | |||
09:00 90mDay opening | Constrained Counting and Sampling: From Theory to Practice and Back SPIN Kuldeep S. MeelNational University of Singapore |
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 KimKAIST | ||
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 BatainehNTU, David RosenblumNational University of Singapore, Mark ReynoldsThe Univeristy of Western Australia |
14:00 - 15:30 | |||
14:00 20mTalk | Model Checking of Automotive Workshop – TAV-CPS/IoT Toshiaki AokiJAIST | ||
14:20 20mTalk | Symbolic Execution-based Approach to Extracting a Micro State Transition Table Workshop – TAV-CPS/IoT Takahiro Shimizu, Norihiro YoshidaNagoya University, Ryota YamamotoNagoya University, Hiroaki TakadaNagoya 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 TerragniUniversità della Svizzera Italiana | ||
16:20 20mTalk | Scalable Detection of Concurrency Vulnerabilities Workshop – TAV-CPS/IoT Yan CaiInstitute 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 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:30 | |||
09:00 10mTalk | Welcome Diversity @ ISSTA - The Ada Workshop Dongmei ZhangMicrosoft 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 JinPeking 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 RoychoudhuryNational 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 PengUniversity of Edinburgh, UK | ||
10:02 16mDoctoral symposium paper | JNI Program Analysis with Automatically Extracted C Semantic Summary Doctoral Symposium Sungho LeeKAIST, South Korea | ||
10:18 16mDoctoral symposium paper | Identifying Error Code Misuses in Complex System Doctoral Symposium Tang WenshengThe 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 ZellerCISPA 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 JinPeking University, Andreas ZellerCISPA Helmholtz Center for Information Security, Tegawendé F. BissyandéSnT, University of Luxembourg, Yong XuMicrosoft, China |
11:00 - 12:30 | |||
11:00 20mDoctoral symposium paper | Continuous Software Performance Assessment Doctoral Symposium Christoph LaaberUniversity of Zurich DOI Pre-print | ||
11:20 20mDoctoral symposium paper | Conditional Dynamic Partial Order Reduction and Optimality Results Doctoral Symposium Miguel IsabelComplutense 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 GranoUniversity of Zurich DOI Pre-print | ||
12:00 30mTalk | Planning and choosing research projects during PhD studies Doctoral Symposium Abhik RoychoudhuryNational 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 ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin | ||
12:00 30mTalk | A Study of Learning Data Structure Invariants Using Off-the-shelf Tools SPIN Muhammad Usman, Wenxi WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle Inc., Cagdas Yelen, Nima DiniUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin |
11:00 - 12:30 | |||
11:00 90mTalk | Program Synthesis Summer School Yingfei XiongPeking 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 DingMicrosoft Research Asia | ||
15:00 30mTalk | Panel: Regarding Career & Life in Industry and Academia Diversity @ ISSTA - The Ada Workshop Shin Hwei TanSouthern University of Science and Technology, Justin DingMicrosoft 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 KudjoJiangsu University | ||
14:20 20mDoctoral symposium paper | Towards Scalable Defense of Information Flow Security for Distributed Systems Doctoral Symposium Xiaoqin FuWashington State University | ||
14:40 20mDoctoral symposium paper | Mining Constraints for Grammar Fuzzing Doctoral Symposium Michaël MeraCISPA, Germany | ||
15:00 30mTalk | Panel Disscussion Doctoral Symposium |
14:00 - 15:30 | |||
14:00 60mTalk | Efficient Evaluation of Embedded-System Design Alternatives SPIN Maxime CordySnT, University of Luxembourg |
14:00 - 15:30 | |||
14:00 90mTalk | Towards Data-driven Cloud Service Intelligence Summer School Qingwei LinMicrosoft 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. ZhangUniversity College London, UK, Alessandra GorlaIMDEA 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 GorlaIMDEA 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 ZellerCISPA Helmholtz Center for Information Security |
18:00 - 21:30 | |||
18:00 3h30mDinner | OC Dinner Catering |
Wed 17 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Times are displayed in 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 AlshahwanFacebook, Andrea CianconeFacebook, Mark HarmanFacebook and University College London, Yue JiaUniversity College London, Ke MaoFacebook, Alexandru MargineanUniversity College London, UK, Alexander MolsFacebook, Hila PelegTechnion, Israel, Federica SarroUniversity College London, UK, Ilya ZorinFacebook |
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 GaoNational University of Singapore, Sergey MechtaevUniversity College London, Abhik RoychoudhuryNational University of Singapore | ||
11:22 22mTalk | Practical Program Repair via Bytecode Mutation Technical Papers Ali GhanbariThe University of Texas at Dallas, Samuel BentonThe University of Texas at Dallas, Lingming Zhang Pre-print | ||
11:45 22mTalk | TBar: Revisiting Template-based Automated Program Repair Technical Papers Kui Liu, Anil KoyuncuUniversity of Luxembourg, Luxembourg, Dongsun KimFuriosa.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 LouPeking University, China, Junjie ChenPeking University, Lingming Zhang, Dan HaoPeking University, Lu ZhangPeking University |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | Mobile App TestingTechnical Papers at Grand Ballroom Chair(s): Xiaoyin WangUniversity of Texas at San Antonio, USA | ||
14:00 22mTalk | LibID: Reliable Identification of Obfuscated Third-Party Android Libraries Technical Papers Jiexin ZhangUniversity of Cambridge, Alastair R. BeresfordUniversity of Cambridge, UK, Stephan A. KollmannUniversity 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 KongInterdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Li LiMonash University, Australia, Jun GaoUniversity of Luxembourg, SnT, Tegawendé F. BissyandéSnT, University of Luxembourg, Jacques KleinUniversity of Luxembourg, SnT | ||
15:07 22mTalk | SARA: Self-replay Augmented Record and Replay for Android in Industrial Cases Technical Papers Jiaqi GuoXi'an Jiaotong University, Shuyue LiXi'an Jiaotong University, Jian-Guang LouMicrosoft Research, Zijiang YangWestern Michigan University, Ting LiuMOEKLINNS 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 WangTsinghua University, Jian GaoSchool of Software, Tsinghua University, Yu Jiang, Zhenchang XingAustralia National University, Huafeng Zhang, Weiliang Ying , Ming GuTsinghua 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 ChiTsinghua University, Min ZhouTsinghua University, Zuxing GuSchool of Software, Tsinghua University, Guang Chen, Yuexing Wang, Jiecheng WuTsinghua University, Ming GuTsinghua 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 PanInstitute of Software, Chinese Academy of Sciences, Baoquan Cui, Jiwei YanInstitute of Software, Chinese Academy of Sciences, Xutong Ma, Jun YanInstitute of Software, Chinese Academy of Sciences, Jian ZhangBeihang University | ||
17:00 10mTalk | JQF: Coverage-guided Property-based Testing in Java Tool Demonstration Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley | ||
17:10 10mTalk | Ukwikora: Continuous inspection for Keyword-Driven Testing Tool Demonstration Renaud Rwemalika, Marinos Kintis, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg, Pierre Lorrach | ||
17:20 10mTalk | CTRAS: A Tool for Aggregating and Summarizing Crowdsourced Test Reports Tool Demonstration Yuying LiState Key Laboratory for Novel Software Technology, Nanjing University, Rui HaoNanjing University, China, Yang FengUniversity of California, Irvine, James JonesUniversity of California, Irvine, Xiaofang Zhang, Zhenyu ChenNanjing University |
17:30 - 20:00 | |||
17:30 2h30mDinner | Reception with posters Catering |
Thu 18 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Times are displayed in 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 YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair | ||
10:00 7mAwards | Impact Paper Awards Keynote Dongmei ZhangMicrosoft Research, China | ||
10:07 7mAwards | Distinguished Paper Awards Keynote Anders MøllerAarhus 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 LamUniversity of Illinois at Urbana-Champaign, Patrice GodefroidMicrosoft Research, Suman NathMicrosoft Corporation, Anirudh SanthiarIndian Institute of Science, Suresh Thummalapenta | ||
11:22 22mTalk | Mitigating the Effects of Flaky Tests on Mutation Testing Technical Papers August ShiUniversity of Illinois at Urbana-Champaign, Jonathan BellGeorge Mason University, Darko MarinovUniversity 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 LehnhoffTechnical University of Munich, Alexander Pretschner, Hermann IlmbergerBMW |
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 ZhangThe University of Newcastle | ||
14:00 22mTalk | DeepHunter: A Coverage-Guided Fuzz Testing Framework for Deep Neural Networks Technical Papers Xiaofei XieNanyang Technological University, Lei MaKyushu University, Felix Juefei-XuCarnegie Mellon University, Minhui Xue, Hongxu ChenNanyang Technological University, Yang LiuNanyang Technological University, Singapore, Jianjun ZhaoKyushu University, Bo LiUIUC, Jianxiong YinNVIDIA AI Tech Centre, Simon SeeNVIDIA AI Tech Centre | ||
14:22 22mTalk | Search-based Test and Improvement of Machine-Learning-Based Anomaly Detection Systems Technical Papers Maxime CordySnT, University of Luxembourg, Steve Mullerunaffiliated, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg | ||
14:45 22mTalk | DeepFL: Integrating Multiple Fault Diagnosis Dimensions for Deep Fault Localization Technical Papers Xia LiUniversity of Texas at Dallas, USA, Wei LiSouthern University of Science and Technology, Yuqun ZhangSouthern University of Science and Technology, Lingming Zhang | ||
15:07 22mTalk | Codebase-Adaptive Detection of Security-Relevant Methods Technical Papers Goran PiskachevFraunhofer IEM, Lisa Nguyen Quang DoPaderborn University, Eric BoddenHeinz 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 KechagiaUniversity College London, Xavier DevroeyDelft University of Technology, Annibale PanichellaDeflt University of Technology, Georgios GousiosTU Delft, Arie van DeursenDelft University of Technology DOI Pre-print Media Attached | ||
16:22 22mTalk | Automated API-Usage Update for Android Apps Technical Papers Mattia FazziniGeorgia Institute of Technology, Qi XinGeorgia Institute of Technology, Alessandro OrsoGeorgia Tech | ||
16:45 22mTalk | A Large-Scale Study of Application Incompatibilities in Android Technical Papers Haipeng CaiWashington State University Pullman, Ziyi Zhang, Li LiMonash University, Australia, Xiaoqin FuWashington 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 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Times are displayed in 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 KiezunPrincipal Engineer, Amazon Inc., Philip GuoUCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. ErnstUniversity of Washington, USA, Vijay GaneshUniversity of Waterloo | ||
10:00 15mTalk | ISSTA 2020 Preview Keynote Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz KhurshidUniversity 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 DeursenDelft University of Technology | ||
11:00 22mTalk | Differentially Testing Soundness and Precision of Program Analyzers Technical Papers Christian KlingerUniversity of Texas, Austin, Maria ChristakisMPI-SWS, Valentin WüstholzConsenSys Diligence Pre-print | ||
11:22 22mTalk | Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs Technical Papers Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Michael EichbergTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Mira MeziniTU 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 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 ZhongShanghai Jiao Tong University, Xiaoyin WangUniversity of Texas at San Antonio, USA | ||
14:22 22mTalk | Learning User Interface Element Interactions Technical Papers Christian DegottCISPA Helmholtz Center for Information Security, Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Andreas ZellerCISPA 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. WhiteThe University of Sheffield, Gordon FraserUniversity of Passau, Guy J. BrownThe 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 ZellerCISPA Helmholtz Center for Information Security | ||
16:00 22mTalk | Semantic Fuzzing with Zest Technical Papers Rohan PadhyeUniversity of California, Berkeley, Caroline LemieuxUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley, Mike PapadakisUniversity of Luxembourg, Yves Le TraonUniversity of Luxembourg Link to publication DOI Pre-print | ||
16:22 22mTalk | Detecting Memory Errors at Runtime with Source-Level Instrumentation Technical Papers Zhe ChenNanjing University of Aeronautics and Astronautics, Junqi YanNanjing University of Aeronautics and Astronautics, Shuanglong KanNanjing University of Aeronautics and Astronautics, Ju QianNanjing University of Aeronautics and Astronautics, Jingling XueUNSW Sydney | ||
16:45 22mTalk | Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers Technical Papers Elvira Albert, Maria Garcia de la BandaMonash University, Miguel Gómez-ZamalloaComplutense University of Madrid, Miguel IsabelComplutense University of Madrid, Peter J. StuckeyMonash University | ||
17:07 22mTalk | Exploiting The Laws of Order in Smart Contracts Technical Papers Aashish Kolluri, Ivica NikolicNational University Of Singapore, Ilya SergeyYale-NUS College and National University of Singapore, Aquinas Hobor, Prateek SaxenaNational University Of Singapore |
18:00 - 21:30 | |||
Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in 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 |
---|
Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in 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 | 20:00 | 30 | 21:00 | 30 |
---|
Wed 17 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Times are displayed in 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 |
---|
Thu 18 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Times are displayed in 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 | 20:00 | 30 |
---|
Fri 19 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Times are displayed in 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 | 20:00 | 30 | 21:00 | 30 |
---|
Mon 15 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Mon 15 Jul
Times are displayed in 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Function Room B | Testing Competition Tutorial of Testing Competition 10:00 - 12:00 | Testing Competition Final of Testing Competition 14:00 - 17:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Meeting Room 4 | ISSTA Catering Mini Break 10:30 - 11:00 | SPIN From Dynamic State Machines to Promela 14:30 - 15:00 | ISSTA Catering Mini Break 15:30 - 16:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Meeting Room 8 | ISSTA Workshop – TAV-CPS/IoT Panel 12:00 - 12:30 | ISSTA Workshop – TAV-CPS/IoT Model Checking of Automotive 14:00 - 14:20 | ISSTA Workshop – TAV-CPS/IoT Panel 15:10 - 15:30 | ISSTA Workshop – TAV-CPS/IoT Panel 17:00 - 17:20 | ISSTA Workshop – TAV-CPS/IoT Wrap up 17:20 - 17:30 |
Tue 16 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Tue 16 Jul
Times are displayed in 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 | 20:00 | 15 | 30 | 45 | 21:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Function Room B | Diversity @ ISSTA - The Ada Workshop Welcome 09:00 - 09:10 | Diversity @ ISSTA - The Ada Workshop Keynote Speech 09:30 - 10:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Meeting Room 2 | ISSTA Doctoral Symposium Openning 09:30 - 09:46 | ISSTA Doctoral Symposium Panel Disscussion 15:00 - 15:30 | ISSTA Doctoral Symposium Panel Disscussion 16:00 - 17:30 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Meeting Room 4 | SPIN Model Verification Through Dependency Graphs 09:00 - 10:00 | ISSTA Catering Mini Break 10:30 - 11:00 | ISSTA Catering Mini Break 15:30 - 16:00 | SPIN Swarm Model Checking on the GPU 16:00 - 16:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Meeting Room 8 | ISSTA Summer School Automated Program Repair 09:00 - 10:30 | ISSTA Summer School Program Synthesis 11:00 - 12:30 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Valley Cafe | ISSTA Catering Lunch 12:30 - 14:00 |
Wed 17 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 17 Jul
Times are displayed in 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 Catering Mini Break 10:30 - 11:00 | ISSTA Technical Papers Crash-avoiding Program Repair 11:00 - 11:22 | ISSTA Catering Mini Break 15:30 - 16:00 | ISSTA Catering Reception with posters 17:30 - 20:00 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Valley Cafe | ISSTA Catering Lunch 12:30 - 14:00 |
Thu 18 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 18 Jul
Times are displayed in 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 | 20:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Grand Ballroom | 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 Catering Mini Break 15:30 - 16:00 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Valley Cafe | ISSTA Catering Lunch 12:30 - 14:00 |
Fri 19 Jul Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Fri 19 Jul
Times are displayed in 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 ISSTA 2020 Preview 10:00 - 10:15 | ISSTA Catering Mini Break 10:30 - 11:00 | ISSTA Catering Mini Break 15:30 - 16:00 | ISSTA Technical Papers Semantic Fuzzing with Zest 16:00 - 16:22 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Valley Cafe | ISSTA Catering Lunch 12:30 - 14:00 |
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format