Knowledge-based test generation from specifications
Tepandi, Jaak
Proceedings of the Estonian Academy of Sciences. Engineering
1997
/
2, p. 127-142: ill