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 Unvanlar / 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
Verdiği Dersler
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
SCI, SSCI ve AHCI İndekslerine Giren Dergilerde Yayınlanan Makaleler
2023
2023Playtesting: 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
2023Blockchain 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)
2023
2023Distribution 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)
2022
2022Verifying 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)
2021
2021Automated 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)
2018
2018Multi-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)
2015
2015A 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)
2015
2015Software 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)
2014
2014Web 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)
2013
2013A 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)
2013
2013Modular 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)
2011
2011A 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)
2011
2011ROLEX-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)
2007
2007Experimenting 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)
2007
2007Highly 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)
2007
2007Eliminating 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)
2007
2007MedicoPort: 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)
Diğer Dergilerde Yayınlanan Makaleler
2014
2014Turkish national software engineering symposium
Yeşilada Y., BETİN CAN A., Demirörs O.
CEUR Workshop Proceedings , cilt.1221, 2014 (Scopus)
2003
2003Interface-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 Kongre / Sempozyum Bildiri Kitaplarında Yer Alan Yayınlar
2015
2015Web 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
2014
2014Android 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
2010
2010Toward 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
Diğer Yayınlar
2021
2021Playtesting: What is Beyond Personas
Ariyurek S., Sürer E., Betin Can A.
Diğer, ss.1-11, 2021
2020
2020Enhancing 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
2019Automated 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
BETİN CAN A. (Yürütücü), ÜNVER F., ÖZCAN İ. B., HÖKELEKLİ G., Ever E.
Bilimsel 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 2018