Marjeta Frey-Pucko Monika Kapus-Kolar Roman Novak Automatic Test Case Generation from the Industrial Point of View: Conformance Testing in IskraTEL. 347-362 1999 conf/pts/1999 IWTCS db/conf/pts/pts1999.html#Frey-PuckoKN99