GitHub | Google Scholar | ORCID | DBLP

Yavuz Koroglu

Ongoing,
Research Assistant @ Department of Computer Engineering, Boğaziçi University, since 2019
PhD @ Department of Computer Engineering, Boğaziçi University, since 2016
Membership @ Dependable Systems Group (DSG), Boğaziçi University, since 2014

Previously,
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 5 2019

I am a Research Assistant 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 in Boğaziçi University, 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 | DBLP

International Journals (1)

    • 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 ]

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 (4)

    • 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

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
Perfect Shield for My Bishop (Mate in 3 - Black to Move)
Problem: [ PDF TeX ]
Answer: [ PDF TeX ]
Link: [ Chess.com ]
Upload Date: Mar 6 2019

 

BU | CmpE | CASLAB

Last updated: Thu, Oct 10 2019, 12:40 GMT+0100