ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Wed 17 Apr 2024 16:00 - 17:30 at Open Space - SRC Posters Chair(s): Mattia Fazzini, André Restivo
Thu 18 Apr 2024 11:48 - 12:00 at Vianna da Motta - SRC Presentations Chair(s): Mattia Fazzini, André Restivo

Safety assurance of autonomous vehicles (AVs) is particularly challenging when considering the infinite number of scenarios an AV may encounter. As such, existing scenario generation approaches optimize search to derive dangerous refinements of a (same) abstract scenario given as input. In this paper, we propose a scenario generation approach that derives dangerous (collision-inducing) concrete scenarios from arbitrary abstract scenarios (under reasonable assumptions). As added novelty, our approach allows to compare the level of danger offered by different scenarios at abstract levels. We evaluate the collision avoidance capacity of the Transfuser AV controller by generating, then simulating, collision-inducing 2-actor scenarios at a road junction. Results show that distinctions at higher abstraction levels yield measurable differences in simulation.

Wed 17 Apr

Displayed time zone: Lisbon change

16:00 - 17:30
SRC PostersSRC - ACM Student Research Competition at Open Space
Chair(s): Mattia Fazzini University of Minnesota, André Restivo LIACC, Universidade do Porto, Porto, Portugal
16:00
90m
Poster
Program Decomposition and Translation with Static Analysis
SRC - ACM Student Research Competition
Ali Reza Ibrahimzada University of Illinois Urbana-Champaign
DOI Pre-print File Attached
16:00
90m
Poster
IntTracer: Sanitization-aware IO2BO Vulnerability Detection across Codebases
SRC - ACM Student Research Competition
Xiang Chen Shanghai Jiao Tong University
16:00
90m
Poster
Vulnerability Root Cause Function Locating For Java Vulnerabilities
SRC - ACM Student Research Competition
Lyuye Zhang Nanyang Technological University
16:00
90m
Poster
Flakiness Repair in the Era of Large Language Models
SRC - ACM Student Research Competition
Yang Chen University of Illinois at Urbana-Champaign
16:00
90m
Poster
Refining Abstract Specifications into Dangerous Traffic Scenarios
SRC - ACM Student Research Competition
Aren Babikian McGill University
16:00
90m
Poster
An Ensemble Method for Bug Triaging using Large Language Models
SRC - ACM Student Research Competition
Atish Kumar Dipongkor University of Central Florida
16:00
90m
Poster
Classifying Source Code: How Far Can Compressor-based Classifiers Go?
SRC - ACM Student Research Competition
Zhou Yang Singapore Management University

Thu 18 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
SRC PresentationsSRC - ACM Student Research Competition at Vianna da Motta
Chair(s): Mattia Fazzini University of Minnesota, André Restivo LIACC, Universidade do Porto, Porto, Portugal
11:00
12m
Poster
An Ensemble Method for Bug Triaging using Large Language Models
SRC - ACM Student Research Competition
Atish Kumar Dipongkor University of Central Florida
11:12
12m
Poster
Classifying Source Code: How Far Can Compressor-based Classifiers Go?
SRC - ACM Student Research Competition
Zhou Yang Singapore Management University
11:24
12m
Poster
Flakiness Repair in the Era of Large Language Models
SRC - ACM Student Research Competition
Yang Chen University of Illinois at Urbana-Champaign
11:36
12m
Poster
Program Decomposition and Translation with Static Analysis
SRC - ACM Student Research Competition
Ali Reza Ibrahimzada University of Illinois Urbana-Champaign
DOI Pre-print File Attached
11:48
12m
Poster
Refining Abstract Specifications into Dangerous Traffic Scenarios
SRC - ACM Student Research Competition
Aren Babikian McGill University