Matches in SemOpenAlex for { <https://semopenalex.org/work/W2072380848> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2072380848 abstract "The specification for a communication protocol is generally represented by a finite-state machine, and the operation of the machine is represented by transitions among states. The device implementing such specification is called the implementation under test (IUT). It is important for the IUT that its operation should be verified for all state transitions on the finite-state machine given in the specification. This test is called the conformance testing. In such testing it is important to generate efficiently a route containing all state transitions from the initial state. This problem is called the test sequence generation problem. This paper considers the test sequence generation problem for a communication protocol and proposes an application of an algorithm for satisfiability problem (SAT) that can flexibly handle various constraints, such as the order constraint and the time constraint among multiple constraints. The proposed method is applied to the dynamic host configuration protocol (DHCP) and its effectiveness is demonstrated. © 2003 Wiley Periodicals, Inc. Syst Comp Jpn, 34(11): 20–29, 2003; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/scj.10482" @default.
- W2072380848 created "2016-06-24" @default.
- W2072380848 creator A5007252341 @default.
- W2072380848 creator A5016082529 @default.
- W2072380848 creator A5025647645 @default.
- W2072380848 creator A5057610115 @default.
- W2072380848 creator A5082680857 @default.
- W2072380848 date "2003-08-18" @default.
- W2072380848 modified "2023-09-23" @default.
- W2072380848 title "A test sequence generation method for communication protocols using the SAT algorithm" @default.
- W2072380848 cites W1526749820 @default.
- W2072380848 cites W1965028135 @default.
- W2072380848 cites W2017127020 @default.
- W2072380848 cites W2043158263 @default.
- W2072380848 cites W2044560939 @default.
- W2072380848 cites W2062897452 @default.
- W2072380848 cites W2107580999 @default.
- W2072380848 cites W2161952834 @default.
- W2072380848 doi "https://doi.org/10.1002/scj.10482" @default.
- W2072380848 hasPublicationYear "2003" @default.
- W2072380848 type Work @default.
- W2072380848 sameAs 2072380848 @default.
- W2072380848 citedByCount "5" @default.
- W2072380848 countsByYear W20723808482013 @default.
- W2072380848 countsByYear W20723808482014 @default.
- W2072380848 crossrefType "journal-article" @default.
- W2072380848 hasAuthorship W2072380848A5007252341 @default.
- W2072380848 hasAuthorship W2072380848A5016082529 @default.
- W2072380848 hasAuthorship W2072380848A5025647645 @default.
- W2072380848 hasAuthorship W2072380848A5057610115 @default.
- W2072380848 hasAuthorship W2072380848A5082680857 @default.
- W2072380848 hasConcept C111919701 @default.
- W2072380848 hasConcept C11413529 @default.
- W2072380848 hasConcept C119857082 @default.
- W2072380848 hasConcept C12269588 @default.
- W2072380848 hasConcept C128942645 @default.
- W2072380848 hasConcept C142724271 @default.
- W2072380848 hasConcept C145243422 @default.
- W2072380848 hasConcept C152877465 @default.
- W2072380848 hasConcept C167822520 @default.
- W2072380848 hasConcept C168773769 @default.
- W2072380848 hasConcept C181062253 @default.
- W2072380848 hasConcept C188087704 @default.
- W2072380848 hasConcept C199360897 @default.
- W2072380848 hasConcept C204787440 @default.
- W2072380848 hasConcept C2524010 @default.
- W2072380848 hasConcept C2776036281 @default.
- W2072380848 hasConcept C2778112365 @default.
- W2072380848 hasConcept C2780385302 @default.
- W2072380848 hasConcept C33923547 @default.
- W2072380848 hasConcept C41008148 @default.
- W2072380848 hasConcept C48103436 @default.
- W2072380848 hasConcept C54355233 @default.
- W2072380848 hasConcept C71924100 @default.
- W2072380848 hasConcept C76844732 @default.
- W2072380848 hasConcept C80444323 @default.
- W2072380848 hasConcept C86803240 @default.
- W2072380848 hasConceptScore W2072380848C111919701 @default.
- W2072380848 hasConceptScore W2072380848C11413529 @default.
- W2072380848 hasConceptScore W2072380848C119857082 @default.
- W2072380848 hasConceptScore W2072380848C12269588 @default.
- W2072380848 hasConceptScore W2072380848C128942645 @default.
- W2072380848 hasConceptScore W2072380848C142724271 @default.
- W2072380848 hasConceptScore W2072380848C145243422 @default.
- W2072380848 hasConceptScore W2072380848C152877465 @default.
- W2072380848 hasConceptScore W2072380848C167822520 @default.
- W2072380848 hasConceptScore W2072380848C168773769 @default.
- W2072380848 hasConceptScore W2072380848C181062253 @default.
- W2072380848 hasConceptScore W2072380848C188087704 @default.
- W2072380848 hasConceptScore W2072380848C199360897 @default.
- W2072380848 hasConceptScore W2072380848C204787440 @default.
- W2072380848 hasConceptScore W2072380848C2524010 @default.
- W2072380848 hasConceptScore W2072380848C2776036281 @default.
- W2072380848 hasConceptScore W2072380848C2778112365 @default.
- W2072380848 hasConceptScore W2072380848C2780385302 @default.
- W2072380848 hasConceptScore W2072380848C33923547 @default.
- W2072380848 hasConceptScore W2072380848C41008148 @default.
- W2072380848 hasConceptScore W2072380848C48103436 @default.
- W2072380848 hasConceptScore W2072380848C54355233 @default.
- W2072380848 hasConceptScore W2072380848C71924100 @default.
- W2072380848 hasConceptScore W2072380848C76844732 @default.
- W2072380848 hasConceptScore W2072380848C80444323 @default.
- W2072380848 hasConceptScore W2072380848C86803240 @default.
- W2072380848 hasLocation W20723808481 @default.
- W2072380848 hasOpenAccess W2072380848 @default.
- W2072380848 hasPrimaryLocation W20723808481 @default.
- W2072380848 hasRelatedWork W2023663882 @default.
- W2072380848 hasRelatedWork W2057419801 @default.
- W2072380848 hasRelatedWork W2057623054 @default.
- W2072380848 hasRelatedWork W2112146432 @default.
- W2072380848 hasRelatedWork W2128489288 @default.
- W2072380848 hasRelatedWork W2371447506 @default.
- W2072380848 hasRelatedWork W2386767533 @default.
- W2072380848 hasRelatedWork W2748952813 @default.
- W2072380848 hasRelatedWork W4293416242 @default.
- W2072380848 hasRelatedWork W2182882536 @default.
- W2072380848 isParatext "false" @default.
- W2072380848 isRetracted "false" @default.
- W2072380848 magId "2072380848" @default.
- W2072380848 workType "article" @default.