Yazar "0000-0001-5996-4398" için Fakülteler 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 ...