Model Based Test Generation and Optimization