Check the related work about quickcheck and smallcheck, and write the related work section in the paper.
Check the related work about quickcheck and smallcheck, and write the related work section in the paper.