Generating Feasible Test Paths from an Executable Model Using a Multi-objective Approach | IEEE Conference Publication | IEEE Xplore