Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. - Chengyu Zhang 001; Minquan Sun; Jianwen Li; Ting Su 001; Geguang Pu (ICCAD, 2021)