FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2049988785> ?p ?o ?g. }

• W2049988785 endingPage "1125" @default.
• W2049988785 startingPage "1108" @default.
• W2049988785 abstract "In this paper, we propose a method to test a probabilistic FSM. The testing process consists of two parts. First, we check if there are any output faults or transfer faults in transitions. In order to identify a state of a PFSM, the characterization set is extended such that states are identified not only by observing output sequences but also by comparing probabilities. Second, we test whether the transition probabilities are correctly implemented. Interval estimation is used to assert the correctness of transition probabilities where a test verdict is assigned with a given confidence level. From a given confidence level and confidence interval length, a method is presented to determine the test sequence repetition numbers for testing probabilities. Fault coverage evaluation is carried out based on extended fault types where probabilities are changed. As an application, we apply the proposed method to a probabilistic non-repudiation protocol." @default.
• W2049988785 created "2016-06-24" @default.
• W2049988785 creator A5064485901 @default.
• W2049988785 creator A5072274443 @default.
• W2049988785 date "2010-05-01" @default.
• W2049988785 modified "2023-09-26" @default.
• W2049988785 title "Testing a probabilistic FSM using interval estimation" @default.
• W2049988785 cites W1577937387 @default.
• W2049988785 cites W1976268573 @default.
• W2049988785 cites W1990687584 @default.
• W2049988785 cites W2004929506 @default.
• W2049988785 cites W2009280542 @default.
• W2049988785 cites W2011762419 @default.
• W2049988785 cites W2012948837 @default.
• W2049988785 cites W2030316475 @default.
• W2049988785 cites W2055298790 @default.
• W2049988785 cites W2055530557 @default.
• W2049988785 cites W2106578604 @default.
• W2049988785 cites W2109354640 @default.
• W2049988785 cites W2113908384 @default.
• W2049988785 cites W2121954581 @default.
• W2049988785 cites W2124122503 @default.
• W2049988785 cites W2143578569 @default.
• W2049988785 cites W2148000467 @default.
• W2049988785 cites W2162445884 @default.
• W2049988785 cites W2163215565 @default.
• W2049988785 cites W2163369706 @default.
• W2049988785 cites W4234628562 @default.
• W2049988785 cites W4242277624 @default.
• W2049988785 cites W4361868505 @default.
• W2049988785 doi "https://doi.org/10.1016/j.comnet.2009.10.014" @default.
• W2049988785 hasPublicationYear "2010" @default.
• W2049988785 type Work @default.
• W2049988785 sameAs 2049988785 @default.
• W2049988785 citedByCount "12" @default.
• W2049988785 countsByYear W20499887852012 @default.
• W2049988785 countsByYear W20499887852015 @default.
• W2049988785 countsByYear W20499887852016 @default.
• W2049988785 countsByYear W20499887852017 @default.
• W2049988785 countsByYear W20499887852018 @default.
• W2049988785 countsByYear W20499887852019 @default.
• W2049988785 countsByYear W20499887852021 @default.
• W2049988785 countsByYear W20499887852023 @default.
• W2049988785 crossrefType "journal-article" @default.
• W2049988785 hasAuthorship W2049988785A5064485901 @default.
• W2049988785 hasAuthorship W2049988785A5072274443 @default.
• W2049988785 hasConcept C105795698 @default.
• W2049988785 hasConcept C11413529 @default.
• W2049988785 hasConcept C114614502 @default.
• W2049988785 hasConcept C127313418 @default.
• W2049988785 hasConcept C154945302 @default.
• W2049988785 hasConcept C165205528 @default.
• W2049988785 hasConcept C175551986 @default.
• W2049988785 hasConcept C2778067643 @default.
• W2049988785 hasConcept C2778112365 @default.
• W2049988785 hasConcept C33923547 @default.
• W2049988785 hasConcept C41008148 @default.
• W2049988785 hasConcept C44249647 @default.
• W2049988785 hasConcept C49937458 @default.
• W2049988785 hasConcept C54355233 @default.
• W2049988785 hasConcept C55439883 @default.
• W2049988785 hasConcept C86803240 @default.
• W2049988785 hasConceptScore W2049988785C105795698 @default.
• W2049988785 hasConceptScore W2049988785C11413529 @default.
• W2049988785 hasConceptScore W2049988785C114614502 @default.
• W2049988785 hasConceptScore W2049988785C127313418 @default.
• W2049988785 hasConceptScore W2049988785C154945302 @default.
• W2049988785 hasConceptScore W2049988785C165205528 @default.
• W2049988785 hasConceptScore W2049988785C175551986 @default.
• W2049988785 hasConceptScore W2049988785C2778067643 @default.
• W2049988785 hasConceptScore W2049988785C2778112365 @default.
• W2049988785 hasConceptScore W2049988785C33923547 @default.
• W2049988785 hasConceptScore W2049988785C41008148 @default.
• W2049988785 hasConceptScore W2049988785C44249647 @default.
• W2049988785 hasConceptScore W2049988785C49937458 @default.
• W2049988785 hasConceptScore W2049988785C54355233 @default.
• W2049988785 hasConceptScore W2049988785C55439883 @default.
• W2049988785 hasConceptScore W2049988785C86803240 @default.
• W2049988785 hasIssue "7" @default.
• W2049988785 hasLocation W20499887851 @default.
• W2049988785 hasLocation W20499887852 @default.
• W2049988785 hasLocation W20499887853 @default.
• W2049988785 hasOpenAccess W2049988785 @default.
• W2049988785 hasPrimaryLocation W20499887851 @default.
• W2049988785 hasRelatedWork W1516169988 @default.
• W2049988785 hasRelatedWork W1517743118 @default.
• W2049988785 hasRelatedWork W1995196170 @default.
• W2049988785 hasRelatedWork W2024218563 @default.
• W2049988785 hasRelatedWork W2055911971 @default.
• W2049988785 hasRelatedWork W2072806201 @default.
• W2049988785 hasRelatedWork W2318372128 @default.
• W2049988785 hasRelatedWork W2385305582 @default.
• W2049988785 hasRelatedWork W2390517737 @default.
• W2049988785 hasRelatedWork W4212878322 @default.
• W2049988785 hasVolume "54" @default.
• W2049988785 isParatext "false" @default.
• W2049988785 isRetracted "false" @default.
• W2049988785 magId "2049988785" @default.

• next