1 paper · 1 filter
Md. Wasiul Haque, Sagar Dasgupta, Mizanur Rahman
Automated vehicles rely on millions of lines of safety-critical software, yet general-purpose analyzers do not understand which code can affect vehicle motion. This study asks whet…