Meeting Room 102 - ICSE 2023

VenueMelbourne Convention Exhibition Centre | MCEC

Room nameMeeting Room 102

Floor1

Room number102

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+10:00) Hobart.

Use conference time zone: (GMT+10:00) HobartSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Sun 14 May
Displayed time zone: Hobart change

09:00 - 10:30	Opening / KeynoteFormaliSE at Meeting Room 102 Chair(s): Toby Murray University of Melbourne

09:00 15m Day opening		Opening FormaliSE
09:15 75m Keynote		Leakage Logic for programs FormaliSE Annabelle McIver Macquarie University

11:00 - 12:30	Synthesis and AIFormaliSE at Meeting Room 102 Chair(s): Mark Utting The University of Queensland

11:00 30m Talk		Goal Controller Synthesis for Self-Adaptive Systems FormaliSE Radu Calinescu University of York, UK, Genaína Nunes Rodrigues University of Brasília
11:30 30m Paper		Verifying Binary Neural Networks on Continuous Input Space using Star Reachability FormaliSE Mykhailo Ivashchenko University of Nebraska-Lincoln, Sung Woo Choi , Luan Nguyen University of Pennsylvania, Hoang-Dung Tran Vanderbilt University
12:00 30m Paper		Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning FormaliSE Marcello Bersani Politecnico di Milano, Italy, Matteo Camilli Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Raffaela Mirandola Politecnico di Milano, Matteo Rossi Politecnico di Milano

13:45 - 15:15	SpecificationFormaliSE at Meeting Room 102 Chair(s): Larissa A. Meinicke The University of Queensland

13:45 30m Paper		Contract-Based Specification Refinement and Repair for Mission Planning FormaliSE Piergiuseppe Mallozzi UC Berkeley, Inigo Incer University of California, Berkeley, Pierluigi Nuzzo University of Southern California, Alberto L. Sangiovanni-Vincentelli University of California at Berkeley, USA
14:15 30m Paper		Patch Specifications via Product Programs FormaliSE Cristian Cadar Imperial College London, UK, Daniel Schemmel Imperial College London, Arindam Sharma Imperial College London
14:45 30m Paper		An Empirical Study Assessing Software Modeling in Alloy FormaliSE Niloofar Mansoor University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln, Eunsuk Kang Carnegie Mellon University, Bonita Sharif University of Nebraska-Lincoln, USA

15:45 - 17:15	TestingFormaliSE at Meeting Room 102 Chair(s): Cristian Cadar Imperial College London, UK

15:45 30m Paper		Mutant Equivalence as Monotonicity in Parametric Timed Games FormaliSE Davide Basile Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy, Maurice ter Beek ISTI-CNR, Pisa, Italy, Hendrik Göttmann Technical University of Darmstadt, Malte Lochau University of Siegen
16:15 30m Paper		Differential Testing of a Verification Framework for Compiler Optimizations (Case Study) FormaliSE Mark Utting The University of Queensland, Brae J. Webb The University of Queensland, Ian J. Hayes The University of Queensland
16:45 30m Paper		Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity FormaliSE Eli Pregerson Harvey Mudd College, Shaheen Cullen-Baratloo Harvey Mudd College, David Chen Harvey Mudd College, Duy Lam Harvey Mudd College, Max Szostak Harvey Mudd College, Lucas Bang Harvey Mudd College

Mon 15 May
Displayed time zone: Hobart change

09:00 - 10:30	KeynoteFormaliSE at Meeting Room 102 Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

09:15 75m Keynote		Exploiting incompleteness in software development FormaliSE Paola Spoletini Kennesaw State University

11:00 - 12:30	ConcurrencyFormaliSE at Meeting Room 102 Chair(s): Domenico Bianculli University of Luxembourg

11:00 30m Paper		A Dafny-based approach to thread-local information flow analysis FormaliSE Graeme Smith The University of Queensland
11:30 30m Paper		Transparent Actor Model FormaliSE Fatemeh Ghassemi University of Tehran, Marjan Sirjani Malardalen University, Ehsan Khamespanah University of Tehran, Mahrokh Mirani Tehran Institute for Advanced Studies, Hossein Hojjat Tehran Institute for Advanced Studies
12:00 30m Paper		Using cylindric algebra to support local variables in rely/guarantee concurrency FormaliSE Larissa A. Meinicke The University of Queensland, Ian J. Hayes The University of Queensland

13:45 - 15:15	ApplicationFormaliSE at Meeting Room 102 Chair(s): Graeme Smith The University of Queensland

13:45 30m Paper		A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids FormaliSE Ahmed Nagy Abdelkhalek Mansour Politecnico di Milano, Samuele Grillo Politecnico di Milano, Enrico Ragaini ABB italy, Matteo Rossi Politecnico di Milano
14:15 30m Paper		A Verified UAV Flight Plan Generator FormaliSE Baptiste Pollien ISAE-SUPAERO, Christophe Garion ISAE-SUPAERO, Gautier Hattenberger ENAC, Pierre Roux ONERA, ISAE, Xavier Thirioux ISAE-SUPAERO

15:45 - 17:15	ClosingFormaliSE at Meeting Room 102

14:45 30m Day closing		Closing FormaliSE

Tue 16 May
Displayed time zone: Hobart change

09:00 - 10:30	Session 1New Faculty Symposium at Meeting Room 102

09:00 30m Talk		Schedule, set the scene + introductions New Faculty Symposium
09:30 60m Talk		Michele Lanza + Sarah Nadi New Faculty Symposium

11:00 - 12:30	Session 2New Faculty Symposium at Meeting Room 102

