Authors: PARADKAR A TAI KC VOUK MA

Citation: A. Paradkar et al., AUTOMATIC TEST-GENERATION FOR PREDICATES, IEEE transactions on reliability, 45(4), 1996, pp. 515-530