A concolic testing engine for RISC-V embedded software with support for SystemC peripherals - View it on GitHub