BitScope: Automatically dissecting malicious binaries
Automated test data generation using an iterative relaxation method