19 citations · 32 across the 3 of their papers we have counts for
1 paper · 1 filter
Sohil Lal Shrestha, Christoph Csallner
Finding bugs in a commercial cyber-physical system (CPS) development tool such as Simulink is hard as its codebase contains millions of lines of code and complete formal language s…