Program State Coverage: A Test Coverage Metric Based on Executed Program States | IEEE Conference Publication | IEEE Xplore