FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1970407306> ?p ?o ?g. }

• W1970407306 endingPage "21" @default.
• W1970407306 startingPage "1" @default.
• W1970407306 abstract "Functional validation is widely acknowledged as a major challenge for multicore architectures. Directed tests are promising since a significantly smaller number of directed tests can achieve the same coverage goal compared to constrained-random tests. SAT-based bounded model checking is effective for automated generation of directed tests (counterexamples). While existing approaches focus on clause forwarding between different bounds to reduce the test generation time, this article proposes a novel technique that exploits temporal, structural, and spatial symmetry in multicore designs at the same time. Our proposed technique enables the reuse of the knowledge learned from one core to the remaining cores in multicore architectures (structural symmetry), from one bound to the next for a give property (temporal symmetry), as well as from one property to other properties (spatial symmetry). The experimental results demonstrate that our approach can significantly (3--10 times) reduce overall test generation time compared to existing approaches." @default.
• W1970407306 created "2016-06-24" @default.
• W1970407306 creator A5006818844 @default.
• W1970407306 creator A5048617761 @default.
• W1970407306 date "2012-06-01" @default.
• W1970407306 modified "2023-09-23" @default.
• W1970407306 title "Directed test generation for validation of multicore architectures" @default.
• W1970407306 cites W1483209614 @default.
• W1970407306 cites W1499997324 @default.
• W1970407306 cites W1524329362 @default.
• W1970407306 cites W1566041312 @default.
• W1970407306 cites W1819209966 @default.
• W1970407306 cites W2008970505 @default.
• W1970407306 cites W2027876313 @default.
• W1970407306 cites W2030935018 @default.
• W1970407306 cites W2044560939 @default.
• W1970407306 cites W2048413377 @default.
• W1970407306 cites W2055647675 @default.
• W1970407306 cites W2057361103 @default.
• W1970407306 cites W2062897452 @default.
• W1970407306 cites W2098508444 @default.
• W1970407306 cites W2105279414 @default.
• W1970407306 cites W2110123236 @default.
• W1970407306 cites W2122756875 @default.
• W1970407306 cites W2129022098 @default.
• W1970407306 cites W2142785340 @default.
• W1970407306 cites W2152426072 @default.
• W1970407306 doi "https://doi.org/10.1145/2209291.2209297" @default.
• W1970407306 hasPublicationYear "2012" @default.
• W1970407306 type Work @default.
• W1970407306 sameAs 1970407306 @default.
• W1970407306 citedByCount "22" @default.
• W1970407306 countsByYear W19704073062012 @default.
• W1970407306 countsByYear W19704073062014 @default.
• W1970407306 countsByYear W19704073062016 @default.
• W1970407306 countsByYear W19704073062017 @default.
• W1970407306 countsByYear W19704073062018 @default.
• W1970407306 countsByYear W19704073062019 @default.
• W1970407306 countsByYear W19704073062020 @default.
• W1970407306 countsByYear W19704073062021 @default.
• W1970407306 countsByYear W19704073062022 @default.
• W1970407306 crossrefType "journal-article" @default.
• W1970407306 hasAuthorship W1970407306A5006818844 @default.
• W1970407306 hasAuthorship W1970407306A5048617761 @default.
• W1970407306 hasConcept C110251889 @default.
• W1970407306 hasConcept C111472728 @default.
• W1970407306 hasConcept C11413529 @default.
• W1970407306 hasConcept C118615104 @default.
• W1970407306 hasConcept C134306372 @default.
• W1970407306 hasConcept C138885662 @default.
• W1970407306 hasConcept C162838799 @default.
• W1970407306 hasConcept C165696696 @default.
• W1970407306 hasConcept C173608175 @default.
• W1970407306 hasConcept C18903297 @default.
• W1970407306 hasConcept C189950617 @default.
• W1970407306 hasConcept C206588197 @default.
• W1970407306 hasConcept C2164484 @default.
• W1970407306 hasConcept C2524010 @default.
• W1970407306 hasConcept C2779886137 @default.
• W1970407306 hasConcept C33923547 @default.
• W1970407306 hasConcept C34388435 @default.
• W1970407306 hasConcept C38652104 @default.
• W1970407306 hasConcept C41008148 @default.
• W1970407306 hasConcept C76155785 @default.
• W1970407306 hasConcept C78766204 @default.
• W1970407306 hasConcept C86803240 @default.
• W1970407306 hasConceptScore W1970407306C110251889 @default.
• W1970407306 hasConceptScore W1970407306C111472728 @default.
• W1970407306 hasConceptScore W1970407306C11413529 @default.
• W1970407306 hasConceptScore W1970407306C118615104 @default.
• W1970407306 hasConceptScore W1970407306C134306372 @default.
• W1970407306 hasConceptScore W1970407306C138885662 @default.
• W1970407306 hasConceptScore W1970407306C162838799 @default.
• W1970407306 hasConceptScore W1970407306C165696696 @default.
• W1970407306 hasConceptScore W1970407306C173608175 @default.
• W1970407306 hasConceptScore W1970407306C18903297 @default.
• W1970407306 hasConceptScore W1970407306C189950617 @default.
• W1970407306 hasConceptScore W1970407306C206588197 @default.
• W1970407306 hasConceptScore W1970407306C2164484 @default.
• W1970407306 hasConceptScore W1970407306C2524010 @default.
• W1970407306 hasConceptScore W1970407306C2779886137 @default.
• W1970407306 hasConceptScore W1970407306C33923547 @default.
• W1970407306 hasConceptScore W1970407306C34388435 @default.
• W1970407306 hasConceptScore W1970407306C38652104 @default.
• W1970407306 hasConceptScore W1970407306C41008148 @default.
• W1970407306 hasConceptScore W1970407306C76155785 @default.
• W1970407306 hasConceptScore W1970407306C78766204 @default.
• W1970407306 hasConceptScore W1970407306C86803240 @default.
• W1970407306 hasFunder F4320306076 @default.
• W1970407306 hasIssue "3" @default.
• W1970407306 hasLocation W19704073061 @default.
• W1970407306 hasOpenAccess W1970407306 @default.
• W1970407306 hasPrimaryLocation W19704073061 @default.
• W1970407306 hasRelatedWork W1550626198 @default.
• W1970407306 hasRelatedWork W1553268179 @default.
• W1970407306 hasRelatedWork W1570254110 @default.
• W1970407306 hasRelatedWork W1749917042 @default.
• W1970407306 hasRelatedWork W1993103557 @default.

• next