%0 Conference Paper %1 conf/iccad/0001SL0P21 %A Zhang, Chengyu %A Sun, Minquan %A Li, Jianwen %A Su, Ting %A Pu, Geguang %B ICCAD %D 2021 %I IEEE %K dblp %P 1-9 %T Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2021.html#0001SL0P21 %@ 978-1-6654-4507-8

@inproceedings{conf/iccad/0001SL0P21, added-at = {2023-06-26T00:00:00.000+0200}, author = {Zhang, Chengyu and Sun, Minquan and Li, Jianwen and Su, Ting and Pu, Geguang}, biburl = {https://www.bibsonomy.org/bibtex/2fd0c188e2f0d0980136bfa2d51fe4f4a/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2021}, ee = {https://doi.org/10.1109/ICCAD51958.2021.9643509}, interhash = {727df0286eaf5d851a45836483284527}, intrahash = {fd0c188e2f0d0980136bfa2d51fe4f4a}, isbn = {978-1-6654-4507-8}, keywords = {dblp}, pages = {1-9}, publisher = {IEEE}, timestamp = {2024-04-09T19:27:29.000+0200}, title = {Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2021.html#0001SL0P21}, year = 2021 }