| Issue Date | Title | Author(s) |
| 1 | 2014 | Assuring dependability of software reuse: An industrial standard | Belli, Fevzi |
| 2 | Nov-2015 | Boolean differentiation for formalizing myers' cause-effect graph testing technique | Ayav, Tolga ; Belli, Fevzi |
| 3 | 1-Feb-2015 | Exploiting model morphology for event-based testing | Belli, Fevzi ; Beyazıt, Mutlu |
| 4 | Sep-2015 | Fault domain-based testing in imperfect situations: a heuristic approach and case studies | Belli, Fevzi ; Beyazıt, Mutlu; Endo, Andre Takeshi; Mathur, Aditya; Simao, Adenilso |
| 5 | 2010 | Model-based higher-order mutation analysis | Belli, Fevzi ; Güler, Nevin; Hollmann, Axel; Suna, Gökhan; Yıldız, Esra |
| 6 | 2021 | Model-based ideal testing of GUI programs-approach and case studies | Kılınççeker, Onur; Silistre, Alper; Belli, Fevzi ; Challenger, Moharram |
| 7 | May-2016 | Model-based mutation testing-approach and case studies | Belli, Fevzi ; Budnik, Christof J.; Hollmann, Axel; Tuğlular, Tuğkan ; Wong, W. Eric |
| 8 | Jun-2023 | Mutation-based minimal test suite generation for Boolean expressions | Ayav, Tolga ; Belli, Fevzi |
| 9 | Oct-2016 | Neden-sonuç çizgelerinden test girişlerinin oluşturulması | Kavzak, Deniz; Ayav, Tolga ; Belli, Fevzi |
| 10 | 2018 | Özellik yönelimli ürün konfigürasyonlarının olay sıra çizgeleri ile doğrulanması | Tuğlular, Tuğkan ; Belli, Fevzi ; Öztürk, Dilek |
