Sign in

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

Vladimir HerdtDaniel GroßeRolf 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