Prioritizing State-Based Aspect Tests | IEEE Conference Publication | IEEE Xplore