ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
Fri 17 Apr 2026 14:15 - 14:30 at Oceania VII - Software Engineering for AI 7 Chair(s): Houari Sahraoui

The increasing integration of Deep Neural Networks (DNNs) into safety critical systems, such as Autonomous Vehicles (AVs), where failures can lead to significant consequences, has fostered the development of many Verification and Validation (V&V) techniques. However, these techniques are applied mainly after the DNN training process is complete. This delayed application of V&V techniques means that property violations found require restarting the expensive training process, and that V&V techniques struggle in pursuit of checking increasingly large and sophisticated DNNs. To address this issue, we propose T4PC, a framework to increase property conformance during DNN training. Increasing property conformance is achieved by enriching: 1) the data preparation phase to account for properties’ pre and postcondition satisfaction, and 2) the training phase to account for the property satisfaction by incorporating a new property loss term that is integrated with the main loss. Our family of controlled experiments targeting a navigation DNN show that T4PC can effectively train it for conformance to single and multiple properties, and can also fine-tune for conformance an existing navigation DNN originally trained for accuracy. Our case study in simulation applying T4PC to fine-tune two open source AV systems operating in the CARLA simulator shows that it can reduce targeted driving violations while retaining its original driving capabilities.

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

14:00 - 15:30
Software Engineering for AI 7Research Track / Journal-first Papers at Oceania VII
Chair(s): Houari Sahraoui DIRO, Université de Montréal
14:00
15m
Talk
Towards Understanding the Impact of Data Bugs on Deep Learning Models in Software Engineering
Journal-first Papers
Mehil Shah Dalhousie University, Masud Rahman Dalhousie University, Foutse Khomh Polytechnique Montréal
Link to publication Pre-print
14:15
15m
Talk
T4PC: Training Deep Neural Networks for Property Conformance
Journal-first Papers
Felipe Toledo , Trey Woodlief University of Virginia, Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
14:30
15m
Talk
A Comprehensive Study of Deep Learning Model Fixing ApproachesDistinguished Paper Award
Research Track
Hanmo You Tianjin University, Zan Wang Tianjin University, Zishuo Dong College of Intelligence and Computing, Tianjin University, Luanqi Mo College of Intelligence and Computing, Tianjin University, Jianjun Zhao Kyushu University, Junjie Chen Tianjin University
14:45
15m
Talk
Imitation Game: Reproducing Deep Learning Bugs Leveraging an Intelligent Agent
Research Track
Mehil Shah Dalhousie University, Masud Rahman Dalhousie University, Foutse Khomh Polytechnique Montréal
DOI Pre-print
15:00
15m
Talk
TypeCare: Boosting Python Type Inference Models via Context-Aware Re-Ranking and AugmentationArtifact Award Winner
Research Track
Wonseok Oh Korea University, Hakjoo Oh Korea University
15:15
15m
Talk
Aligning Requirement for Large Language Model's Code Generation
Research Track
Zhao Tian Tianjin University, Junjie Chen Tianjin University
Pre-print