| Issue Date | Title | Author(s) |
| 121 | 2010 | A maximum degree self-stabilizing spanning tree algorithm | Çokuslu, Deniz ; Erciyeş, Kayhan ; Hameurlain, Abdelkader |
| 122 | 2019 | Measureability of functional size in agile software projects: Multiple case studies with COSMIC FSM | Hacaloğlu, Tuna; Demirörs, Onur |
| 123 | Jul-2014 | Measurement of JavaScript applications' readiness to untrusted data using Bayesian Networks | Ufuktepe, Ekincan |
| 124 | 2018 | Measuring change in software projects through an earned value lens | Efe, Pınar; Demirörs, Onur ; Benetallah, Boualem |
| 125 | 2015 | Message from TAIN symposium organizing committee | Tuğlular, Tuğkan ; Cai, Y.; Dustdar, S.; Yamazaki, K. |
| 126 | 2012 | Message from the MVV workshop chairs: The Fourth international workshop on model-based verification & validation | Tuğlular, Tuğkan ; Linschulte, Michael |
| 127 | Sep-2017 | Message from the NCIW program co-chairs | Tuğlular, Tuğkan ; Yamazaki, Katsuyuki |
| 128 | 2016 | Mobil nesne takibinin hızlandırılması | Özuysal, Mustafa |
| 129 | Sep-2015 | Model based testing of VHDL programs | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| 130 | May-2015 | Model checker-based delay fault testing of sequential circuits | Takan, Savaş ; Güler, Berkin; Ayav, Tolga |
| 131 | 2012 | A model of distributed key generation for industrial control systems | Kılınç, Görkem; Fovino, Igor Nai; Ferigato, Carlo; Koltuksuz, Ahmet |
| 132 | Jul-2015 | Model-based contract testing of graphical user interfaces | Tuğlular, Tuğkan ; Linschulte, Michael; Belli, Fevzi ; Müftüoğlu, Arda |
| 133 | 2010 | Model-based higher-order mutation analysis | Belli, Fevzi ; Güler, Nevin; Hollmann, Axel; Suna, Gökhan; Yıldız, Esra |
| 134 | May-2016 | Model-based mutation testing-approach and case studies | Belli, Fevzi ; Budnik, Christof J.; Hollmann, Axel; Tuğlular, Tuğkan ; Wong, W. Eric |
| 135 | 2018 | Model-based selective layer-centric testing | Belli, Fevzi ; Güler Dinçer, Nevin; Linschulte, Michael; Tuğlular, Tuğkan |
| 136 | 2010 | Modeling efficient multi-chained stream signature protocol using communicating sequential processeses | Koltuksuz, Ahmet ; Özkan, Murat; Külahçıoğlu, Burcu |
| 137 | 2012 | Moresysgoal: Movie recommendation system using technique supplemented by content with goal programming | İnan, Emrah |
| 138 | 22-Sep-2016 | Moving switching functions to continuous domain | Ayav, Tolga ; Sözer, Hasan |
| 139 | 2011 | Mutation-based evaluation of weighted test case selection for firewall testing | Tuğlular, Tuğkan ; Gerçek, Gürcan |
| 140 | Oct-2016 | Neden-sonuç çizgelerinden test girişlerinin oluşturulması | Kavzak, Deniz; Ayav, Tolga ; Belli, Fevzi |
