Knowledge-based test generation from specificationsTepandi, JaakProceedings of the Estonian Academy of Sciences. Engineering1997 / 2, p. 127-142: ill