Kurum Yazarı "Kılınççeker, Onur" Bilgisayar Mühendisliği Bölümü Koleksiyonu İçin Listeleme
-
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 ...