RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms (bibtex)
by Vladimir Herdt, Daniel Große, Rolf Drechsler
Reference:
Vladimir Herdt, Daniel Große, 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}
}
Powered by bibtexbrowser