Test Coverage Metric for Two-Staged Language with Abstract Interpretation | IEEE Conference Publication | IEEE Xplore