Software Testing via Model Checking

F. Belli, B. Güldali, in: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), Springer, Berlin/Heidelberg, 2004, pp. 907–916.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
;
Publishing Year
Proceedings Title
Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)
Volume
3280
Page
907-916
LibreCat-ID

Cite this

Belli F, Güldali B. Software Testing via Model Checking. In: Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey). Vol 3280. LNCS. Berlin/Heidelberg: Springer; 2004:907-916. doi:http://dx.doi.org/10.1007/b101749
Belli, F., & Güldali, B. (2004). Software Testing via Model Checking. In Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey) (Vol. 3280, pp. 907–916). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/b101749
@inproceedings{Belli_Güldali_2004, place={Berlin/Heidelberg}, series={LNCS}, title={Software Testing via Model Checking}, volume={3280}, DOI={http://dx.doi.org/10.1007/b101749}, booktitle={Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey)}, publisher={Springer}, author={Belli, Fevzi and Güldali, Baris}, year={2004}, pages={907–916}, collection={LNCS} }
Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” In Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), 3280:907–16. LNCS. Berlin/Heidelberg: Springer, 2004. http://dx.doi.org/10.1007/b101749.
F. Belli and B. Güldali, “Software Testing via Model Checking,” in Proceedings of the conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), 2004, vol. 3280, pp. 907–916.
Belli, Fevzi, and Baris Güldali. “Software Testing via Model Checking.” Proceedings of the Conference on Computer and Information Sciences (ISCIS 2004), Kemer-Antalya (Turkey), vol. 3280, Springer, 2004, pp. 907–16, doi:http://dx.doi.org/10.1007/b101749.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar