ISSTA 2019 (series) /
CateringISSTA 2019
Lunch, Diner, Coffee-breaks
Dates
Tracks
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 Talk | 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 - 11:00 Break | 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: Session 1 -Automated Software Testing of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8 | |||
11:00 - 11:20 Talk | Target-driven Compositional Concolic Testing Workshop – TAV-CPS/IoT Yunho KimKAIST | ||
11:20 - 11:40 Talk | Systematically Ensuring the Confidence of Home Automation IoT Systems By Model Checking Workshop – TAV-CPS/IoT | ||
11:40 - 12:00 Talk | The Mobile Test Automation Pyramid Workshop – TAV-CPS/IoT | ||
12:00 - 12:30 Talk | Panel Workshop – TAV-CPS/IoT |
12:30 - 14:00: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
14:00 - 14:20 Talk | Model Checking of Automotive Workshop – TAV-CPS/IoT Toshiaki AokiJAIST | ||
14:20 - 14:40 Talk | 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 - 14:55 Talk | How to Mock and Verify the Billing in Mobile Carrier Payment world Workshop – TAV-CPS/IoT | ||
14:55 - 15:10 Talk | How to Test Lead a Project and Get the Best out of your Testers Workshop – TAV-CPS/IoT | ||
15:10 - 15:30 Talk | 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 - 16:00 Break | 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: Session 3 - Concurrency and Security of CPS-IoTWorkshop – TAV-CPS/IoT at Meeting Room 8 | |||
16:00 - 16:20 Talk | Automated Software Testing Workshop – TAV-CPS/IoT Valerio TerragniUniversità della Svizzera Italiana | ||
16:20 - 16:40 Talk | Scalable Detection of Concurrency Vulnerabilities Workshop – TAV-CPS/IoT Yan CaiInstitute of Software, Chinese Academy of Sciences | ||
16:40 - 17:00 Talk | Telescope in IoT: Security Situation Awareness Framework for Various IoT Devices Workshop – TAV-CPS/IoT | ||
17:00 - 17:20 Talk | Panel Workshop – TAV-CPS/IoT | ||
17:20 - 17:30 Talk | Wrap up Workshop – TAV-CPS/IoT |
17:30 - 20:00 Dinner | 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 Talk | Automated Program Repair Summer School Abhik RoychoudhuryNational University of Singapore |
09:30 - 09:46 Day opening | Openning Doctoral Symposium | ||
09:46 - 10:02 Doctoral symposium paper | On the Correctness of GPU Programs Doctoral Symposium Chao PengUniversity of Edinburgh, UK | ||
10:02 - 10:18 Doctoral symposium paper | JNI Program Analysis with Automatically Extracted C Semantic Summary Doctoral Symposium Sungho LeeKAIST, South Korea | ||
10:18 - 10:35 Doctoral symposium paper | Identifying Error Code Misuses in Complex System Doctoral Symposium Tang WenshengThe 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 - 11:00 Break | 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 - 11:20 Doctoral symposium paper | Continuous Software Performance Assessment Doctoral Symposium Christoph LaaberUniversity of Zurich DOI Pre-print | ||
11:20 - 11:40 Doctoral symposium paper | Conditional Dynamic Partial Order Reduction and Optimality Results Doctoral Symposium Miguel IsabelComplutense University of Madrid | ||
11:40 - 12:00 Doctoral 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 - 12:30 Talk | Planning and choosing research projects during PhD studies Doctoral Symposium Abhik RoychoudhuryNational University of Singapore |
11:00 - 12:30 Talk | Program Synthesis Summer School Yingfei XiongPeking University |
12:30 - 14:00: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
12:30 - 14:00 Lunch | Lunch Catering |
14:00 - 14:20 Doctoral symposium paper | A Cost-Effective Strategy for Software Vulnerability Prediction Based on Bellwether Analysis Doctoral Symposium Patrick Kwaku KudjoJiangsu University | ||
14:20 - 14:40 Doctoral symposium paper | Towards Scalable Defense of Information Flow Security for Distributed Systems Doctoral Symposium Xiaoqin FuWashington State University | ||
14:40 - 15:00 Doctoral symposium paper | Mining Constraints for Grammar Fuzzing Doctoral Symposium Michaël MeraCISPA, Germany | ||
15:00 - 15:30 Talk | Panel Disscussion Doctoral Symposium |
14:00 - 15:30 Talk | 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 - 16:00 Break | 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 Talk | Panel Disscussion Doctoral Symposium |
16:00 - 17:30 Talk | Building Great Fuzzers Within Minutes Summer School Andreas ZellerCISPA Helmholtz Center for Information Security |
18:00 - 21:30: OC DinnerCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at the lobby of the conference venue | |||
18:00 - 21:30 Dinner | 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 - 09:15 Talk | Welcome Keynote | ||
09:15 - 10:30 Talk | 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 - 11:00 Break | Mini Break Catering |
12:30 - 14:00: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
12:30 - 14:00 Lunch | 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 - 16:00 Break | Mini Break Catering |
16:00 - 16:10 Talk | 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 - 16:20 Talk | VFQL: Combinational Static Analysis as Query Language Tool Demonstration | ||
16:20 - 16:30 Talk | 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 - 16:40 Talk | SAFEVM: A Safety Verifier for Ethereum Smart Contracts Tool Demonstration | ||
16:40 - 16:50 Talk | CoCoTest: Collaborative Crowdsourced Testing for Android Applications Tool Demonstration | ||
16:50 - 17:00 Talk | 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 - 17:10 Talk | 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 - 17:20 Talk | 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 - 17:30 Talk | 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 Dinner | 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:00 Talk | Keynote - From Typestate Verification to Interpretable Deep Models Keynote Eran YahavTechnion, Stephen J FinkIBM, Nurit Dor, G. RamalingamMicrosoft Research, Emmanuel GeayWayfair | ||
10:00 - 10:07 Awards | Impact Paper Awards Keynote Dongmei ZhangMicrosoft Research, China | ||
10:07 - 10:14 Awards | Distinguished Paper Awards Keynote Anders MøllerAarhus University | ||
10:14 - 10:21 Awards | Distinguished Artifact Awards Keynote | ||
10:21 - 10:28 Awards | 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 - 11:00 Break | Mini Break Catering |
12:30 - 14:00: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
12:30 - 14:00 Lunch | 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 - 16:00 Break | Mini Break Catering |
17:45 - 21:00 Dinner | 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:00 Talk | 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 - 10:15 Talk | 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 - 11:00 Break | Mini Break Catering |
12:30 - 14:00: LunchCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at Valley Cafe | |||
12:30 - 14:00 Lunch | 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 - 16:00 Break | Mini Break Catering |
18:00 - 21:30: PC DinnerCatering / Keynote / Workshops / Tool Demonstration / Student Volunteers / Workshop – TAV-CPS/IoT / Summer School / Doctoral Symposium at the lobby of the conference venue | |||
Not scheduled yet
Not scheduled yet Dinner | PC Dinner Catering |