FSX: fine-grained incremental unit test generation for C/C++ programs
A survey of new trends in symbolic execution for software testing and analysis