@inproceedings{7919, author = {{Belli, Fevzi and Güldali, Baris}}, booktitle = {{Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)}}, pages = {{907--916}}, publisher = {{Springer}}, title = {{{Software Testing via Model Checking}}}, doi = {{http://dx.doi.org/10.1007/b101749}}, volume = {{3280}}, year = {{2004}}, }