FSX: fine-grained incremental unit test generation for C/C++ programs
BitBlaze: A new approach to computer security via binary analysis