Realistic Bug Synthesis for Testing Bug-Finding Tools Anonymous
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving