Test squence generation for a finite state machine using characterization sets

Download

056628.pdf

Date

1995

Author

Gücün , Onur Mehmet

Metadata

Show full item record

Item Usage Stats

125
views

0
downloads

URI

https://hdl.handle.net/11511/11031

Collections

Graduate School of Natural and Applied Sciences, Thesis

Suggestions

OpenMETU
Core

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.