Steering symbolic execution to less traveled paths
Automated Whitebox Fuzz Testing