FormaliSE 2023
Dates to be announced
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
ICSE 2023
Keynotes
Melbourne
Victoria
Australia
Code of Conduct
Diversity and Inclusion Plan
Main Conference In-Person Presenter Instructions
Main Conference Virtual Presenter Instructions
Workshop and Co-Located Event Instructions
Session Chair Instructions
Venue Floor Map
Accommodation
Registration
Visa Letter of Invitation
Social Events
Recruitment Opportunities at ICSE 2023
IEEE Computer Society Open Conference Statement
Travel Support
Childcare Support
Program
Complete Program
Your Program
Sun 31 Dec
Track/Call
Organization
FormaliSE 2023 Committees
Track Committees
Artifact Evaluation Committee
Organization Committee
Program Committee
Contributors
People Index
Search
Series
Series
FormaliSE 2025
FormaliSE 2024
FormaliSE 2023
FormaliSE 2022
FormaliSE 2021
FormaliSE 2020
FormaliSE 2019
FormaliSE 2018
Sign in
Sign up
ICSE 2023
(
series
) /
FormaliSE 2023 (
series
) /
Melbourne Convention Exhibition Centre | MCEC
/
Room information: Meeting Room 102
Venue
Melbourne Convention Exhibition Centre | MCEC
Room name
Meeting Room 102
Floor
1
Room number
102
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+11:00) Hobart
.
Use conference time zone: (GMT+11:00) Hobart
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 / Keynote
FormaliSE 2023
at
Meeting Room 102
Chair(s):
Toby Murray
University of Melbourne
09:00
15m
Day opening
Opening
FormaliSE 2023
09:15
75m
Keynote
Leakage Logic for programs
FormaliSE 2023
Annabelle McIver
Macquarie University
11:00 - 12:30
Synthesis and AI
FormaliSE 2023
at
Meeting Room 102
Chair(s):
Mark Utting
The University of Queensland
11:00
30m
Talk
Goal Controller Synthesis for Self-Adaptive Systems
FormaliSE 2023
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 2023
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 2023
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
Specification
FormaliSE 2023
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 2023
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 2023
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 2023
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
Testing
FormaliSE 2023
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 2023
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 2023
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 2023
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
Keynote
FormaliSE 2023
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 2023
Paola Spoletini
Kennesaw State University
11:00 - 12:30
Concurrency
FormaliSE 2023
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 2023
Graeme Smith
The University of Queensland
11:30
30m
Paper
Transparent Actor Model
FormaliSE 2023
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 2023
Larissa A. Meinicke
The University of Queensland
,
Ian J. Hayes
The University of Queensland
13:45 - 15:15
Application
FormaliSE 2023
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 2023
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 2023
Baptiste Pollien
ISAE-SUPAERO
,
Christophe Garion
ISAE-SUPAERO
,
Gautier Hattenberger
ENAC
,
Pierre Roux
ONERA, ISAE
,
Xavier Thirioux
ISAE-SUPAERO
15:45 - 17:15
Closing
FormaliSE 2023
at
Meeting Room 102
14:45
30m
Day closing
Closing
FormaliSE 2023
Tue 16 May
Displayed time zone:
Hobart
change
09:00 - 10:30
Session 1
ICSE New Faculty Symposium
at
Meeting Room 102
09:00
30m
Talk
Schedule, set the scene + introductions
ICSE New Faculty Symposium
09:30
60m
Talk
Michele Lanza + Sarah Nadi
ICSE New Faculty Symposium
11:00 - 12:30
Session 2
ICSE New Faculty Symposium
at
Meeting Room 102
11:00
90m
Talk
Kevin Moran + Sonia Haiduc + Juergen Cito
ICSE New Faculty Symposium
13:45 - 15:15
Session 3
ICSE New Faculty Symposium
at
Meeting Room 102
13:45
90m
Talk
Gail Murphy + David Rosenblum + Xin Peng
ICSE New Faculty Symposium
15:45 - 17:15
Session 4
ICSE New Faculty Symposium
at
Meeting Room 102
15:45
70m
Talk
"Turn the tables" session
ICSE New Faculty Symposium
16:55
5m
Talk
Closing
ICSE New Faculty Symposium
Wed 17 May
Displayed time zone:
Hobart
change
11:00 - 12:30
Mining software repositories
ICSE Technical Track
/
ICSE Journal-First Papers
/
ICSE 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
ICSE 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
ICSE 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?
ICSE 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
ICSE DEMO - Demonstrations
Hao-Nan Zhu
University of California, Davis
,
Kevin Z. 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
ICSE 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?
ICSE 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
ICSE 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
ICSE 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 design
ICSE Showcase
/
ICSE Technical Track
/
ICSE SEET - Software Engineering Education and Training
/
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE Showcase
Stephen John Warnett
University of Vienna
,
Uwe Zdun
University of Vienna
15:00
7m
Talk
Handling Communication via APIs for Microservices
ICSE 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
ICSE 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 generation
ICSE SEIP - Software Engineering in Practice
/
ICSE DEMO - Demonstrations
/
ICSE Technical Track
/
ICSE NIER - New Ideas and Emerging Results
/
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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 1
ICSE Technical Track
/
ICSE DEMO - Demonstrations
/
ICSE 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
ICSE Technical Track
Vincenzo Riccio
University of Udine
,
Paolo Tonella
USI Lugano
Pre-print
11:15
15m
Talk
Fuzzing Automatic Differentiation in Deep-Learning Libraries
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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 AI
ICSE Technical Track
/
ICSE Journal-First Papers
/
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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' forums
ICSE SEIP - Software Engineering in Practice
/
ICSE Journal-First Papers
/
ICSE Technical Track
/
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE SEIP - Software Engineering in Practice
Rijnard van Tonder
Sourcegraph
12:00
7m
Talk
TECHSUMBOT: A Stack Overflow Answer Summarization Tool for Technical Query
ICSE 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
ICSE 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
ICSE 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 development
ICSE SEIP - Software Engineering in Practice
/
ICSE Journal-First Papers
/
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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)
ICSE 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
ICSE 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
ICSE 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
ICSE 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 testing
ICSE SEIP - Software Engineering in Practice
/
ICSE Technical Track
/
ICSE Journal-First Papers
/
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE Journal-First Papers
Muhammad Hilmi Asyrofi
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
ICSE 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
ICSE 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 Session
BotSE
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 SE
BotSE
at
Meeting Room 102
11:00
20m
Talk
Navigating Complexity in Software Engineering: A Prototype for Comparing GPT-n Solutions
Short paper
BotSE
Christoph Treude
University of Melbourne
11:20
20m
Talk
Towards Continuous Performance Assessment of Java Applications With PerfBot
Invited 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 Development
Short 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 Assistant
Short paper
BotSE
Breandan Considine
McGill University
,
Nicholas Albion
,
Xujie Si
University of Toronto
13:45 - 15:15
Session 2: Bots Design and Challenges
BotSE
at
Meeting Room 102
13:45
20m
Talk
From RSSE to BotSE: Potentials and Challenges Revisited after 15 Years
Invited Paper
BotSE
Walid Maalej
University of Hamburg
Pre-print
14:05
20m
Talk
Optimizing Workflow for Elite Developers: Perspectives on Leveraging SE Bots
Invited 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 Communication
Short 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 Report
Journal 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 Reviews
Short paper
BotSE
Nivishree Palvannan
,
Chris Brown
Virginia Tech
16:05
20m
Talk
Using Benchmarking Bots for Continuous Performance Assessment
Journal 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 Development
Journal 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 Development
Journal 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 2023
Opening / Keynote
FormaliSE 2023
Synthesis and AI
FormaliSE 2023
Specification
FormaliSE 2023
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 2023
Keynote
FormaliSE 2023
Concurrency
FormaliSE 2023
Application
FormaliSE 2023
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
ICSE New Faculty Symposium
Session 1
ICSE New Faculty Symposium
Session 2
ICSE New Faculty Symposium
Session 3
ICSE 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
ICSE Technical Track + ICSE Journal-First Papers + ICSE DEMO - Demonstrations
Mining software repositories
ICSE Showcase + ICSE Technical Track + ICSE SEET - Software Engineering Education and Training + ICSE NIER - New Ideas and Emerging Results
Software architectures and design
ICSE SEIP - Software Engineering in Practice + ICSE DEMO - Demonstrations + ICSE Technical Track + ICSE NIER - New Ideas and Emerging Results + ICSE 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
ICSE Technical Track + ICSE DEMO - Demonstrations + ICSE Journal-First Papers
AI testing 1
ICSE Technical Track + ICSE Journal-First Papers + ICSE 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
ICSE SEIP - Software Engineering in Practice + ICSE Journal-First Papers + ICSE Technical Track + ICSE DEMO - Demonstrations
Developers' forums
ICSE SEIP - Software Engineering in Practice + ICSE Journal-First Papers + ICSE DEMO - Demonstrations
Cyber-physical systems development
ICSE SEIP - Software Engineering in Practice + ICSE Technical Track + ICSE Journal-First Papers + ICSE 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
BotSE
Short paper
Navigating Complexity in Software Engineering: A Prototype for Comparin ...
11:00 - 11:20
BotSE
Invited Paper
Towards Continuous Performance Assessment of Java Applications With PerfBot
11:20 - 11:40
BotSE
Short paper
Supporting Conversational Agent-Based Software Development
11:40 - 12:00
BotSE
Short paper
Idiolect: A Reconfigurable Voice Coding Assistant
12:00 - 12:20
BotSE
Invited Paper
From RSSE to BotSE: Potentials and Challenges Revisited after 15 Years
13:45 - 14:05
BotSE
Invited Paper
Optimizing Workflow for Elite Developers: Perspectives on Leveraging SE ...
14:05 - 14:25
BotSE
Short paper
Bot With Interactions: Improving GitHub Pull-Request Feedback Through T ...
14:25 - 14:45
BotSE
Journal First
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Exp ...
14:45 - 15:05
BotSE
Short paper
Suggestion Bot: Analyzing the Impact of Automated Suggested Changes on ...
15:45 - 16:05
BotSE
Journal First
Using Benchmarking Bots for Continuous Performance Assessment
16:05 - 16:25
BotSE
Journal First
From Specialized Mechanics to Project Butlers: The Usage of Bots in Ope ...
16:25 - 16:45
BotSE
Journal First
Recognizing Bot Activity in Collaborative Software Development
16:45 - 17:05
BotSE
Closing ceremony
17:05 - 17:15
x
Sat 5 Oct 00:06