Strategies for Prioritizing Test Cases Generated Through Model-Based Testing Approaches | IEEE Conference Publication | IEEE Xplore