Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.

Chengyu Zhang, Minquan Sun, Jianwen Li, Ting Su, Geguang Pu

Browse the full ICCAD paper archive.