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

researchr

You are not signed in
Sign in
Sign up

Vladimir Herdt, Daniel Große, Rolf Drechsler. RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms. In Dang Van Hung, Oleg Sokolsky, editors, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Volume 12302 of Lecture Notes in Computer Science, pages 543-549, Springer, 2020. [doi]

This author has not been identified. Look up 'Vladimir Herdt' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL