RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms (bibtex)

by Vladimir Herdt, Daniel Große and Rolf Drechsler

Reference:

Vladimir Herdt, Daniel Große and Rolf Drechsler, "RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms", In International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020.

Bibtex Entry:

@inproceedings{HGD:2020d,
  author    = {Vladimir Herdt and Daniel Gro{\ss}e and Rolf Drechsler},
  title     = {{RVX} - A Tool for Concolic Testing of Embedded Binaries Targeting {RISC-V} Platforms},
  booktitle = {International Symposium on Automated Technology for Verification and Analysis (ATVA)},
  year      = {2020},
  keywords={easecrc_cognitive_arch_systems}
}