Software Testing via Model Checking - Belli, Fevzi; Güldali, Baris (Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey))