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

24
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 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.