MO2RE 2025
Sat 26 April - Sun 4 May 2025
Ottawa, Ontario, Canada
co-located with
ICSE 2025
Toggle navigation
Attending
Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
Venue: Offsite Special Venue
Program
MO2RE Program
Your Program
Filter by Day
Sat 26 Apr
Sun 27 Apr
Mon 28 Apr
Tue 29 Apr
Wed 30 Apr
Thu 1 May
Fri 2 May
Sat 3 May
Sun 4 May
Track/Call
Organization
MO2RE 2025 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
MO2RE 2025
MO2RE 2024
Sign in
Sign up
ICSE 2025
(
series
) /
MO2RE 2025 (
series
) /
Rogers Centre, Ottawa (formerly Shaw Centre)
/
Room information: 103
Venue
Rogers Centre, Ottawa (formerly Shaw Centre)
Room name
103
Floor
1
Room number
103
Capacity
78
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12: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 27 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Keynote
TechDebt Technical Papers
at
103
Chair(s):
Maria Teresa Baldassarre
Department of Computer Science, University of Bari
09:00
90m
Talk
Towards an Interpretable Science of Deep Learning for Engineering Quality Software: A Causal Inference View
TechDebt Technical Papers
Denys Poshyvanyk
William & Mary
11:00 - 12:30
Research Papers and Posters
TechDebt Technical Papers
at
103
11:00
30m
Research paper
Aligning Data Debt with AI-Integrated Software Project Lifecycle Processes: A Standard-Based Mapping Approach
TechDebt Technical Papers
Nilay Yorgancılar Akgül
HAVELSAN, Middle East Technical University
,
Tugba Taskaya Temizel
Middle East Technical University
,
Özden Özcan Top
Middle East Technical University
,
Pelin Dayan Akman
Middle East Technical University
11:30
30m
Research paper
Automating Technical Debt Management: Insights from Practitioner Discussions in Stack Exchange
TechDebt Technical Papers
João Paulo Biazotto
University of Groningen and University of São Paulo
,
Daniel Feitosa
University of Groningen
,
Paris Avgeriou
Univ. of Gronningen
,
Elisa Yumi Nakagawa
University of São Paulo
12:00
10m
Poster
Experiences with Technical Debt and its Root Causes in a Merged Industrial Company
TechDebt Technical Papers
Magnus Drewsen Jørgensen
,
Nina Wiborg Mølgaard
Mjølner Informatics
,
Morten Jokumsen
Mjølner Informatics
,
Jens Bæk Jørgensen
Mjølner Informatics
,
Henrik Bærbak Christensen
12:10
10m
Poster
ACE: Automated Technical Debt Remediation with Validated Large Language Model Refactorings
TechDebt Technical Papers
Adam Tornhill
Empear AB
,
Markus Borg
CodeScene
12:20
10m
Talk
Lighting Talk: Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level Maintenance?
TechDebt Technical Papers
Shaiful Chowdhury
University of Manitoba
,
Hisham Kidwai
University of Manitoba
,
Muhammad Asaduzzman
University of Windsor
14:00 - 15:30
Research Papers and Posters
TechDebt Industry Track
/
TechDebt Technical Papers
at
103
14:00
30m
Paper
The TechDebt Game - Enabling Discussions about Technical Debt
TechDebt Technical Papers
Marion Wiese
University of Hamburg, Germany
,
Angelina Heinrichs
University of Hamburg
,
Nino Rusieshvilli
University of Hamburg
,
Rodrigo Rebouças de Almeida
Federal University of Paraiba
,
Klara Borowa
Warsaw University of Technology
14:30
10m
Industry talk
Perspective-Taking as a Strategy to Manage Technical Debt
TechDebt Industry Track
Kezia Devathasan
University of Victoria
,
Mike Rowling
Felix Payment Systems
14:40
10m
Industry talk
A Quantitative Approach to Measuring Technical Debt: The Technical Debt Index (TDI)
TechDebt Industry Track
Nitin Gupta
Assembly Digital and the University of Victoria
14:50
10m
Industry talk
Automating Dead Code Cleanup: Challenges Beyond the Code Diego Marcilio
TechDebt Industry Track
Diego Marcilio
Uber
15:00
10m
Industry talk
Addressing Technical Debt through Collaboration
TechDebt Industry Track
Steven D. Fraser
Innoxec
15:10
20m
Panel
War Stories in TechDebt
TechDebt Industry Track
Reed Milewicz
Sandia National Laboratories
,
Fatemeh Hendijani Fard
University of British Columbia
Mon 28 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Keynote
TechDebt Technical Papers
at
103
Chair(s):
Roberto Verdecchia
University of Florence
09:00
90m
Talk
Leveraging Research to Inform Structural Technical Debt Management
TechDebt Technical Papers
Ciera Jaspan
Google
,
Collin Green
Google
11:00 - 12:30
Research papers and MIP
TechDebt Technical Papers
at
103
11:00
30m
Research paper
Most Influential Paper: Detecting and Quantifying Different Types of Self-Admitted Technical Debt
TechDebt Technical Papers
Everton Maldonado
Concordia University, Montreal, Canada
,
Emad Shihab
Concordia University
11:30
30m
Research paper
Exploring Fairness Debt Through Evidence from Studies on Algorithmic Discrimination
TechDebt Technical Papers
Fardin Aryan
University of Calgary
,
Lucas Valença
University of Calgary
,
Ronnie de Souza Santos
University of Calgary
12:00
30m
Research paper
Requirements Technical Debt Through the Lens of Environment Assumptions
TechDebt Technical Papers
Mounifah Alenazi
University of Hafr Al Batin
14:00 - 15:30
TechDebt Technical Papers
at
103
14:00
10m
Talk
Lighting Talk: Leveraging Context Information for Self-Admitted Technical Debt Detection
TechDebt Technical Papers
Miki Yonekura
Nara Institute of Science and Technology
,
Yutaro Kashiwa
Nara Institute of Science and Technology
,
Bin Lin
Radboud University
,
Kenji Fujiwara
Nara Women’s University
,
Hajimu Iida
Nara Institute of Science and Technology
14:10
60m
Talk
Reframing Technical Debt - Insights from the Dagstuhl Perspectives Workshop
TechDebt Technical Papers
15:10
10m
Town Hall
TechDebt Technical Papers
15:20
10m
Day closing
Awards & Closing & TechDebt 2026
TechDebt Technical Papers
Tue 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Tutorial 1 (Part 1)
ICSE Tutorials and Technical Briefings
at
103
09:00
90m
Tutorial
Tutorial 1: Quantum Software Testing
Testing and QA
Quantum
ICSE Tutorials and Technical Briefings
11:00 - 12:30
Tutorial 1 (Part 2)
ICSE Tutorials and Technical Briefings
at
103
11:00
90m
Tutorial
Tutorial 1: Quantum Software Testing
Testing and QA
Quantum
ICSE Tutorials and Technical Briefings
14:00 - 15:30
Tutorial 2 (Part 1)
ICSE Tutorials and Technical Briefings
at
103
14:00
90m
Tutorial
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification
SE for AI
Requirements
Human/Social
Real-Time+Safety
ICSE Tutorials and Technical Briefings
16:00 - 17:30
Tutorial 2 (Part 2)
ICSE Tutorials and Technical Briefings
at
103
16:00
90m
Tutorial
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification
SE for AI
Requirements
Human/Social
Real-Time+Safety
ICSE Tutorials and Technical Briefings
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:30
Formal Methods 1
ICSE Research Track
/
ICSE New Ideas and Emerging Results (NIER)
at
103
11:00
15m
Talk
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
ICSE Research Track
Lezhi Ma
Nanjing University
,
Shangqing Liu
Nanyang Technological University
,
Yi Li
Nanyang Technological University
,
Xiaofei Xie
Singapore Management University
,
Lei Bu
Nanjing University
11:15
15m
Talk
Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated Formal Verification
ICSE Research Track
Yizhou Chen
Peking University
,
Zeyu Sun
Institute of Software, Chinese Academy of Sciences
,
Guoqing Wang
Peking University
,
Dan Hao
Peking University
11:30
15m
Talk
AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
ICSE New Ideas and Emerging Results (NIER)
Long Doan
George Mason University
,
ThanhVu Nguyen
George Mason University
11:45
15m
Talk
Formally Verified Binary-level Pointer Analysis
ICSE Research Track
Freek Verbeek
Open Universiteit & Virginia Tech
,
Ali Shokri
Virginia Tech
,
Daniel Engel
Open University Of The Netherlands
,
Binoy Ravindran
Virginia Tech
12:00
15m
Talk
EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework
ICSE Research Track
ziji wu
National University of Defense Technology
,
yu huang
National University of Defense Technology
,
peishan huang
National University of Defense Technology
,
shanghua wen
National University of Defense Technology
,
minglong li
National University of Defense Technology
,
Ji Wang
National University of Defense Technology
12:15
7m
Talk
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
ICSE New Ideas and Emerging Results (NIER)
Junjie Sheng
East China Normal University
,
Yanqiu Lin
East China Normal University
,
Jiehao Wu
East China Normal University
,
Yanhong Huang
East China Normal University
,
Jianqi Shi
East China Normal University
,
Min Zhang
East China Normal University
,
Xiangfeng Wang
East China Normal University
12:22
7m
Talk
Listening to the Firehose: Sonifying Z3’s Behavior
ICSE New Ideas and Emerging Results (NIER)
Finn Hackett
University of British Columbia
,
Ivan Beschastnikh
University of British Columbia
16:00 - 17:30
Formal Methods 2
ICSE Research Track
/
ICSE New Ideas and Emerging Results (NIER)
/
ICSE Journal-first Papers
at
103
16:00
15m
Talk
ConsCS: Effective and Efficient Verification of Circom Circuits
ICSE Research Track
Jinan Jiang
The Hong Kong Polytechnic University
,
Xinghao Peng
,
Jinzhao Chu
The Hong Kong Polytechnic University
,
Xiapu Luo
Hong Kong Polytechnic University
16:15
15m
Talk
Constrained LTL Specification Learning from Examples
ICSE Research Track
Changjian Zhang
Carnegie Mellon University
,
Parv Kapoor
Carnegie Mellon University
,
Ian Dardik
Carnegie Mellon University
,
Leyi Cui
Columbia University, New York
,
Romulo Meira-Goes
The Pennsylvania State University
,
David Garlan
Carnegie Mellon University
,
Eunsuk Kang
Carnegie Mellon University
16:30
15m
Talk
LLM-aided Automatic Modeling for Security Protocol Verification
ICSE Research Track
Ziyu Mao
Zhejiang University
,
Jingyi Wang
Zhejiang University
,
Jun Sun
Singapore Management University
,
Shengchao Qin
Xidian University
,
Jiawen Xiong
East China Normal University
16:45
15m
Talk
Model Assisted Refinement of Metamorphic Relations for Scientific Software
ICSE New Ideas and Emerging Results (NIER)
Clay Stevens
Iowa State University
,
Katherine Kjeer
Iowa State University
,
Ryan Richard
Iowa State University
,
Edward Valeev
Virginia Tech
,
Myra Cohen
Iowa State University
17:00
15m
Talk
Precisely Extracting Complex Variable Values from Android Apps
ICSE Journal-first Papers
Marc Miltenberger
Fraunhofer SIT; ATHENE
,
Steven Arzt
Fraunhofer SIT; ATHENE
17:15
7m
Talk
A Unit Proofing Framework for Code-level Verification: A Research Agenda
ICSE New Ideas and Emerging Results (NIER)
Paschal Amusuo
Purdue University
,
Parth Vinod Patil
Purdue University
,
Owen Cochell
Michigan State University
,
Taylor Le Lievre
Purdue University
,
James C. Davis
Purdue University
Pre-print
17:22
7m
Talk
Automated Testing Linguistic Capabilities of NLP Models
ICSE Journal-first Papers
Jaeseong Lee
The University of Texas at Dallas
,
Simin Chen
University of Texas at Dallas
,
Austin Mordahl
The University of Texas at Dallas
,
Cong Liu
University of California, Riverside
,
Wei Yang
UT Dallas
,
Shiyi Wei
University of Texas at Dallas
Sun 27 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
103
TechDebt Technical Papers
Keynote
TechDebt Technical Papers
Research Papers and Posters
TechDebt Industry Track + TechDebt Technical Papers
Research Papers and Posters
TechDebt Technical Papers
Mon 28 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
103
TechDebt Technical Papers
Keynote
TechDebt Technical Papers
Research papers and MIP
TechDebt Technical Papers
TechDebt Technical Papers
Tue 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
103
ICSE Tutorials and Technical Briefings
Tutorial 1 (Part 1)
ICSE Tutorials and Technical Briefings
Tutorial 1 (Part 2)
ICSE Tutorials and Technical Briefings
Tutorial 2 (Part 1)
ICSE Tutorials and Technical Briefings
Tutorial 2 (Part 2)
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
103
ICSE Research Track + ICSE New Ideas and Emerging Results (NIER)
Formal Methods 1
ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers
Formal Methods 2
Sun 27 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
103
TechDebt Technical Papers
Towards an Interpretable Science of Deep Learning for Engineering Quali ...
09:00 - 10:30
TechDebt Technical Papers
Aligning Data Debt with AI-Integrated Software Project Lifecycle Proces ...
11:00 - 11:30
TechDebt Technical Papers
Automating Technical Debt Management: Insights from Practitioner Discus ...
11:30 - 12:00
TechDebt Technical Papers
Experiences with Technical Debt and its Root Causes in a Merged Industr ...
12:00 - 12:10
TechDebt Technical Papers
ACE: Automated Technical Debt Remediation with Validated Large Language ...
12:10 - 12:20
TechDebt Technical Papers
Lighting Talk: Evidence is All We Need: Do Self-Admitted Technical Debt ...
12:20 - 12:30
TechDebt Technical Papers
The TechDebt Game - Enabling Discussions about Technical Debt
14:00 - 14:30
TechDebt Industry Track
Perspective-Taking as a Strategy to Manage Technical Debt
14:30 - 14:40
TechDebt Industry Track
A Quantitative Approach to Measuring Technical Debt: The Technical Debt ...
14:40 - 14:50
TechDebt Industry Track
Automating Dead Code Cleanup: Challenges Beyond the Code Diego Marcilio
14:50 - 15:00
TechDebt Industry Track
Addressing Technical Debt through Collaboration
15:00 - 15:10
TechDebt Industry Track
War Stories in TechDebt
15:10 - 15:30
Mon 28 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
103
TechDebt Technical Papers
Leveraging Research to Inform Structural Technical Debt Management
09:00 - 10:30
TechDebt Technical Papers
Most Influential Paper: Detecting and Quantifying Different Types of Se ...
11:00 - 11:30
TechDebt Technical Papers
Exploring Fairness Debt Through Evidence from Studies on Algorithmic Di ...
11:30 - 12:00
TechDebt Technical Papers
Requirements Technical Debt Through the Lens of Environment Assumptions
12:00 - 12:30
TechDebt Technical Papers
Lighting Talk: Leveraging Context Information for Self-Admitted Technic ...
14:00 - 14:10
TechDebt Technical Papers
Reframing Technical Debt - Insights from the Dagstuhl Perspectives Workshop
14:10 - 15:10
TechDebt Technical Papers
Town Hall
15:10 - 15:20
TechDebt Technical Papers
Awards & Closing & TechDebt 2026
15:20 - 15:30
Tue 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
103
ICSE Tutorials and Technical Briefings
Testing and QA
Quantum
Tutorial 1: Quantum Software Testing
09:00 - 10:30
ICSE Tutorials and Technical Briefings
Testing and QA
Quantum
Tutorial 1: Quantum Software Testing
11:00 - 12:30
ICSE Tutorials and Technical Briefings
SE for AI
Requirements
Human/Social
Real-Time+Safety
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirement ...
14:00 - 15:30
ICSE Tutorials and Technical Briefings
SE for AI
Requirements
Human/Social
Real-Time+Safety
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirement ...
16:00 - 17:30
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
103
ICSE Research Track
SpecGen: Automated Generation of Formal Program Specifications via Larg ...
11:00 - 11:15
ICSE Research Track
Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated ...
11:15 - 11:30
ICSE New Ideas and Emerging Results (NIER)
AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
11:30 - 11:45
ICSE Research Track
Formally Verified Binary-level Pointer Analysis
11:45 - 12:00
ICSE Research Track
EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Fram ...
12:00 - 12:15
ICSE New Ideas and Emerging Results (NIER)
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Gener ...
12:15 - 12:22
ICSE New Ideas and Emerging Results (NIER)
Listening to the Firehose: Sonifying Z3’s Behavior
12:22 - 12:29
ICSE Research Track
ConsCS: Effective and Efficient Verification of Circom Circuits
16:00 - 16:15
ICSE Research Track
Constrained LTL Specification Learning from Examples
16:15 - 16:30
ICSE Research Track
LLM-aided Automatic Modeling for Security Protocol Verification
16:30 - 16:45
ICSE New Ideas and Emerging Results (NIER)
Model Assisted Refinement of Metamorphic Relations for Scientific Software
16:45 - 17:00
ICSE Journal-first Papers
Precisely Extracting Complex Variable Values from Android Apps
17:00 - 17:15
ICSE New Ideas and Emerging Results (NIER)
A Unit Proofing Framework for Code-level Verification: A Research Agenda
17:15 - 17:22
ICSE Journal-first Papers
Automated Testing Linguistic Capabilities of NLP Models
17:22 - 17:29
x
Tue 18 Mar 22:47
:
: