Yinghua Min, Zhongcheng Li: Evaluation of test generation algorithms. VTS 1993: 348-350