Yavuz Koroglu
Ongoing,
Project Manager @ Trailblu Inc., Teknopark, Boğaziçi University, since 2020
PhD @ Department of Computer Engineering, Boğaziçi University, since 2016
Membership @ Dependable Systems Group (DSG), Boğaziçi University, since 2014
Previously,
Research Assistant @ Department of Computer Engineering, Boğaziçi University, between 2019-2020
Researcher @ Institute of Software Technology, TU Graz, between 2018-2019
Teaching Assistant @ Department of Computer Engineering, Boğaziçi University, between 2014-2018
e-mail: yavuz.koroglu@boun.edu.tr
office: Department of Computer Engineering, North Campus, BM 21, Bogazici University, Istanbul/TURKEY
About Me
CV: [ PDF ]
Upload Date: Oct 7 2020
I am a Ph.D. candidate at Department of Computer Engineering in Boğaziçi University. I received my B.Sc. and M.Sc. degrees in Computer Engineering from Boğaziçi University. I am currently doing PhD under the supervision of Alper Sen.
My research interests include software testing, model checking and applying machine learning techniques to those areas. I am also experienced in Assembly and circuit design (Combinatorial, Sequential and RTL) with Verilog. Public tools I've developed are located at my GitHub page. My publication statistics are available at Google Scholar.
Research Interests
- Automated Test Generation
- Mobile Application Testing
- Bug Prediction
- Machine Learning
TA Courses
- CMPE 240: Digital Design
- CMPE 344: Computer Organization
Publications
Google Scholar | ORCID | DBLPInternational Preprints (1)
International Journals (2)
-
Yavuz Koroglu, Alper Sen
Functional Test Generation from UI Test Scenarios using Reinforcement Learning for Android Applications,
Software Testing, Verification, and Reliability; Special Issue: New Generations of UI Testing, 2020.
Paper: [ PDF BIBTEX ] -
Mustafa Efendioglu, Alper Sen, and Yavuz Koroglu
Bug Prediction of SystemC Models Using Machine Learning,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol 38, Issue 3, 2019.
Paper: [ PDF BIBTEX ]
International Conferences and Workshops (5)
-
Yavuz Koroglu and Franz Wotawa
Fully Automated Compiler Testing of a Reasoning Engine via Mutated Grammar Fuzzing,
14th IEEE/ACM International Workshop on Automation of Software Test (AST) in Conjunction with ICSE, 2019.
Paper: [ PDF BIBTEX ] Talk: [ PDF DEMO#1 DEMO#2 DEMO#3 ] -
Yavuz Koroglu and Alper Sen
TCM: Test Case Mutation to Improve Crash Detection in Android,
International Conference on Fundamental Approaches to Software Engineering (FASE), 2018.
Paper: [ PDF BIBTEX ] Talk: [ PDF ] -
Yavuz Koroglu, Alper Sen, Ozlem Muslu, Yunus Mete, Ceyda Ulker, Tolga Tanriverdi, and Yunus Donmez
QBE: QLearning-Based Exploration of Android Applications,
IEEE International Conference on Software Testing, Validation, and Verification (ICST), 2018.
Paper: [ PDF BIBTEX ] Talk: [ PDF ] -
Yavuz Koroglu and Alper Sen
Design of a Modified Concolic Testing Algorithm with Smaller Constraints,
International workshop on Constraints in Software Testing, Verification and Analysis (CSTVA), 2016.
Paper: [ PDF BIBTEX ] Talk: [ PDF ] -
Yavuz Koroglu, Alper Sen, Doruk Kutluay, Akin Bayraktar, Yalcin Tosun, Murat Cinar, and Hasan Kaya
Defect Prediction on a Legacy Industrial Software: A Case Study on Software with Few Defects,
International Workshop on Conducting Empirical Studies in Industry (CESI), 2016.
Paper: [ PDF BIBTEX ] Talk: [ PDF ]
National Conferences and Workshops (6)
-
Yavuz Koroglu
Büyük-Ölçekli bir Android Uygulaması için Otomatik Fonksiyonel Test Yaratım Deneyimleri
14. Ulusal Yazılım Mühendisliği Sempozyumu (UYMS), 2020.
Paper: [ PDF ] Talk: [ PDF ] -
Yavuz Koroglu
Yapay Zeka Üzerine Temel Tezler
2. Sosyalist Gelecek ve Planlama Sempozyumu 1. Çalıştayı 3. Oturumu, 2020.
Paper: [ Link ] -
Yavuz Koroglu and Alper Sen
Android Uygulamaları için Kötü Huylu Test Yaratımı,
12. Ulusal Yazılım Mühendisliği Sempozyumu (UYMS), 2018.
Paper: [ PDF BIBTEX ] Talk: [ PDF ] -
Yavuz Koroglu
Yapay Zeka'nın Teorik ve Pratik Sınırları,
6. Evrim, Bilim, ve Eğitim Sempozyumu, 2017.
Paper: [ PDF BIBTEX ] Talk: [ PDF PPTX YouTube ] -
Yavuz Koroglu, Mustafa Efendioglu, and Alper Sen
Android’de Çökme Tespitini İyileştirme Amaçlı Model-Tabanlı ve Rastgele Karma Yöntem,
11. Ulusal Yazılım Mühendisliği Sempozyumu (UYMS), Yazılım Test Mühendesliği Alt Dalı (YTM) 2017.
Paper: [ PDF BIBTEX ] Talk: [ PDF YouTube ] -
Yavuz Koroglu and Alper Sen
Büyüyen Kısmi Yol Kısıtlarıyla Konkolik Test,
9. Ulusal Yazılım Mühendisliği Sempozyumu (UYMS), 2015.
Paper: [ PDF BIBTEX ] Talk: [ PDF ]
Theses
- M.Sc. Thesis: "Heuristics for Concolic Software Testing" [ PDF ]
Education
M.Sc. : Computer Engineering, Boğaziçi University, 2016, Istanbul, Turkey
B.Sc. : Computer Engineering, Boğaziçi University, 2014, Istanbul, Turkey
Awards and Certificates (5)
-
En İyi Bildiri Ödülü (Best Paper Award),
Ulusal Yazılım Mühendisliği Sempozyumu (UYMS), 2018.
[ PDF ] -
Certificate of Participation,
International Summer School of Marktoberdorf, 2016.
[ PDF ] -
Üstün Başarı Ödülü Sertifikası,
Ulusal Yazılım Mühendisliği Sempozyumu (UYMS), 2015.
[ PDF ] -
Katılım Belgesi,
Tarih Boyunca Bilimsel Dünya Görüşünün Gelişimi,
Üniversite Konseyleri Derneği (ÜKD) Beşinci Yaz Okulu,
Bilim ve Aydınlanma Akademisi (BAA), 2018.
[ PDF ] -
Satranç Eğitmenliği Sertifikası,
Selçuk Üniversitesi, 2017.
[ PDF ]
Talks
-
Reinforcement Learning-Driven Test Generation for Android GUI Applications using Formal Specifications,
For CMPE579 - Graduate Seminar Course
@ Department of Computer Engineering in Boğaziçi University, Fall 2019
Talk: [ PDF ] -
Smart Android GUI Testing Approaches,
For CMPE436 - Concurrent and Distributed Systems Course
@ Department of Computer Engineering in Boğaziçi University, Fall 2017
Talk: [ PDF ]
Songs
Featured:
Evgeny Grinko
Valse (cover by me)
[ MP3 PDF YouTube(Original) ]
Upload Date: Apr 11 2017
I really like to play the piano and come up with new melodies. You can find all of my work in my Song Archive.
Featured Chess Problem
Yavuz Koroglu
(Mate in 5 - Black to Move) Link: [ Chess.com ]
Ignore the Hanging Queens (Mate in 4 - Black to Move) Link: [ Chess.com ]
Last updated: Fri, Oct 9 2020, 08:00 GMT+0300