Showing cs.SEShow all
3 papers · 1 filter
cs.SE2025
Secure-Instruct: An Automated Pipeline for Synthesizing Instruction-Tuning Datasets Using LLMs for Secure Code Generation
Junjie Li, Fazle Rabbi, Bo Yang +2
Although Large Language Models (LLMs) show promising solutions to automated code generation, they often produce insecure code that threatens software security. Current approaches (…
cs.SE2025
On the Robustness Evaluation of 3D Obstacle Detection Against Specifications in Autonomous Driving
Tri Minh Triet Pham, Bo Yang, Jinqiu Yang
Autonomous driving systems (ADSs) rely on real-time sensor data, such as cameras and LiDARs, for time-critical decisions using deep neural networks. The accuracy of these decisions…
cs.SE2024
Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
Tri Minh Triet Pham, Bo Yang, Jinqiu Yang
Autonomous Driving Systems (ADS) have made huge progress and started on-road testing or even commercializing trials. ADS are complex and difficult to test: they receive input data…