Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017656663> ?p ?o ?g. }
- W2017656663 endingPage "213" @default.
- W2017656663 startingPage "207" @default.
- W2017656663 abstract "Functional testing is testing aimed at validating the correct operation of a digital system with respect to its functional specification. We have designed and implemented a practical test generation methodology that can generate tests directly from a system's high-level specification. Solutions adopted include multi-level fault models and multi-stage test generation. Tests generated from the methodology were compared against test programs supplied by a computer manufacturer and were found to detect more faults with much better efficiency. The experiment demonstrated that functional testing can be both practical and efficient. Automatic generation of design validation tests is now closer to reality." @default.
- W2017656663 created "2016-06-24" @default.
- W2017656663 creator A5024012980 @default.
- W2017656663 creator A5038707835 @default.
- W2017656663 date "1983-06-27" @default.
- W2017656663 modified "2023-09-29" @default.
- W2017656663 title "Functional Testing of Digital Systems" @default.
- W2017656663 cites W1823755974 @default.
- W2017656663 cites W1996682897 @default.
- W2017656663 doi "https://doi.org/10.5555/800032.800665" @default.
- W2017656663 hasPublicationYear "1983" @default.
- W2017656663 type Work @default.
- W2017656663 sameAs 2017656663 @default.
- W2017656663 citedByCount "27" @default.
- W2017656663 countsByYear W20176566632021 @default.
- W2017656663 crossrefType "proceedings-article" @default.
- W2017656663 hasAuthorship W2017656663A5024012980 @default.
- W2017656663 hasAuthorship W2017656663A5038707835 @default.
- W2017656663 hasConcept C107683887 @default.
- W2017656663 hasConcept C108913964 @default.
- W2017656663 hasConcept C115903868 @default.
- W2017656663 hasConcept C119599485 @default.
- W2017656663 hasConcept C119857082 @default.
- W2017656663 hasConcept C126953365 @default.
- W2017656663 hasConcept C127413603 @default.
- W2017656663 hasConcept C128942645 @default.
- W2017656663 hasConcept C134146338 @default.
- W2017656663 hasConcept C149091818 @default.
- W2017656663 hasConcept C151730666 @default.
- W2017656663 hasConcept C152877465 @default.
- W2017656663 hasConcept C162443782 @default.
- W2017656663 hasConcept C165825675 @default.
- W2017656663 hasConcept C169168650 @default.
- W2017656663 hasConcept C182122060 @default.
- W2017656663 hasConcept C186846655 @default.
- W2017656663 hasConcept C188598960 @default.
- W2017656663 hasConcept C199360897 @default.
- W2017656663 hasConcept C200601418 @default.
- W2017656663 hasConcept C2777267654 @default.
- W2017656663 hasConcept C2777904410 @default.
- W2017656663 hasConcept C41008148 @default.
- W2017656663 hasConcept C51234621 @default.
- W2017656663 hasConcept C57371142 @default.
- W2017656663 hasConcept C62235348 @default.
- W2017656663 hasConcept C64346931 @default.
- W2017656663 hasConcept C7166840 @default.
- W2017656663 hasConcept C80823478 @default.
- W2017656663 hasConcept C86469151 @default.
- W2017656663 hasConcept C86803240 @default.
- W2017656663 hasConceptScore W2017656663C107683887 @default.
- W2017656663 hasConceptScore W2017656663C108913964 @default.
- W2017656663 hasConceptScore W2017656663C115903868 @default.
- W2017656663 hasConceptScore W2017656663C119599485 @default.
- W2017656663 hasConceptScore W2017656663C119857082 @default.
- W2017656663 hasConceptScore W2017656663C126953365 @default.
- W2017656663 hasConceptScore W2017656663C127413603 @default.
- W2017656663 hasConceptScore W2017656663C128942645 @default.
- W2017656663 hasConceptScore W2017656663C134146338 @default.
- W2017656663 hasConceptScore W2017656663C149091818 @default.
- W2017656663 hasConceptScore W2017656663C151730666 @default.
- W2017656663 hasConceptScore W2017656663C152877465 @default.
- W2017656663 hasConceptScore W2017656663C162443782 @default.
- W2017656663 hasConceptScore W2017656663C165825675 @default.
- W2017656663 hasConceptScore W2017656663C169168650 @default.
- W2017656663 hasConceptScore W2017656663C182122060 @default.
- W2017656663 hasConceptScore W2017656663C186846655 @default.
- W2017656663 hasConceptScore W2017656663C188598960 @default.
- W2017656663 hasConceptScore W2017656663C199360897 @default.
- W2017656663 hasConceptScore W2017656663C200601418 @default.
- W2017656663 hasConceptScore W2017656663C2777267654 @default.
- W2017656663 hasConceptScore W2017656663C2777904410 @default.
- W2017656663 hasConceptScore W2017656663C41008148 @default.
- W2017656663 hasConceptScore W2017656663C51234621 @default.
- W2017656663 hasConceptScore W2017656663C57371142 @default.
- W2017656663 hasConceptScore W2017656663C62235348 @default.
- W2017656663 hasConceptScore W2017656663C64346931 @default.
- W2017656663 hasConceptScore W2017656663C7166840 @default.
- W2017656663 hasConceptScore W2017656663C80823478 @default.
- W2017656663 hasConceptScore W2017656663C86469151 @default.
- W2017656663 hasConceptScore W2017656663C86803240 @default.
- W2017656663 hasLocation W20176566631 @default.
- W2017656663 hasOpenAccess W2017656663 @default.
- W2017656663 hasPrimaryLocation W20176566631 @default.
- W2017656663 hasRelatedWork W1598240946 @default.
- W2017656663 hasRelatedWork W1677852443 @default.
- W2017656663 hasRelatedWork W1758753246 @default.
- W2017656663 hasRelatedWork W1782503042 @default.
- W2017656663 hasRelatedWork W1823755974 @default.
- W2017656663 hasRelatedWork W1971173647 @default.
- W2017656663 hasRelatedWork W1989888071 @default.
- W2017656663 hasRelatedWork W1996682897 @default.
- W2017656663 hasRelatedWork W2023782846 @default.
- W2017656663 hasRelatedWork W2034476614 @default.
- W2017656663 hasRelatedWork W2045122863 @default.
- W2017656663 hasRelatedWork W2104770522 @default.
- W2017656663 hasRelatedWork W2104974933 @default.
- W2017656663 hasRelatedWork W2105895479 @default.
- W2017656663 hasRelatedWork W2111994103 @default.