11:00 90m Talk		Kevin Moran + Sonia Haiduc + Juergen Cito New Faculty Symposium

13:45 - 15:15	Session 3New Faculty Symposium at Meeting Room 102

13:45 90m Talk		Gail Murphy + David Rosenblum + Xin Peng New Faculty Symposium

15:45 - 17:15	Session 4New Faculty Symposium at Meeting Room 102

15:45 70m Talk		"Turn the tables" session New Faculty Symposium
16:55 5m Talk		Closing New Faculty Symposium

Wed 17 May
Displayed time zone: Hobart change

11:00 - 12:30	Mining software repositoriesTechnical Track / Journal-First Papers / DEMO - Demonstrations at Meeting Room 102 Chair(s): Brittany Johnson George Mason University

11:00 15m Talk		The untold story of code refactoring customizations in practice Technical Track Daniel Oliveira PUC-Rio, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Alessandro Garcia PUC-Rio, Ana Carla Bibiano PUC-Rio, Márcio Ribeiro Federal University of Alagoas, Brazil, Rohit Gheyi Federal University of Campina Grande, Baldoino Fonseca Federal University of Alagoas (UFAL) Pre-print
11:15 15m Talk		Data Quality for Software Vulnerability Datasets Technical Track Roland Croft The University of Adelaide, Muhammad Ali Babar University of Adelaide, M. Mehdi Kholoosi University of Adelaide Pre-print
11:30 15m Talk		Do code refactorings influence the merge effort? Technical Track André Oliveira Federal Fluminense University, Vania Neves Universidade Federal Fluminense (UFF), Alexandre Plastino Federal Fluminense University, Ana Carla Bibiano PUC-Rio, Alessandro Garcia PUC-Rio, Leonardo Murta Universidade Federal Fluminense (UFF)
11:45 7m Talk		ActionsRemaker: Reproducing GitHub Actions DEMO - Demonstrations Hao-Nan Zhu University of California, Davis, Kevin Guan University of California, Davis, Robert M. Furth University of California, Davis, Cindy Rubio-González University of California at Davis
11:52 7m Talk		Problems with with SZZ and Features: An empirical assessment of the state of practice of defect prediction data collection Journal-First Papers Steffen Herbold University of Passau, Alexander Trautsch University of Passau, Alexander Trautsch Germany, Benjamin Ledel None
12:00 7m Talk		An empirical study of issue-link algorithms: which issue-link algorithms should we use? Journal-First Papers Masanari Kondo Kyushu University, Yutaro Kashiwa Nara Institute of Science and Technology, Yasutaka Kamei Kyushu University, Osamu Mizuno Kyoto Institute of Technology
12:07 7m Talk		SCS-Gan: Learning Functionality-Agnostic Stylometric Representations for Source Code Authorship Verification Journal-First Papers Weihan Ou Queen's University at Kingston, Ding Steven, H., H. Queen’s University at Kingston, Yuan Tian Queens University, Kingston, Canada, Leo Song Queen’s University at Kingston
12:15 15m Talk		A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization Technical Track Hao Guan The University of Queensland, Ying Xiao Southern University of Science and Technology, Jiaying LI Microsoft, Yepang Liu Southern University of Science and Technology, Guangdong Bai University of Queensland

13:45 - 15:15	Software architectures and designShowcase / Technical Track / SEET - Software Engineering Education and Training / NIER - New Ideas and Emerging Results at Meeting Room 102 Chair(s): Davide Taibi Tampere University

13:45 15m Talk		Robustification of Behavioral Designs against Environmental Deviations Technical Track Changjian Zhang Carnegie Mellon University, Tarang Saluja Swarthmore College, Rômulo Meira-Góes Carnegie Mellon University, Matthew Bolton University of Virginia, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University Pre-print
14:00 15m Talk		A Qualitative Study on the Implementation Design Decisions of Developers Technical Track Jenny T. Liang Carnegie Mellon University, Maryam Arab George Mason University, Minhyuk Ko Virginia Tech, Amy Ko University of Washington, Thomas LaToza George Mason University Pre-print
14:15 15m Talk		Designing for Real People: Teaching Agility through User-Centric Service Design SEET - Software Engineering Education and Training Robert Chatley Imperial College London, Tony Field Imperial College London, Mark Wheelhouse Imperial College London, Carolyn Runcie Royal College of Art, Nick de Leon Royal College of Art, Clive Grinyer Royal College of Art Pre-print
14:30 15m Talk		A Decision Model for Choosing Patterns in Blockchain-Based Applications Showcase Xiwei (Sherry) Xu CSIRO’s Data61, ‪H M N Dilum Bandara Data61, CSIRO, Qinghua Lu CSIRO’s Data61, Ingo Weber TU Munich & Fraunhofer, Munich, Len Bass Carnegie Mellon University, Liming Zhu CSIRO’s Data61
14:45 15m Talk		Architectural Design Decisions for Machine Learning Deployment Showcase Stephen John Warnett University of Vienna, Uwe Zdun University of Vienna
15:00 7m Talk		Handling Communication via APIs for Microservices NIER - New Ideas and Emerging Results Vini Kanvar IBM Research, Ridhi Jain IIIT-Delhi, Srikanth Tamilselvam IBM Research
15:07 7m Talk		Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies SEET - Software Engineering Education and Training Chun Yong Chong Monash University Malaysia, Eunsuk Kang Carnegie Mellon University, Mary Shaw Carnegie Mellon University Pre-print

15:45 - 17:15	Test generationSEIP - Software Engineering in Practice / DEMO - Demonstrations / Technical Track / NIER - New Ideas and Emerging Results / Journal-First Papers at Meeting Room 102 Chair(s): Chunyang Chen Monash University

