bugchecker.net is a state-of-the-art symbolic binary executor which finds bugs and test cases for x86 and x86-64 programs for Linux and Windows. For more information, a good starting point is KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs [OSDI, 2008].