Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
Permanent URI for this collectionhttps://hdl.handle.net/11147/7148
Browse
15 results
Search Results
Now showing 1 - 10 of 15
Article Spectral Test Generation for Boolean Expressions(World Scientific Publishing, 2023) Ayav, TolgaThis paper presents a novel method for testing Boolean expressions. It is based on spectral, aka Fourier analysis of Boolean functions which is exploited to generate test inputs. The approach has three important contributions: (i) It generates a relatively small test suite with a high capability of fault detection, (ii) The test suite is prioritized such that expected fault detection time is shorter, (iii) It is entirely mathematical relying on a simple and straightforward formula. The proposed method is formulated and evaluations are performed on both synthetic and real expressions. It is also compared with two common test generation criteria, MC/DC and Minimal MUMCUT. Evaluations show that the test suite generated by the spectral approach is relatively small while expressing the capability of a better and quicker fault detection. The approach presented in this paper provides a useful insight into how spectral/Fourier analysis of Boolean functions can be exploited in software testing.Article Citation - WoS: 3Citation - Scopus: 3Dual Kasch rings(World Scientific Publishing, 2023) Lomp, Christian; Büyükaşık, Engin; Yurtsever, Haydar BaranIt is well known that a ring R is right Kasch if each simple right R-module embeds in a projective right R-module. In this paper we study the dual notion and call a ring R right dual Kasch if each simple right R-module is a homomorphic image of an injective right R-module. We prove that R is right dual Kasch if and only if every finitely generated projective right R-module is coclosed in its injective hull. Typical examples of dual Kasch rings are self-injective rings, V-rings and commutative perfect rings. Skew group rings of dual Kasch rings by finite groups are dual Kasch if the order of the group is invertible. Many examples are given to separate the notion of Kasch and dual Kasch rings. It is shown that commutative Kasch rings are dual Kasch, and a commutative ring with finite Goldie dimension is dual Kasch if and only if it is a classical ring (i.e. every element is a zero divisor or invertible). We obtain that, for a field k, a finite dimensional k-algebra is right dual Kasch if and only if it is left Kasch. We also discuss the rings over which every simple right module is a homomorphic image of its injective hull, and these rings are termed strongly dual Kasch.Article A Metric for Gravitational Collapse Around a Schwarzschild Black Hole(World Scientific Publishing, 2023) Erdem, Recai; Demirkaya, Betül; Gültekin, KemalWe consider the problem of gravitational collapse of a fluid under the effect of a small Schwarzschild black hole (e.g. a primordial one). We assume the fluid initially may be approximated by a uniform homogeneous dust. Starting from this configuration we obtain a class of metrics under some physically justified assumptions. We find that the metric we obtain includes the dust collapse as a subcase. After discussing some basic properties of the solution, we discuss the case of dust collapse in more detail. We find that the radial and tangential pressures outside the horizon may take positive or negative values depending on the values of the parameters.Article Citation - WoS: 2Citation - Scopus: 3Mutation-Based Minimal Test Suite Generation for Boolean Expressions(World Scientific Publishing, 2023) Ayav, Tolga; Belli, FevziBoolean expressions are highly involved in control flows of programs and software specifications. Coverage criteria for Boolean expressions aim at producing minimal test suites to detect software faults. There exist various testing criteria, efficiency of which is usually evaluated through mutation analysis. This paper proposes an integer programming-based minimal test suite generation technique relying on mutation analysis. The proposed technique also takes into account the cost of fault detection. The technique is optimal such that the resulting test suite guarantees to detect all the mutants under given fault assumptions, while maximizing the average percentage of fault detection of a test suite. Therefore, the approach presented can also be considered as a reference method to check the efficiency of any common technique. The method is evaluated using four well-known real benchmark sets of Boolean expressions and is also exemplary compared with MCDC criterion. The results show that the test suites generated by the proposed method provide better fault coverage values and faster fault detection.Article Studying the Co-Evolution of Source Code and Acceptance Tests(World Scientific Publishing, 2023) Yalçın, Ali Görkem; Tuğlular, TuğkanTesting is a vital part of achieving good-quality software. Deploying untested code can cause system crashes and unexpected behavior. To reduce these problems, testing should evolve with coding. In addition, test suites should not remain static throughout the software versions. Since whenever software gets updated, new functionalities are added, or existing functionalities are changed, test suites should be updated along with the software. Software repositories contain valuable information about the software systems. Access to older versions and differentiating adjacent versions' source code and acceptance test changes can provide information about the evolution process of the software. This research proposes a method and implementation to analyze 21 open-source real-world projects hosted on GitHub regarding the co-evolution of both software and its acceptance test suites. Related projects are retrieved from repositories, their versions are analyzed, graphs are created, and analysis related to the co-evolution process is performed. Observations show that the source code is getting updated more frequently than the acceptance tests. They indicate a pattern that source code and acceptance tests do not evolve together. Moreover, the analysis showed that a few acceptance tests test most of the functionalities that take a significant line of code.Article On Classification of Sequences Containing Arbitrarily Long Arithmetic Progressions(World Scientific Publishing, 2023) Cam Çelik, Şermin; Eyidoğan, Sadık; Göral, Haydar; Sertbaş, Doğa CanIn this paper, we study the classification of sequences containing arbitrarily long arithmetic progressions. First, we deal with the question how the polynomial map n(s) can be extended so that it contains arbitrarily long arithmetic progressions. Under some growth conditions, we construct sequences which contain arbitrarily long arithmetic progressions. Also, we give a uniform and explicit arithmetic progression rank bound for a large class of sequences. Consequently, a dichotomy result is deduced on the finiteness of the arithmetic progression rank of certain sequences. Therefore, in this paper, we see a way to determine the finiteness of the arithmetic progression rank of various sequences satisfying some growth conditions.Article Citation - WoS: 1Citation - Scopus: 1Unique decompositions into w-ideals for strong Mori domains(World Scientific Publishing, 2022) Hamdi, Haleh; Ay Saylam, Başak; Gürbüz, EzgiA commutative ring R has the unique decomposition into ideals (UDI) property if, for any R-module that decomposes into a finite direct sum of indecomposable ideals, this decomposition is unique up to the order and isomorphism classes of the indecomposable ideals. In [P. Goeters and B. Olberding, Unique decomposition into ideals for Noetherian domains, J. Pure Appl. Algebra 165 (2001) 169-182], the UDI property has been characterized for Noetherian integral domains. In this paper, we aim to study the UDI-like property for strong Mori domains; domains satisfying the ascending chain condition on w-ideals.Article Citation - WoS: 2Citation - Scopus: 2On simple-injective modules(World Scientific Publishing, 2022) Alagöz, Yusuf; Benli Göral, Sinem; Büyükaşık, EnginFor a right module M, we prove that M is simple-injective if and only if M is min-N-injective for every cyclic right module N. The rings whose simple-injective right modules are injective are exactly the right Artinian rings. A right Noetherian ring is right Artinian if and only if every cyclic simple-injective right module is injective. The ring is QF if and only if simple-injective right modules are projective. For a commutative Noetherian ring R, we prove that every finitely generated simple-injective R-module is projective if and only if R = A × B, where A is QF and B is hereditary. An abelian group is simple-injective if and only if its torsion part is injective. We show that the notions of simple-injective, strongly simple-injective, soc-injective and strongly soc-injective coincide over the ring of integers.Article Citation - WoS: 1Citation - Scopus: 1Author Reputation Measurement on Question and Answer Sites by the Classification of Author-Generated Content(World Scientific Publishing, 2021) Sezerer, Erhan; Tenekeci, Samet; Acar, Ali; Baloğlu, Bora; Tekir, SelmaIn the field of software engineering, practitioners' share in the constructed knowledge cannot be underestimated and is mostly in the form of grey literature (GL). GL is a valuable resource though it is subjective and lacks an objective quality assurance methodology. In this paper, a quality assessment scheme is proposed for question and answer (Q&A) sites. In particular, we target stack overflow (SO) and stack exchange (SE) sites. We model the problem of author reputation measurement as a classification task on the author-provided answers. The authors' mean, median, and total answer scores are used as inputs for class labeling. State-of-the-art language models (BERT and DistilBERT) with a softmax layer on top are utilized as classifiers and compared to SVM and random baselines. Our best model achieves 63.8% accuracy in binary classification in SO design patterns tag and 71.6% accuracy in SE software engineering category. Superior performance in SE software engineering can be explained by its larger dataset size. In addition to quantitative evaluation, we provide qualitative evidence, which supports that the system's predicted reputation labels match the quality of provided answers.Article Citation - WoS: 2Citation - Scopus: 5Measuring the Green Infrastructure Resilience in Turkey(World Scientific Publishing, 2021) Karabakan, Berfin; Mert, YeldaCities today face significant difficulties and even risks due to the negative effects of climate change, uncontrolled urbanization, and rapid population growth. Many urban scenarios are being developed to mitigate potential risks and threats. One branch of these scenarios is built upon the concept of sustainability, for which the notion of “resilience” is of utmost importance. It is this notion of resilience that was examined in this study, based on the case of socio-ecological system features of Edremit, Van, Turkey. These features were evaluated in terms of changes that will potentially take place, and the analysis for this was performed using the Green Infrastructure Spatial Planning (GISP) method. In this approach, green infrastructure benefit criteria are mapped in the Geographic Information System (GIS) environment and various conclusions are drawn from the evaluation of these maps. The results of the study show that the green infrastructure systems of Edremit play an important role in providing a certain degree of resilience. It was, therefore, revealed as part of this study that measuring and evaluating the resilience properties of different cities is important. Also, urban policies and spatial strategies should be defined considering local characteristics and values as there is no one-size-fits-all solution in this regard. © Social Sciences Academic Press.