Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study.

Vladimir Herdt, Daniel Groe, Hoang M. Le, Rolf Drechsler

Browse the full DAC paper archive.