How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem.