Yayınlar & Eserler

Yayın Ağı

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

Playtesting: What is Beyond Personas

Ariyurek S., Sürer E., Betin Can A.
IEEE TRANSACTIONS ON GAMES , cilt.15, sa.3, ss.348-359, 2023 (SCI-Expanded) identifier identifier

Blockchain technology applications in the health domain: a multivocal literature review

Baysal M. V., Özcan Top Ö., Betin Can A.
Journal of Supercomputing , cilt.79, sa.3, ss.3112-3156, 2023 (SCI-Expanded) Sürdürülebilir Kalkınma identifier identifier identifier

Distribution Aware Testing Framework for Deep Neural Networks

Demir D., Can A. B., Sürer E.
IEEE Access , cilt.11, ss.119481-119505, 2023 (SCI-Expanded) identifier identifier

Verifying Maze-Like Game Levels With Model Checker SPIN

Tekik O., Surer E., Can A. B.
IEEE Access , cilt.10, ss.66492-66510, 2022 (SCI-Expanded) identifier identifier

Automated Video Game Testing Using Synthetic and Humanlike Agents

Ariyurek S., Betin-Can A., SÜRER E.
IEEE TRANSACTIONS ON GAMES , cilt.13, sa.1, ss.50-67, 2021 (SCI-Expanded) identifier identifier

Multi-objective regression test selection in practice: An empirical study in the defense software industry

Garousi V., Özkan R., Betin-Can A.
INFORMATION AND SOFTWARE TECHNOLOGY , cilt.103, ss.40-54, 2018 (SCI-Expanded) Creative Commons License identifier identifier

A survey of software engineering practices in Turkey

Garousi V., Coskuncay A., Betin-Can A., DEMIRORS O.
JOURNAL OF SYSTEMS AND SOFTWARE , cilt.108, ss.148-177, 2015 (SCI-Expanded) Sürdürülebilir Kalkınma identifier identifier

Software test-code engineering: A systematic mapping

Yusifoglu V. G., Amannejad Y., Can A.
INFORMATION AND SOFTWARE TECHNOLOGY , cilt.58, ss.123-147, 2015 (SCI-Expanded) identifier identifier

Web application testing: A systematic literature review

Dogan S., Betin-Can A., Garousi V.
JOURNAL OF SYSTEMS AND SOFTWARE , cilt.91, ss.174-201, 2014 (SCI-Expanded) identifier identifier

A systematic mapping study of web application testing

Garousi V., Mesbah A., Betin-Can A., Mirshokraie S.
INFORMATION AND SOFTWARE TECHNOLOGY , cilt.55, sa.8, ss.1374-1396, 2013 (SCI-Expanded) Creative Commons License identifier identifier

Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces

Betin-Can A., Hallé S., Bultan T.
IEEE Transactions on Services Computing , cilt.6, sa.2, ss.262-275, 2013 (SCI-Expanded) Creative Commons License identifier

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

Al Zamıl M. G. H., Can A.
INFORMATICS FOR HEALTH & SOCIAL CARE , cilt.36, ss.100-115, 2011 (SCI-Expanded) identifier identifier identifier

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

Al Zamil M. G. H., Can A.
KNOWLEDGE-BASED SYSTEMS , cilt.24, ss.58-65, 2011 (SCI-Expanded) identifier identifier

Experimenting with software testbeds for evaluating new technologies

LINDVALL M., RUS I., DONZELLI P., MEMON A., ZELKOWITZ M., Betin-Can A., et al.
EMPIRICAL SOFTWARE ENGINEERING , cilt.12, sa.4, ss.417-444, 2007 (SCI-Expanded) Creative Commons License Sürdürülebilir Kalkınma identifier identifier

Highly dependable concurrent programming using design for verification

Betin-Can A., BULTAN T.
FORMAL ASPECTS OF COMPUTING , cilt.19, sa.2, ss.243-268, 2007 (SCI-Expanded) Creative Commons License identifier identifier

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

Can A., Bultan T., LINDVALL M., Lux B., Topp S.
AUTOMATED SOFTWARE ENGINEERING , cilt.14, sa.2, ss.129-178, 2007 (SCI-Expanded) Creative Commons License identifier identifier

MedicoPort: A medical search engine for all

Can A., Baykal N.
COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE , cilt.86, sa.1, ss.73-86, 2007 (SCI-Expanded) Sürdürülebilir Kalkınma identifier identifier identifier

Diğer Dergilerde Yayınlanan Makaleler

Turkish national software engineering symposium

Yeşilada Y., BETİN CAN A., Demirörs O.
CEUR Workshop Proceedings , cilt.1221, 2014 (Scopus) identifier

Interface-based specification and verification of concurrency controllers

Betin-Can A., Bultan T.
Electronic Notes in Theoretical Computer Science , cilt.89, sa.3, ss.464-479, 2003 (Scopus) identifier

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

Web uygulamalarinda dolasim ve erisim kontrolü hatalarinin tespiti ve yeniden canlandirilmasi

Paçin Y., BETİN CAN A.
9th Turkish National Software Engineering Symposium, UYMS 2015, İzmir, Türkiye, 9 - 11 Eylül 2015, cilt.1483, ss.514-528 identifier

Android uygulamalari bellek hatalari yakalanmasi ve etkileri

Saʇlam I. A., BETİN CAN A.
8th Turkish National Software Engineering Symposium, UYMS 2014, Guzelyurt, Türkiye, 8 - 10 Eylül 2014, cilt.1221, ss.199-212 identifier

Toward effective medical search engines

Zamil M. A., Can A. B.
2010 5th International Symposium on Health Informatics and Bioinformatics, HIBIT 2010, Antalya, Türkiye, 20 - 22 Nisan 2010, ss.21-26 identifier

Diğer Yayınlar

Playtesting: What is Beyond Personas

Ariyurek S., Sürer E., Betin Can A.
Diğer, ss.1-11, 2021 Creative Commons License

Enhancing the Monte Carlo Tree Search Algorithm for Video Game Testing

Arıyürek S., Betin Can A., Sürer E.
Diğer, ss.1-8, 2020

Automated Video Game Testing Using Synthetic and Human-Like Agents

Arıyürek S., Betin Can A., Sürer E.
Diğer, ss.1-21, 2019 Creative Commons License

Metrikler

Yayın

50

Atıf (WoS)

335

H-İndeks (WoS)

10

Atıf (Scopus)

502

H-İndeks (Scopus)

13

Atıf (Scholar)

221

H-İndeks (Scholar)

4

Proje

2

Tez Danışmanlığı

36

Açık Erişim

35
BM Sürdürülebilir Kalkınma Amaçları