ICSE 2024
Fri 12 - Sun 21 April 2024
Lisbon, Portugal
Toggle navigation
Attending
Congress and Conference Centre: Centro Cultural de Belém
Code of Conduct
Equity, Diversity, and Inclusion Plan
Registration
Travel Support
Visa
Accomodation
Transportation
Banquet at LX Factory
Keynotes
Sustainability
Instructions for Authors Presenting at ICSE 2024
Guidelines for Creating a Poster
Sponsorship
Sponsors and Supporters
Sponsorships Opportunities
Program
Complete Program
Your Program
Awards
Filter by Day
Fri 12 Apr
Sat 13 Apr
Sun 14 Apr
Mon 15 Apr
Tue 16 Apr
Wed 17 Apr
Thu 18 Apr
Fri 19 Apr
Sat 20 Apr
Sun 21 Apr
Tracks
ICSE 2024
ICSE Keynotes
Research Track
Social Events
Workshops
New Ideas and Emerging Results
Artifact Evaluation
Industry Challenge Track
Demonstrations
Software Engineering Education and Training
Software Engineering in Practice
Software Engineering in Society
Doctoral Symposium
Posters
Journal-first Papers
SMeW - Student Mentoring Workshop
New Faculty Symposium
SRC - ACM Student Research Competition
Technical Briefings
Student Volunteers
Submitting to ICSE2024: Q&A
Co-hosted Conferences
AST
CAIN
CAIN
CAIN
Research and Experience Papers
CAIN
Industry Talks
CAIN
Doctoral Symposium
CAIN
Posters
CHASE
CHASE
CHASE
Full Papers
CHASE
Short Papers
CHASE
Journal-First
FORGE
FORGE
FORGE
Keynotes
FORGE
Panel
FORGE
Research Track
FormaliSE
ICPC
ICPC
ICPC
Vaclav Rajlich Early Career Award
ICPC
Keynotes
ICPC
Research Track
ICPC
Journal First
ICPC
Early Research Achievements (ERA)
ICPC
Replications and Negative Results (RENE)
ICPC
Tool Demonstration
KLEE
MOBILESoft
MOBILESoft
MOBILESoft
Research Track
MOBILESoft
Research Forum Track
MSR
MSR
MSR
Technical Papers
MSR
Data and Tool Showcase Track
MSR
Mining Challenge
MSR
Registered Reports
MSR
Tutorials
MSR
Vision and Reflection
MSR
FOSS Award
MSR
Industry Track
MSR
Junior PC
MSR
Keynotes
MSR
MIP Award
MSR
Awards
MSR
Social Events
SEAMS
SEAMS
SEAMS
Research Track
SEAMS
Artifact Track
TechDebt
TechDebt
TechDebt
Technical papers
TechDebt
Industry track
TechDebt
Emerging Researchers' Forum
TechDebt
Plenary
Workshops
APR
DeepTest
Designing
EnCyCriS/SVM
ExEn
FTW
FinanSE
GAS
GE@ICSE
GI@ICSE
IDE
IWSiB
InteNSE
Workshop
LLM4Code
MO2RE
NLBSE
Q-SE
RAIE
RoSE
SATrends
SATrends
SATrends
SBFT
SERP4IoT
SESoS
WSESE
Organization
ICSE 2024 Committees
Organising Committee
Track Committees
Research Track
Workshops
New Ideas and Emerging Results
Artifact Evaluation
Industry Challenge Track
Demonstrations
Demonstrations
Program Committee
Software Engineering Education and Training
Software Engineering in Practice
Software Engineering in Society
Doctoral Symposium
Doctoral Symposium
Mentors and Panel Members
Program Committee
Posters
Journal-first Papers
SMeW - Student Mentoring Workshop
Organizing Committee
SMeW Steering Committee
Mentoring Panel
Community Mentors
New Faculty Symposium
SRC - ACM Student Research Competition
ACM Student Research Competition
Judges
Technical Briefings
Student Volunteers
Contributors
People Index
Co-hosted Conferences
AST
Organizing Committee
Program Committee
Steering Committee
CAIN
Organizing Committee
Steering Committee
Research and Experience Papers
Industry Talks
Doctoral Symposium
Posters
CHASE
Organizing Committee
Full Papers
Program chairs
Full Papers
Program Committee
Short Papers
Program chairs
Short Papers
Program Committee
Journal-First
FORGE
Organization Committee
Program Committee
FormaliSE
Organization Committee
Program Committee
Artifact Evaluation Committee
ICPC
Organizing Committee
Steering Committee
Vaclav Rajlich Early Career Award
Research Track
Journal First
Early Research Achievements (ERA)
Replications and Negative Results (RENE)
Tool Demonstration
KLEE
Program Committee
MOBILESoft
Organizing Committee
Research Track
Research Forum Track
MSR
Organizing Committee
Technical Papers
Data and Tool Showcase Track
Mining Challenge
Registered Reports
Tutorials
Vision and Reflection
FOSS Award
Industry Track
Junior PC
MSR Awards
SEAMS
Organizing Committee
MIP Award Committee
Research Track
Artifact Track
TechDebt
Organizing Committee
Steering Committee
Technical papers
Industry track
Emerging Researchers' Forum
Workshops
APR
N/A - check homepage
DeepTest
Organising Committee
Program Committee
Designing
N/A - check homepage
EnCyCriS/SVM
Organization Committee
Program Committee
ExEn
N/A - check homepage
FTW
Organizers
Program Committee
FinanSE
N/A - check homepage
GAS
N/A - check homepage
GE@ICSE
Organising Committee
Program committee
GI@ICSE
Organizing Committee
IDE
N/A - check homepage
IWSiB
N/A - check homepage
InteNSE
N/A - check homepage
LLM4Code
N/A - check homepage
MO2RE
N/A - check homepage
NLBSE
N/A - check homepage
Q-SE
Organizing Committee
Program Committee
RAIE
Organizing Committee
Programme Committee
Publicity and Web Chair
RoSE
N/A - check homepage
SATrends
Organising Committee
Program Committee
SBFT
Organizing Committee
Program Committee
SERP4IoT
Program Committee
SESoS
Organizing Committee
Steering Committee
Proceedings Chair
Publicity Chairs
Program Committee
WSESE
N/A - check homepage
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2024
(
series
) /
KLEE 2024 (
series
) /
KLEE 2024
/
Find Your Path: SoK on Path Selection Strategies in Symbolic Execution
Who
Dairo De Ruck
,
Jorn Lapon
,
Vincent Naessens
Track
KLEE 2024
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
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
Tue 16 Apr 2024 14:00 - 14:22 at
Maria Helena Vieira da Silva
-
Taming Path Explosion and Non-determinism
Chair(s):
Frank Busse
Dairo De Ruck
Presenter
DistriNet-KU Leuven
Jorn Lapon
DistriNet-KU Leuven
Vincent Naessens
DistriNet-KU Leuven
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
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
Tue 16 Apr
Displayed time zone:
Lisbon
change
14:00 - 15:30
Taming Path Explosion and Non-determinism
KLEE
at
Maria Helena Vieira da Silva
Chair(s):
Frank Busse
Imperial College London
14:00
22m
Talk
Find Your Path: SoK on Path Selection Strategies in Symbolic Execution
KLEE
P:
Dairo De Ruck
DistriNet-KU Leuven
,
Jorn Lapon
DistriNet-KU Leuven
,
Vincent Naessens
DistriNet-KU Leuven
14:22
22m
Talk
Accelerating Symbolic Execution by Targeted Control-flow Transformations
KLEE
Charitha Saumya
Purdue University
,
P:
Rohan Gangaraju
Purdue University
,
Kirshanthan Sundararajah
Virginia Tech
,
Milind Kulkarni
Purdue University
14:44
22m
Talk
Deferring Branches to Speed Up Symbolic Execution
KLEE
P:
Eric Lu
,
Eddie Kohler
Harvard University
15:06
22m
Talk
Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations
KLEE
P:
Martin Nowack
Imperial College London
x
Tue 12 Nov 22:11