ICSE 2025
47th International Conference
on Software Engineering
Sun
27 April -
Sat
3 May 2025
Ottawa
, Ontario, Canada
Sat 26 April - Sun 4 May 2025
Ottawa, Ontario, Canada
Toggle navigation
Attending
Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
Venue: Offsite Special Venue
Reception venue: National Arts Centre
Registration
Virtual Attendance
Presenting at ICSE 2025
Food at ICSE2025
Fun Activities
Social media
Hotels
Getting Around Ottawa
Visa and Travel Authorization
Travelling to Ottawa
Travel Support
Code of Conduct
Equity, Diversity, and Inclusion
Sustainability
FAQ
Sponsors
ICSE 2025 Sponsors
IEEE Computer Society and TCSE
ACM and SIGSOFT
University of Ottawa
Carleton University
IBM
Elsevier
Applying to Be a Sponsor of ICSE 2025
Program
ICSE Program
Your Program
Proceedings
Program Overview
Keynotes
Panels
Panels
Panel 2: Escaped from the Lab! Does ICSE Research Make a Difference?
Panel 1: The Future of Software Engineering Beyond the Hype of AI
Tutorials
Technical Briefings
Meetings and BOF events
Receptions and Banquet
Networking Events
Recreational Activities
SWEBOK Summit
CyBOK BOF
IEEE TSE 50th Anniversary
EU Horizon Program Session
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
Tracks
ICSE 2025
Main Plenaries
Panels and Special Sessions
Research Track
SE In Practice (SEIP)
SE in Society (SEIS)
New Ideas and Emerging Results (NIER)
Journal-first Papers
Demonstrations
Artifact Evaluation
Industry Challenge Track
Software Engineering Education
Posters
Doctoral Symposium
Shadow PC
Workshops
Tutorials and Technical Briefings
New Faculty Symposium
Symposium on Software Engineering in the Global South (SEiGS)
SRC - ACM Student Research Competition
Social, Networking and Special Rooms
Meetings and BOFs
Student Mentoring Workshop (SMeW)
Student Volunteers
Co-hosted Conferences
AST
Automation of Software Test
CAIN
SE for Artificial Intelligence
CAIN
CAIN
SE for Artificial Intelligence Research and Experience Papers
CAIN
SE for Artificial Intelligence Doctoral Symposium
CAIN
SE for Artificial Intelligence Industry Talks
CAIN
SE for Artificial Intelligence Posters
CAIN
SE for Artificial Intelligence Scope
CHASE
Cooperative and Human Aspects of SE
CHASE
CHASE
Cooperative and Human Aspects of SE Research Track
CHASE
Cooperative and Human Aspects of SE Journal First and Journal Fast
CHASE
Cooperative and Human Aspects of SE Doctoral and Early Career Symposium (DECS)
CSEE&T
Software Engineering Education
FORGE
AI Foundation Models and SE
FORGE
FORGE
AI Foundation Models and SE Research Papers
FORGE
AI Foundation Models and SE Industry Papers
FORGE
AI Foundation Models and SE Data and Benchmarking
FORGE
AI Foundation Models and SE Tutorials
FORGE
AI Foundation Models and SE Keynotes
FormaliSE
FormaliSE
Research Track
FormaliSE
Artifact Track
ICPC
Program Comprehension
ICPC
ICPC
Program Comprehension Early Research Achievements (ERA)
ICPC
Program Comprehension Vaclav Rajlich Early Career Award
ICPC
Program Comprehension Journal First
ICPC
Program Comprehension Replications and Negative Results (RENE)
ICPC
Program Comprehension Research Track
ICPC
Program Comprehension Tool Demonstration
ICSR
Software Reuse
MOBILESoft
Mobile SE and Systems
MOBILESoft
MOBILESoft
Mobile SE and Systems Research Track
MOBILESoft
Mobile SE and Systems App Track
MSR
Mining Software Repositories
MSR
MSR
Mining Software Repositories Data and Tool Showcase Track
MSR
Mining Software Repositories FOSS Award
MSR
Mining Software Repositories Industry Track
MSR
Mining Software Repositories Junior PC
MSR
Mining Software Repositories Keynotes
MSR
Mining Software Repositories MIP Award
MSR
Mining Software Repositories Awards
MSR
Mining Software Repositories Mining Challenge
MSR
Mining Software Repositories Program
MSR
Mining Software Repositories Registered Reports
MSR
Mining Software Repositories Technical Papers
MSR
Mining Software Repositories Tutorials
MSR
Mining Software Repositories Vision and Reflection
SEAMS
Adaptive And Self-Managing Systems
SEAMS
SEAMS
Adaptive And Self-Managing Systems Research Track
SEAMS
Adaptive And Self-Managing Systems Artifact Track
TechDebt
Technical Debt
TechDebt
TechDebt
Technical Debt Industry Track
TechDebt
Technical Debt Technical Papers
TechDebt
Technical Debt Journal First
TechDebt
Technical Debt Junior Program Committee
Workshops
AIOps
AI for Cloud Service
APR
Automated Program Repair
BotSE
Bots in SE
DeepTest
Deep Learning <-> Testing
Designing
Software Design
EnCyCriS
Cybersecurity of Critical Systems
FTW
Flaky Tests Workshop
FinanSE
SE Challenges in Financial Firms
GAS
Games and SE
GE@ICSE
Gender Equality
GI
Genetic Improvement
GREENS
Green and Sustainable Software
Gamify
Gamification in Development + V & V
IDE
Integrated Development Environments
IWSiB
Software-Intensive Business
LLM4Code
Large Language Models for Code
MO2RE
Multi-Discip. Requirements Engineering
NLBSE
Natural Language Based SE
NSE
Neuro-Symbolic SE
Q-SE
Quantum SE
RAIE
Responsible AI Engineering
RAISE
Requirements Engg. for AI-Powered SW
RoSE
Robotics Software Engineering
SATrends
Software Architecture Trends
SBFT
Search-Based and Fuzz testing
SE4ADS
SE for Autonomous Driving Systems
SERP4IoT
SE for the Internet of Things
SESoS
Systems of Systems and Ecosystems
STATIC
Advancing Static Analysis
SVM
Software Vulnerability Management
WETSEB
SE for Blockchain
WSESE
Empirical Studies in SE
Organization
ICSE Steering Committee
ICSE 2025 Committees
Organizing Committee
Track Committees
Research Track
SE In Practice (SEIP)
SE in Society (SEIS)
New Ideas and Emerging Results (NIER)
Journal-first Papers
Demonstrations
Demonstrations
Program Committee
Artifact Evaluation
Industry Challenge Track
Posters
Doctoral Symposium
Doctoral Symposium
Program Committee
Shadow PC
Workshops
Tutorials and Technical Briefings
New Faculty Symposium
Symposium on Software Engineering in the Global South (SEiGS)
Organizing Committee
Program Committee
SRC - ACM Student Research Competition
Student Mentoring Workshop (SMeW)
Student Mentoring Workshop Organizing Committee
Student Mentoring Workshop Steering Committee
Panel
Mentoring Pods
Student Volunteers
Contributors
People Index
Co-hosted Conferences
AST
Automation of Software Test
Organizing Committee
Program Committee
Steering Committee
CAIN
SE for Artificial Intelligence
Organizing Committee
Steering Committee
Research and Experience Papers
Doctoral Symposium
Industry Talks
Posters
CHASE
Cooperative and Human Aspects of SE
Organizing Committee
Research Track
Doctoral and Early Career Symposium (DECS)
CSEE&T
Organizing Committee
Organization Committee
Program Committee
FORGE
AI Foundation Models and SE
Organization Committee
Research Papers
Industry Papers
Data and Benchmarking
Tutorials
FormaliSE
Research Track
Organization Committee
Research Track
Program Committee
Artifact Track
ICPC
Program Comprehension
Organizing Committee
Steering Committee
Early Research Achievements (ERA)
Vaclav Rajlich Early Career Award
Journal First
Replications and Negative Results (RENE)
Research Track
Tool Demonstration
ICSR
Software Reuse
Organizing Committee
Organization committee
Program Committee
MOBILESoft
Mobile SE and Systems
Organizing Committee
Research Track
App Track
Organizing Committee
App Track
Program Committee
MSR
Mining Software Repositories
Organizing Committee
Data and Tool Showcase Track
FOSS Award
Industry Track
Junior PC
MSR Awards
Mining Challenge
Registered Reports
Technical Papers
Tutorials
Vision and Reflection
SEAMS
Adaptive And Self-Managing Systems
Organizing Committee
MIP Award Committee
Research Track
Artifact Track
TechDebt
Technical Debt
Organizing Committee
Industry Track
Technical Papers
Junior Program Committee
Workshops
AIOps
N/A - check homepage
APR
Organizing Committee
Program Committee
BotSE
Organizing Committee
Publicity Chair
Web Chair
Program Committee
DeepTest
Organizing Committee
Program Committee
Designing
Organizing Committee
Program Committee
EnCyCriS
Organization Committee
Program Committee
FTW
Organizing Committee
Steering Committee
Program Committee
FinanSE
Organizing Committee
Keynote Speaker
Program Committee
GAS
Co-organizers
GE@ICSE
Organizing committee
Program Committee
GI
Organizing Committee
Program Committee
GREENS
Steering Committee
Workshop Chairs
Web and Proceedings Chair
Program Committee
Gamify
Organizing Committee
Proceedings Chair
Publicity and Web Chair
IDE
Organizing Committee
Program Committee
IWSiB
Software-Intensive Business
Organizing committee
Program Committee
LLM4Code
N/A - check homepage
MO2RE
Organizing Committee
NLBSE
N/A - check homepage
NSE
Organising Committee
Program Committee
Q-SE
Organizing Committee
Program Committee
RAIE
Organizing Committee
Program Committee
Publicity and Web Chair
RAISE
Organizing Committee
Program Committee
RoSE
RoSE 2025 OC
RoSE 2025 PC
SATrends
Organising Committee
Program Committee
SBFT
N/A - check homepage
SE4ADS
Organizing Committee
Program Committee
Web & Publicity Chair
SERP4IoT
Program Committee
SESoS
Organizing Committee
Steering Committee
Proceedings Chair
Publicity Chairs
Program Committee
STATIC
Organizing Committee
Program Committee
SVM
Organizing Committee
Organizing Committee
Proceedings Chair
Program Committee
WETSEB
N/A - check homepage
WSESE
Organizing Committee
Web Chair
Proceedings Chair
Program Committee
Search
Series
Series
ICSE 2026
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2025
(
series
) /
MO2RE 2025 (
series
) /
MO2RE 2025
/
A Taxonomy of Real-World Defeaters in Safety Assurance Cases
Who
Usman Gohar
,
Michael Hunter
,
Myra Cohen
,
Robyn Lutz
Track
MO2RE 2025 Multi-Discip. Requirements Engineering
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
When
Sun 27 Apr 2025 11:30 - 12:00 at
212
-
Session 2: Requirements and Norms
Usman Gohar
Dept. of Computer Science, Iowa State University
United States
Michael Hunter
Iowa State University
Myra Cohen
Iowa State University
United States
Robyn Lutz
Iowa State University
United States
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
Session Program
Sun 27 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:30
Session 2: Requirements and Norms
MO2RE
at
212
11:00
30m
Talk
Untangling Shared Phenomena for Improving Analysis of Normative Requirements
MO2RE
Junwei Quan
University of Toronto
,
Lina Marsso
École Polytechnique de Montréal
,
Dalal Alrajeh
Imperial College London
,
Marsha Chechik
University of Toronto
11:30
30m
Talk
A Taxonomy of Real-World Defeaters in Safety Assurance Cases
MO2RE
Usman Gohar
Dept. of Computer Science, Iowa State University
,
Michael Hunter
Iowa State University
,
Myra Cohen
Iowa State University
,
Robyn Lutz
Iowa State University
12:00
30m
Panel
Activity (part 2)
MO2RE
x
Mon 7 Jul 13:41
:
:
:
:
