FRINK Linked Data Fragments server

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

• W2100485841 abstract "It is shown in this paper that the problem of deciding if a test suite generated from a finite state machine provides complete fault coverage can be converted into the problem of minimizing the test tree representing the test suite. A fault coverage analysis procedure, capable of deciding if a given test suite provides complete fault coverage in respect to a given FSM specification, is then developed. The core of this procedure is a state minimization procedure developed specifically for the class of FSMs whose graphic representations are trees. The fault coverage analysis procedure can cope with partially specified FSM specifications which need not be reduced and faults that increase the number of states up to a chosen upper bound. Two necessary and one sufficient conditions, which in some cases may simplify the fault coverage analysis, are also presented. >" @default.
• W2100485841 created "2016-06-24" @default.
• W2100485841 creator A5051269914 @default.
• W2100485841 creator A5079848365 @default.
• W2100485841 creator A5083944273 @default.
• W2100485841 date "2002-12-17" @default.
• W2100485841 modified "2023-09-25" @default.
• W2100485841 title "Fault coverage analysis in respect to an FSM specification" @default.
• W2100485841 cites W1543281322 @default.
• W2100485841 cites W1564101293 @default.
• W2100485841 cites W1575269820 @default.
• W2100485841 cites W1577272799 @default.
• W2100485841 cites W1987091519 @default.
• W2100485841 cites W2011762419 @default.
• W2100485841 cites W2015815754 @default.
• W2100485841 cites W2043603923 @default.
• W2100485841 cites W2056102643 @default.
• W2100485841 cites W2063111778 @default.
• W2100485841 cites W2068201344 @default.
• W2100485841 cites W2081822614 @default.
• W2100485841 cites W2097299633 @default.
• W2100485841 cites W2098467469 @default.
• W2100485841 cites W2118160504 @default.
• W2100485841 cites W2121954581 @default.
• W2100485841 cites W2126122415 @default.
• W2100485841 cites W2140047593 @default.
• W2100485841 cites W2151569783 @default.
• W2100485841 cites W2163215565 @default.
• W2100485841 cites W2177967933 @default.
• W2100485841 cites W3140187321 @default.
• W2100485841 cites W2101946356 @default.
• W2100485841 doi "https://doi.org/10.1109/infcom.1994.337662" @default.
• W2100485841 hasPublicationYear "2002" @default.
• W2100485841 type Work @default.
• W2100485841 sameAs 2100485841 @default.
• W2100485841 citedByCount "1" @default.
• W2100485841 crossrefType "proceedings-article" @default.
• W2100485841 hasAuthorship W2100485841A5051269914 @default.
• W2100485841 hasAuthorship W2100485841A5079848365 @default.
• W2100485841 hasAuthorship W2100485841A5083944273 @default.
• W2100485841 hasConcept C107094494 @default.
• W2100485841 hasConcept C112505250 @default.
• W2100485841 hasConcept C11413529 @default.
• W2100485841 hasConcept C119599485 @default.
• W2100485841 hasConcept C119857082 @default.
• W2100485841 hasConcept C126953365 @default.
• W2100485841 hasConcept C127313418 @default.
• W2100485841 hasConcept C127413603 @default.
• W2100485841 hasConcept C128942645 @default.
• W2100485841 hasConcept C134146338 @default.
• W2100485841 hasConcept C13625343 @default.
• W2100485841 hasConcept C147764199 @default.
• W2100485841 hasConcept C151552104 @default.
• W2100485841 hasConcept C152745839 @default.
• W2100485841 hasConcept C152877465 @default.
• W2100485841 hasConcept C154945302 @default.
• W2100485841 hasConcept C165205528 @default.
• W2100485841 hasConcept C166957645 @default.
• W2100485841 hasConcept C167391956 @default.
• W2100485841 hasConcept C167822520 @default.
• W2100485841 hasConcept C172707124 @default.
• W2100485841 hasConcept C175551986 @default.
• W2100485841 hasConcept C17626397 @default.
• W2100485841 hasConcept C199360897 @default.
• W2100485841 hasConcept C200601418 @default.
• W2100485841 hasConcept C2777904410 @default.
• W2100485841 hasConcept C41008148 @default.
• W2100485841 hasConcept C53942775 @default.
• W2100485841 hasConcept C79581498 @default.
• W2100485841 hasConcept C80444323 @default.
• W2100485841 hasConcept C95457728 @default.
• W2100485841 hasConceptScore W2100485841C107094494 @default.
• W2100485841 hasConceptScore W2100485841C112505250 @default.
• W2100485841 hasConceptScore W2100485841C11413529 @default.
• W2100485841 hasConceptScore W2100485841C119599485 @default.
• W2100485841 hasConceptScore W2100485841C119857082 @default.
• W2100485841 hasConceptScore W2100485841C126953365 @default.
• W2100485841 hasConceptScore W2100485841C127313418 @default.
• W2100485841 hasConceptScore W2100485841C127413603 @default.
• W2100485841 hasConceptScore W2100485841C128942645 @default.
• W2100485841 hasConceptScore W2100485841C134146338 @default.
• W2100485841 hasConceptScore W2100485841C13625343 @default.
• W2100485841 hasConceptScore W2100485841C147764199 @default.
• W2100485841 hasConceptScore W2100485841C151552104 @default.
• W2100485841 hasConceptScore W2100485841C152745839 @default.
• W2100485841 hasConceptScore W2100485841C152877465 @default.
• W2100485841 hasConceptScore W2100485841C154945302 @default.
• W2100485841 hasConceptScore W2100485841C165205528 @default.
• W2100485841 hasConceptScore W2100485841C166957645 @default.
• W2100485841 hasConceptScore W2100485841C167391956 @default.
• W2100485841 hasConceptScore W2100485841C167822520 @default.
• W2100485841 hasConceptScore W2100485841C172707124 @default.
• W2100485841 hasConceptScore W2100485841C175551986 @default.
• W2100485841 hasConceptScore W2100485841C17626397 @default.
• W2100485841 hasConceptScore W2100485841C199360897 @default.
• W2100485841 hasConceptScore W2100485841C200601418 @default.
• W2100485841 hasConceptScore W2100485841C2777904410 @default.
• W2100485841 hasConceptScore W2100485841C41008148 @default.
• W2100485841 hasConceptScore W2100485841C53942775 @default.
• W2100485841 hasConceptScore W2100485841C79581498 @default.

• next