US9405663B2 - Generating an Optimized Test Suite from Models for Use in a Software Testing Environment