@INPROCEEDINGS{KiLeBaYiWu-APSEC-2009,
title={Test Coverage Metric for Two-staged Language with Abstract
Interpretation},
author={Taeksu Kim and Chunwoo Lee and Soohyun Baik and Kwangkeun Yi and
Chisu Wu},
booktitle={16th Asia-Pacific Software Engineering Conference (APSEC'09)},
year={2009},
month={Dec.},
volume={},
number={},
pages={301-308},
keywords={software testing, test coverage, multi-staged language,
abstract interpretation},
doi={},
ISSN={1530-1362}}