15:45 7m Talk		SoapOperaTG: A Tool for System Knowledge Graph Based Soap Opera Test Generation DEMO - Demonstrations Yanqi Su Australian National University, Zheming Han , Zhenchang Xing CSIRO’s Data61; Australian National University, Xiwei (Sherry) Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61, Qinghua Lu CSIRO’s Data61
15:52 7m Talk		GUI Testing to the Power of Parallel Q-Learning DEMO - Demonstrations Marco Mobilio University of Milano Bicocca, Diego Clerissi University of Milano-Bicocca, Giovanni Denaro University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano-Bicocca
16:00 15m Talk		BADGE: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing Technical Track Dezhi Ran Peking University, Hao Wang Peking University, China, Wenyu Wang University of Illinois Urbana-Champaign, Tao Xie Peking University
16:15 15m Talk		Efficiency Matters: Speeding Up Automated Testing with GUI Rendering Inference Technical Track Sidong Feng Monash University, Mulong Xie Australian National University, Chunyang Chen Monash University Pre-print
16:30 15m Talk		CodaMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models Technical Track Caroline Lemieux University of British Columbia, Jeevana Priya Inala Microsoft Research, Shuvendu K. Lahiri Microsoft Research, Siddhartha Sen Microsoft Research
16:45 15m Talk		Simulation-Driven Automated End-to-End Test and Oracle Inference SEIP - Software Engineering in Practice Shreshth Tuli Meta Platforms Inc. and Imperial College, Kinga Bojarczuk Facebook, Natalija Gucevska Facebook, Mark Harman University College London, Xiaoyu Wang Meta Platforms Inc., Graham Wright Meta Platforms Inc.
17:00 7m Talk		Reasoning-Based Software Testing NIER - New Ideas and Emerging Results Luca Giamattei Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II Pre-print
17:07 7m Talk		Automated Generation and Evaluation of JMH Microbenchmark Suites From Unit Tests Journal-First Papers Mostafa Jangali Concordia University, Yiming Tang Concordia University, Niclas Alexandersson Chalmers University of Technology, Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Jinqiu Yang Concordia University, Weiyi Shang University of Waterloo

Thu 18 May
Displayed time zone: Hobart change

11:00 - 12:30	AI testing 1Technical Track / DEMO - Demonstrations / Journal-First Papers at Meeting Room 102 Chair(s): Matthew B Dwyer University of Virginia

11:00 15m Talk		When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study Technical Track Vincenzo Riccio University of Udine, Paolo Tonella USI Lugano Pre-print
11:15 15m Talk		Fuzzing Automatic Differentiation in Deep-Learning Libraries Technical Track Chenyuan Yang University of Illinois at Urbana-Champaign, Yinlin Deng University of Illinois at Urbana-Champaign, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Yuxing Tu Huazhong University of Science and Technology, Hanchi Li University of Science and Technology of China, Lingming Zhang University of Illinois at Urbana-Champaign
11:30 15m Talk		Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective Technical Track Zenan Li Nanjing University, China, Maorun Zhang Nanjing University, China, Jingwei Xu , Yuan Yao Nanjing University, Chun Cao Nanjing University, Taolue Chen Birkbeck University of London, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University Pre-print
11:45 7m Talk		DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models DEMO - Demonstrations Jialuo Chen Zhejiang University, Youcheng Sun The University of Manchester, Jingyi Wang Zhejiang University, Peng Cheng Zhejiang University, Xingjun Ma Deakin University
11:52 7m Talk		DeepCrime: from Real Faults to Mutation Testing Tool for Deep Learning DEMO - Demonstrations Nargiz Humbatova USI Lugano, Gunel Jahangirova King's College London, Paolo Tonella USI Lugano
12:00 7m Talk		DiverGet: a Search-Based Software Testing approach for Deep Neural Network Quantization assessment Journal-First Papers Ahmed Haj Yahmed École Polytechnique de Montréal, Houssem Ben Braiek École Polytechnique de Montréal, Foutse Khomh Polytechnique Montréal, Sonia Bouzidi National Institute of Applied Science and Technology, Rania Zaatour Potsdam Institute for Climate Impact Research
12:07 15m Talk		Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion Technical Track Yuanyuan Yuan The Hong Kong University of Science and Technology, Qi Pang HKUST, Shuai Wang Hong Kong University of Science and Technology

13:45 - 15:15	Program repair with and for AITechnical Track / Journal-First Papers / DEMO - Demonstrations at Meeting Room 102 Chair(s): Julia Rubin University of British Columbia, Canada

13:45 15m Talk		Impact of Code Language Models on Automated Program Repair Technical Track Nan Jiang Purdue University, Kevin Liu Lynbrook High School, Thibaud Lutellier University of Alberta, Lin Tan Purdue University Pre-print
14:00 15m Talk		Tare: Type-Aware Neural Program Repair Technical Track Qihao Zhu Peking University, Zeyu Sun Zhongguancun Laboratory, Wenjie Zhang Peking University, Yingfei Xiong Peking University, Lu Zhang Peking University
14:15 15m Talk		Template-based Neural Program Repair Technical Track Xiangxin Meng Beihang University, Beijing, China, Xu Wang Beihang University, Hongyu Zhang The University of Newcastle, Hailong Sun School of Computer Science and Engineering, Beihang University, Beijing,China, Xudong Liu Beihang University, Chunming Hu Beihang University Pre-print
14:30 15m Talk		Automated Repair of Programs from Large Language Models Technical Track Zhiyu Fan National University of Singapore, Singapore, Xiang Gao Beihang University, China, Martin Mirchev National University of Singapore, Abhik Roychoudhury National University of Singapore, Shin Hwei Tan Southern University of Science and Technology
14:45 15m Talk		Automated Program Repair in the Era of Large Pre-trained Language Models Technical Track Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Yuxiang Wei University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign
15:00 7m Talk		AIREPAIR: A Repair Platform for Neural Networks DEMO - Demonstrations Xidan Song Department of Computer Science, University of Manchester, UK, Youcheng Sun The University of Manchester, Mustafa A. Mustafa Department of Computer Science, University of Manchester, UK, imec-COSIC, KU Leuven, Belgium, Lucas C. Cordeiro University of Manchester
15:07 7m Talk		Arachne: Search Based Repair of Deep Neural Networks Journal-First Papers Jeongju Sohn University of Luxembourg, Sungmin Kang KAIST, Shin Yoo KAIST Link to publication DOI Pre-print

