Realistic Bug Synthesis for Testing Bug-Finding Tools Anonymous
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs