SSFuzz: Generating syntactic and semantic seeds for RISC-V processors. - Shaoqian Jin; Yulin Li; Liwei Chen; Gang Shi (ACM Great Lakes Symposium on VLSI, 2024)