Fri 19 May
Displayed time zone: Hobart change

11:00 - 12:30	Developers' forumsSEIP - Software Engineering in Practice / Journal-First Papers / Technical Track / DEMO - Demonstrations at Meeting Room 102 Chair(s): Omar Haggag Monash University, Australia

11:00 15m Talk		Automatic prediction of rejected edits in Stack Overflow Journal-First Papers Saikat Mondal University of Saskatchewan, Gias Uddin University of Calgary, Canada, Chanchal K. Roy University of Saskatchewan Link to publication DOI Pre-print
11:15 15m Talk		Automated Summarization of Stack Overflow Posts Technical Track Bonan Kou Purdue University, Muhao Chen University of Southern California, Tianyi Zhang Purdue University
11:30 15m Talk		Semi-Automatic, Inline and Collaborative Web Page Code Curations Technical Track Roy Rutishauser University of Zurich, André N. Meyer University of Zurich, Reid Holmes University of British Columbia, Thomas Fritz University of Zurich
11:45 15m Talk		You Don’t Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries SEIP - Software Engineering in Practice Rijnard van Tonder Sourcegraph
12:00 7m Talk		TECHSUMBOT: A Stack Overflow Answer Summarization Tool for Technical Query DEMO - Demonstrations Chengran Yang Singapore Management University, Bowen Xu Singapore Management University, Jiakun Liu Singapore Management University, David Lo Singapore Management University
12:07 8m Talk		An empirical study of question discussions on Stack Overflow Journal-First Papers Wenhan Zhu University of Waterloo, Haoxiang Zhang Centre for Software Excellence at Huawei Canada, Ahmed E. Hassan Queen’s University, Michael W. Godfrey University of Waterloo, Canada
12:15 15m Talk		Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence Technical Track zejun zhang Australian National University, Zhenchang Xing , Xin Xia Huawei, Xiwei (Sherry) Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61, Qinghua Lu CSIRO’s Data61

13:45 - 15:15	Cyber-physical systems developmentSEIP - Software Engineering in Practice / Journal-First Papers / DEMO - Demonstrations at Meeting Room 102 Chair(s): Andrzej Wąsowski IT University of Copenhagen, Denmark

13:45 15m Talk		Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs SEIP - Software Engineering in Practice Fozail Ahmad McGill University, Maruthi Rangappa , Neeraj Katiyar McGill University, Canada, Martin Staniszewski Siemens Energy, Daniel Varro Linköping University / McGill University
14:00 15m Talk		Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms SEIP - Software Engineering in Practice Pablo Valle University of Mondragon, Aitor Arrieta Mondragon University, Maite Arratibel Orona Pre-print
14:15 7m Talk		WirelessDT: A Digital Twin Platform for Real-Time Evaluation of Wireless Software Applications DEMO - Demonstrations Zhongzheng Lai The University of Sydney, Dong Yuan The University of Sydney, Huaming Chen The University of Sydney, Yu Zhang The University of Sydney, Wei Bao The University of Sydney Media Attached
14:22 7m Talk		MROS: A framework for robot self-adaptation DEMO - Demonstrations Gustavo Rezende Silva Cognitive Robotics, Delft University of Technology, Darko Bozhinoski Université Libre de Bruxelles, Mario Garzon Oviedo Department of Cognitive Robotics, Delft University of Technology, Mariano Ramírez Montero Cognitive Robotics, Delft University of Technology, Nadia Hammoudeh Garcia Fraunhofer IPA, Harshavardhan Deshpande Fraunhofer IPA, Andrzej Wąsowski IT University of Copenhagen, Denmark, Carlos Hernández Corbato Delft University of Technology
14:30 7m Talk		Mind the Gap! A Study on the Transferability of Virtual vs Physical-world Testing of Autonomous Driving Systems Journal-First Papers Andrea Stocco Technical University of Munich & fortiss, Brian Pulfer University of Geneva, Paolo Tonella USI Lugano
14:37 7m Talk		Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data (Journal First Presentation) Journal-First Papers Ferhat Ozgur Catak University of Stavanger, Norway, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory
14:45 7m Talk		Uncertainty-aware Robustness Assessment of Industrial Elevator Systems Journal-First Papers Liping Han Nanjing University of Aeronautics and Astronautics & Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Tao Yue Simula Research Laboratory, Aitor Arrieta Mondragon University, Maite Arratibel Orona
14:52 7m Talk		Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions Journal-First Papers Chengjie Lu Simula Research Laboratory and University of Oslo, Shi Yize Nanjing University of Aeronautics and Astronautics, Huihui Zhang Weifang University, Man Zhang Kristiania University, Tiexin Wang Nanjing University of Aeronautics and Astronautics, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory Link to publication DOI Pre-print
15:00 7m Talk		FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria Journal-First Papers Zhenya Zhang Kyushu University, Deyun Lyu Kyushu university, Paolo Arcaini National Institute of Informatics , Lei Ma University of Alberta, Ichiro Hasuo National Institute of Informatics, Japan, Jianjun Zhao Kyushu University Link to publication DOI

