Some Thoughts on Model-Based Test Optimization | IEEE Conference Publication | IEEE Xplore