Eğitim Bilgileri
2001 - 2005
2001 - 2005Doktora
University of California, Santa Barbara, Bilgisayar Bilimleri, Amerika Birleşik Devletleri
1996 - 1999
1996 - 1999Lisans
Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye
Araştırma Alanları
Bilgisayar Bilimleri
Yazılım
Yazılım Mühendisliği
Mühendislik ve Teknoloji
Akademik Ünvanlar / Görevler
2014 - Devam Ediyor
2014 - Devam EdiyorDoç. Dr.
Orta Doğu Teknik Üniversitesi, Enformatik Enstitüsü, Bilişim Sistemleri Anabilim Dalı
2006 - 2014
2006 - 2014Yrd. Doç. Dr.
Orta Doğu Teknik Üniversitesi, Enformatik Enstitüsü, Bilişim Sistemleri Anabilim Dalı
2000 - 2005
2000 - 2005Araştırma Görevlisi
University Of California Santa Barbara, Computer Science
Yönetilen Tezler
2021
2021Doktora
Event points: A software size measurement model
BETİN CAN A. (Danışman)
T.HACALOĞLU(Öğrenci)
2021
2021Yüksek Lisans
Detecting malicious behavior in binary programs using dynamic symbolic execution and API call sequences
BETİN CAN A. (Danışman)
F.TAMER(Öğrenci)
2020
2020Doktora
NFC özellikli mobil cihazların kullanıldığı relay saldırılarını önleyen bağlama duyarlı bir güvenlik modelinin tasarımı.
BETİN CAN A. (Danışman)
D.Çavdar(Öğrenci)
2019
2019Yüksek Lisans
Veri madenciliği yöntemiyle göz izleme verilerinin işleyerek kullanıcıları ve kullanım yöntemlerinin karakterize etme
BETİN CAN A. (Danışman)
M.Öder(Öğrenci)
2019
2019Yüksek Lisans
Entropi tabanlı DDoS tespit yöntemi ve uygulaması.
BETİN CAN A. (Danışman)
S.Fürkan(Öğrenci)
2019
2019Yüksek Lisans
APPLICATION OF SUBSPACE CLUSTERING TO SCALABLE MALWARE CLUSTERING
BETİN CAN A. (Danışman)
F.IŞIKTAŞ(Öğrenci)
2018
2018Yüksek Lisans
A combinatorial test data generation approach using fault data analysis and discretization of parameter input space
BETİN CAN A. (Danışman)
H.BOSNALI(Öğrenci)
2017
2017Yüksek Lisans
Improved differential attacks on rectangle
BETİN CAN A. (Danışman), TEZCAN C. (Eş Danışman)
A.ŞENOL(Öğrenci)
2017
2017Yüksek Lisans
Multi-objective regression test-selection in practice: An industrial case study
BETİN CAN A. (Danışman)
R.ÖZKAN(Öğrenci)
2017
2017Yüksek Lisans
An experimental comparison of messaging protocols MQTT and COAP
BETİN CAN A. (Danışman)
H.FARUK(Öğrenci)
2016
2016Yüksek Lisans
A software quality model for android applications
BETİN CAN A. (Danışman)
M.VİLDAN(Öğrenci)
2016
2016Yüksek Lisans
Haki: A runtime verification tool for javascript MVC web applications
BETİN CAN A. (Danışman)
İ.BİLGE(Öğrenci)
2016
2016Yüksek Lisans
HAKİ: JavaScript MVC web uygulamaları için çalışma zamanı doğrulama aracı.
BETİN CAN A. (Danışman)
İ.Bilge(Öğrenci)
2016
2016Yüksek Lisans
A comparative study on automated Android application testing tools
BETİN CAN A. (Danışman)
G.HÖKELEKLİ(Öğrenci)
2015
2015Yüksek Lisans
A new search engine ontology for visually impaired users
KARAGÖZ P. (Eş Danışman), BETİN CAN A. (Eş Danışman)
E.AKKAYA(Öğrenci)
2015
2015Yüksek Lisans
Web uygulamalarının model denetleme kullanılarak otomatik doğrulanması ve karşı örnek senaryolarının oynatılması için bir yaklaşım.
BETİN CAN A. (Danışman)
Y.Paçin(Öğrenci)
2015
2015Doktora
ELA: An automated statistical fault localization technique
BETİN CAN A. (Danışman)
Ö.BAYRAKTAR(Öğrenci)
2015
2015Yüksek Lisans
Automated test code generation and execution system for web
BETİN CAN A. (Danışman)
S.FATİH(Öğrenci)
2015
2015Yüksek Lisans
An approach for automated verification of web applications using model checking and replaying the scenarios of counter example
BETİN CAN A. (Danışman)
Y.PAÇİN(Öğrenci)
2014
2014Yüksek Lisans
Gui testing of android applications: A systematic mapping
BETİN CAN A. (Danışman)
M.AYDIN(Öğrenci)
2014
2014Yüksek Lisans
Measuring and assesment of well known bad practices in Android applications
BETİN CAN A. (Danışman)
İ.ALPER(Öğrenci)
2013
2013Yüksek Lisans
Web application testing: A systematic literature review
BETİN CAN A. (Danışman)
S.DOĞAN(Öğrenci)
2012
2012Yüksek Lisans
Assessing standard-compliance of public institution web sites of Turkey
BETİN CAN A. (Danışman)
S.YALÇINKAYA(Öğrenci)
2012
2012Yüksek Lisans
QoS-aware service selection for web service composition
Koçyiğit A. (Eş Danışman), Betin Can A.
R.ABDYLDAEVA(Öğrenci)
2011
2011Yüksek Lisans
Automatic navigation model extraction for web load testing
BETİN CAN A. (Danışman)
İ.REFİKA(Öğrenci)
2011
2011Yüksek Lisans
Finding malformed HTML outputs and unhandled execution errors of ASP.NET applications
BETİN CAN A. (Danışman)
M.ERDAL(Öğrenci)
2011
2011Yüksek Lisans
Model checking of apoptosis signaling pathways in lung cancers
BETİN CAN A. (Danışman)
M.AYFER(Öğrenci)
2010
2010Doktora
A framework for ranking and categorizing medical documents
BAYKAL N. (Eş Danışman), BETİN CAN A. (Eş Danışman)
M.GH.(Öğrenci)
2010
2010Yüksek Lisans
Environment generation tool for enabling aspect verification
BETİN CAN A. (Danışman)
Ş.LOKMAN(Öğrenci)
2009
2009Yüksek Lisans
Dosso-automatic detector of shared objects in multithreaded java programs
BETİN CAN A. (Danışman)
M.TOLUBAEVA(Öğrenci)
2008
2008Yüksek Lisans
Rearchitecturing an electronic warfare system based on service oriented architecture
BETİN CAN A. (Danışman)
B.ERZURUMLU(Öğrenci)
2007
2007Yüksek Lisans
Automated refactoring of design pattern implementations to aspect oriented counterparts
BETİN CAN A. (Danışman)
A.BUĞDAYCI(Öğrenci)
Tasarladığı Dersler
Makaleler
Tümü (20)
SCI-E, SSCI, AHCI (18)
SCI-E, SSCI, AHCI, ESCI (18)
Scopus (20)
2025
20251. A Context Aware Security Model for Preventing Relay Attacks in NFC Enabled Mobile Devices
Cavdar D., Tomur E., Can A. B.
Tehnicki Vjesnik
, cilt.32, sa.4, ss.1336-1346, 2025 (SCI-Expanded, Scopus)
2023
20232. 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)
2023
20233. 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, Scopus)
2023
20234. 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, Scopus)
2022
20225. 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, Scopus)
2021
20216. 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, Scopus)
2018
20187. 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, Scopus)
2015
20158. 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, Scopus)
2015
20159. 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, Scopus)
2014
201410. 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, Scopus)
2014
201411. Turkish national software engineering symposium
Yeşilada Y., BETİN CAN A., Demirörs O.
CEUR Workshop Proceedings
, cilt.1221, 2014 (Scopus)
2013
201312. 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, Scopus)
2013
201313. 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, Scopus)
2011
201114. 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, Scopus)
2011
201115. 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, Scopus)
2007
200716. 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, Scopus)
2007
200717. 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, Scopus)
2007
200718. 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, Scopus)
2007
200719. 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, Scopus)
2003
200320. 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)
Hakemli Bilimsel Toplantılarda Yayımlanmış Bildiriler
2024
20241. Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics
Demir D., Can A. B., SÜRER E.
33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA), Vienna, Avusturya, 16 - 20 Eylül 2024, ss.678-690, (Tam Metin Bildiri)
2015
20152. 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, (Tam Metin Bildiri)
2014
20143. 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, (Tam Metin Bildiri)
2010
20104. 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, (Tam Metin Bildiri)
Diğer Yayınlar
2021
20211. Playtesting: What is Beyond Personas
Ariyurek S., Sürer E., Betin Can A.
Diğer, ss.1-11, 2021
2020
20202. 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
2019
20193. 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
Desteklenen Projeler
2016 - 2016
2016 - 2016Bulut üzerinde algısal veriler ile iletişim kuran Mobil Uygulamalar ve Otomatik Test Yöntemleri: Bir Keşif Çalışması
Yükseköğretim Kurumları Destekli Proje , BAP Diğer
BETİN CAN A. (Yürütücü), ÜNVER F., ÖZCAN İ. B., HÖKELEKLİ G., Ever E.
Bilimsel Yayınlarda Hakemlikler
Ağustos 2021
Ağustos 2021JOURNAL OF SYSTEMS AND SOFTWARE
SCI-E Kapsamındaki Dergi
Aralık 2020
Aralık 2020INFORMATION AND SOFTWARE TECHNOLOGY
SCI-E Kapsamındaki Dergi
Ekim 2020
Ekim 2020Ulusal yazılım Mühendisliği Sempozyumu
Bildiri (Tam Metin)
Kasım 2019
Kasım 2019Ulusal Savunma Uygulamaları Modelleme ve Simülasyon Konferansı
Bildiri (Tam Metin)
Ocak 2017
Ocak 2017JOURNAL OF SYSTEMS AND SOFTWARE
SCI-E Kapsamındaki Dergi
Etkinlik Organizasyonlarındaki Görevler
Kasım 2019
Kasım 2019Ulusal savunma uygulamaları modelleme ve simulasyon konferansı
Bilimsel Kongre / Sempozyum Organizasyonu
Betin Can A., Karagöz P.
Ankara, Türkiye
Eylül 2019
Eylül 2019ulusal yazılım mühendisliği sempozyumu
Bilimsel Kongre / Sempozyum Organizasyonu
Betin Can A., Erten Y. M., Ayav T.
İzmir, Türkiye
Eylül 2018
Eylül 2018Ulusal Yazılım Mühendisliği Sempozyumu
Bilimsel Kongre / Sempozyum Organizasyonu
Betin Can A., Tarhan A., Yılmaz C., Yenigün H., Ertan Y. M., ÖZKAN YILDIRIM S.
İstanbul, Türkiye