Browsing Faculty of Engineering by OzU Authors "Sözer, Hasan"
Now showing items 21-40 of 62
-
Extending static code analysis with application-specific rules by analyzing runtime execution traces
Ersoy, E.; Sözer, Hasan (Springer International Publishing, 2016)Static analysis tools cannot detect violations of application-specific rules. They can be extended with specialized checkers that implement the verification of these rules. However, such rules are usually not documented ... -
FAS: introducing a service for avoiding faults in composite services
Gülcü, K.; Sözer, Hasan; Aktemur, Tankut Barış (Springer Science+Business Media, 2012)In service-oriented architectures, composite services depend on a set of partner services to perform the required tasks. These partner services may become unavailable due to system and/or network faults, leading to an ... -
Fault masking as a service
Gülcü, Koray; Sözer, Hasan; Aktemur, Tankut Barış; Ercan, Ali Özer (Wiley, 2014-07)In SOA, composite services depend on a set of partner services to perform their tasks. These partner services may become unavailable because of system and/or network faults, leading to an increased error rate for the ... -
Feature-based rationale management system for supporting software architecture adaptation
Tekinerdoğan, B.; Sözer, Hasan; Akşit, M. (World Scientific Publishing Co., 2012-11)Each software architecture design is the result of a broad set of design decisions and their justifications, that is, the design rationale. Capturing the design rationale is important for a variety of reasons such as ... -
FORMAT: a tool for adapting test models based on feature models
Ergun, B.; Gebizli, C. Ş.; Sözer, Hasan (IEEE, 2017)We introduce a tool that facilitates the reuse of test models for a family of systems. Test models are defined as hierarchical Markov chains for specifying possible usage of features for these systems. Variability among ... -
Geçmişe dönük hata tespit oranlarının zamanla değişen etkisine göre regresyon testlerinin önceliklendirilmesi
Kurt, D.; Sözer, Hasan (CEUR-WS, 2014)Büyük ölçekli yazılım sistemlerinin regresyon testleri masraflıdır. Kaynak kısıtları sebebiyle genellikle tüm test durumlarını değerlendirmek mümkün olmamaktadır. Dolayısıyla, hataları mümkün olan en kısa sürede tespit ... -
Generating runtime verification specifications based on static code analysis alerts
Kılıç, Yunus; Sözer, Hasan (ACM, 2017)Runtime verification techniques verify dynamic system behavior with respect to a set of specifications. These specifications are often created manually based on system requirements and constraints. In this paper, we introduce ... -
Guiding architects in selecting architectural evolution alternatives
Ciraci, S.; Sözer, Hasan; Aksit, M. (Springer Science+Business Media, 2011)Although there exist methods and tools to support architecture evolution, the derivation and evaluation of alternative evolution paths are realized manually. In this paper, we introduce an approach, where architecture ... -
Identifying critical architectural components with spectral analysis of fault trees
Ayav, T.; Sözer, Hasan (Elsevier, 2016-12)We increasingly rely on software-intensive embedded systems. Increasing size and complexity of these hardware/software systems makes it necessary to evaluate reliability at the system architecture level. One aspect of this ... -
Impact of education and experience level on the effectiveness of exploratory testing: an industrial case study
Şahin Gebizli, Ceren; Sözer, Hasan (IEEE, 2017)Exploratory Testing (ET) is a widely applied approach in practice. This approach relies on the knowledge and experience of test engineers and technicians who perform ET. Hence, we aimed at evaluating the impact of education ... -
Improving models for model-based testing based on exploratory testing
Gebizli, C. Ş.; Sözer, Hasan (IEEE, 2014)Model-based testing facilitates automatic generation of test cases by means of models of the system under test. Correctness and completeness of these models determine the effectiveness of the generated test cases. Critical ... -
Increasing test efficiency by risk-driven model-based testing
Gebizli, C. Ş.; Kırkıcı, A.; Sözer, Hasan (Elsevier, 2018-10)We introduce an approach and a tool, RIMA, for adapting test models used for model-based testing to augment information regarding failure risk. We represent test models in the form of Markov chains. These models comprise ... -
Incremental analysis of large-scale system logs for anomaly detection
Astekin, M.; Özcan, S.; Sözer, Hasan (IEEE, 2019)Anomalies during system execution can be detected by automated analysis of logs generated by the system. However, large scale systems can generate tens of millions of lines of logs within days. Centralized implementations ... -
Integrated static code analysis and runtime verification
Sözer, Hasan (Wiley, 2015-10)Static code analysis tools automatically generate alerts for potential software faults that can lead to failures. However, these tools usually generate a very large number of alerts, some of which are subject to false ... -
Kombi̇natoryal test tekni̇kleri̇ni̇n karmaşık olay i̇şleme motorlarında uygulanması
Arı, İsmail; Ölmezoğulları, Erdi; Sözer, Hasan (IEEE, 2012)Testing practice has a critical place during the design, implementation and integration of software, hardware and complex systems composed of these. Cost of failures caused by bugs that could not be detected and fixed early ... -
Model-based software product line testing by coupling feature Mmodels with hierarchical Markov chain usage models
Sahin Gebizli, C.; Sözer, Hasan (IEEE, 2016)Model-based testing automates test case generation based on usage models of a system. In this paper, we introduce an approach for systematic reuse of these models for testing a large family of products. In our approach, ... -
Model-based testing of digital TVs: an industry-as-laboratory approach
Sözer, Hasan; Şahin Gebizli, C. (Springer Science+Business Media, 2017-12)Model-based testing is a promising approach for increasing the efficiency of the testing process and for improving software quality. It has been employed in the industry for more than a decade. Nevertheless, there are still ... -
MOO: An architectural framework for runtime optimization of multiple system objectives in embedded control software
Roo, A. de; Sözer, Hasan; Bergmans, L.; Akşit, M. (Elsevier, 2013-10)Today's complex embedded systems function in varying operational conditions. The control software adapts several control variables to keep the operational state optimal with respect to multiple objectives. There exist ... -
Moving switching functions to continuous domain
Ayav, T.; Sözer, Hasan (IEEE, 2016)This paper proposes a method for moving switching functions to continuous domain. The benefits of this approach are twofold. First, the elementary calculus works with the transformed functions. Second, this transformation ... -
Optimizing decomposition of software architecture for local recovery
Sözer, Hasan; Tekinerdoğan, B.; Akşit, M. (Springer Science+Business Media, 2013-06)The increasing size and complexity of software systems has led to an amplified number of potential failures and as such makes it harder to ensure software reliability. Since it is usually hard to prevent all the failures, ...
Share this page