Matches in SemOpenAlex for { <https://semopenalex.org/work/W2748563828> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2748563828 abstract "We present SemSlice, a tool which automatically produces very precise slices for C routines. Slicing is the process of removing statements from a program such that defined aspects of its behavior are retained. For producing precise slices, i.e., slices that are close to the minimal number of statements, the program’s semantics must be considered. SemSlice is based on automatic relational regression verification, which SemSlice uses to select valid slices from a set of candidate slices. We present several approaches for producing candidates for precise slices. Evaluation shows that regression verification (based on coupling invariant inference) is a powerful tool for semantics-aware slicing: precise slices for typical slicing challenges can be found automatically and fast." @default.
- W2748563828 created "2017-08-31" @default.
- W2748563828 creator A5003024686 @default.
- W2748563828 creator A5039009530 @default.
- W2748563828 creator A5049880872 @default.
- W2748563828 creator A5058828564 @default.
- W2748563828 creator A5062363912 @default.
- W2748563828 creator A5067511397 @default.
- W2748563828 date "2017-01-01" @default.
- W2748563828 modified "2023-10-06" @default.
- W2748563828 title "SemSlice: Exploiting Relational Verification for Automatic Program Slicing" @default.
- W2748563828 cites W1544283013 @default.
- W2748563828 cites W1546381996 @default.
- W2748563828 cites W1595405651 @default.
- W2748563828 cites W1975807602 @default.
- W2748563828 cites W1984043968 @default.
- W2748563828 cites W2048193923 @default.
- W2748563828 cites W2057992103 @default.
- W2748563828 cites W2067871120 @default.
- W2748563828 cites W2094182642 @default.
- W2748563828 cites W2138777463 @default.
- W2748563828 cites W2512369958 @default.
- W2748563828 cites W2553283531 @default.
- W2748563828 cites W32883339 @default.
- W2748563828 cites W4246166885 @default.
- W2748563828 cites W57185801 @default.
- W2748563828 cites W7362409 @default.
- W2748563828 doi "https://doi.org/10.1007/978-3-319-66845-1_20" @default.
- W2748563828 hasPublicationYear "2017" @default.
- W2748563828 type Work @default.
- W2748563828 sameAs 2748563828 @default.
- W2748563828 citedByCount "3" @default.
- W2748563828 countsByYear W27485638282019 @default.
- W2748563828 countsByYear W27485638282020 @default.
- W2748563828 countsByYear W27485638282022 @default.
- W2748563828 crossrefType "book-chapter" @default.
- W2748563828 hasAuthorship W2748563828A5003024686 @default.
- W2748563828 hasAuthorship W2748563828A5039009530 @default.
- W2748563828 hasAuthorship W2748563828A5049880872 @default.
- W2748563828 hasAuthorship W2748563828A5058828564 @default.
- W2748563828 hasAuthorship W2748563828A5062363912 @default.
- W2748563828 hasAuthorship W2748563828A5067511397 @default.
- W2748563828 hasConcept C121332964 @default.
- W2748563828 hasConcept C124101348 @default.
- W2748563828 hasConcept C136764020 @default.
- W2748563828 hasConcept C154945302 @default.
- W2748563828 hasConcept C177264268 @default.
- W2748563828 hasConcept C184337299 @default.
- W2748563828 hasConcept C190470478 @default.
- W2748563828 hasConcept C199360897 @default.
- W2748563828 hasConcept C2776190703 @default.
- W2748563828 hasConcept C37914503 @default.
- W2748563828 hasConcept C41008148 @default.
- W2748563828 hasConcept C91071405 @default.
- W2748563828 hasConcept C98045186 @default.
- W2748563828 hasConceptScore W2748563828C121332964 @default.
- W2748563828 hasConceptScore W2748563828C124101348 @default.
- W2748563828 hasConceptScore W2748563828C136764020 @default.
- W2748563828 hasConceptScore W2748563828C154945302 @default.
- W2748563828 hasConceptScore W2748563828C177264268 @default.
- W2748563828 hasConceptScore W2748563828C184337299 @default.
- W2748563828 hasConceptScore W2748563828C190470478 @default.
- W2748563828 hasConceptScore W2748563828C199360897 @default.
- W2748563828 hasConceptScore W2748563828C2776190703 @default.
- W2748563828 hasConceptScore W2748563828C37914503 @default.
- W2748563828 hasConceptScore W2748563828C41008148 @default.
- W2748563828 hasConceptScore W2748563828C91071405 @default.
- W2748563828 hasConceptScore W2748563828C98045186 @default.
- W2748563828 hasLocation W27485638281 @default.
- W2748563828 hasOpenAccess W2748563828 @default.
- W2748563828 hasPrimaryLocation W27485638281 @default.
- W2748563828 hasRelatedWork W120582129 @default.
- W2748563828 hasRelatedWork W1535045235 @default.
- W2748563828 hasRelatedWork W1575308494 @default.
- W2748563828 hasRelatedWork W1984248430 @default.
- W2748563828 hasRelatedWork W2110019745 @default.
- W2748563828 hasRelatedWork W2122858966 @default.
- W2748563828 hasRelatedWork W2151139698 @default.
- W2748563828 hasRelatedWork W2167531444 @default.
- W2748563828 hasRelatedWork W2170509118 @default.
- W2748563828 hasRelatedWork W2293624369 @default.
- W2748563828 hasRelatedWork W2338340935 @default.
- W2748563828 hasRelatedWork W2346217839 @default.
- W2748563828 hasRelatedWork W2590627218 @default.
- W2748563828 hasRelatedWork W2618827452 @default.
- W2748563828 hasRelatedWork W2916374318 @default.
- W2748563828 hasRelatedWork W2936184738 @default.
- W2748563828 hasRelatedWork W3037486232 @default.
- W2748563828 hasRelatedWork W366794214 @default.
- W2748563828 hasRelatedWork W382328267 @default.
- W2748563828 hasRelatedWork W2181706609 @default.
- W2748563828 isParatext "false" @default.
- W2748563828 isRetracted "false" @default.
- W2748563828 magId "2748563828" @default.
- W2748563828 workType "book-chapter" @default.