Browsing by Author "Sözer, Hasan"
Now showing items 81-100 of 117
-
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. ... -
Reproducing field failures based on semi-formal failure scenario descriptions
Karagöz, Gün (2015-06)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
Kırkıcı, Abdulhadi (2018-05)Software is becoming larger and more complex in consumer electronics products. As a result, testing these products for reliability is becoming a major challenge. Traditional and manual testing activities are not effective ... -
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 specialization and autotuning of sparse matrix-vector multiplication
Ylmaz, Buse (2015-12)Runtime specialization is used for optimizing programs based on partial information available only at runtime. In this thesis, we present a purpose-built compiler to quickly specialize Sparse Matrix-Vector Multiplication ... -
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 internet of things using complex-event processing (RECEP)
İnçki, Koray (2018-06)Increase in the computing power and memory accompanied with decreasing architectural footprints has enabled conquering new frontiers in proliferation of technology in the next industry revolution. More autonomous systems ... -
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. ... -
Scalable analysis of large-scale system logs for anomaly detection
Astekin, Merve (2019-05-30)System logs provide information regarding the status of system components and various events that occur at runtime. This information can support fault detection, diagnosis and prediction activities. However, it is a ... -
A security protocol for IoT networks using blacklisting and trust scoring
There have been a number of high-profile incidents to compromise and attack larger networks of IoT devices, drawing attention to the need for IoT security. The purpose of IoT security is to ensure the availability, ... -
A semantic policy framework for internet of things
Göynügür, Emre (2018-10-31)With the proliferation of technology, connected and interconnected devices (henceforth referred to as IoT) are fast becoming a viable option to automate the day-to-day interactions of users with their environments. However, ... -
Simultaneous human-robot learning for efficient skill synthesis
Zamani, Mohammad Ali (2015-08)Yakın gelecekte robotların ve otonom birimlerin günlük yaşamımızın bir parçası haline geleceği beklenmektedir. Fakat, robotları bütün olası görevler için klasik yöntemlerle programlamak mümkün değildir. Bu sebeple, robot ... -
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 ... -
Speaker adaptation with minimal data in statistical speech synthesis systems
Mohammadi, Amir (2014-09)Statistical speech synthesis (SSS) systems have the ability to adapt to a target speaker with a couple of minutes of adaptation data. Developing adaptation algorithms to further reduce the number of adaptation utterances ... -
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 ...
Share this page