URSA: A System for Uniform Reduction to SAT
pex - white box test generation for . net .