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

@inproceedings{pub11032,
    author = {

Herdt, Vladimir
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms},
    booktitle = {18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. International Symposium on Automated Technology for Verification and Analysis (ATVA-2020), October 19-23, Hanoi, Vietnam},
    year = {2020}
}