GUI Test Case Prioritization by State-Coverage Criterion | IEEE Conference Publication | IEEE Xplore