Browsing by Author "Gebizli, C. Ş."
Now showing items 1-5 of 5
-
Automatically learning usage behavior and generating event sequences for black-box testing of reactive systems
Kıraç, Mustafa Furkan; Aktemur, Tankut Barış; Sözer, Hasan; Gebizli, C. Ş. (The ACM Digital Library, 2019-06)We propose a novel technique based on recurrent artificial neural networks to generate test cases for black-box testing of reactive systems. We combine functional testing inputs that are automatically generated from a model ... -
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 ... -
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 ... -
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. ...
Share this page