Using Mutant Stubbornness to Create Minimal and Prioritized Test Sets | IEEE Conference Publication | IEEE Xplore