Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction | IEEE Conference Publication | IEEE Xplore