FRINK Linked Data Fragments server

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

• W2953148227 endingPage "1040" @default.
• W2953148227 startingPage "1029" @default.
• W2953148227 abstract "In black-box testing, test sequences may be constructed from systems modelled as deterministic finite-state machines (DFSMs) or, more generally, observable non-deterministic finite state machines (ONFSMs). Test sequences usually contain state identification sequences, with unique input output sequences ( <small>UIOs</small> ) often being used with DFSMs. This paper extends the notion of <small>UIOs</small> to ONFSMs. One challenge is that, as a result of non-determinism, the application of an input sequence can lead to exponentially many expected output sequences. To address this scalability problem, we introduce <inline-formula><tex-math notation=LaTeX>${mathcal K}$</tex-math></inline-formula> - <small>UIOs</small> : <small>UIOs</small> that lead to at most <inline-formula><tex-math notation=LaTeX>${mathcal K}$</tex-math></inline-formula> output sequences from states of <inline-formula><tex-math notation=LaTeX>$M$</tex-math></inline-formula> . We show that checking <inline-formula><tex-math notation=LaTeX>${mathcal K}$</tex-math></inline-formula> - <small>UIO</small> existence is PSPACE-Complete if the problem is suitably bounded; otherwise it is in EXPSPACE and PSPACE-Hard. We provide a massively parallel algorithm for constructing <inline-formula><tex-math notation=LaTeX>${mathcal K}$</tex-math></inline-formula> - <small>UIOs</small> and the results of experiments on randomly generated and real FSM specifications. The proposed algorithm was able to construct <small>UIOs</small> in cases where the existing <small>UIO</small> generation algorithm could not and was able to construct <small>UIOs</small> from FSMs with 38K states and 400K transitions." @default.
• W2953148227 created "2019-06-27" @default.
• W2953148227 creator A5005294944 @default.
• W2953148227 creator A5009644797 @default.
• W2953148227 creator A5057959263 @default.
• W2953148227 date "2021-05-01" @default.
• W2953148227 modified "2023-10-05" @default.
• W2953148227 title "$mathcal k$-branching uio sequences for partially specified observable non-deterministic fsms" @default.
• W2953148227 cites W1545566155 @default.
• W2953148227 cites W1567155126 @default.
• W2953148227 cites W1965028135 @default.
• W2953148227 cites W1982129592 @default.
• W2953148227 cites W2002749300 @default.
• W2953148227 cites W2004929506 @default.
• W2953148227 cites W2008813808 @default.
• W2953148227 cites W2011762419 @default.
• W2953148227 cites W2018388535 @default.
• W2953148227 cites W2023898070 @default.
• W2953148227 cites W2043126523 @default.
• W2953148227 cites W2055298790 @default.
• W2953148227 cites W2086038725 @default.
• W2953148227 cites W2105394284 @default.
• W2953148227 cites W2107580999 @default.
• W2953148227 cites W2112944455 @default.
• W2953148227 cites W2114226943 @default.
• W2953148227 cites W2119296494 @default.
• W2953148227 cites W2130600926 @default.
• W2953148227 cites W2140047593 @default.
• W2953148227 cites W2144062101 @default.
• W2953148227 cites W2147573597 @default.
• W2953148227 cites W2157455659 @default.
• W2953148227 cites W2160282650 @default.
• W2953148227 cites W2160356309 @default.
• W2953148227 cites W2162578718 @default.
• W2953148227 cites W2252445111 @default.
• W2953148227 cites W2285199486 @default.
• W2953148227 cites W2305895531 @default.
• W2953148227 cites W2579287322 @default.
• W2953148227 cites W2945151282 @default.
• W2953148227 cites W4231342921 @default.
• W2953148227 cites W4235812095 @default.
• W2953148227 cites W4239974276 @default.
• W2953148227 cites W82595753 @default.
• W2953148227 doi "https://doi.org/10.1109/tse.2019.2911076" @default.
• W2953148227 hasPublicationYear "2021" @default.
• W2953148227 type Work @default.
• W2953148227 sameAs 2953148227 @default.
• W2953148227 citedByCount "6" @default.
• W2953148227 countsByYear W29531482272020 @default.
• W2953148227 countsByYear W29531482272021 @default.
• W2953148227 countsByYear W29531482272022 @default.
• W2953148227 countsByYear W29531482272023 @default.
• W2953148227 crossrefType "journal-article" @default.
• W2953148227 hasAuthorship W2953148227A5005294944 @default.
• W2953148227 hasAuthorship W2953148227A5009644797 @default.
• W2953148227 hasAuthorship W2953148227A5057959263 @default.
• W2953148227 hasBestOaLocation W29531482272 @default.
• W2953148227 hasConcept C11413529 @default.
• W2953148227 hasConcept C114614502 @default.
• W2953148227 hasConcept C118615104 @default.
• W2953148227 hasConcept C134306372 @default.
• W2953148227 hasConcept C2778112365 @default.
• W2953148227 hasConcept C33923547 @default.
• W2953148227 hasConcept C34388435 @default.
• W2953148227 hasConcept C45357846 @default.
• W2953148227 hasConcept C48103436 @default.
• W2953148227 hasConcept C54355233 @default.
• W2953148227 hasConcept C86803240 @default.
• W2953148227 hasConcept C94375191 @default.
• W2953148227 hasConceptScore W2953148227C11413529 @default.
• W2953148227 hasConceptScore W2953148227C114614502 @default.
• W2953148227 hasConceptScore W2953148227C118615104 @default.
• W2953148227 hasConceptScore W2953148227C134306372 @default.
• W2953148227 hasConceptScore W2953148227C2778112365 @default.
• W2953148227 hasConceptScore W2953148227C33923547 @default.
• W2953148227 hasConceptScore W2953148227C34388435 @default.
• W2953148227 hasConceptScore W2953148227C45357846 @default.
• W2953148227 hasConceptScore W2953148227C48103436 @default.
• W2953148227 hasConceptScore W2953148227C54355233 @default.
• W2953148227 hasConceptScore W2953148227C86803240 @default.
• W2953148227 hasConceptScore W2953148227C94375191 @default.
• W2953148227 hasIssue "5" @default.
• W2953148227 hasLocation W29531482271 @default.
• W2953148227 hasLocation W29531482272 @default.
• W2953148227 hasOpenAccess W2953148227 @default.
• W2953148227 hasPrimaryLocation W29531482271 @default.
• W2953148227 hasRelatedWork W1978042415 @default.
• W2953148227 hasRelatedWork W2012841980 @default.
• W2953148227 hasRelatedWork W2018828049 @default.
• W2953148227 hasRelatedWork W2042726902 @default.
• W2953148227 hasRelatedWork W2046712581 @default.
• W2953148227 hasRelatedWork W2136053165 @default.
• W2953148227 hasRelatedWork W2370340664 @default.
• W2953148227 hasRelatedWork W2951043270 @default.
• W2953148227 hasRelatedWork W3102632868 @default.
• W2953148227 hasRelatedWork W3102909640 @default.
• W2953148227 hasVolume "47" @default.
• W2953148227 isParatext "false" @default.

• next