Steering symbolic execution to less traveled paths
Symbolic execution for software testing in practice: preliminary assessment