Yazar "Kılınççeker, Onur" için listeleme
-
Model-Based Ideal Testing of GUI Programs-Approach and Case Studies
Kılınççeker, Onur; Silistre, Alper; Belli, Fevzi; Challenger, Moharram (EEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC., 2021)Traditionally, software testing is aimed at showing the presence of faults. This paper proposes a novel approach to testing graphical user interfaces (GUI) for showing both the presence and absence of faults in the sense ... -
Model-based ideal testing of hardware description language (HDL) programs
Kılınççeker, Onur; Türk, Ercüment; Belli, Fevzi; Challenger, Moharram (SPRINGER HEIDELBERG, 2021)An ideal test is supposed to show not only the presence of bugs but also their absence. Based on the Fundamental Test Theory of Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156-173, 1975), this paper proposes an ... -
Random Test Generation from Regular Expressions for Graphical User Interface (GUI) Testing
Kılınççeker, Onur; Silistre, Alper; Challenger, Moharram; Belli, Fevzi (Institute of Electrical and Electronics Engineers Inc., 2019)Generation of test sequences, that is, (user) inputs - expected (system) outputs, is an important task of testing of graphical user interfaces (GUI). This work proposes an approach to randomly generate test sequences that ... -
Towards Uniform Modeling and Holistic Testing of Hardware and Software
Kılınççeker, Onur; Belli, Fevzi (Institute of Electrical and Electronics Engineers Inc., 2019)This paper introduces an approach to uniform modeling and testing of hardware and software systems and their faults. As an example, for hardware under consideration, designs at a behavioral level will be used, implemented ...
