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

Vladimir Herdt Daniel Große Rolf Drechsler

Published in: ATVA (2020)

Keyphrases

artificial intelligence
application specific
software platform
source code
information systems
image segmentation
case study
embedded systems
open source software
tool support