URSA: A System for Uniform Reduction to SAT
A survey of new trends in symbolic execution for software testing and analysis