| Issue Date | Title | Author(s) |
| 21 | 2022 | Model-based ideal testing of hardware description language (HDL) programs | Kilincceker, O.; Turk, E.; Belli, F. ; Challenger, M. |
| 22 | May-2016 | Model-based mutation testing-approach and case studies | Belli, Fevzi ; Budnik, Christof J.; Hollmann, Axel; Tuğlular, Tuğkan ; Wong, W. Eric |
| 23 | 2018 | Model-based selective layer-centric testing | Belli, Fevzi ; Güler Dinçer, Nevin; Linschulte, Michael; Tuğlular, Tuğkan |
| 24 | 2020 | Models in graphical user interface testing: Study design | Silistre, Alper; Kılınççeker, Onur; Belli, Fevzi ; Challenger, Moharram; Kardaş, Geylani |
| 25 | 2021 | Mutation analysis of specification-based contracts in software testing [Conference Object] | Khalilov, Abbas; Tuğlular, Tuğkan ; Belli, Fevzi |
| 26 | 2020 | Mutation operators for decision table-based contracts used in software testing | Khalilov, Abbas; Tuğlular, Tuğkan ; Belli, Fevzi |
| 27 | Jun-2023 | Mutation-based minimal test suite generation for Boolean expressions | Ayav, Tolga ; Belli, Fevzi |
| 28 | Oct-2016 | Neden-sonuç çizgelerinden test girişlerinin oluşturulması | Kavzak, Deniz; Ayav, Tolga ; Belli, Fevzi |
| 29 | 2022 | A new approach to event- and model-based feature-driven software testing and comparison with similar approaches | Belli, Fevzi ; Tuğlular, Tuğkan ; Ufuktepe, Ekincan |
| 30 | 2024 | Olay Sıra Çizgeleri için Alana Özgü Bir Dil | Tuğlular, Tuğkan ; Kalecik, Mert; Belli, Fevzi |
| 31 | 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 |
| 32 | 2009 | Protocol-based testing of firewalls | Tuğlular, Tuğkan ; Belli, Fevzi |
| 33 | 2019 | Random test generation from regular expressions for graphical user interface (GUI) testing | Kılınççeker, Onur; Silistre, Alper; Challenger, Moharram; Belli, Fevzi |
| 34 | 2018 | Regular expression based test sequence generation for HDL program validation | Kılınççeker, Onur; Türk, Ercüment; Challenger, Moharram; Belli, Fevzi |
| 35 | 2023 | Software Product Line Testing based on Event Sequence Graphs with Feature Expressions | Kaya, D.O.; Tuglular, T. ; Belli, F. |
| 36 | 2021 | Test input generation from cause-effect graphs | Kavzak Ufuktepe, Deniz; Ayav, Tolga ; Belli, Fevzi |
| 37 | Jul-2010 | Towards test case generation for synthesizable VHDL programs using model checker | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| 38 | 2019 | Towards uniform modeling and holistic testing of hardware and software | Kılınççeker, Onur; Belli, Fevzi |
| 39 | 2-Dec-2016 | Transforming VHDL to timed automata | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| 40 | 2023 | Unifying behavioral and feature modeling for testing of software product lines | Belli, Fevzi ; Tuğlular, Tuğkan ; Ufuktepe, Ekincan |
