Improving validation coverage metrics to account for limited observability.

Peter Lisherness, Kwang-Ting Cheng

Browse the full ASPDAC paper archive.