| Issue Date | Title | Author(s) |
| 1 | 2020 | Community detection in model-based testing to address scalability: Study design | Silistre, Alper; Kılınççeker, Onur; Belli, Fevzi ; Challenger, Moharram; Kardaş, Geylani |
| 2 | 2021 | Heterogeneous modeling and testing of software product lines | Belli, Fevzi ; Tuğlular, Tuğkan ; Ufuktepe, Ekincan |
| 3 | 2023 | Link prediction for completing graphical software models using neural networks | Leblebici, Onur; Tuğlular, Tuğkan ; Belli, Fevzi |
| 4 | 2021 | Model-based ideal testing of GUI programs-approach and case studies | Kılınççeker, Onur; Silistre, Alper; Belli, Fevzi ; Challenger, Moharram |
| 5 | Nov-2021 | Model-based ideal testing of hardware description language (HDL) programs | Kılınççeker, Onur; Türk, Ercüment; Belli, Fevzi ; Challenger, Moharram |
| 6 | 2020 | Models in graphical user interface testing: Study design | Silistre, Alper; Kılınççeker, Onur; Belli, Fevzi ; Challenger, Moharram; Kardaş, Geylani |
| 7 | 2021 | Mutation analysis of specification-based contracts in software testing [Conference Object] | Khalilov, Abbas; Tuğlular, Tuğkan ; Belli, Fevzi |
| 8 | 2020 | Mutation operators for decision table-based contracts used in software testing | Khalilov, Abbas; Tuğlular, Tuğkan ; Belli, Fevzi |
| 9 | Jun-2023 | Mutation-based minimal test suite generation for Boolean expressions | Ayav, Tolga ; Belli, Fevzi |
| 10 | 2021 | Test input generation from cause-effect graphs | Kavzak Ufuktepe, Deniz; Ayav, Tolga ; Belli, Fevzi |
| 11 | 2023 | Unifying behavioral and feature modeling for testing of software product lines | Belli, Fevzi ; Tuğlular, Tuğkan ; Ufuktepe, Ekincan |
