Browsing Computer Science by Author "Sözer, Hasan"
Now showing items 61-80 of 84
-
Prioritization of test cases with varying test costs and fault severities for certification testing
Dirim, S.; Sözer, Hasan (IEEE, 2020-10)We present an industrial case study on the application of test case prioritization techniques in the context of certification testing in consumer electronics domain. Test execution times and fault severities are subject ... -
Real-time event correlation and alarm rule mining models for complex event processing systems
Çelebi, Ömer Faruk (2013-08)World is creating the same quantity of data every two days, as it created from up until 2003. Evolving data streams are key factor for the growth of data created over the last few years. Streaming data analysis in real-time ... -
Reproducing failures based on semiformal failure scenario descriptions
Karagöz, G.; Sözer, Hasan (Springer International Publishing, 2017)Due to the increasing size and complexity of software systems, it becomes hard to test these systems exhaustively. As a result, some faults can be left undetected. Undetected faults can lead to failures in deployed systems. ... -
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. ... -
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 ...
Share this page