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


Thesis Type: Postgraduate

Institution Of The Thesis: Orta Doğu Teknik Üniversitesi, Graduate School of Informatics, Information Systems, Turkey

Approval Date: 2015

Student: YUDUM PAÇİN

Consultant: AYSU BETİN CAN