15:45 - 17:15	Metamorphic testingSEIP - Software Engineering in Practice / Technical Track / Journal-First Papers / SEIS - Software Engineering in Society at Meeting Room 102 Chair(s): Shiva Nejati University of Ottawa

15:45 15m Talk		MTTM: Metamorphic Testing for Textual Content Moderation Software Technical Track Wenxuan Wang The Chinese University of Hong Kong, Jen-tse Huang The Chinese University of Hong Kong, Weibin Wu Sun Yat-sen University, Jianping Zhang The Chinese University of Hong Kong, Yizhan Huang The Chinese University of Hong Kong, Shuqing Li The Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong at Shenzhen, Michael Lyu The Chinese University of Hong Kong
16:00 15m Talk		Metamorphic Shader Fusion for Testing Graphics Shader Compilers Technical Track Dongwei Xiao The Hong Kong University of Science and Technology, Zhibo Liu Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology
16:15 15m Paper		Metamorphic Testing and Debugging of Tax Preparation Software SEIS - Software Engineering in Society Saeid Tizpaz-Niari University of Texas at El Paso, Verya Monjezi University of Texas at El Paso, Morgan Wagner University of Texas at El Paso, Shiva Darian University of Colorado Boulder, Krystia Reed University of Texas at El Paso, Ashutosh Trivedi University of Colorado Boulder Pre-print
16:30 7m Talk		Biasfinder: Metamorphic test generation to uncover bias for sentiment analysis systems Journal-First Papers Muhammad Hilmi Asyroﬁ School of Computing and Information Systems, Singapore Management University, Zhou Yang Singapore Management University, Imam Nur Bani Yusuf Singapore Management University, Singapore, Hong Jin Kang UCLA, Ferdian Thung Singapore Management University, David Lo Singapore Management University
16:37 7m Talk		Automated Metamorphic Testing using Transitive Relations for Specializing Stance Detection Models SEIP - Software Engineering in Practice Alisa Arno IBM Research - Tokyo, Futoshi Iwama IBM Research - Tokyo, Mikio Takeuchi IBM Research - Tokyo
16:45 15m Talk		MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform Technical Track Matteo Paltenghi University of Stuttgart, Germany, Michael Pradel University of Stuttgart Pre-print

Sat 20 May
Displayed time zone: Hobart change

09:00 - 10:30	Opening SessionBotSE at Meeting Room 102

09:00 45m Day opening		Opening ceremony BotSE A: Mairieli Wessel Radboud University, A: Ahmad Abdellatif Concordia University, A: Igor Steinmacher Northern Arizona University
09:45 45m Keynote		What do we know about conversation? BotSE K: Paul Thomas Microsoft Research

11:00 - 12:30	Session 1: Conversational Bots in SEBotSE at Meeting Room 102

11:00 20m Talk		Navigating Complexity in Software Engineering: A Prototype for Comparing GPT-n SolutionsShort paper BotSE Christoph Treude University of Melbourne
11:20 20m Talk		Towards Continuous Performance Assessment of Java Applications With PerfBotInvited Paper BotSE Florian Markusse , Alexander Serebrenik Eindhoven University of Technology, Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
11:40 20m Talk		Supporting Conversational Agent-Based Software DevelopmentShort paper BotSE Glaucia Melo University of Waterloo, Luis Fernando Lins University of Waterloo, Paulo Alencar University of Waterloo, Donald Cowan University of Waterloo Pre-print
12:00 20m Talk		Idiolect: A Reconfigurable Voice Coding AssistantShort paper BotSE Breandan Considine McGill University, Nicholas Albion , Xujie Si University of Toronto

13:45 - 15:15	Session 2: Bots Design and ChallengesBotSE at Meeting Room 102

13:45 20m Talk		From RSSE to BotSE: Potentials and Challenges Revisited after 15 YearsInvited Paper BotSE Walid Maalej University of Hamburg Pre-print
14:05 20m Talk		Optimizing Workflow for Elite Developers: Perspectives on Leveraging SE BotsInvited Paper BotSE Zhendong Wang University of California, Irvine, Yi Wang Beijing University of Posts and Telecommunications, David Redmiles University of California, Irvine
14:25 20m Talk		Bot With Interactions: Improving GitHub Pull-Request Feedback Through Two-Way CommunicationShort paper BotSE Zhewei Hu North Carolina State University, Edward Gehringer North Carolina State University
14:45 20m Talk		The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience ReportJournal First BotSE Théo Zimmermann Télécom Paris, Polytechnic Institute of Paris, Julien Coolen , Jason Gross MIT CSAIL, Pierre-Marie Pédrot INRIA, Gaetan Gilbert DOI Pre-print

15:45 - 17:15	Session 3: Bots in OSS BotSE at Meeting Room 102

15:45 20m Talk		Suggestion Bot: Analyzing the Impact of Automated Suggested Changes on Code ReviewsShort paper BotSE Nivishree Palvannan , Chris Brown Virginia Tech
16:05 20m Talk		Using Benchmarking Bots for Continuous Performance AssessmentJournal First BotSE Florian Markusse , Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Alexander Serebrenik Eindhoven University of Technology
16:25 20m Talk		From Specialized Mechanics to Project Butlers: The Usage of Bots in Open Source Software DevelopmentJournal First BotSE Zhendong Wang University of California, Irvine, Yi Wang Beijing University of Posts and Telecommunications, David Redmiles University of California, Irvine
16:45 20m Talk		Recognizing Bot Activity in Collaborative Software DevelopmentJournal First BotSE Mehdi Golzadeh Software Engineering lab, University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS, Eleni Constantinou University of Cyprus, Natarajan Chidambaram University of Mons
17:05 10m Day closing		Closing ceremony BotSE Igor Steinmacher Northern Arizona University, Mairieli Wessel Radboud University, Ahmad Abdellatif Concordia University

Sun 14 May
Displayed time zone: Hobart 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
Meeting Room 102	FormaliSE Opening / Keynote																								FormaliSE Synthesis and AI																																	FormaliSE Specification																								FormaliSE Testing

Mon 15 May
Displayed time zone: Hobart 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
Meeting Room 102	FormaliSE Keynote																								FormaliSE Concurrency																																	FormaliSE Application																								FormaliSE Closing

Tue 16 May
Displayed time zone: Hobart 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
Meeting Room 102	New Faculty Symposium Session 1																								New Faculty Symposium Session 2																																	New Faculty Symposium Session 3																								New Faculty Symposium Session 4

Wed 17 May
Displayed time zone: Hobart change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting Room 102	Technical Track + Journal-First Papers + DEMO - Demonstrations Mining software repositories																																	Showcase + Technical Track + SEET - Software Engineering Education and Training + NIER - New Ideas and Emerging Results Software architectures and design																								SEIP - Software Engineering in Practice + DEMO - Demonstrations + Technical Track + NIER - New Ideas and Emerging Results + Journal-First Papers Test generation

Thu 18 May
Displayed time zone: Hobart change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Meeting Room 102	Technical Track + DEMO - Demonstrations + Journal-First Papers AI testing 1																																	Technical Track + Journal-First Papers + DEMO - Demonstrations Program repair with and for AI

Fri 19 May
Displayed time zone: Hobart change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Meeting Room 102	SEIP - Software Engineering in Practice + Journal-First Papers + Technical Track + DEMO - Demonstrations Developers' forums																																	SEIP - Software Engineering in Practice + Journal-First Papers + DEMO - Demonstrations Cyber-physical systems development																								SEIP - Software Engineering in Practice + Technical Track + Journal-First Papers + SEIS - Software Engineering in Society Metamorphic testing

Sat 20 May
Displayed time zone: Hobart 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
Meeting Room 102	BotSE Opening Session																								BotSE Session 1: Conversational Bots in SE																																	BotSE Session 2: Bots Design and Challenges																								BotSE Session 3: Bots in OSS

Sun 14 May
Displayed time zone: Hobart 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
Meeting Room 102	FormaliSE Opening 09:00 - 09:15			FormaliSE Leakage Logic for programs 09:15 - 10:30																					FormaliSE Goal Controller Synthesis for Self-Adaptive Systems 11:00 - 11:30						FormaliSE Verifying Binary Neural Networks on Continuous Input Space using Star R ... 11:30 - 12:00						FormaliSE Explainable Human-Machine Teaming using Model Checking and Interpretabl ... 12:00 - 12:30																					FormaliSE Contract-Based Specification Refinement and Repair for Mission Planning 13:45 - 14:15						FormaliSE Patch Specifications via Product Programs 14:15 - 14:45						FormaliSE An Empirical Study Assessing Software Modeling in Alloy 14:45 - 15:15												FormaliSE Mutant Equivalence as Monotonicity in Parametric Timed Games 15:45 - 16:15						FormaliSE Differential Testing of a Verification Framework for Compiler Optimizat ... 16:15 - 16:45						FormaliSE Formalizing Symbolic Execution Path Explosion for Recursive Functions v ... 16:45 - 17:15

Mon 15 May
Displayed time zone: Hobart 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
Meeting Room 102				FormaliSE Exploiting incompleteness in software development 09:15 - 10:30																					FormaliSE A Dafny-based approach to thread-local information flow analysis 11:00 - 11:30						FormaliSE Transparent Actor Model 11:30 - 12:00						FormaliSE Using cylindric algebra to support local variables in rely/guarantee co ... 12:00 - 12:30																					FormaliSE A Formal Approach to the Verification of Protection Systems in Low-Volt ... 13:45 - 14:15						FormaliSE A Verified UAV Flight Plan Generator 14:15 - 14:45						FormaliSE Closing 14:45 - 15:15

Tue 16 May
Displayed time zone: Hobart 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
Meeting Room 102	ICSE New Faculty Symposium Schedule, set the scene + introductions 09:00 - 09:30						ICSE New Faculty Symposium Michele Lanza + Sarah Nadi 09:30 - 10:30																		ICSE New Faculty Symposium Kevin Moran + Sonia Haiduc + Juergen Cito 11:00 - 12:30																																	ICSE New Faculty Symposium Gail Murphy + David Rosenblum + Xin Peng 13:45 - 15:15																								ICSE New Faculty Symposium "Turn the tables" session 15:45 - 16:55														ICSE New Faculty Symposium Closing 16:55 - 17:00

Wed 17 May
Displayed time zone: Hobart change


