Steering symbolic execution to less traveled paths
pex - white box test generation for . net .