Yayınlar & Eserler

SCI, SSCI ve AHCI İndekslerine Giren Dergilerde Yayınlanan Makaleler

A survey of software engineering practices in Turkey

JOURNAL OF SYSTEMS AND SOFTWARE, cilt.108, ss.148-177, 2015 (SCI İndekslerine Giren Dergi) identifier identifier

Software test-code engineering: A systematic mapping

INFORMATION AND SOFTWARE TECHNOLOGY, cilt.58, ss.123-147, 2015 (SCI İndekslerine Giren Dergi) identifier identifier

Web application testing: A systematic literature review

JOURNAL OF SYSTEMS AND SOFTWARE, cilt.91, ss.174-201, 2014 (SCI İndekslerine Giren Dergi) identifier identifier

A systematic mapping study of web application testing

INFORMATION AND SOFTWARE TECHNOLOGY, cilt.55, ss.1374-1396, 2013 (SCI İndekslerine Giren Dergi) Creative Commons License identifier identifier

Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

IEEE Transactions on Services Computing, cilt.6, ss.262-275, 2013 (SCI Expanded İndekslerine Giren Dergi) Creative Commons License identifier

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

INFORMATICS FOR HEALTH & SOCIAL CARE, cilt.36, ss.100-115, 2011 (SCI İndekslerine Giren Dergi) identifier identifier identifier

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

KNOWLEDGE-BASED SYSTEMS, cilt.24, ss.58-65, 2011 (SCI İndekslerine Giren Dergi) identifier identifier

Experimenting with software testbeds for evaluating new technologies

EMPIRICAL SOFTWARE ENGINEERING, cilt.12, ss.417-444, 2007 (SCI İndekslerine Giren Dergi) Creative Commons License identifier identifier

Highly dependable concurrent programming using design for verification

FORMAL ASPECTS OF COMPUTING, cilt.19, ss.243-268, 2007 (SCI İndekslerine Giren Dergi) Creative Commons License identifier identifier

MedicoPort: A medical search engine for all

COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, cilt.86, ss.73-86, 2007 (SCI İndekslerine Giren Dergi) identifier identifier identifier

Diğer Dergilerde Yayınlanan Makaleler

Interface-based specification and verification of concurrency controllers

Electronic Notes in Theoretical Computer Science, cilt.89, ss.464-479, 2003 (Diğer Kurumların Hakemli Dergileri) identifier

Hakemli Kongre / Sempozyum Bildiri Kitaplarında Yer Alan Yayınlar

Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing

2020 IEEE Conference on Games (CoG), Osaka, Japonya, 24 - 27 Ağustos 2020

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

XIII. Ulusal Yazılım Mühendisliği Sempozyumu, İzmir, Türkiye, 23 - 25 Eylül 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, Kanada, 9 - 10 Ekim 2017

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

IEEE International Conference on Smart Cloud (IEEE SmartCloud), New-York, Amerika Birleşik Devletleri, 18 - 20 Kasım 2016, ss.196-201 identifier identifier

Android Uygulamalar Icin Yazilim Kalite Yonetimi

Ulusal Yazılım Mühendisliği Sempozyumu, Çanakkale, Türkiye, 24 - 26 Ekim 2016, ss.526-531

Android Uygulamalar Için Yazilim Kalite Modeli

10th Turkish National Software Engineering Symposium, UYMS 2016, Çanakkale, Türkiye, 24 - 26 Ekim 2016, cilt.1721, ss.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, Kıbrıs (Kktc), 8 - 10 Eylül 2014, ss.199-212

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

ULUSAL YAZILIM MÜHENDİSLİĞİ SEMPOZYUMU, İzmir, Türkiye, 25 - 27 Eylül 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, Türkiye, 26 - 28 Eylül 2011, ss.46-52

DETECTING EXECUTION AND HTML ERRORS IN ASP.NET WEB APPLICATIONS

6th International Conference on Software and Database Technologies (ICSOFT 2011), Sevilla, İspanya, 18 - 21 Temmuz 2011, ss.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, Fransa, 26 - 28 Temmuz 2010, ss.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, Avusturya, 10 - 12 Aralık 2008, ss.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, İtalya, 15 - 19 Eylül 2008, ss.391-394 identifier

Scalable Software Model Checking Using Design for Verification

Verified Software: Theories, Tools, Experiments, Zürich, İsviçre, 10 - 13 Kasım 2005, ss.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, Amerika Birleşik Devletleri, 7 - 11 Kasım 2005, ss.14-23 identifier

Verifiable web services with hierarchical interfaces

2005 IEEE International Conference on Web Services, ICWS 2005, Orlando, FL, Amerika Birleşik Devletleri, 11 - 15 Temmuz 2005, cilt.2005, ss.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, Japonya, 10 - 14 Mayıs 2005, ss.750-759

Verifiable concurrent programming using concurrency controllers

19th IEEE International Conference on Automated Software Engineering, Linz, Avusturya, 20 - 24 Eylül 2004, ss.248-257 identifier identifier

Diğer Yayınlar