1 paper
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…