Publications & Works

Publication Network

Published journal articles indexed by SCI, SSCI, and AHCI

Playtesting: What is Beyond Personas

Ariyurek S., Sürer E., Betin Can A.
IEEE TRANSACTIONS ON GAMES , vol.15, no.3, pp.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 , vol.79, no.3, pp.3112-3156, 2023 (SCI-Expanded) Sustainable Development identifier identifier identifier

Distribution Aware Testing Framework for Deep Neural Networks

Demir D., Can A. B., Sürer E.
IEEE Access , vol.11, pp.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 , vol.10, pp.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 , vol.13, no.1, pp.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 , vol.103, pp.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 , vol.108, pp.148-177, 2015 (SCI-Expanded) Sustainable Development identifier identifier

Software test-code engineering: A systematic mapping

Yusifoglu V. G., Amannejad Y., Can A.
INFORMATION AND SOFTWARE TECHNOLOGY , vol.58, pp.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 , vol.91, pp.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 , vol.55, no.8, pp.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 , vol.6, no.2, pp.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 , vol.36, pp.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 , vol.24, pp.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 , vol.12, no.4, pp.417-444, 2007 (SCI-Expanded) Creative Commons License Sustainable Development identifier identifier

Highly dependable concurrent programming using design for verification

Betin-Can A., BULTAN T.
FORMAL ASPECTS OF COMPUTING , vol.19, no.2, pp.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 , vol.14, no.2, pp.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 , vol.86, no.1, pp.73-86, 2007 (SCI-Expanded) Sustainable Development identifier identifier identifier

Articles Published in Other Journals

Turkish national software engineering symposium

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

Interface-based specification and verification of concurrency controllers

Betin-Can A., Bultan T.
Electronic Notes in Theoretical Computer Science , vol.89, no.3, pp.464-479, 2003 (Scopus) identifier

Refereed Congress / Symposium Publications in Proceedings

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, Turkey, 9 - 11 September 2015, vol.1483, pp.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, Turkey, 8 - 10 September 2014, vol.1221, pp.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, Turkey, 20 - 22 April 2010, pp.21-26 identifier

Other Publications

Playtesting: What is Beyond Personas

Ariyurek S., Sürer E., Betin Can A.
Other, pp.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.
Other, pp.1-8, 2020

Automated Video Game Testing Using Synthetic and Human-Like Agents

Arıyürek S., Betin Can A., Sürer E.
Other, pp.1-21, 2019 Creative Commons License

Metrics

Publication

50

Citation (WoS)

335

H-Index (WoS)

10

Citation (Scopus)

502

H-Index (Scopus)

13

Citation (Scholar)

221

H-Index (Scholar)

4

Project

2

Thesis Advisory

36

Open Access

35
UN Sustainable Development Goals