Efficient Coverage Directed State Space Search