Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116736314> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2116736314 endingPage "256" @default.
- W2116736314 startingPage "251" @default.
- W2116736314 abstract "We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making the complex task of test generation feasible for systems with continuous domains is the use of model abstraction. Tests can be generated using manageable finite models and then mapped back to a detailed level. We state conditions for the correctness of this approach and discuss the preconditions and scope of applicability of the theory." @default.
- W2116736314 created "2016-06-24" @default.
- W2116736314 creator A5052723310 @default.
- W2116736314 date "1994-08-01" @default.
- W2116736314 modified "2023-09-24" @default.
- W2116736314 title "Testing physical systems" @default.
- W2116736314 cites W1484146221 @default.
- W2116736314 cites W1493278936 @default.
- W2116736314 cites W1797873548 @default.
- W2116736314 cites W2054631220 @default.
- W2116736314 cites W2911331989 @default.
- W2116736314 hasPublicationYear "1994" @default.
- W2116736314 type Work @default.
- W2116736314 sameAs 2116736314 @default.
- W2116736314 citedByCount "16" @default.
- W2116736314 crossrefType "proceedings-article" @default.
- W2116736314 hasAuthorship W2116736314A5052723310 @default.
- W2116736314 hasConcept C111472728 @default.
- W2116736314 hasConcept C111498074 @default.
- W2116736314 hasConcept C119857082 @default.
- W2116736314 hasConcept C124304363 @default.
- W2116736314 hasConcept C127413603 @default.
- W2116736314 hasConcept C128942645 @default.
- W2116736314 hasConcept C138885662 @default.
- W2116736314 hasConcept C152877465 @default.
- W2116736314 hasConcept C165825675 @default.
- W2116736314 hasConcept C167822520 @default.
- W2116736314 hasConcept C199360897 @default.
- W2116736314 hasConcept C201995342 @default.
- W2116736314 hasConcept C26517878 @default.
- W2116736314 hasConcept C2778012447 @default.
- W2116736314 hasConcept C2780451532 @default.
- W2116736314 hasConcept C38652104 @default.
- W2116736314 hasConcept C41008148 @default.
- W2116736314 hasConcept C55439883 @default.
- W2116736314 hasConcept C7166840 @default.
- W2116736314 hasConcept C80444323 @default.
- W2116736314 hasConceptScore W2116736314C111472728 @default.
- W2116736314 hasConceptScore W2116736314C111498074 @default.
- W2116736314 hasConceptScore W2116736314C119857082 @default.
- W2116736314 hasConceptScore W2116736314C124304363 @default.
- W2116736314 hasConceptScore W2116736314C127413603 @default.
- W2116736314 hasConceptScore W2116736314C128942645 @default.
- W2116736314 hasConceptScore W2116736314C138885662 @default.
- W2116736314 hasConceptScore W2116736314C152877465 @default.
- W2116736314 hasConceptScore W2116736314C165825675 @default.
- W2116736314 hasConceptScore W2116736314C167822520 @default.
- W2116736314 hasConceptScore W2116736314C199360897 @default.
- W2116736314 hasConceptScore W2116736314C201995342 @default.
- W2116736314 hasConceptScore W2116736314C26517878 @default.
- W2116736314 hasConceptScore W2116736314C2778012447 @default.
- W2116736314 hasConceptScore W2116736314C2780451532 @default.
- W2116736314 hasConceptScore W2116736314C38652104 @default.
- W2116736314 hasConceptScore W2116736314C41008148 @default.
- W2116736314 hasConceptScore W2116736314C55439883 @default.
- W2116736314 hasConceptScore W2116736314C7166840 @default.
- W2116736314 hasConceptScore W2116736314C80444323 @default.
- W2116736314 hasLocation W21167363141 @default.
- W2116736314 hasOpenAccess W2116736314 @default.
- W2116736314 hasPrimaryLocation W21167363141 @default.
- W2116736314 hasRelatedWork W1509139607 @default.
- W2116736314 hasRelatedWork W1586910069 @default.
- W2116736314 hasRelatedWork W1588075516 @default.
- W2116736314 hasRelatedWork W175408375 @default.
- W2116736314 hasRelatedWork W184279110 @default.
- W2116736314 hasRelatedWork W1889333569 @default.
- W2116736314 hasRelatedWork W1978308427 @default.
- W2116736314 hasRelatedWork W1986867802 @default.
- W2116736314 hasRelatedWork W2024217645 @default.
- W2116736314 hasRelatedWork W2042789186 @default.
- W2116736314 hasRelatedWork W2055298790 @default.
- W2116736314 hasRelatedWork W2093009475 @default.
- W2116736314 hasRelatedWork W2138554120 @default.
- W2116736314 hasRelatedWork W2144386448 @default.
- W2116736314 hasRelatedWork W2159639906 @default.
- W2116736314 hasRelatedWork W2183963414 @default.
- W2116736314 hasRelatedWork W2798953852 @default.
- W2116736314 hasRelatedWork W3099451540 @default.
- W2116736314 hasRelatedWork W87687620 @default.
- W2116736314 hasRelatedWork W981484256 @default.
- W2116736314 isParatext "false" @default.
- W2116736314 isRetracted "false" @default.
- W2116736314 magId "2116736314" @default.
- W2116736314 workType "article" @default.