Browsing by Author "Sözer, Hasan"
Now showing items 61-80 of 117
-
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 ... -
Improving models for model-based testing based on exploratory testing
Gebizli, Ceren Şahin (2014-08)Model bazlı test, test edilen sistemin modelleri sayesinde otomatik olarak test senaryoları oluşturulmasını sağlar. Bu modellerin doğruluğu ve tamlığı oluşturulan test senaryolarının etkinliğini belirler. Genelde manuel ... -
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 ... -
A longitudinal case study on Nexus transformation: Impact on productivity, quality, and motivation
Ersoy, E.; Çallı, E.; Erdoğan, B.; Bağrıyanık, S.; Sözer, Hasan (Wiley, 2023-09)There have been success stories reported regarding the adoption of agile software development methods in the industry. There also exist observations on their limitations. One of these limitations is scalability since agile ... -
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 ... -
Mutation testing of PL/SQL programs
Tarımcı, A. B.; Sözer, Hasan (Elsevier, 2022-10)Mutation testing is a prominent technique for evaluating the effectiveness of a test suite. Existing tools developed for supporting this technique are applicable for mainstream programming languages like C and Java. Mutation ... -
On the use of evolutionary coupling for software architecture recovery
Saydemir, Abdullah; Simitcioğlu, Muhammed Esad; Sözer, Hasan (IEEE, 2021)Software architecture documentation can be partially obtained automatically by means of software architecture recovery tools. These tools mainly cluster software modules to provide a high level structural organization of ... -
On the use of machine learning for predicting defect fix time violations
Kanoğlu, Ümit; Dolaş, Can; Sözer, Hasan (Science and Technology Publications, 2022)Accurate prediction of defect fix time is important for estimating and coordinating software maintenance efforts. Likewise, it is useful to predict whether or not the initially estimated defect fix time will be exceeded ... -
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, ... -
PL/SQL programları i̇çin veri tabanı bağımlılık analizi
Ersoy, E.; Altınışık, M.; Sözer, Hasan (CEUR-WS, 2017)PL/SQL dili ile yazılan programlar, veri tabanı üzerinde prosedür ve fonksiyon objeleri, ve bu objelerin bir kümesini barındıran paket objeleri olarak geliştirilmektedirler. Bu objeler yoğun olarak tablo ve görünüm gibi ... -
Prioritization and parallel execution of test cases for certification testing
Dirim, Şahin (2021-06-08)Systems that are developed in the consumer electronics domain are subject to testing for certification regularly. For instance, each Smart TV product must go through a certification process that is regulated by application ... -
Prioritization and parallel execution of test cases for certification testing of embedded systems
Dirim, Ş.; Özener, Okan Örsan; Sözer, Hasan (Springer, 2022-07-22)Testing for certification of embedded systems is common in consumer electronics domain. Application vendors provide test suites that have to be repeatedly executed for each product. Multiple test stations can be used in ...
Share this page
