Matches in SemOpenAlex for { <https://semopenalex.org/work/W2394172897> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2394172897 abstract "A new method is proposed to generate executable protocol conformance test suite using model checking technique.Using Kripke structure and CTL formulate,this paper formulates the problem of test generation from protocol’s EFSM model as the problem of finding witnesses in model checking.This paper also gives a heuristic algorithm to optimize the test suite.The results show the feasibility and effectivity of this method." @default.
- W2394172897 created "2016-06-24" @default.
- W2394172897 creator A5026694689 @default.
- W2394172897 date "2006-01-01" @default.
- W2394172897 modified "2023-09-24" @default.
- W2394172897 title "Automatic Protocol Conformance Test Suite Generation Based on Model Checking" @default.
- W2394172897 hasPublicationYear "2006" @default.
- W2394172897 type Work @default.
- W2394172897 sameAs 2394172897 @default.
- W2394172897 citedByCount "0" @default.
- W2394172897 crossrefType "journal-article" @default.
- W2394172897 hasAuthorship W2394172897A5026694689 @default.
- W2394172897 hasConcept C110251889 @default.
- W2394172897 hasConcept C111919701 @default.
- W2394172897 hasConcept C11413529 @default.
- W2394172897 hasConcept C119857082 @default.
- W2394172897 hasConcept C128942645 @default.
- W2394172897 hasConcept C142724271 @default.
- W2394172897 hasConcept C151552104 @default.
- W2394172897 hasConcept C151730666 @default.
- W2394172897 hasConcept C152877465 @default.
- W2394172897 hasConcept C154945302 @default.
- W2394172897 hasConcept C160145156 @default.
- W2394172897 hasConcept C165825675 @default.
- W2394172897 hasConcept C166957645 @default.
- W2394172897 hasConcept C173801870 @default.
- W2394172897 hasConcept C188087704 @default.
- W2394172897 hasConcept C199360897 @default.
- W2394172897 hasConcept C204787440 @default.
- W2394172897 hasConcept C2777267654 @default.
- W2394172897 hasConcept C2780385302 @default.
- W2394172897 hasConcept C41008148 @default.
- W2394172897 hasConcept C71924100 @default.
- W2394172897 hasConcept C76844732 @default.
- W2394172897 hasConcept C79581498 @default.
- W2394172897 hasConcept C86803240 @default.
- W2394172897 hasConcept C95457728 @default.
- W2394172897 hasConceptScore W2394172897C110251889 @default.
- W2394172897 hasConceptScore W2394172897C111919701 @default.
- W2394172897 hasConceptScore W2394172897C11413529 @default.
- W2394172897 hasConceptScore W2394172897C119857082 @default.
- W2394172897 hasConceptScore W2394172897C128942645 @default.
- W2394172897 hasConceptScore W2394172897C142724271 @default.
- W2394172897 hasConceptScore W2394172897C151552104 @default.
- W2394172897 hasConceptScore W2394172897C151730666 @default.
- W2394172897 hasConceptScore W2394172897C152877465 @default.
- W2394172897 hasConceptScore W2394172897C154945302 @default.
- W2394172897 hasConceptScore W2394172897C160145156 @default.
- W2394172897 hasConceptScore W2394172897C165825675 @default.
- W2394172897 hasConceptScore W2394172897C166957645 @default.
- W2394172897 hasConceptScore W2394172897C173801870 @default.
- W2394172897 hasConceptScore W2394172897C188087704 @default.
- W2394172897 hasConceptScore W2394172897C199360897 @default.
- W2394172897 hasConceptScore W2394172897C204787440 @default.
- W2394172897 hasConceptScore W2394172897C2777267654 @default.
- W2394172897 hasConceptScore W2394172897C2780385302 @default.
- W2394172897 hasConceptScore W2394172897C41008148 @default.
- W2394172897 hasConceptScore W2394172897C71924100 @default.
- W2394172897 hasConceptScore W2394172897C76844732 @default.
- W2394172897 hasConceptScore W2394172897C79581498 @default.
- W2394172897 hasConceptScore W2394172897C86803240 @default.
- W2394172897 hasConceptScore W2394172897C95457728 @default.
- W2394172897 hasLocation W23941728971 @default.
- W2394172897 hasOpenAccess W2394172897 @default.
- W2394172897 hasPrimaryLocation W23941728971 @default.
- W2394172897 hasRelatedWork W1928962298 @default.
- W2394172897 hasRelatedWork W2040248856 @default.
- W2394172897 hasRelatedWork W2046040663 @default.
- W2394172897 hasRelatedWork W2052877962 @default.
- W2394172897 hasRelatedWork W2099218965 @default.
- W2394172897 hasRelatedWork W2121378514 @default.
- W2394172897 hasRelatedWork W2129931199 @default.
- W2394172897 hasRelatedWork W2137203555 @default.
- W2394172897 hasRelatedWork W2158863270 @default.
- W2394172897 hasRelatedWork W2234603363 @default.
- W2394172897 hasRelatedWork W2367648971 @default.
- W2394172897 hasRelatedWork W2376131832 @default.
- W2394172897 hasRelatedWork W2377654302 @default.
- W2394172897 hasRelatedWork W2382393588 @default.
- W2394172897 hasRelatedWork W2385862592 @default.
- W2394172897 hasRelatedWork W2388091737 @default.
- W2394172897 hasRelatedWork W2390824172 @default.
- W2394172897 hasRelatedWork W2393059789 @default.
- W2394172897 hasRelatedWork W24878897 @default.
- W2394172897 hasRelatedWork W2171520548 @default.
- W2394172897 isParatext "false" @default.
- W2394172897 isRetracted "false" @default.
- W2394172897 magId "2394172897" @default.
- W2394172897 workType "article" @default.