Test Coverage Metric for Two-Staged Language with Abstract Interpretation.

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik, Chisu Wu, Kwangkeun Yi

Browse the full APSEC paper archive.