Verification Criterion Directed Testing for Formal Specifications. - Ziaomu Zeng; Jeffrey J. P. Tsai; Thomas J. Weigert (SEKE, 1996)