Comparing algorithms for search-based test data generation of Matlab® Simulink® models | IEEE Conference Publication | IEEE Xplore