Generating, selecting and prioritizing test cases from specifications with tool support | IEEE Conference Publication | IEEE Xplore