SEENG 2023
Dates to be announced
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
Program
Complete Program
Your Program
Sun 31 Dec
Track/Call
Organization
SEENG 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
SEENG 2023
SEENG 2022
Sign in
Sign up
ICSE 2023
(
series
) /
SEENG 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
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 AI
FormaliSE
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
Specification
FormaliSE
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
Testing
FormaliSE
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
Keynote
FormaliSE
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
Concurrency
FormaliSE
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
Application
FormaliSE
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
Closing
FormaliSE
at
Meeting Room 102
14:45
30m
Day closing
Closing
FormaliSE
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 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
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
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 9 Nov 00:05