Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases | IEEE Conference Publication | IEEE Xplore