Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
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
Cite This
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
O. M. Gücün, “Test squence generation for a finite state machine using characterization sets,” Middle East Technical University, 1995.