FRINK Linked Data Fragments server

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

• W95169743 endingPage "116" @default.
• W95169743 startingPage "99" @default.
• W95169743 abstract "Regression verification techniques are used to prove equivalence of closely related program versions. Existing regression verification techniques leverage the similarities between program versions to help improve analysis scalability by using abstraction and decomposition techniques. These techniques are sound but not complete. In this work, we propose an alternative technique to improve scalability of regression verification that leverages change impact information to partition program execution behaviors. Program behaviors in each version are partitioned into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Our approach uses a combination of static analysis and symbolic execution to generate summaries of program behaviors impacted by the differences. We show in this work that checking equivalence of behaviors in two program versions reduces to checking equivalence of just the impacted behaviors. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution; furthermore, our approach can be used with existing approaches to better leverage the similarities between program versions and improve analysis scalability. We evaluate our technique on a set of sequential C artifacts and present preliminary results." @default.
• W95169743 created "2016-06-24" @default.
• W95169743 creator A5016373630 @default.
• W95169743 creator A5044286809 @default.
• W95169743 creator A5044441669 @default.
• W95169743 creator A5047763549 @default.
• W95169743 date "2013-01-01" @default.
• W95169743 modified "2023-09-24" @default.
• W95169743 title "Regression Verification Using Impact Summaries" @default.
• W95169743 cites W1480909796 @default.
• W95169743 cites W15179086 @default.
• W95169743 cites W1545038039 @default.
• W95169743 cites W1856462361 @default.
• W95169743 cites W1990880047 @default.
• W95169743 cites W2020538887 @default.
• W95169743 cites W2035603501 @default.
• W95169743 cites W2074888021 @default.
• W95169743 cites W2120484044 @default.
• W95169743 cites W2129487583 @default.
• W95169743 cites W2152565783 @default.
• W95169743 cites W2157880368 @default.
• W95169743 cites W2293092623 @default.
• W95169743 cites W4249100736 @default.
• W95169743 cites W72265089 @default.
• W95169743 cites W95169743 @default.
• W95169743 doi "https://doi.org/10.1007/978-3-642-39176-7_7" @default.
• W95169743 hasPublicationYear "2013" @default.
• W95169743 type Work @default.
• W95169743 sameAs 95169743 @default.
• W95169743 citedByCount "32" @default.
• W95169743 countsByYear W951697432013 @default.
• W95169743 countsByYear W951697432014 @default.
• W95169743 countsByYear W951697432015 @default.
• W95169743 countsByYear W951697432016 @default.
• W95169743 countsByYear W951697432017 @default.
• W95169743 countsByYear W951697432018 @default.
• W95169743 countsByYear W951697432019 @default.
• W95169743 countsByYear W951697432020 @default.
• W95169743 countsByYear W951697432021 @default.
• W95169743 countsByYear W951697432023 @default.
• W95169743 crossrefType "book-chapter" @default.
• W95169743 hasAuthorship W95169743A5016373630 @default.
• W95169743 hasAuthorship W95169743A5044286809 @default.
• W95169743 hasAuthorship W95169743A5044441669 @default.
• W95169743 hasAuthorship W95169743A5047763549 @default.
• W95169743 hasBestOaLocation W951697432 @default.
• W95169743 hasConcept C110251889 @default.
• W95169743 hasConcept C111472728 @default.
• W95169743 hasConcept C119857082 @default.
• W95169743 hasConcept C124101348 @default.
• W95169743 hasConcept C124304363 @default.
• W95169743 hasConcept C138885662 @default.
• W95169743 hasConcept C153083717 @default.
• W95169743 hasConcept C161821725 @default.
• W95169743 hasConcept C186846655 @default.
• W95169743 hasConcept C199360897 @default.
• W95169743 hasConcept C2777904410 @default.
• W95169743 hasConcept C2779639559 @default.
• W95169743 hasConcept C2780069185 @default.
• W95169743 hasConcept C41008148 @default.
• W95169743 hasConcept C41895202 @default.
• W95169743 hasConcept C48044578 @default.
• W95169743 hasConcept C529173508 @default.
• W95169743 hasConcept C77088390 @default.
• W95169743 hasConcept C80444323 @default.
• W95169743 hasConcept C97686452 @default.
• W95169743 hasConcept C98183937 @default.
• W95169743 hasConceptScore W95169743C110251889 @default.
• W95169743 hasConceptScore W95169743C111472728 @default.
• W95169743 hasConceptScore W95169743C119857082 @default.
• W95169743 hasConceptScore W95169743C124101348 @default.
• W95169743 hasConceptScore W95169743C124304363 @default.
• W95169743 hasConceptScore W95169743C138885662 @default.
• W95169743 hasConceptScore W95169743C153083717 @default.
• W95169743 hasConceptScore W95169743C161821725 @default.
• W95169743 hasConceptScore W95169743C186846655 @default.
• W95169743 hasConceptScore W95169743C199360897 @default.
• W95169743 hasConceptScore W95169743C2777904410 @default.
• W95169743 hasConceptScore W95169743C2779639559 @default.
• W95169743 hasConceptScore W95169743C2780069185 @default.
• W95169743 hasConceptScore W95169743C41008148 @default.
• W95169743 hasConceptScore W95169743C41895202 @default.
• W95169743 hasConceptScore W95169743C48044578 @default.
• W95169743 hasConceptScore W95169743C529173508 @default.
• W95169743 hasConceptScore W95169743C77088390 @default.
• W95169743 hasConceptScore W95169743C80444323 @default.
• W95169743 hasConceptScore W95169743C97686452 @default.
• W95169743 hasConceptScore W95169743C98183937 @default.
• W95169743 hasLocation W951697431 @default.
• W95169743 hasLocation W951697432 @default.
• W95169743 hasLocation W951697433 @default.
• W95169743 hasOpenAccess W95169743 @default.
• W95169743 hasPrimaryLocation W951697431 @default.
• W95169743 hasRelatedWork W109398478 @default.
• W95169743 hasRelatedWork W2059882177 @default.
• W95169743 hasRelatedWork W2069139220 @default.
• W95169743 hasRelatedWork W2207032348 @default.
• W95169743 hasRelatedWork W2300531905 @default.

• next