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
ICSE 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
) /
Romain Soulat
ICSE 2024 profile
conf.research.org general profile
POPL 2019 profile
Not registered as user yet
Name:
Romain Soulat
Contributions
2024
KLEE
An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
Show activities from other conferences
Share
ICSE 2024-profile
View general profile
x
Thu 21 Nov 22:17