Y. T. Yu, Eric Y. K. Chan, Pak-Lok Poon. On the Coverage of Program Code by Specification-Based Tests. In Byoungju Choi, editor, Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009. pages 41-50, IEEE Computer Society, 2009. [doi]
Abstract is missing.