Browsing by Author "(ORCID 0000-0002-2968-4763 & YÖK ID 23178) Sözer, Hasan"
Now showing items 61-80 of 82
-
Risk-driven model-based testing of washing machine software: an industrial case study
Kırkıcı, A.; Gebizli, C. Ş.; Sözer, Hasan (IEEE, 2018-07-16)We previously introduced an approach for risk-driven model-based testing. In that approach, test models are represented in the form of Markov chains and test case generation is steered by state transition probabilities. ... -
Rumadai: A plug-in to record and replay client-side events of web sites with dynamic content
Yıldız, Asım; Aktemur, Tankut Barış; Sözer, Hasan (IEEE, 2012)Reproducing user events when testing web pages is challenging because of the dynamic nature of the web content and potential dependency on third party content providers. We present Rumadai, a Visual Studio plug-in, that ... -
A run-time verification framework for smart grid applications implemented on simulation frameworks
Ciraci, S.; Sözer, Hasan; Tekinerdogan, B. (IEEE, 2013)Smart grid applications are implemented and tested with simulation frameworks as the developers usually do not have access to large sensor networks to be used as a test bed. The developers are forced to map the implementation ... -
Runtime verification of component-based embedded software
Sözer, Hasan; Hofmann, C; Tekinerdoğan, B.; Akşit, M. (Springer, 2011)To deal with increasing size and complexity, component-based software development has been employed in embedded systems. Due to several faults, components can make wrong assumptions about the working mode of the system and ... -
Runtime verification of Iot systems using complex event processing
İnçki, Koray; Arı, İsmail; Sözer, Hasan (IEEE, 2017)Internet of Things (IoT) is a new computing paradigm that is proliferated by wide adoption of application level protocols such as MQTT and CoAP, each of which defines different styles of sequential interaction of events. ... -
Solving a large-scale integrated fleet assignment and crew pairing problem
Özener, Okan Örsan; Örmeci Matoğlu, M.; Erdoğan, G.; Haouari, M.; Sözer, Hasan (Springer International Publishing, 2017)Airline schedule planning problems are typically decomposed into smaller problems, which are solved in a sequential manner, due to the complexity of the overall problems. This results in suboptimal solutions as well as ... -
Spectrum-based fault localization for diagnosing concurrency faults
Koca, Feyzullah; Sözer, Hasan; Abreu, R. (Springer Science+Business Media, 2013)Concurrency faults are activated by specific thread interleavings at runtime. Traditional fault localization techniques and static analysis fall short to diagnose these faults efficiently. Existing dynamic fault-localization ... -
Statik ve dinamik analizler ile hesaplanan risklere dayalı olarak test modellerinin iyileştirilmesi
Şahin Gebizli, C.; Metin, D.; Sözer, Hasan (CEUR, 2015)Model bazlı test teknikleri, sistem kullanım modelinden test senaryolarının otomatik olarak oluşturulmasını sağlayarak verimliliği artırmaktadır. Prensip olarak sonsuz sayıda test senaryosu oluşturmak mümkündür; ancak bu ... -
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 ... -
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 ... -
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 ...
Share this page