Test Coverage Metric for Two-Staged Language with Abstract Interpretation. - Taeksu Kim; Chunwoo Lee; Kiljoo Lee; Soohyun Baik; Chisu Wu; Kwangkeun Yi (APSEC, 2009)