Matches in SemOpenAlex for { <https://semopenalex.org/work/W3217014377> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3217014377 abstract "Many verification strategies have been proposed to identify unexpected behaviours in system-level implementations. However, when one of such behaviours is found, the verification engineer still has to understand its cause to fix the originating error. This requires a tedious and long process, generally based on manual inspection of the execution traces of the design under verification. Nevertheless, usually only a few instructions in the execution traces are relevant to understand the cause of the unexpected behaviour. To help the verification engineers identifying and focusing on such instructions, we present a tool that automatically removes the irrelevant ones. It works by combining dynamic program slicing with a clustering procedure on the execution traces corresponding to unexpected behaviours. Firstly, program slicing is applied to remove instructions not belonging to the cone of influence of the unexpected behaviour. Then, clusters of instructions based on store operations at the LLVM intermediate representation are created to guide the heuristic in removing further irrelevant instructions." @default.
- W3217014377 created "2021-12-06" @default.
- W3217014377 creator A5005661044 @default.
- W3217014377 creator A5022080475 @default.
- W3217014377 creator A5025088388 @default.
- W3217014377 creator A5056099430 @default.
- W3217014377 date "2021-10-04" @default.
- W3217014377 modified "2023-10-17" @default.
- W3217014377 title "System-level bug explanation through program slicing and instruction clusterization" @default.
- W3217014377 cites W2034590404 @default.
- W3217014377 cites W2079055089 @default.
- W3217014377 cites W2096067805 @default.
- W3217014377 cites W2123896602 @default.
- W3217014377 cites W2137839528 @default.
- W3217014377 cites W2144344516 @default.
- W3217014377 cites W3095215867 @default.
- W3217014377 cites W3146044371 @default.
- W3217014377 cites W4233319527 @default.
- W3217014377 cites W4241947695 @default.
- W3217014377 cites W4246166885 @default.
- W3217014377 doi "https://doi.org/10.1109/vlsi-soc53125.2021.9607008" @default.
- W3217014377 hasPublicationYear "2021" @default.
- W3217014377 type Work @default.
- W3217014377 sameAs 3217014377 @default.
- W3217014377 citedByCount "1" @default.
- W3217014377 countsByYear W32170143772022 @default.
- W3217014377 crossrefType "proceedings-article" @default.
- W3217014377 hasAuthorship W3217014377A5005661044 @default.
- W3217014377 hasAuthorship W3217014377A5022080475 @default.
- W3217014377 hasAuthorship W3217014377A5025088388 @default.
- W3217014377 hasAuthorship W3217014377A5056099430 @default.
- W3217014377 hasConcept C115903868 @default.
- W3217014377 hasConcept C136764020 @default.
- W3217014377 hasConcept C154945302 @default.
- W3217014377 hasConcept C168065819 @default.
- W3217014377 hasConcept C173801870 @default.
- W3217014377 hasConcept C17744445 @default.
- W3217014377 hasConcept C199360897 @default.
- W3217014377 hasConcept C199539241 @default.
- W3217014377 hasConcept C26713055 @default.
- W3217014377 hasConcept C2776190703 @default.
- W3217014377 hasConcept C2776359362 @default.
- W3217014377 hasConcept C2777904410 @default.
- W3217014377 hasConcept C2779639559 @default.
- W3217014377 hasConcept C41008148 @default.
- W3217014377 hasConcept C73555534 @default.
- W3217014377 hasConcept C91071405 @default.
- W3217014377 hasConcept C94625758 @default.
- W3217014377 hasConcept C98045186 @default.
- W3217014377 hasConceptScore W3217014377C115903868 @default.
- W3217014377 hasConceptScore W3217014377C136764020 @default.
- W3217014377 hasConceptScore W3217014377C154945302 @default.
- W3217014377 hasConceptScore W3217014377C168065819 @default.
- W3217014377 hasConceptScore W3217014377C173801870 @default.
- W3217014377 hasConceptScore W3217014377C17744445 @default.
- W3217014377 hasConceptScore W3217014377C199360897 @default.
- W3217014377 hasConceptScore W3217014377C199539241 @default.
- W3217014377 hasConceptScore W3217014377C26713055 @default.
- W3217014377 hasConceptScore W3217014377C2776190703 @default.
- W3217014377 hasConceptScore W3217014377C2776359362 @default.
- W3217014377 hasConceptScore W3217014377C2777904410 @default.
- W3217014377 hasConceptScore W3217014377C2779639559 @default.
- W3217014377 hasConceptScore W3217014377C41008148 @default.
- W3217014377 hasConceptScore W3217014377C73555534 @default.
- W3217014377 hasConceptScore W3217014377C91071405 @default.
- W3217014377 hasConceptScore W3217014377C94625758 @default.
- W3217014377 hasConceptScore W3217014377C98045186 @default.
- W3217014377 hasFunder F4320317295 @default.
- W3217014377 hasLocation W32170143771 @default.
- W3217014377 hasOpenAccess W3217014377 @default.
- W3217014377 hasPrimaryLocation W32170143771 @default.
- W3217014377 hasRelatedWork W1489262808 @default.
- W3217014377 hasRelatedWork W1536968357 @default.
- W3217014377 hasRelatedWork W1820380186 @default.
- W3217014377 hasRelatedWork W2099080307 @default.
- W3217014377 hasRelatedWork W2099665351 @default.
- W3217014377 hasRelatedWork W2121728898 @default.
- W3217014377 hasRelatedWork W2135926579 @default.
- W3217014377 hasRelatedWork W2354354754 @default.
- W3217014377 hasRelatedWork W2556682778 @default.
- W3217014377 hasRelatedWork W2766076007 @default.
- W3217014377 isParatext "false" @default.
- W3217014377 isRetracted "false" @default.
- W3217014377 magId "3217014377" @default.
- W3217014377 workType "article" @default.