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 distributed real-time systems with a distributed test approach
Öztaş, Gökhan; Schmidt, Şenan Ece; Department of Electrical and Electronics Engineering (2008)
Software testing is an important phase the of software development cycle which reveals faults and ensures correctness of the developed software. Distributed real-time systems are mostly safety critical systems for which the correctness and quality of the software is much more significant. However, majority of the current testing techniques have been developed for sequential (non real-time) software and there is a limited amount of research on testing distributed real-time systems. In this thesis, a proposed...
Citation Formats
O. M. Gücün, “Test squence generation for a finite state machine using characterization sets,” Middle East Technical University, 1995.