Matches in SemOpenAlex for { <https://semopenalex.org/work/W1974534342> ?p ?o ?g. }
- W1974534342 abstract "DVGen is a novel microprocessor test generator that allows the verification engineer to focus only on capturing test intent via minimally constrained test specifications. DVGen combines test specifications to generate tests that preserve the intent of each specification while causing the concurrent occurrence of interesting events from each specification. DVGen is very effective at uncovering multi-dimensional corner case bugs, which have historically been the bane of complex designs." @default.
- W1974534342 created "2016-06-24" @default.
- W1974534342 creator A5013931119 @default.
- W1974534342 creator A5048916119 @default.
- W1974534342 creator A5063994793 @default.
- W1974534342 creator A5079899024 @default.
- W1974534342 date "2006-11-01" @default.
- W1974534342 modified "2023-09-25" @default.
- W1974534342 title "DVGen: Increasing Coverage by Automatically Combining Test Specifications" @default.
- W1974534342 cites W2008923158 @default.
- W1974534342 cites W2009653580 @default.
- W1974534342 cites W2042345013 @default.
- W1974534342 cites W2098283416 @default.
- W1974534342 cites W2102454528 @default.
- W1974534342 cites W2102606870 @default.
- W1974534342 cites W2107580999 @default.
- W1974534342 cites W2131570554 @default.
- W1974534342 cites W2136357775 @default.
- W1974534342 cites W2139705864 @default.
- W1974534342 cites W2145738444 @default.
- W1974534342 doi "https://doi.org/10.1109/hldvt.2006.320011" @default.
- W1974534342 hasPublicationYear "2006" @default.
- W1974534342 type Work @default.
- W1974534342 sameAs 1974534342 @default.
- W1974534342 citedByCount "0" @default.
- W1974534342 crossrefType "proceedings-article" @default.
- W1974534342 hasAuthorship W1974534342A5013931119 @default.
- W1974534342 hasAuthorship W1974534342A5048916119 @default.
- W1974534342 hasAuthorship W1974534342A5063994793 @default.
- W1974534342 hasAuthorship W1974534342A5079899024 @default.
- W1974534342 hasConcept C115903868 @default.
- W1974534342 hasConcept C116253237 @default.
- W1974534342 hasConcept C119599485 @default.
- W1974534342 hasConcept C119857082 @default.
- W1974534342 hasConcept C120665830 @default.
- W1974534342 hasConcept C121332964 @default.
- W1974534342 hasConcept C127413603 @default.
- W1974534342 hasConcept C128942645 @default.
- W1974534342 hasConcept C134146338 @default.
- W1974534342 hasConcept C151552104 @default.
- W1974534342 hasConcept C151730666 @default.
- W1974534342 hasConcept C152877465 @default.
- W1974534342 hasConcept C163258240 @default.
- W1974534342 hasConcept C17626397 @default.
- W1974534342 hasConcept C186846655 @default.
- W1974534342 hasConcept C192209626 @default.
- W1974534342 hasConcept C199360897 @default.
- W1974534342 hasConcept C200601418 @default.
- W1974534342 hasConcept C2777267654 @default.
- W1974534342 hasConcept C2777904410 @default.
- W1974534342 hasConcept C2780992000 @default.
- W1974534342 hasConcept C41008148 @default.
- W1974534342 hasConcept C529173508 @default.
- W1974534342 hasConcept C53942775 @default.
- W1974534342 hasConcept C62520636 @default.
- W1974534342 hasConcept C7435765 @default.
- W1974534342 hasConcept C86803240 @default.
- W1974534342 hasConceptScore W1974534342C115903868 @default.
- W1974534342 hasConceptScore W1974534342C116253237 @default.
- W1974534342 hasConceptScore W1974534342C119599485 @default.
- W1974534342 hasConceptScore W1974534342C119857082 @default.
- W1974534342 hasConceptScore W1974534342C120665830 @default.
- W1974534342 hasConceptScore W1974534342C121332964 @default.
- W1974534342 hasConceptScore W1974534342C127413603 @default.
- W1974534342 hasConceptScore W1974534342C128942645 @default.
- W1974534342 hasConceptScore W1974534342C134146338 @default.
- W1974534342 hasConceptScore W1974534342C151552104 @default.
- W1974534342 hasConceptScore W1974534342C151730666 @default.
- W1974534342 hasConceptScore W1974534342C152877465 @default.
- W1974534342 hasConceptScore W1974534342C163258240 @default.
- W1974534342 hasConceptScore W1974534342C17626397 @default.
- W1974534342 hasConceptScore W1974534342C186846655 @default.
- W1974534342 hasConceptScore W1974534342C192209626 @default.
- W1974534342 hasConceptScore W1974534342C199360897 @default.
- W1974534342 hasConceptScore W1974534342C200601418 @default.
- W1974534342 hasConceptScore W1974534342C2777267654 @default.
- W1974534342 hasConceptScore W1974534342C2777904410 @default.
- W1974534342 hasConceptScore W1974534342C2780992000 @default.
- W1974534342 hasConceptScore W1974534342C41008148 @default.
- W1974534342 hasConceptScore W1974534342C529173508 @default.
- W1974534342 hasConceptScore W1974534342C53942775 @default.
- W1974534342 hasConceptScore W1974534342C62520636 @default.
- W1974534342 hasConceptScore W1974534342C7435765 @default.
- W1974534342 hasConceptScore W1974534342C86803240 @default.
- W1974534342 hasLocation W19745343421 @default.
- W1974534342 hasOpenAccess W1974534342 @default.
- W1974534342 hasPrimaryLocation W19745343421 @default.
- W1974534342 hasRelatedWork W1527862632 @default.
- W1974534342 hasRelatedWork W1652311832 @default.
- W1974534342 hasRelatedWork W2118300983 @default.
- W1974534342 hasRelatedWork W2135396778 @default.
- W1974534342 hasRelatedWork W2166247150 @default.
- W1974534342 hasRelatedWork W2243428364 @default.
- W1974534342 hasRelatedWork W2462453872 @default.
- W1974534342 hasRelatedWork W3207171446 @default.
- W1974534342 hasRelatedWork W4243252198 @default.
- W1974534342 hasRelatedWork W4245713008 @default.
- W1974534342 isParatext "false" @default.
- W1974534342 isRetracted "false" @default.
- W1974534342 magId "1974534342" @default.