Steering symbolic execution to less traveled paths
An Evaluation of Random Testing