Matches in SemOpenAlex for { <https://semopenalex.org/work/W2163599059> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2163599059 abstract "In conformance testing practice several test generation methods are based on the finite state machine specifications of protocols. These methods compose test suites by concatenating or merging test sequences like homing sequences, distinguishing sequences and unique input output sequences. This paper describes how notions from the conformance testing realm relate to formal languages. Different test sequences are expressed as operations on the finite state machine description itself The paper shows how a finite state machine description of a protocol can be transformed to a finite automation which accepts exactly the test sequences of the protocol. We present algorithms that compute that test sequence automata and we show that the computation of distinguishing sequences and unique input output sequences are NP-complete problems. >" @default.
- W2163599059 created "2016-06-24" @default.
- W2163599059 creator A5073236952 @default.
- W2163599059 date "2002-12-30" @default.
- W2163599059 modified "2023-09-25" @default.
- W2163599059 title "Test sequence algorithms and formal languages" @default.
- W2163599059 cites W2029755436 @default.
- W2163599059 doi "https://doi.org/10.1109/ats.1993.398793" @default.
- W2163599059 hasPublicationYear "2002" @default.
- W2163599059 type Work @default.
- W2163599059 sameAs 2163599059 @default.
- W2163599059 citedByCount "1" @default.
- W2163599059 crossrefType "proceedings-article" @default.
- W2163599059 hasAuthorship W2163599059A5073236952 @default.
- W2163599059 hasConcept C104091681 @default.
- W2163599059 hasConcept C111919701 @default.
- W2163599059 hasConcept C112505250 @default.
- W2163599059 hasConcept C11413529 @default.
- W2163599059 hasConcept C119857082 @default.
- W2163599059 hasConcept C128942645 @default.
- W2163599059 hasConcept C145243422 @default.
- W2163599059 hasConcept C146072743 @default.
- W2163599059 hasConcept C152877465 @default.
- W2163599059 hasConcept C167822520 @default.
- W2163599059 hasConcept C181062253 @default.
- W2163599059 hasConcept C188087704 @default.
- W2163599059 hasConcept C199360897 @default.
- W2163599059 hasConcept C2778112365 @default.
- W2163599059 hasConcept C41008148 @default.
- W2163599059 hasConcept C48103436 @default.
- W2163599059 hasConcept C54355233 @default.
- W2163599059 hasConcept C76844732 @default.
- W2163599059 hasConcept C80444323 @default.
- W2163599059 hasConcept C86803240 @default.
- W2163599059 hasConceptScore W2163599059C104091681 @default.
- W2163599059 hasConceptScore W2163599059C111919701 @default.
- W2163599059 hasConceptScore W2163599059C112505250 @default.
- W2163599059 hasConceptScore W2163599059C11413529 @default.
- W2163599059 hasConceptScore W2163599059C119857082 @default.
- W2163599059 hasConceptScore W2163599059C128942645 @default.
- W2163599059 hasConceptScore W2163599059C145243422 @default.
- W2163599059 hasConceptScore W2163599059C146072743 @default.
- W2163599059 hasConceptScore W2163599059C152877465 @default.
- W2163599059 hasConceptScore W2163599059C167822520 @default.
- W2163599059 hasConceptScore W2163599059C181062253 @default.
- W2163599059 hasConceptScore W2163599059C188087704 @default.
- W2163599059 hasConceptScore W2163599059C199360897 @default.
- W2163599059 hasConceptScore W2163599059C2778112365 @default.
- W2163599059 hasConceptScore W2163599059C41008148 @default.
- W2163599059 hasConceptScore W2163599059C48103436 @default.
- W2163599059 hasConceptScore W2163599059C54355233 @default.
- W2163599059 hasConceptScore W2163599059C76844732 @default.
- W2163599059 hasConceptScore W2163599059C80444323 @default.
- W2163599059 hasConceptScore W2163599059C86803240 @default.
- W2163599059 hasLocation W21635990591 @default.
- W2163599059 hasOpenAccess W2163599059 @default.
- W2163599059 hasPrimaryLocation W21635990591 @default.
- W2163599059 hasRelatedWork W11820374 @default.
- W2163599059 hasRelatedWork W147875353 @default.
- W2163599059 hasRelatedWork W1544501706 @default.
- W2163599059 hasRelatedWork W1591645440 @default.
- W2163599059 hasRelatedWork W1964231982 @default.
- W2163599059 hasRelatedWork W2055647675 @default.
- W2163599059 hasRelatedWork W2088327537 @default.
- W2163599059 hasRelatedWork W2109315538 @default.
- W2163599059 hasRelatedWork W2159120852 @default.
- W2163599059 hasRelatedWork W2173386945 @default.
- W2163599059 hasRelatedWork W2204552931 @default.
- W2163599059 hasRelatedWork W2285621613 @default.
- W2163599059 hasRelatedWork W2341205195 @default.
- W2163599059 hasRelatedWork W2368581371 @default.
- W2163599059 hasRelatedWork W2809620854 @default.
- W2163599059 hasRelatedWork W2998489193 @default.
- W2163599059 hasRelatedWork W3033397011 @default.
- W2163599059 hasRelatedWork W3080197406 @default.
- W2163599059 hasRelatedWork W3142089163 @default.
- W2163599059 hasRelatedWork W56439669 @default.
- W2163599059 isParatext "false" @default.
- W2163599059 isRetracted "false" @default.
- W2163599059 magId "2163599059" @default.
- W2163599059 workType "article" @default.