Risc-V Random Test Generator. - Dai-Duong Tran; Thi Giang Truong; Truong Giang Do; The Duc Do (ACOMP, 2021)