Room	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
Meeting Room 102	ICSE Technical Track The untold story of code refactoring customizations in practice 11:00 - 11:15			ICSE Technical Track Data Quality for Software Vulnerability Datasets 11:15 - 11:30			ICSE Technical Track Do code refactorings influence the merge effort? 11:30 - 11:45			ICSE DEMO - Demonstrations ActionsRemaker: Reproducing GitHub Actions 11:45 - 11:52	ICSE Journal-First Papers Problems with with SZZ and Features: An empirical assessment of the sta ... 11:52 - 12:00		ICSE Journal-First Papers An empirical study of issue-link algorithms: which issue-link algorithm ... 12:00 - 12:07	ICSE Journal-First Papers SCS-Gan: Learning Functionality-Agnostic Stylometric Representations fo ... 12:07 - 12:15		ICSE Technical Track A Comprehensive Study of Real-World Bugs in Machine Learning Model Opti ... 12:15 - 12:30																		ICSE Technical Track Robustification of Behavioral Designs against Environmental Deviations 13:45 - 14:00			ICSE Technical Track A Qualitative Study on the Implementation Design Decisions of Developers 14:00 - 14:15			ICSE SEET - Software Engineering Education and Training Designing for Real People: Teaching Agility through User-Centric Servic ... 14:15 - 14:30			ICSE Showcase A Decision Model for Choosing Patterns in Blockchain-Based Applications 14:30 - 14:45			ICSE Showcase Architectural Design Decisions for Machine Learning Deployment 14:45 - 15:00			ICSE NIER - New Ideas and Emerging Results Handling Communication via APIs for Microservices 15:00 - 15:07	ICSE SEET - Software Engineering Education and Training Open Design Case Study - A Crowdsourcing Effort to Curate Software Desi ... 15:07 - 15:15								ICSE DEMO - Demonstrations SoapOperaTG: A Tool for System Knowledge Graph Based Soap Opera Test Ge ... 15:45 - 15:52	ICSE DEMO - Demonstrations GUI Testing to the Power of Parallel Q-Learning 15:52 - 16:00		ICSE Technical Track BADGE: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for ... 16:00 - 16:15			ICSE Technical Track Efficiency Matters: Speeding Up Automated Testing with GUI Rendering In ... 16:15 - 16:30			ICSE Technical Track CodaMOSA: Escaping Coverage Plateaus in Test Generation with Pre-traine ... 16:30 - 16:45			ICSE SEIP - Software Engineering in Practice Simulation-Driven Automated End-to-End Test and Oracle Inference 16:45 - 17:00			ICSE NIER - New Ideas and Emerging Results Reasoning-Based Software Testing 17:00 - 17:07	ICSE Journal-First Papers Automated Generation and Evaluation of JMH Microbenchmark Suites From U ... 17:07 - 17:15

Thu 18 May
Displayed time zone: Hobart change


Room	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
Meeting Room 102	ICSE Technical Track When and Why Test Generators for Deep Learning Produce Invalid Inputs: ... 11:00 - 11:15			ICSE Technical Track Fuzzing Automatic Differentiation in Deep-Learning Libraries 11:15 - 11:30			ICSE Technical Track Lightweight Approaches to DNN Regression Error Reduction: An Uncertaint ... 11:30 - 11:45			ICSE DEMO - Demonstrations DeepJudge: A Testing Framework for Copyright Protection of Deep Learnin ... 11:45 - 11:52	ICSE DEMO - Demonstrations DeepCrime: from Real Faults to Mutation Testing Tool for Deep Learning 11:52 - 12:00		ICSE Journal-First Papers DiverGet: a Search-Based Software Testing approach for Deep Neural Netw ... 12:00 - 12:07	ICSE Technical Track Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distributi ... 12:07 - 12:22																				ICSE Technical Track Impact of Code Language Models on Automated Program Repair 13:45 - 14:00			ICSE Technical Track Tare: Type-Aware Neural Program Repair 14:00 - 14:15			ICSE Technical Track Template-based Neural Program Repair 14:15 - 14:30			ICSE Technical Track Automated Repair of Programs from Large Language Models 14:30 - 14:45			ICSE Technical Track Automated Program Repair in the Era of Large Pre-trained Language Models 14:45 - 15:00			ICSE DEMO - Demonstrations AIREPAIR: A Repair Platform for Neural Networks 15:00 - 15:07	ICSE Journal-First Papers Arachne: Search Based Repair of Deep Neural Networks 15:07 - 15:15

Fri 19 May
Displayed time zone: Hobart change


Room	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
Meeting Room 102	ICSE Journal-First Papers Automatic prediction of rejected edits in Stack Overflow 11:00 - 11:15			ICSE Technical Track Automated Summarization of Stack Overflow Posts 11:15 - 11:30			ICSE Technical Track Semi-Automatic, Inline and Collaborative Web Page Code Curations 11:30 - 11:45			ICSE SEIP - Software Engineering in Practice You Don’t Know Search: Helping Users Find Code by Automatically Evaluat ... 11:45 - 12:00			ICSE DEMO - Demonstrations TECHSUMBOT: A Stack Overflow Answer Summarization Tool for Technical Query 12:00 - 12:07	ICSE Journal-First Papers An empirical study of question discussions on Stack Overflow 12:07 - 12:15		ICSE Technical Track Faster or Slower? Performance Mystery of Python Idioms Unveiled with Em ... 12:15 - 12:30																		ICSE SEIP - Software Engineering in Practice Hybrid Cloudification of Legacy Software for Efficient Simulation of Ga ... 13:45 - 14:00			ICSE SEIP - Software Engineering in Practice Automated Misconfiguration Repair of Configurable Cyber-Physical System ... 14:00 - 14:15			ICSE DEMO - Demonstrations WirelessDT: A Digital Twin Platform for Real-Time Evaluation of Wireles ... 14:15 - 14:22	ICSE DEMO - Demonstrations MROS: A framework for robot self-adaptation 14:22 - 14:30		ICSE Journal-First Papers Mind the Gap! A Study on the Transferability of Virtual vs Physical-wor ... 14:30 - 14:37	ICSE Journal-First Papers Uncertainty-aware Prediction Validator in Deep Learning Models for Cybe ... 14:37 - 14:45		ICSE Journal-First Papers Uncertainty-aware Robustness Assessment of Industrial Elevator Systems 14:45 - 14:52	ICSE Journal-First Papers Learning Configurations of Operating Environment of Autonomous Vehicles ... 14:52 - 15:00		ICSE Journal-First Papers FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by ... 15:00 - 15:07									ICSE Technical Track MTTM: Metamorphic Testing for Textual Content Moderation Software 15:45 - 16:00			ICSE Technical Track Metamorphic Shader Fusion for Testing Graphics Shader Compilers 16:00 - 16:15			ICSE SEIS - Software Engineering in Society Metamorphic Testing and Debugging of Tax Preparation Software 16:15 - 16:30			ICSE Journal-First Papers Biasfinder: Metamorphic test generation to uncover bias for sentiment a ... 16:30 - 16:37	ICSE SEIP - Software Engineering in Practice Automated Metamorphic Testing using Transitive Relations for Specializi ... 16:37 - 16:45		ICSE Technical Track MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform 16:45 - 17:00

Sat 20 May
Displayed time zone: Hobart 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
Meeting Room 102	BotSE Opening ceremony 09:00 - 09:45									BotSE What do we know about conversation? 09:45 - 10:30															BotSEShort paper Navigating Complexity in Software Engineering: A Prototype for Comparin ... 11:00 - 11:20				BotSEInvited Paper Towards Continuous Performance Assessment of Java Applications With PerfBot 11:20 - 11:40				BotSEShort paper Supporting Conversational Agent-Based Software Development 11:40 - 12:00				BotSEShort paper Idiolect: A Reconfigurable Voice Coding Assistant 12:00 - 12:20																					BotSEInvited Paper From RSSE to BotSE: Potentials and Challenges Revisited after 15 Years 13:45 - 14:05				BotSEInvited Paper Optimizing Workflow for Elite Developers: Perspectives on Leveraging SE ... 14:05 - 14:25				BotSEShort paper Bot With Interactions: Improving GitHub Pull-Request Feedback Through T ... 14:25 - 14:45				BotSEJournal First The Advantages of Maintaining a Multitask, Project-Specific Bot: An Exp ... 14:45 - 15:05												BotSEShort paper Suggestion Bot: Analyzing the Impact of Automated Suggested Changes on ... 15:45 - 16:05				BotSEJournal First Using Benchmarking Bots for Continuous Performance Assessment 16:05 - 16:25				BotSEJournal First From Specialized Mechanics to Project Butlers: The Usage of Bots in Ope ... 16:25 - 16:45				BotSEJournal First Recognizing Bot Activity in Collaborative Software Development 16:45 - 17:05				BotSE Closing ceremony 17:05 - 17:15

Room information: Meeting Room 102

Program Display Configuration

Sun 14 MayDisplayed time zone: Hobart change

Mon 15 MayDisplayed time zone: Hobart change

Tue 16 MayDisplayed time zone: Hobart change

Wed 17 MayDisplayed time zone: Hobart change

Thu 18 MayDisplayed time zone: Hobart change

Fri 19 MayDisplayed time zone: Hobart change

Sat 20 MayDisplayed time zone: Hobart change

Sun 14 MayDisplayed time zone: Hobart change

FormaliSE

FormaliSE

FormaliSE

FormaliSE

Mon 15 MayDisplayed time zone: Hobart change

FormaliSE

FormaliSE

FormaliSE

FormaliSE

Tue 16 MayDisplayed time zone: Hobart change

New Faculty Symposium

New Faculty Symposium

New Faculty Symposium

New Faculty Symposium

Wed 17 MayDisplayed time zone: Hobart change

Technical Track + Journal-First Papers + DEMO - Demonstrations

Showcase + Technical Track + SEET - Software Engineering Education and Training + NIER - New Ideas and Emerging Results

SEIP - Software Engineering in Practice + DEMO - Demonstrations + Technical Track + NIER - New Ideas and Emerging Results + Journal-First Papers

Thu 18 MayDisplayed time zone: Hobart change

Technical Track + DEMO - Demonstrations + Journal-First Papers

Technical Track + Journal-First Papers + DEMO - Demonstrations

Fri 19 MayDisplayed time zone: Hobart change

SEIP - Software Engineering in Practice + Journal-First Papers + Technical Track + DEMO - Demonstrations

SEIP - Software Engineering in Practice + Journal-First Papers + DEMO - Demonstrations

SEIP - Software Engineering in Practice + Technical Track + Journal-First Papers + SEIS - Software Engineering in Society

Sat 20 MayDisplayed time zone: Hobart change

BotSE

BotSE

BotSE

BotSE

Sun 14 MayDisplayed time zone: Hobart change

Mon 15 MayDisplayed time zone: Hobart change

Tue 16 MayDisplayed time zone: Hobart change

Wed 17 MayDisplayed time zone: Hobart change

Thu 18 MayDisplayed time zone: Hobart change

Fri 19 MayDisplayed time zone: Hobart change

Sat 20 MayDisplayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Fri 19 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Fri 19 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change

Sun 14 May
Displayed time zone: Hobart change

Mon 15 May
Displayed time zone: Hobart change

Tue 16 May
Displayed time zone: Hobart change

Wed 17 May
Displayed time zone: Hobart change

Thu 18 May
Displayed time zone: Hobart change

Fri 19 May
Displayed time zone: Hobart change

Sat 20 May
Displayed time zone: Hobart change