Test squence generation for a finite state machine using characterization sets

Gücün , Onur Mehmet


Test Data Generation by Dynamic Symbolic Execution: A Systematic Literature Review
Balcı, Halil İbrahim; Betin Can, Aysu; Tarhan, Ayça (null; 2019-09-25)
Test of independence for generalized Farlie-Gumbel-Morgenstern distributions
Guven, Bilgehan; Kotz, Samual (2008-01-15)
Given a pair of absolutely continuous random variables (X, Y) distributed as the generalized Farlie-Gumbel-Morgenstern (GFGM) distribution, we develop a test for testing the hypothesis: X and Y are independent vs. the alternative; X and Y are positively (negatively) quadrant dependent above a preassigned degree of dependence. The proposed test maximizes the minimum power over the alternative hypothesis. Also it possesses a monotone increasing power with respect to the dependence parameter of the GFGM distri...
Test of independence in the Farlie-Gumbel-Morgenstern distribution
Guven, B (2003-01-01)
We consider the hypotheses; H-0 : theta = 0 vs. H-1 : theta greater than or equal to eta where theta is the dependence parameter of the Farlie-Gumbel-Morgenstren distribution and eta is an element of (0, 1]. A test, which maximizes the minimum power over the alternative hypothesis, is given for these hypotheses. The power function of this test is monotone increasing over the alternative hypothesis. Furthermore, the asymptotic distribution and the approximate power of the test are presented.
Testing unit root and comparison of estimates
Purutçuoğlu Gazi, Vilda (2009-06-01)
Testing Encoding and Retrieval Dynamics of Pairs Using Probed Recall Task
Hato, Tuğba; Kılıç Özhan, Aslı; Department of Psychology (2022-9)
In free recall, subjects tend to successively recall words studied in nearby positions, denoted as the contiguity effect, favoring the following word over the preceding one. Whereas in paired associates, recall probabilities of forward and backward recalls are approximately equal. The associative symmetry hypothesis (ASH) suggests holistic encoding of pairs, whereas the independent association hypothesis (IAH) separate the encoding of forward and backward. Two main classes of memory models aim to explain th...
Citation Formats
O. M. Gücün, “Test squence generation for a finite state machine using characterization sets,” Middle East Technical University, 1995.