Browsing by Author "Sözer, Hasan"
Now showing items 101-117 of 117
-
Successive refinement of models for model-based testing to increase system test effectiveness
Sahin Gebizli, C.; Sözer, Hasan; Ercan, Ali Özer (IEEE, 2016)Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step ... -
Summary of an effective formulation of the multi-criteria test suite minimization problem
Özener, Okan Örsan; Sözer, Hasan (IEEE, 2022)This is an extended abstract of the article: Okan Orsan Ozener and Hasan Sozer, 'An Effective Formulation of the Multi-Criteria Test Suite Minimization Problem', published in the Journal of Systems and Software, Vol. 168, ... -
A survey of software testing in the cloud
İnçki, Koray; Arı, İsmail; Sözer, Hasan (IEEE, 2012)Cloud computing has emerged as a new computing paradigm that impacts several different research fields, including software testing. Testing cloud applications has its own peculiarities that demand for novel testing methods ... -
Test kâhini olarak görüntü karşılaştırma algoritmalarının değerlendirilmesi
Erdil, Ö. F.; Can, İrfan; Sözer, Hasan (CEUR-WS, 2017)Televizyon gibi yoğun yazılım içeren gömülü sistemlerin kara kutu testleri, grafik kullanıcı arayüzleri (GKA) aracılığıyla gerçekleştirilmektedir. Bu testlerin otomasyonu kapsamında bir dizi kullanıcı işlemi dışarıdan ... -
Tool support for model based software product line testing
Ergun, Burcu (2018-01)We introduce a tool for automated adaptation of test models to be reused for a prod uct family. Test models are specified in the form of hierarchical Markov chains. They represent possible usage behavior regarding the ... -
Towards a testing framework with visual feedback for actor-based systems
Sözer, Hasan; Gürler, O.; Yılmaz, O. (IEEE, 2018-08-02)We introduce a prototype testing framework as an extension of JUnit for testing actor-based systems. Our framework runs a given JUnit test in various schedules and records the execution trace for each run. In case a failure ... -
Towards test automation for certification tests in the banking domain
Elakas, A.; Tarlan, Ozan; Safak, I.; Çakmakçı, Kübra Kalkan; Sözer, Hasan (IEEE, 2023)Software systems in the banking domain are business-critical applications that provide financial services. These systems are subject to rigorous certification tests, which are performed manually, and take weeks to complete. ... -
Trust-based fusion of classifiers for static code analysis
Yüksel, U.; Sözer, Hasan; Şensoy, Murat (IEEE, 2014)Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, developers are usually exposed to a large number of alerts. Moreover, some of these alerts are ... -
Uncertainty assessment for speaker verification systems using a bayesian approach
Süslü, Çağıl (2021-01-18)The Automatic Speaker Verification (ASV) systems are developed to discriminate the genuine speakers from the spoofing attacks and they are also used as a security application in various industries (e.g., Banking and ... -
A unified framework for benchmarking sparse matrix-vector multiplication methods
Sarılı, Erdem (2019-10-01)Sparse matrix-vector multiplication (SpMV) is an important sparse linear algebra kernel that has a wide range of application domains, including computational science, graph analytics, machine learning and many more. Due ... -
Using artificial neural networks to provide guidance in extending PL/SQL programs
Ersoy, E.; Sözer, Hasan (Springer, 2022-12)Extending legacy systems with new objects for contemporary functionality or technology can lead to architecture erosion. Misplacement of these objects gradually hampers the modular structure, of which documentation is ... -
Using hypergraph clustering for software architecture reconstruction of data-tier software
Ersoy, E.; Kaya, K.; Altınışık, M.; Sözer, Hasan (Springer International Publishing, 2016)Software architecture reconstruction techniques aim at recovering software architecture documentation regarding a software system. These techniques mainly analyze coupling/dependencies among the software modules to group ... -
Utilizing clone detection for domain analysis of simulation systems
Astekin, M.; Sözer, Hasan (IEEE, 2012)This paper presents a case study on utilizing a clone detection technique for deriving commonalities among four different industrial simulation software systems. We have examined cloning both within each system and across ... -
Variability viewpoint for introducing variability in software architecture viewpoints
Tekinerdogan, B.; Sözer, Hasan (ACM, 2012)Variability is the ability of a software system to be changed for a specific context, in a preplanned manner. As such, to facilitate the instantiation of a software architecture the variability concern needs to be explicitly ... -
Verification and analysis of domain-specific models of physical characteristics in embedded control software
Roo, A. de; Sözer, Hasan; Akşit, M. (Elsevier, 2012-12)ContextA considerable portion of the software systems today are adopted in the embedded control domain. Embedded control software deals with controlling a physical system, and as such models of physical characteristics ... -
VISOR: A fast image processing pipeline with scaling and translation invariance for test oracle automation of visual output systems
Kıraç, Mustafa Furkan; Aktemur, Tankut Barış; Sözer, Hasan (The ACM Digital Library, 2018-02)A test oracle automation approach proposed for systems that produce visual output.Root causes of accuracy issues analyzed for test oracles based on image comparison.Image processing techniques employed to improve the ... -
Web uygulamaları için model bazlı test süreci otomasyonu
Özkan, Uğur; Sözer, Hasan (CEUR, 2015)Yazılım sistemlerinin boyutları ve karmaşıklıkları arttıkça, bu sistemlerin test edilmesi daha maliyetli olmaktadır. Maliyeti düşürmek ve verimliliği artırmak için model bazlı test teknikleri geliştirilmiştir. Bu teknikler ...
Share this page