ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
Mon 13 Apr 2026 14:15 - 14:20 at Bora Bora I - Testing and Analysis

Scenario-based simulation testing has become a widely adopted approach for evaluating Autonomous Driving Systems (ADS) due to its scalability and flexibility. While existing testing methods have been effective in discovering safety-critical failures, they are largely driven by generic criticality metrics and provide limited support for controllable scenario generation toward specific testing objectives; in practice, test engineers often need to assess ADS behavior under targeted spatial–temporal interaction patterns, such as standardized regulatory scenarios. In this paper, we propose CONGRAD, a controllable scenario generation approach based on gradient-guided falsification. CONGRAD formulates target scenario generation as a falsification problem by transforming user-defined testing objectives into signal temporal logic (STL) specifications. To overcome the coarse-grained guidance of traditional robustness-guided falsification, CONGRAD exploits differentiable STL robustness semantics to compute robustness gradients with respect to scenario parameters, which are then used to guide scenario mutation in a fuzzing-based generation process. We evaluate CONGRAD on Baidu Apollo platform using representative testing specifications derived from the ISO~34502 standard. Experimental results demonstrate that CONGRAD can generate targeted scenarios more efficiently and with greater controllability than existing baselines, highlighting its effectiveness for controllable ADS testing.

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

14:00 - 15:30
14:00
5m
Talk
Testing the Untrusted: An Empirical Study of Custom Model Codes in Model-Sharing Platforms
Journal Ahead Workshop (JAWs)
Mohammed Latif Siddiq University of Notre Dame, Beatrice Casey University of Notre Dame, Joanna C. S. Santos University of Notre Dame
14:05
5m
Talk
Towards the Systematic Testing of Regular Expression Engines
Journal Ahead Workshop (JAWs)
Berk Çakar Purdue University, Dongyoon Lee Stony Brook University, James C. Davis Purdue University
Pre-print
14:10
5m
Talk
Rethinking Automated Testing for LLM-Based Systems
Journal Ahead Workshop (JAWs)
Domenico Amalfitano University of Naples Federico II, Marco Autili University of L'Aquila, Italy, Antonia Bertolino Gran Sasso Science Institute, Ricardo Caldas Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
14:15
5m
Talk
CONGRAD: Controllable Scenario Generation for Autonomous Driving Systems via Gradient-Guided Falsification
Journal Ahead Workshop (JAWs)
Shuncheng Tang University of Science and Technology of China, Lejin Li Kyushu University, Deyun Lyu National Institute of Informatics, Yinxing Xue Institute of AI for Industries, Chinese Academy of Sciences , Zhenya Zhang Kyushu University, Paolo Arcaini National Institute of Informatics
14:20
5m
Talk
Persuasion-guided Automated Testing for Harmful Content Degeneration in Large Language Models
Journal Ahead Workshop (JAWs)
Francesco Renato Negri Politecnico di Milano, Simone Corbo , Livia Lestingi DEIB, Politecnico di Milano, Matteo Camilli Politecnico di Milano
14:25
5m
Talk
On-Demand Performance Regression Detection with Test Selection and Amplification
Journal Ahead Workshop (JAWs)
Antonio Trovato University of Salerno, Luana Martins University of Salerno, Daniele Fabiano University of Salerno, Daniele Di Pompeo University of L'Aquila, Michele Tucci University of L'Aquila, Dario Di Nucci University of Salerno
14:30
5m
Talk
The Intelligent Sidecar: Injecting Semantic Guidance into Smart Contract Fuzzing
Journal Ahead Workshop (JAWs)
Xin Li The University of Tokyo, Yuheng Huang The University of Tokyo, Andy M. Lee Mamori, Lei Ma The University of Tokyo & University of Alberta
14:35
5m
Talk
A Roadmap for Quantum Program Analysis: From Classical to Quantum Challenges
Journal Ahead Workshop (JAWs)
Shangzhou Xia Kyushu University, Junjie Luo Kyushu University, Qiming Li Kyushu University, Xiaoyu Guo Kyushu University, Minqi Shao Kyushu University, Qichen Wang Kyushu University, Chunkai Chen Kyushu University, Jianjun Zhao Kyushu University
14:40
5m
Talk
APIfying COBOL Monoliths: Static Analysis with Pattern-Based Call Simplification
Journal Ahead Workshop (JAWs)
Vini Kanvar IBM Research, Ashwin Dhinesh Kumar IBM Research, USA, Srikanth G. Tamilselvam IBM India Research Lab, Keerthi Narayan Raghunath IBM, India
14:45
5m
Talk
Automated Proof-of-Concept Generation for Software Vulnerabilities: A Survey
Journal Ahead Workshop (JAWs)
Minglang Li University of Electronic Science and Technology of China, Jiongchi Yu Singapore Management University, Xinfeng Li Nanyang Technological University
14:50
30m
Panel
Panel Discussion: Software Testing and Analysis
Journal Ahead Workshop (JAWs)

15:20
10m
Awards
Selection of award presentations
Journal Ahead Workshop (JAWs)