Publications & Works

Articles Published in Journals That Entered SCI, SSCI and AHCI Indexes

Automated Video Game Testing Using Synthetic and Humanlike Agents

IEEE TRANSACTIONS ON GAMES, vol.13, no.1, pp.50-67, 2021 (Journal Indexed in SCI) identifier identifier

A survey of software engineering practices in Turkey

JOURNAL OF SYSTEMS AND SOFTWARE, vol.108, pp.148-177, 2015 (Journal Indexed in SCI) identifier identifier

Software test-code engineering: A systematic mapping

INFORMATION AND SOFTWARE TECHNOLOGY, vol.58, pp.123-147, 2015 (Journal Indexed in SCI) identifier identifier

Web application testing: A systematic literature review

JOURNAL OF SYSTEMS AND SOFTWARE, vol.91, pp.174-201, 2014 (Journal Indexed in SCI) identifier identifier

A systematic mapping study of web application testing

INFORMATION AND SOFTWARE TECHNOLOGY, vol.55, no.8, pp.1374-1396, 2013 (Journal Indexed in SCI) Creative Commons License identifier identifier

Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

IEEE Transactions on Services Computing, vol.6, no.2, pp.262-275, 2013 (Journal Indexed in SCI Expanded) Creative Commons License identifier

A model based on multi-features to enhance healthcare and medical document retrieval

INFORMATICS FOR HEALTH & SOCIAL CARE, vol.36, pp.100-115, 2011 (Journal Indexed in SCI) identifier identifier identifier

ROLEX-SP: Rules of lexical syntactic patterns for free text categorization

KNOWLEDGE-BASED SYSTEMS, vol.24, pp.58-65, 2011 (Journal Indexed in SCI) identifier identifier

Experimenting with software testbeds for evaluating new technologies

EMPIRICAL SOFTWARE ENGINEERING, vol.12, no.4, pp.417-444, 2007 (Journal Indexed in SCI) Creative Commons License identifier identifier

Highly dependable concurrent programming using design for verification

FORMAL ASPECTS OF COMPUTING, vol.19, no.2, pp.243-268, 2007 (Journal Indexed in SCI) Creative Commons License identifier identifier

MedicoPort: A medical search engine for all

COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, vol.86, no.1, pp.73-86, 2007 (Journal Indexed in SCI) identifier identifier identifier

Articles Published in Other Journals

Interface-based specification and verification of concurrency controllers

Electronic Notes in Theoretical Computer Science, vol.89, no.3, pp.464-479, 2003 (Refereed Journals of Other Institutions) identifier

Refereed Congress / Symposium Publications in Proceedings

Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing

2020 IEEE Conference on Games (CoG), Osaka, Japan, 24 - 27 August 2020

Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing

IEEE Conference on Games (IEEE CoG), ELECTR NETWORK, 24 - 27 August 2020, pp.25-32 Creative Commons License identifier identifier

Test Data Generation by Dynamic Symbolic Execution: A Systematic Literature Review

XIII. Ulusal Yazılım Mühendisliği Sempozyumu, İzmir, Turkey, 23 - 25 September 2019

Multi-Objective regression Test Selection in Practice: An Empirical study in Defence Software Industry

ACM/IEEE International Symposium on empirical software engineering and measurement, Toronto, Canada, 9 - 10 October 2017

Ubiquitous Cloud-based Monitoring via a Mobile App in Smartphones: An Overview

IEEE International Conference on Smart Cloud (IEEE SmartCloud), New-York, United States Of America, 18 - 20 November 2016, pp.196-201 identifier identifier

Android Uygulamalar Icin Yazilim Kalite Yonetimi

Ulusal Yazılım Mühendisliği Sempozyumu, Çanakkale, Turkey, 24 - 26 October 2016, pp.526-531

Android Uygulamalar Için Yazilim Kalite Modeli

10th Turkish National Software Engineering Symposium, UYMS 2016, Çanakkale, Turkey, 24 - 26 October 2016, vol.1721, pp.514-525 identifier

ANDROİD UYGULAMALARI BELLEK HATALARI YAKALANMASI VE ETKİLER

Ulusal Yazılım Mühendisliği Sempozyumu - Turkish National Software Engineering Symposium, Güzelyurt, Cyprus (Kktc), 8 - 10 September 2014, pp.199-212

Türkiye deki Yazılım Test Uygulamaları Anketi

ULUSAL YAZILIM MÜHENDİSLİĞİ SEMPOZYUMU, İzmir, Turkey, 25 - 27 September 2013

Bir Aviyonik Sistemin Yazılım ve Sistem Gereksinimlerinin Uyumluluğunun Model Denetleyici ile Değerlendirilmesi

5. Ulusal Yazılım Mühendisliği Sempozyumu, Ankara, Turkey, 26 - 28 September 2011, pp.46-52

DETECTING EXECUTION AND HTML ERRORS IN ASP.NET WEB APPLICATIONS

6th International Conference on Software and Database Technologies (ICSOFT 2011), Sevilla, Spain, 18 - 21 July 2011, pp.172-178 identifier identifier

Modular verification of synchronization with reentrant locks

8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010, Grenoble, France, 26 - 28 July 2010, pp.59-68 Creative Commons License identifier

Automatic Detection of Shared Objects in Multithreaded Java Programs

International Conference on Computational Intelligence for Modelling, Control and Automation, Vienna, Austria, 10 - 12 December 2008, pp.522-526 identifier identifier

An assume guarantee verification methodology for aspect oriented programming

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, L'Aquila, Italy, 15 - 19 September 2008, pp.391-394 identifier

Scalable Software Model Checking Using Design for Verification

Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 10 - 13 November 2005, pp.337-346 identifier identifier

Application of design for verification with concurrency controllers to air traffic control software

20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005, Long Beach, CA, United States Of America, 7 - 11 November 2005, pp.14-23 identifier

Verifiable web services with hierarchical interfaces

2005 IEEE International Conference on Web Services, ICWS 2005, Orlando, FL, United States Of America, 11 - 15 July 2005, vol.2005, pp.85-94 identifier identifier

Design for verification for asynchronously communicating Web services

Proceedings of the 14th international conference on World Wide Web - WWW ’xx05, Chiba, Japan, 10 - 14 May 2005, pp.750-759

Verifiable concurrent programming using concurrency controllers

19th IEEE International Conference on Automated Software Engineering, Linz, Austria, 20 - 24 September 2004, pp.248-257 identifier identifier

Other Publications