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

Other Publications