RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms.

Vladimir Herdt, Daniel Groe, Rolf Drechsler

Browse the full ATVA paper archive.