This item is non-discoverable
Beyazıt, Mutlu
Loading...
Profile URL
Name Variants
Job Title
Email Address
Main Affiliation
03.04. Department of Computer Engineering
Status
Current Staff
Website
ORCID ID
Scopus Author ID
Turkish CoHE Profile ID
Google Scholar ID
WoS Researcher ID
Sustainable Development Goals
1NO POVERTY
0
Research Products
2ZERO HUNGER
0
Research Products
3GOOD HEALTH AND WELL-BEING
0
Research Products
4QUALITY EDUCATION
0
Research Products
5GENDER EQUALITY
0
Research Products
6CLEAN WATER AND SANITATION
0
Research Products
7AFFORDABLE AND CLEAN ENERGY
0
Research Products
8DECENT WORK AND ECONOMIC GROWTH
0
Research Products
9INDUSTRY, INNOVATION AND INFRASTRUCTURE
2
Research Products
10REDUCED INEQUALITIES
0
Research Products
11SUSTAINABLE CITIES AND COMMUNITIES
0
Research Products
12RESPONSIBLE CONSUMPTION AND PRODUCTION
0
Research Products
13CLIMATE ACTION
0
Research Products
14LIFE BELOW WATER
0
Research Products
15LIFE ON LAND
0
Research Products
16PEACE, JUSTICE AND STRONG INSTITUTIONS
0
Research Products
17PARTNERSHIPS FOR THE GOALS
0
Research Products
This researcher does not have a Scopus ID.
This researcher does not have a WoS ID.
No records found in other affiliations.
Scholarly Output
9
Articles
3
Views / Downloads
6231/2452
Supervised MSc Theses
1
Supervised PhD Theses
0
WoS Citation Count
27
Scopus Citation Count
40
Patents
0
Projects
0
WoS Citations per Publication
3.00
Scopus Citations per Publication
4.44
Open Access Source
7
Supervised Theses
1
| Journal | Count |
|---|---|
| Security of Information and Networks - Proceedings of the 1st International Conference on Security of Information and Networks, SIN 2007 | 2 |
| 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC) | 1 |
| Advances in Computers | 1 |
| IEEE Access | 1 |
| IEEE Transactions on Software Engineering | 1 |
Current Page: 1 / 2
Scopus Quartile Distribution
Competency Cloud
9 results
Scholarly Output Search Results
Now showing 1 - 9 of 9
Conference Object On Ntru and Its Performance(Tafford Publishing, 2008) Mersin, Ali; Beyazıt, Mutlu; Beyazıt, Mutlu; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyHardness of lattice problems has introduced a new candidate for public key cryptosystems. NTRU is one of such cryptosystems. The fact that it works with small integers and that the complexities of key generation, encryption and decryption are relatively small leads to good overall performance when compared to the other public key cryptosystems. The aim of this study is to make a theoretical to practical introduction to NTRU and investigate how it performs against popular public key cryptosystems such as RSA and, especially, ECC. © 2008 Atilla Elçi.Article Citation - WoS: 2Citation - Scopus: 6Incremental Testing in Software Product Lines-An Event Based Approach(IEEE, 2023) Tuğlular, Tuğkan; Beyazıt, Mutlu; Öztürk, Dilek; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyOne way of developing fast, effective, and high-quality software products is to reuse previously developed software components and products. In the case of a product family, the software product line (SPL) approach can make reuse more effective. The goal of SPLs is faster development of low-cost and high-quality software products. This paper proposes an incremental model-based approach to test products in SPLs. The proposed approach utilizes event-based behavioral models of the SPL features. It reuses existing event-based feature models and event-based product models along with their test cases to generate test cases for each new product developed by adding a new feature to an existing product. Newly introduced featured event sequence graphs (FESGs) are used for behavioral feature and product modeling; thus, generated test cases are event sequences. The paper presents evaluations with three software product lines to validate the approach and analyze its characteristics by comparing it to the state-of-the-art ESG-based testing approach. Results show that the proposed incremental testing approach highly reuses the existing test sets as intended. Also, it is superior to the state-of-the-art approach in terms of fault detection effectiveness and test generation effort but inferior in terms of test set size and test execution effort.Article Citation - WoS: 7Citation - Scopus: 11Exploiting Model Morphology for Event-Based Testing(Institute of Electrical and Electronics Engineers Inc., 2015) Belli, Fevzi; Beyazıt, Mutlu; Belli, Fevzi; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyModel-based testing employs models for testing. Model-based mutation testing (MBMT) additionally involves fault models, called mutants, by applying mutation operators to the original model. A problem encountered with MBMT is the elimination of equivalent mutants and multiple mutants modeling the same faults. Another problem is the need to compare a mutant to the original model for test generation. This paper proposes an event-based approach to MBMT that is not fixed on single events and a single model but rather operates on sequences of events of length k ≥ 1 and invokes a sequence of models that are derived from the original one by varying its morphology based on k. The approach employs formal grammars, related mutation operators, and algorithms to generate test cases, enabling the following: (1) the exclusion of equivalent mutants and multiple mutants; (2) the generation of a test case in linear time to kill a selected mutant without comparing it to the original model; (3) the analysis of morphologically different models enabling the systematic generation of mutants, thereby extending the set of fault models studied in related literature. Three case studies validate the approach and analyze its characteristics in comparison to random testing and another MBMT approach.Article Citation - WoS: 9Citation - Scopus: 10Fault Domain-Based Testing in Imperfect Situations: a Heuristic Approach and Case Studies(Springer Verlag, 2015) Belli, Fevzi; Belli, Fevzi; Beyazıt, Mutlu; Beyazıt, Mutlu; Endo, Andre Takeshi; Mathur, Aditya; Simao, Adenilso; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyModel-based testing (MBT) involves creating an abstraction, called a model, to represent the system and automatically deriving test cases from this model. MBT can be performed using various approaches that generally employ certain assumptions or requirements affecting the test performance in practice. Here, we consider the harmonized state identifiers (HSI) method, which is based on finite state machine (FSM) models and generates test sets that cover all faults in a given domain under certain conditions. We are interested in the application of the HSI method in practical scenarios where some conditions do not hold or are not straightforward to satisfy. Thus, we propose a heuristic extension to the HSI method, called heuristic HSI (HHSI), to consider imperfect situations as they often occur in practice. To analyze the characteristics of HHSI, we empirically compare it to random testing and coverage-based testing using non-trivial case studies. The experiments include model-based mutation analyses over several FSM models.Conference Object Citation - WoS: 5Citation - Scopus: 5Featured Event Sequence Graphs for Model-Based Incremental Testing of Software Product Lines(IEEE, 2019) Tuğlular, Tuğkan; Öztürk, Dilek; Beyazıt, Mutlu; Tuğlular, Tuğkan; Öztürk, Dilek; Beyazıt, Mutlu; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyThe goal of software product lines (SPLs) is rapid development of high-quality software products in a specific domain with cost minimization. To assure quality of software products from SPLs, products need to be tested systematically. However, testing every product variant in isolation is generally not feasible for large number of product variants. An approach to deal with this issue is to use incremental testing, where test artifacts that are developed for one product are reused for another product which can be obtained by incrementally adding features to the prior product. We propose a novel model-based test generation approach for products developed using SPL that follows incremental testing paradigm. First, we introduce Featured Event Sequence Graphs (FESGs), an extension of ESGs, that provide necessary definitions and operations to support commonalities and variabilities in SPLs with respect to test models. Then we propose a test generation technique for the product variants of an SPL, which starts from any product. The proposed technique with FESGs avoids redundant test generation for each product from SPL. We compare our technique with in-isolation testing approach by a case study.Conference Object A Memory Management Model for Cryptographic Software Libraries(Tafford Publishing, 2008) Mersin, Ali; Beyazıt, Mutlu; Beyazıt, Mutlu; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyCryptographic protocols are implemented on the abstraction of multiple precision number libraries in which the dominant design criterion mostly turns out to be the maximization of the system performance. In contrast, each protocol may have its own memory usage pattern. In general case, the memory allocation and release routines are frequently called during the runtime. For this reason, an improper memory management strategy may yield an inefficient implementation. In this paper, we propose a memory management technique which is constructed under the consideration of the context of high level cryptographic software running on multi-programmed environments. Also, we show the implementation results of our approach and discuss with respect to the common static and dynamic memory allocation strategies. © 2008 Atilla Elçi.Book Part Citation - WoS: 4Citation - Scopus: 8Advances in Model-Based Testing of Graphical User Interfaces(Academic Press Inc., 2017) Belli, Fevzi; Beyazıt, Mutlu; Beyazıt, Mutlu; Tuğlular, Tuğkan; Belli, Fevzi; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyGraphical user interfaces (GUIs) enable comfortable interactions of the computer-based systems with their environment. Large systems usually require complex GUIs, which are commonly fault prone and thus are to be carefully designed, implemented, and tested. As a thorough testing is not feasible, techniques are favored to test relevant features of the system under test that will be specifically modeled. This chapter summarizes, reviews, and exemplifies conventional and novel techniques for model-based GUI testing.Publication Çevik Yazılım Ürün Hatları için Olay Sıra Çizge Tabanlı Test Üretim Yöntemi Geliştirilmesi(2020) Beyazıt, Mutlu; Tuğlular, Tuğkan; Özdemirden, Ahmet Şemsettin; Kaya, Dilek Öztürk; Coşkun, Deniz Egemen; 01. Izmir Institute of Technology; 03. Faculty of Engineering; 03.04. Department of Computer EngineeringBu projede, çevik yazılım ürün hatları için olay sıra çizgeleri tabanlı test üretimi yöntemi geliştirilmiştir. Etkileşimli ve reaktif sistemlerin modellenmesi için uygun olan olay sıra çizgeleri formel bir modelleme yaklaşımı olup, 2001 yılından bu yana model temelli testlerin otomatik üretilmesi için kullanılmaktadır. Bu projede, olay sıra çizgeleri çevik yazılım ürün hatları için özelleştirilip genişletilmiş ve özellikli olay sıra çizgeleri modelleme yaklaşımı olarak ortaya konmuştur. Ayrıca, özellikli olay sıra çizgeleri ile otomatik test üretme yöntemi geliştirilmiştir. Yazılım hattında ürünler varlık bileşenlerinin tekrar kullanımı ile oluşturulmaktadır. Benzer şekilde, bu proje ile ürün testlerinin de var olan testlerinin tekrar kullanımı ile oluşturulması mümkün kılınmıştır. Proje kapsamında, çevik yazılım ürün hatları test süreçleri başarısının artırılması ve maliyetlerinin düşürülmesi için; otomatik üretilebilir, tekrar kullanılabilir, yapılandırılabilir, kapsamı ölçülebilir, birleştirilebilir, fonksiyonel test üretim yöntemi geliştirilmesi başarılmıştır. Çevik yazılım ürün hatlarını modelleme için kullanılacak modelleme yazılımı ile bu modellerden otomatik test üretimini gerçekleştirecek test üretim yazılımı kodlanmış ve bir web uygulaması olarak kullanıma sunulmuştur. Ayrıca, proje kapsamında geliştirilen modelleme yöntemi kullanılarak bir çevik yazılım ürün hattı geliştirilmiş ve bu çevik yazılım ürün hattı ürünleri yine projede geliştirilen yöntem ve araç kullanılarak otomatik olarak test edilmiştir.Master Thesis Reduction Algorithms for the Cryptanalysis of Lattice Based Asymmetrical Cryptosystems(Izmir Institute of Technology, 2008) Beyazıt, Mutlu; Beyazıt, Mutlu; Koltuksuz, Ahmet; Koltuksuz, Ahmet Hasan; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyThe theory of lattices has attracted a great deal of attention in cryptology in recent years. Several cryptosystems are constructed based on the hardness of the lattice problems such as the shortest vector problem and the closest vector problem. The aim of this thesis is to study the most commonly used lattice basis reduction algorithms, namely Lenstra Lenstra Lovasz (LLL) and Block Kolmogorov Zolotarev (BKZ) algorithms, which are utilized to approximately solve the mentioned lattice based problems.Furthermore, the most popular variants of these algorithms in practice are evaluated experimentally by varying the common reduction parameter delta in order to propose some practical assessments about the effect of this parameter on the process of basis reduction.These kind of practical assessments are believed to have non-negligible impact on the theory of lattice reduction, and so the cryptanalysis of lattice cryptosystems, due to thefact that the contemporary nature of the reduction process is mainly controlled by theheuristics.