An approach for automated verification of web applications using model checking and replaying the scenarios of counter example

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Enformatik Enstitüsü, Bilişim Sistemleri Anabilim Dalı, Türkiye

Tezin Onay Tarihi: 2015

Öğrenci: YUDUM PAÇİN

Danışman: AYSU BETİN CAN