FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.

Shengping Xiao, Chengyu Zhang, Jianwen Li, Geguang Pu

Browse the full TACAS paper archive.