Verification Criterion Directed Testing for Formal Specifications.

Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert

Browse the full SEKE paper archive.