%0 Conference Paper %1 conf/tacas/XiaoZLP23 %A Xiao, Shengping %A Zhang, Chengyu %A Li, Jianwen %A Pu, Geguang %B TACAS (2) %D 2023 %E Sankaranarayanan, Sriram %E Sharygina, Natasha %I Springer %K dblp %P 36-43 %T FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2023-2.html#XiaoZLP23 %V 13994 %@ 978-3-031-30820-8

@inproceedings{conf/tacas/XiaoZLP23, added-at = {2023-06-26T00:00:00.000+0200}, author = {Xiao, Shengping and Zhang, Chengyu and Li, Jianwen and Pu, Geguang}, biburl = {https://www.bibsonomy.org/bibtex/2730b14078e926d22fc38320afaa2162c/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2023-2}, editor = {Sankaranarayanan, Sriram and Sharygina, Natasha}, ee = {https://doi.org/10.1007/978-3-031-30820-8_5}, interhash = {fb6809a8e13e0f9a69a18f26f6d5d818}, intrahash = {730b14078e926d22fc38320afaa2162c}, isbn = {978-3-031-30820-8}, keywords = {dblp}, pages = {36-43}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:41.000+0200}, title = {FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2023-2.html#XiaoZLP23}, volume = 13994, year = 2023 }